Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
JAX-COSMO: An End-to-End Differentiable and GPU Accelerated Cosmology Library2023 The Open Journal of Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access
J.E. Campagne, François Lanusse, Joe Zuntz, A. Boucaud, Santiago Casas, Minas Karamanis, +4 more
54citations -
JAX-COSMO: An End-to-End Differentiable and GPU Accelerated Cosmology Library2023 The Open Journal of Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access
J.E. Campagne, François Lanusse, Joe Zuntz, A. Boucaud, Santiago Casas, Minas Karamanis, +4 more
1citations -
Clinical descriptors of disease trajectories in patients with traumatic brain injury in the intensive care unit (CENTER-TBI): a multicentre observational cohort study2023 The Lancet Neurology article Medicine Traumatic Brain Injury and Neurovascular Disturbances Open access
Cecilia A. I. Åkerlund, Shubhayu Bhattacharyay, Nino Stocchetti, Ewout Willem Steyerberg, Peter Smielewski, David K. Menon, +85 more
60citations
18 results