From

Institution

Field

Type

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

Reset

Papers matching “model dependence” 17

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

CADET-Core: Version 6.0.0-alpha.2
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Modeling and Simulation Systems Open access

Jan Michael Breuer, Samuel Leweke, Johannes Schmölder, Antonia Berger, Hannah Lanzrath, Wendi Zhang, +1 more

0

citations
moves-rwth/storm: v1.12
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
stormchecker/storm: v1.13.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams: Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Daniel Basgöze, Kevin Batz, Sebastian Junges, Joost-Pieter Katoen

0

citations
linkml/schema-automator: v0.5.5-rc1
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Semantic Web and Ontologies Open access

Chris J Mungall, Sierra Moxon, Michael, Corey Cox, Harshad, Patrick Golden, +10 more

0

citations
Artifact for: Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Joanna Delicaris, Erika Ábrahám, Anne Remke

0

citations
Artifact for: Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Joanna Delicaris, Erika Ábrahám, Anne Remke

0

citations
bioacoustic-ai/bacpipe: BacPipe v1.3.4 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Inês Nolasco, Ben, +2 more

0

citations
bioacoustic-ai/bacpipe: BacPipe v1.3.4 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben, +2 more

0

citations
CADET-Core: Version 6.0.0-alpha.3
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Modeling and Simulation Systems Open access

Jan Michael Breuer, Samuel Leweke, Johannes Schmölder, Antonia Berger, Hannah Lanzrath, Wendi Zhang, +1 more

0

citations
EvoHIIT: LLM-Assisted Evolutionary Design of High Intensity Interval Training programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access

Johana Chen, Bas van Stein, Robert Cabri, Thomas Bäck, Anna V. Kononova

1

citations
EvoHIIT: LLM-Assisted Evolutionary Design of High Intensity Interval Training programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access

Johana Chen, Bas van Stein, Robert Cabri, Thomas Bäck, Anna V. Kononova

1

citations
linkml/schema-automator: v0.5.6
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Chris J Mungall, Mark Andrew Miller, Sierra Moxon, Corey Cox, Michael, Harshad, +11 more

0

citations
EvoHIIT: LLM-Assisted Evolutionary Design of High Intensity Interval Training programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Evolutionary Algorithms and Applications Open access

Johana Chen, Bas van Stein

0

citations
linkml/schema-automator: v0.5.6
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Chris J Mungall, Mark Andrew Miller, Sierra Moxon, Corey Cox, Michael, Harshad, +11 more

0

citations
coffea
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Lindsey Gray, Nicholas Smith, Andrzej Novak, Peter Fackeldey, Benjamín Tovar, Yi-Mu Chen, +2 more

0

citations
coffea
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

L. Gray, Nicholas Smith, Andrzej Novak, P. Fackeldey, Benjamín Tovar, Y. M. Chen, +2 more

0

citations

17 results