From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “Docker image” 47

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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 Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Tractable Hyperproperties for MDPs - Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Tractable Hyperproperties for MDPs - Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
CellSium: versatile cell simulator for microcolony ground truth generation
2022 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

3

citations
CellSium – Versatile Cell Simulator for Microcolony Ground Truth Generation
2022 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

1

citations
LiberTEM/LiberTEM: 0.15.1
2025 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Sivert Dagenborg, +18 more

0

citations
LiberTEM/LiberTEM: 0.13.0
2023 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, +17 more

0

citations
LiberTEM/LiberTEM: 0.11.2
2023 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, +17 more

0

citations
LiberTEM/LiberTEM: 0.13.1
2023 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, +17 more

0

citations
LiberTEM/LiberTEM: 0.15.2
2025 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Sivert Dagenborg, +18 more

0

citations
LiberTEM/LiberTEM: 0.11.1
2023 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, +17 more

0

citations
LiberTEM/LiberTEM: 0.9.2
2022 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, +16 more

0

citations
Bryne: sustainable prototyping of finite element models - Software release
2025 Zenodo (CERN European Organization for Nuclear Research) software Open access

Benjamin Terschanski, Robert Klöfkorn, Andreas Dedner, Julia Kowalski

1

citations
Secrets Revealed in Container Images: An Internet-wide Study on Occurrence and Impact
2023 ACM Asia Conference on Computer and Communications Security (ASIA CCS) conference-paper Computer Science Web Application Security Vulnerabilities Open access

Markus Dahlmanns, Constantin Sander

22

citations
LiberTEM/LiberTEM: 0.12.0
2023 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Anand Baburajan, +17 more

0

citations
LiberTEM/LiberTEM: 0.14.0
2024 Zenodo (CERN European Organization for Nuclear Research) software Open access

Alexander Clausen, Dieter Weber, M.P. Bryan, Karina Ruzaeva, Vadim Migunov, Sivert Dagenborg, +18 more

0

citations
ENTIRETY — sEmanNTIc pRovisioning and govErning ioT devices in smart energY domain
2022 SoftwareX software-paper Computer Science IoT and Edge/Fog Computing Open access

Maliheh Haghgoo, Ilya Sychev, Antonello Monti, Frank H. P. Fitzek

6

citations
Enhancements and Updates to AIXtal: A User-Friendly Platform for X-ray and Neutron Diffraction Data Refinement
2026 Zenodo (CERN European Organization for Nuclear Research) article Materials Science Machine Learning in Materials Science Open access

Noah Nachtigall, Andreas Houben, Richard Dronskowski

0

citations
Enhancements and Updates to AIXtal: A User-Friendly Platform for X-ray and Neutron Diffraction Data Refinement
2026 Zenodo (CERN European Organization for Nuclear Research) article Materials Science Machine Learning in Materials Science Open access

Noah Nachtigall, Andreas Houben, Richard Dronskowski

0

citations
python-spectrometer
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, René Otten

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations