Not finding it? Sign in to also search OpenAlex live.
-
Bryne: sustainable prototyping of finite element models - Software release2025 Zenodo (CERN European Organization for Nuclear Research) software Engineering Advanced Numerical Methods in Computational Mathematics Open access
Benjamin Terschanski, Robert Klöfkorn, Andreas Dedner, Julia Kowalski
1citations -
vanHoek-dgnm/CARBON-DISC: CARBON-DISC_1.012020 Zenodo (CERN European Organization for Nuclear Research) software Environmental Science Water Quality and Resources Studies Open access
Lauriane Vilmin, Arthur H. W. Beusen, José Manuel Mogollón, Joep J. Langeveld, A.F. Bouwman, Jack J. Middelburg
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
1citations -
CombiRWTH/PRA-instance-generator: v2.0.1 - Instance Generation for Patient-to-room Assignment and Admission Scheduling Based on Real Hospital Data0citations
-
Software Files for Article "Flexible Low-Carbon Dimethyl Ether Production via Reversible Solid Oxide Cells and Sorption-Enhanced Synthesis"2026 Zenodo (CERN European Organization for Nuclear Research) software Engineering Chemical Looping and Thermochemical Processes Open access
Dion Jakobs, Mathis Heyer, Jannik Bothe, Johanna Güttler, Jan Pavšek, Kaan Karacasulu
0citations -
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