From

Institution

Field

Type

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

Reset

Papers matching “model revision” 30

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Automated model analysis tools and techniques presented at FASE 2019
2020 International Journal on Software Tools for Technology Transfer article Computer Science Model-Driven Software Engineering Techniques Open access

Reiner Hähnle, Wil M. P. van der Aalst

0

citations
Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
Technical Considerations for a Transactional Model to Realize the Digital Extended Specimen
2021 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Nelson Rios, Sharif Islam, James Macklin, Andrew C. Bentley

0

citations
An automated information extraction model for unstructured discharge letters using large language models and GPT-4
2025 Healthcare Analytics article Computer Science Machine Learning in Healthcare Open access

Robert Malte Siepmann, Giulia Baldini, Cynthia Sabrina Schmidt, Daniel Truhn, Gustav Anton Müller‐Franzes, Amin Dada, +3 more

16

citations
When Should an In-Context Learner Expand Its Hypothesis Space?
2026 arXiv (Cornell University) preprint Computer Science Machine Learning and Algorithms Open access

Weihan Li, Xinlei Chen, Junhao Wu, Tianshi Zheng

0

citations
When accurate prediction models yield harmful self-fulfilling prophecies
2023 Pure Amsterdam UMC preprint Computer Science Machine Learning in Healthcare

Wouter A. C. van Amsterdam, Nan van Geloven, Jesse H. Krijthe, Rajesh Ranganath, Giovanni Cinà

0

citations
When accurate prediction models yield harmful self-fulfilling prophecies
2023 arXiv (Cornell University) preprint Computer Science Machine Learning in Healthcare Open access

Wouter A. C. van Amsterdam, Nan van Geloven, Jesse H. Krijthe, Giovanni Cinà

5

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.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
Nova : Value-based Negotiation of Norms
2021 ACM Transactions on Intelligent Systems and Technology article Computer Science Multi-Agent Systems and Negotiation Open access

Reyhan Aydoğan, Özgür Kafalı, Furkan Arslan, Catholijn M. Jonker, Munindar P. Singh

14

citations
PhysAI: An architecture for situated physical judgement
2026 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science AI-based Problem Solving and Planning Open access

Ioannis Agrafiotis, Kosmas Alexopoulos, Annalisa Andaloro, Fabio Arnéz, Saurav Baidya, Jessa Bekker, +67 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
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
2023 Research Square preprint Computer Science Logic, Reasoning, and Knowledge Open access

Radhakrishnan Delhibabu

0

citations
Motivational design of an e-learning application for managers in healthcare
2022 AHFE international conference-paper Computer Science Educational Technology and E-Learning Open access

Marisa Schirmer, Mareike Sorge, Christina Mayer, Wiebke Stöver, Verena Nitsch, Susanne Mütze Niewöhner

2

citations
Beyond Self-Report: Making AI Use Observable at Scale: Behavioral Traces, Adaptive Interviews, and Distributed Hermeneutic Inquiry
2026 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Artificial Intelligence in Education Open access

Daniel Autenrieth, Lea Schulz, Nina Autenrieth

0

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
stormchecker/stormpy: v1.14.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, Filip Macák, +12 more

0

citations
A First-Order Logic of Limited Belief Based on Possible Worlds
2020 conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Gerhard Lakemeyer, Hector J. Levesque

4

citations
A Logic of Limited Belief with Introspection Based on Possible Worlds
2026 conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Gerhard Lakemeyer, Hector J. Levesque

0

citations
Machine learning for efficient segregation and labeling of potential biological sounds in long-term underwater recordings
2024 Frontiers in Remote Sensing article Computer Science Music and Audio Processing Open access

Clea Parcerisas, Elena Schall, Kees te Velde, Dick B. Botteldooren, Paul Devos, Elisabeth Debusschere

19

citations
Editorial: Generative artificial intelligence and writing instruction in K–12 and college education
2026 Frontiers in Education editorial Computer Science Artificial Intelligence in Education Open access

Gustaf Bernhard Uno Skar, Steve Graham, Jill V. Jeffery

0

citations
Report on Efficient Conversational Large Language Models
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Topic Modeling Open access

Cornelius Glackin, Maria Inês Torres, David Thulke, Zoraida Callejas, Marvin Peinado, David Griol, +1 more

0

citations
Report on Efficient Conversational Large Language Models
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Speech and dialogue systems Open access

Cornelius Glackin, Maria Inês Torres, David Thulke, Zoraida Callejas, Marvin Peinado, David Griol, +1 more

0

citations
A Modular Workflow for Performance Benchmarking of Neuronal Network Simulations
2022 Frontiers in Neuroinformatics article Computer Science Parallel Computing and Optimization Techniques Open access

Jasper Albers, Jari Pronold, Anno Christopher Kurth, Stine Brekke Vennemo, Kaveh Haghighi Mood, Alexander Patronis, +6 more

15

citations
Uncertainty, probability and causality in hepatology
2026 npj gut and liver. article Computer Science Bayesian Modeling and Causal Inference Open access

Benjamin P. M. Laevens, F. P. Pijpers, Carolin V. Schneider

0

citations