-
batchgenerators - a python framework for data augmentation2020 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Medical Image Segmentation Techniques Open access
Fabian Isensee, Paul F. Jäger, Jakob Wasserthal, David Zimmerer, Jens Petersen, Simon Köhl, +7 more
59citations -
LiberTEM/LiberTEM: 0.16.02026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications Open access
Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Sivert Dagenborg, +19 more
2citations -
filter_functions: A package for efficient numerical calculation of generalized filter functions to describe the effect of noise on quantum gate operations1citations
-
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
biopragmatics/pyobo: v0.12.132026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Biomedical Text Mining and Ontologies Open access
Charles Tapley Hoyt, Benjamin M. Gyori, Chris J Mungall, Daniel Domingo-Fernández, jplfaria, Tenzin Nanglo, +3 more
1citations -
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 -
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 -
Artifact of "Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families"2026 Zenodo (CERN European Organization for Nuclear Research) software Mathematics Probability and Statistical Research Open access
Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann
1citations -
LiberTEM/LiberTEM: 0.14.12024 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications Open access
Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Sivert Dagenborg, +18 more
1citations -
LiberTEM/LiberTEM: 0.16.02026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications Open access
Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Sivert Dagenborg, +19 more
1citations