From

Institution

Field

Type

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

Reset

Papers matching “bounded model checking” 15

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Accelerated bounded model checking with LoAT
2026 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
Accelerated bounded model checking with LoAT
2026 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Conformance Checking Approximation Using Subset Selection and Edit Distance
2020 PubMed Central article Business, Management and Accounting Business Process Modeling and Analysis Open access cited by 1 patent

Mohammadreza Fani Sani, Sebastiaan J. van Zelst, Wil M. P. van der Aalst

28

citations
Proposer of the vote of thanks to Waudy-Smith and Ramdas and contribution to the Discussion of ‘Estimating means of bounded random variables by betting’
2023 Journal of the Royal Statistical Society Series B (Statistical Methodology) article Mathematics Probability and Statistical Research Open access

Peter Grünwald

0

citations
Multi-cost Bounded Tradeoff Analysis in MDP
2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

22

citations
Partially ordered stochastic conformance checking
2024 Knowledge and Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Sander J. J. Leemans, Tobias Brockhoff, Wil M. P. van der Aalst, Artem Polyvyanyy

5

citations
Weisfeiler-Leman on Graphs of Small Twin-Width
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Irene Heinrich, Moritz Lichter, Klara Pakhomenko, Simon Raßmann

0

citations
On Implementing Open World Semantic Differencing for Class Diagrams.
2023 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Jan Oliver Ringert, Bernhard Rumpe⋆, Max Stachon

6

citations
Entropy, Information, and the Curvature of Spacetime in the Informational Second Law
2026 Information article Physics and Astronomy Cosmology and Gravitation Theories Open access

Florian Neukart, Eike Marx, V. M. Vinokur

5

citations
Panchromatic characterization of the Y0 brown dwarf WISEP J173835.52+273258.9 using JWST/MIRI
2025 Astronomy and Astrophysics article Physics and Astronomy Stellar, planetary, and galactic studies Open access

Malavika Vasist, Helena Kühnle, Olivier Absil, Thomas K. Henning

0

citations
A NICER View of the Nearest and Brightest Millisecond Pulsar: PSR J0437–4715
2024 The Astrophysical Journal Letters article Physics and Astronomy Pulsars and Gravitational Waves Research Open access

Devarshi Choudhury, Tuomo Salmi, S. Vinciguerra, Thomas E. Riley, Yves Kini, Anna L. Watts, +14 more

286

citations
Finite-valued Streaming String Transducers
2025 TheoretiCS article Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Anca Muscholl, Gabriele Puppis, Sarah Winter

2

citations
A multiplicity study of transiting exoplanet host stars
2020 Astronomy and Astrophysics article Physics and Astronomy Stellar, planetary, and galactic studies

Alexander J. Bohn, John H. Southworth, C. Ginski, Matthew A. Kenworthy, Pierre F L Maxted, Daniel F. Evans

38

citations
Preparation and verification of tensor network states
2022 Physical Review Research article Physics and Astronomy Quantum many-body systems Open access

Esther Cruz, F. Baccari, Jordi Tura, Norbert Schuch, J. I. Cirac

12

citations

15 results