Not finding it? Sign in to also search OpenAlex live.
-
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
1citations -
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
Thermal Design of the CAESAR Multi-Degree-of-Freedom Robotic Arm for On-Orbit Servicing2026 International Conference on Environmental Systems (ICES) conference-paper Engineering Spacecraft Design and Technology Open access
Ralph Bayer, Alexander Beyer, Markus Czupalla, Manfred Schedl, Maximo A. Roa
0citations -
Caesar: A Deductive Verifier for Probabilistic Programs2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
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 -
Correction to: The baryon cycle in modern cosmological hydrodynamical simulations2026 Monthly Notices of the Royal Astronomical Society erratum Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
Ruby J. Wright, Rachel S. Somerville, Claudia del P. Lagos, Matthieu Schaller, Romeel Davé, Daniel Anglés‐Alcázar, +1 more
0citations
19 results