From

Institution

Field

Type

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

Reset

Papers matching “formal proof” 18

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
2020 CEUR Workshop Proceedings article Computer Science Computational Geometry and Mesh Generation Open access

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

0

citations
Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
2025 ACM SIGLOG News article Computer Science Logic, programming, and type systems

Emma Ahrens, Jan-Christoph Kassing

0

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

10

citations
Lower Bounds for Possibly Divergent Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

14

citations
Levelwise construction of a single cylindrical algebraic cell
2022 RWTH Publications (RWTH Aachen) article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

0

citations
Compositional Reasoning for Parametric Probabilistic Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

1

citations
A Calculus for Amortized Expected Runtimes
2023 Proceedings of the ACM on Programming Languages article Computer Science Parallel Computing and Optimization Techniques Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht

22

citations
Semiring Provenance for Fixed-Point Logic
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Decision Sciences Scientific Computing and Data Management Open access

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

12

citations
The probabilistic termination tool amber
2022 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

5

citations
Reasoning about distributed reconfigurable systems
2022 Proceedings of the ACM on Programming Languages article Computer Science Distributed systems and fault tolerance Open access

Emma Ahrens, Marius Dorel Bozga, Radu Iosif, Joost-Pieter Katoen

6

citations
An error-based augmented reality learning system for work-based occupational safety and health education
2022 Work article Health Professions Occupational Health and Safety Research

Marvin Goppold, Jan-Phillip Herrmann, Sven M. Tackenberg

1

citations
Registrierungsverfahren in smartphonebasierten Ersthelferalarmierungssystemen in Deutschland
2026 Medizinische Klinik - Intensivmedizin und Notfallmedizin article Health Professions Mobile Health and mHealth Applications Open access

Kristin Schuhmann, Stefan Beckers, Dominik Blunck, André Nohl, Hanna Schröder, Florian Breuer

0

citations
Error analysis of higher order Trace Finite Element Methods for the surface Stokes equation
2020 Journal of Numerical Mathematics article Engineering Advanced Numerical Methods in Computational Mathematics

Thomas Jankuhn, Maxim A. Olshanskii, Arnold Reusken, Alexander Zhiliakov

23

citations
Enjoy the silence: Analysis of stochastic Petri nets with silent transitions
2024 Information Systems article Computer Science Petri Nets in System Modeling Open access

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

22

citations
A “Power‐to‐X” Route to Acetic Acid via Palladium‐Catalyzed Isomerization of Methyl Formate
2022 ChemSusChem article Chemistry Asymmetric Hydrogenation and Catalysis Open access cited by 1 patent

Philipp Jürling‐Will, Tobias Botz, Giancarlo Franciò, Walter Leitner

12

citations
Blind oracular quantum computation
2021 Quantum Science and Technology article Computer Science Quantum Computing Algorithms and Architecture Open access

Cica Gustiani, David Peter Divincenzo

7

citations
A direct and analytical method for inverse problems under uncertainty in energy system design: combining inverse simulation and Polynomial Chaos theory
2024 Energy Informatics article Decision Sciences Probabilistic and Robust Engineering Design Open access

Sebastian Schwarz, Daniele Carta, Antonello Monti, Andrea Benigni

3

citations
Therapeutic targeting of cell transition: ready for clinical prime-time?
2024 Cardiovascular Research article Biochemistry, Genetics and Molecular Biology Epigenetics and DNA Methylation Open access

Emiel P. C. van der Vorst, Jason Ciril Kovacic

0

citations

18 results