Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
LiberTEM/LiberTEM: 0.13.12023 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, Anand Baburajan, +17 more
0citations -
LiberTEM/LiberTEM: 0.11.22023 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, Anand Baburajan, +17 more
0citations -
LiberTEM/LiberTEM: 0.13.02023 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, Anand Baburajan, +17 more
0citations -
LiberTEM/LiberTEM: 0.9.22022 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, Anand Baburajan, +16 more
0citations -
LiberTEM/LiberTEM: 0.11.12023 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, Anand Baburajan, +17 more
0citations -
LiberTEM/LiberTEM: 0.15.12025 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
0citations -
LiberTEM/LiberTEM: 0.15.22025 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
0citations -
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 -
LiberTEM/LiberTEM: 0.12.02023 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, Anand Baburajan, +17 more
0citations -
LiberTEM/LiberTEM: 0.14.02024 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
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
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 -
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 -
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 -
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