A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Unit
RWTH Aachen University
@moves-rwth
▲
Sign in to save
2 authors · 20 authorships ·
All papers →
People
2
Search
Sort
Most cited
h-index
Aachen papers
Name
Any field
Agricultural and Biological Sciences
Arts and Humanities
Biochemistry, Genetics and Molecular Biology
Business, Management and Accounting
Chemical Engineering
Chemistry
Computer Science
Decision Sciences
Dentistry
Earth and Planetary Sciences
Economics, Econometrics and Finance
Energy
Engineering
Environmental Science
Health Professions
Immunology and Microbiology
Materials Science
Mathematics
Medicine
Neuroscience
Nursing
Pharmacology, Toxicology and Pharmaceutics
Physics and Astronomy
Psychology
Social Sciences
Veterinary
▲
Tim Quatmann
RWTH Aachen University
Computer Science
886
citations
14
h-index
82
Aachen papers
▲
Alex Bork
RWTH Aachen University
Medicine
1
citations
1
h-index
8
Aachen papers
2 results
Papers
12
Search
Sort
Most cited
Newest
Oldest
Patent citations
Title
Any type
article
review
book-chapter
conference-paper
preprint
dissertation
book
dataset
other
Any field
Agricultural and Biological Sciences
Arts and Humanities
Biochemistry, Genetics and Molecular Biology
Business, Management and Accounting
Chemical Engineering
Chemistry
Computer Science
Decision Sciences
Dentistry
Earth and Planetary Sciences
Economics, Econometrics and Finance
Energy
Engineering
Environmental Science
Health Professions
Immunology and Microbiology
Materials Science
Mathematics
Medicine
Neuroscience
Nursing
Pharmacology, Toxicology and Pharmaceutics
Physics and Astronomy
Psychology
Social Sciences
Veterinary
Open access
moves-rwth/carl-storm: 14.34
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Polynomial and algebraic computation
Open access
0
citations
moves-rwth/stormpy: v1.12.0
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
moves-rwth/storm: v1.12
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
stormchecker/carl-storm: 14.35
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
stormchecker/storm: v1.13.0
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
stormchecker/stormpy: v1.13.0
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
stormchecker/stormpy: v1.13.1
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
stormchecker/stormpy: v1.13.2
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Computational Physics and Python Applications
Open access
0
citations
ths-rwth/carl: 26.08
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Open access
0
citations
stormchecker/storm: v1.14.0
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
stormchecker/stormpy: v1.14.0
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Formal Methods in Verification
Open access
0
citations
stormchecker/carl-storm: 14.36
2026
Zenodo (CERN European Organization for Nuclear Research)
software
Computer Science
Parallel Computing and Optimization Techniques
Open access
0
citations
12 results