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 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
CellSium: versatile cell simulator for microcolony ground truth generation2022 Bioinformatics Advances article Biochemistry, Genetics and Molecular Biology Cell Image Analysis Techniques Open access
Christian Carsten Sachs, Karina Ruzaeva, Johannes Seiffarth, Wolfgang Wiechert, Benjamin Berkels, Katharina Nöh
3citations -
CellSium – Versatile Cell Simulator for Microcolony Ground Truth Generation2022 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Cell Image Analysis Techniques Open access
Christian Carsten Sachs, Karina Ruzaeva, Johannes Seiffarth, Wolfgang Wiechert, Benjamin Berkels, Katharina Nöh
1citations -
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.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.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.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.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.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.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 -
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 -
bgruening/docker-galaxy-stable: release 20.052020 FreiDok plus (Universitätsbibliothek Freiburg) preprint Decision Sciences Scientific Computing and Data Management Open access
Björn Andreas Grüning, Andreas Skorczyk, Anthony Bretaudeau, Pablo A Moreno, John C. Chilton, Marius van den Beek, +24 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.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