From

Institution

Field

Type

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

Reset

Papers matching “interval model” 72

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

stormchecker/storm: v1.14.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
Discovering uncertainty: Bayesian constitutive artificial neural networks
2024 Computer Methods in Applied Mechanics and Engineering article Computer Science Gaussian Processes and Bayesian Inference Open access

Kevin Linka, Gerhard A. Holzapfel, Ellen Kuhl

37

citations
Discovering uncertainty: Bayesian constitutive artificial neural networks
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Kevin Linka, Gerhard A. Holzapfel, Ellen Kuhl

6

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

Matthias Volk, Sebastian Junges, Hannah, Tom Janson, Linus, Tim Quatmann, +12 more

0

citations
Room acoustic measurement and decay analysis data of the St. Nicholas Chapel, Aachen Cathedral
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Speech and Audio Processing Open access

Martin Zerwas, Selin Kayku

0

citations
Room acoustic measurement and decay analysis data of the St. Nicholas Chapel, Aachen Cathedral
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Speech and Audio Processing Open access

Martin Zerwas, Selin Kayku

0

citations
Room acoustic measurement and decay analysis data of the St. Nicholas Chapel, Aachen Cathedral
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Speech and Audio Processing Open access

Martin Zerwas, Selin Kayku

0

citations
Deep learning can predict survival directly from histology in clear cell renal cell carcinoma
2022 PLoS ONE article Computer Science AI in cancer detection Open access

Frederik Wessels, Max Schmitt, Eva Krieghoff‐Henning, Jakob Nikolas Kather, Malin Nientiedt, MAXIMILIAN CHRISTIAN KRIEGMAIR, +10 more

40

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

3

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

2

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

2

citations
Mixture distributions as exponential families
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Bayesian Methods and Mixture Models Open access

Zhe Su

0

citations
115P Spitz tumor classification using artificial intelligence
2025 ESMO Real World Data and Digital Oncology article Computer Science AI in cancer detection Open access

Ruben T. Lucassen, M. Romers, Chiel F Ebbelaar, Antien L. Mooyaart, L. Wynaendts, Nikolas Stathonikos, +4 more

0

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

11

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

1

citations
A Structure-Based Platform for Predicting Chemical-Induced Parkinson’s Disease
2026 Chemical Research in Toxicology article Computer Science Computational Drug Discovery Methods Open access

Linde Schoenmaker, Emmelie van der Veer, Daan A. Jiskoot, Olivier J. M. Béquignon, Gerard J. P. van Westen, Willem Jespers

0

citations
Automated curation of large‐scale cancer histopathology image datasets using deep learning
2024 Histopathology article Computer Science AI in cancer detection Open access

Lars Hilgers, Narmin Ghaffari Laleh, Nicholas Paul West, Alice C. Westwood, Katherine Jane Hewitt, Philip Quirke, +9 more

11

citations
Residual bayesian attention networks for uncertainty quantification in regression tasks
2025 Scientific Reports article Computer Science Gaussian Processes and Bayesian Inference Open access

Youliang Chen, Wencan Guan, Rafig Azzam

10

citations
Multi-Cohort Federated Learning Shows Synergy in Mortality Prediction for MRI-Based and Metabolomics-Based Age Scores
2025 Journal of Healthcare Informatics Research article Computer Science Machine Learning in Healthcare Open access

Pedro Mateus, Swier J.F. Garst, Jing Yu, Davy Cats, Mahlet Birhanu, Marian Beekman, +15 more

2

citations
Advancing Real-Time Sensor-Based Quality Monitoring in Construction and Demolition Waste Processing for the Prediction of Weight-Based Particle Size Distributions
2026 Recycling article Computer Science Advanced Neural Network Applications Open access

Lieve Josephina Leonie Göbbels, Karoline Raulf, Setenay Orbatu, Kathrin Greiff

1

citations
Linear Prediction
2023 other Computer Science Speech and Audio Processing Open access

Peter Vary, Rainer Martin

0

citations
Deep learning-based subtyping of gastric cancer histology predicts clinical outcome: a multi-institutional retrospective study
2023 Gastric Cancer article Computer Science AI in cancer detection Open access

Gregory Patrick Veldhuizen, Christoph Röcken, Hans‐Michael Behrens, Didem Çifçi, Hannah Sophie Muti, Takaki Yoshikawa, +8 more

34

citations
Quantitative and temporal approach to utilising electronic medical records from general practices in mental health prediction
2020 Computers in Biology and Medicine article Computer Science Machine Learning in Healthcare Open access

Olga Półchłopek, Nynke R. Koning, Frederike L. Büchner, Mathilde R. Crone, Mattijs Everard Numans, Mark Hoogendoorn

17

citations
Combining Bayesian and Evidential Uncertainty Quantification for Improved Bioactivity Modeling
2025 Journal of Chemical Information and Modeling article Computer Science Computational Drug Discovery Methods Open access

Kajetan Schweighofer, Natalia Dyubankova, Gerard J. P. van Westen, Herman van Vlijmen

8

citations