Not finding it? Sign in to also search OpenAlex live.
-
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
The Impact of Agile Transformations on Organizational Performance: A Survey of Teams, Programs and Portfolios2021 Lecture notes in business information processing conference-paper Computer Science Software Engineering Techniques and Practices Open access
Christoph Johann Stettina, Victor van, Job Croonenberg, Joost Visser
15citations -
An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Simon Schwitanski, Felix Tomski, Joachim Protze, Christian Terboven, Matthias Müller
4citations