Not finding it? Sign in to also search OpenAlex live.
-
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 -
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
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.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 -
LiberTEM/LiberTEM: 0.14.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 -
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.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.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 -
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 -
LiberTEM/LiberTEM: 0.11.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.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.15.02025 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.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 -
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