From

Institution

Field

Type

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

Reset

Papers matching “total correctness” 670

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

citations
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lena Verscht, Benjamin Lucien Kaminski

3

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
Inpatient Recovery of Function After Knee Replacement: A Longitudinal Evaluation Across Four Sequential Care Pathway Redesigns
2026 Learning Health Systems article Medicine Total Knee Arthroplasty Outcomes Open access

Jelmer Jager, Wim F. C. van Houtert, Wim P. Krijnen, Richard Bimmel, Nico L. U. van Meeteren, Thomas Johannes Hoogeboom, +2 more

0

citations
Attenuation Correction for Myocardial Perfusion SPECT Imaging in the Image Domain
2021 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC) conference-paper Medicine Medical Imaging Techniques and Applications

Samaneh Mostafapour, Faeze Gholamiankhah, Sirwan Maroufpour, Mehdi Momennezhad, Mohsen Asadinezhad, Seyed Rasoul Zakavi, +2 more

5

citations
Different phenotypes of neuropsychiatric systemic lupus erythematosus are related to a distinct pattern of structural changes on brain MRI
2021 European Radiology article Medicine Systemic Lupus Erythematosus Research Open access

Francesca Inglese, Ilse M.J. Kant, Rory Caitlin Monahan, Gerda M. Steup‐Beekman, Tom W. J. Huizinga, Mark A. van Buchem, +3 more

27

citations
Reply on RC2
2021 peer-review Environmental Science Atmospheric and Environmental Gas Dynamics Open access

Andreas M. Schneider

0

citations
Referee comment on amt-2021-141
2021 peer-review Environmental Science Atmospheric and Environmental Gas Dynamics Open access

0

citations
Comment on amt-2021-141
2021 peer-review Environmental Science Atmospheric and Environmental Gas Dynamics Open access

Andreas Schneider

0

citations
Parameter-based patient-specific restoration of physiological knee morphology for optimized implant design and matching
2023 Biomedizinische Technik/Biomedical Engineering article Medicine Total Knee Arthroplasty Outcomes

Sonja A. G. A. Grothues, Benjamin Hohlmann, Klaus Radermacher

1

citations
Comment on amt-2021-144
2021 peer-review Environmental Science Atmospheric aerosols and clouds Open access

Tobias KÃ ⁄ chler, Stefan NoÃ«l, H. Bovensmann, John P. Burrows, Thomas Wagner, Christian Borger, +2 more

0

citations
Comment on amt-2021-144
2021 peer-review Environmental Science Atmospheric aerosols and clouds Open access

Tobias KÃ ⁄ chler, Stefan NoÃ«l, Heinrich Bovensmann, John P. Burrows, Thomas Wagner, Christian Borger, +2 more

0

citations
Exploring Cherenkov Emission of BGO for TOF-PET
2020 IEEE Transactions on Radiation and Plasma Medical Sciences article Physics and Astronomy Radiation Detection and Scintillator Technologies Open access

N. Kratochwil, E. Auffray, S. Gundacker

71

citations
Infections in Burn Patients: A Retrospective View over Seven Years
2022 Medicina article Medicine Burn Injury Management and Outcomes Open access

Savas Tsolakidis, David Lysander Freytag, Elisabeth Dovern, Ziyad Alharbi, Bong‐Sung Kim, Khosrow Siamak Houschyar, +5 more

39

citations
LOFAR Deep Fields: Probing faint Galactic polarised emission in ELAIS-N1
2023 Astronomy and Astrophysics article Physics and Astronomy Radio Astronomy Observations and Technology Open access

Iva Šnidarić, Vibor Jelić, M. Mevius, M. A. Brentjens, A. Erceg, T. W. Shimwell, +10 more

9

citations
NNLL-fast 2.0: Coloured sparticle production at the LHC run 3 with $\sqrt{S}$ = 13.6 TeV
2024 SciPost Physics Core article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Wim Beenakker, Christoph Borschensky, Anna Kulesza, Eric Laenen, J. Mamuzic, Laura Moreno Valero

6

citations
Report on 2404.18837v1
2024 peer-review Physics and Astronomy Particle physics theoretical and experimental studies Open access

0

citations
Letter to the Editor
2020 Annals of Noninvasive Electrocardiology letter Medicine Cardiac electrophysiology and arrhythmias Open access

Gerardus J. Hassing, Michiel J. B. Kemme, Pim Gal

0

citations
Modelling Venus's Spectropolarimetric Signatures for EnVision
2025 conference-abstract Physics and Astronomy Planetary Science and Exploration Open access

Victor Trees, Daphne Stam, Mitchell Yzer, Ping Wang, A. Pier Siebesma

0

citations
Levothyroxine treatment response of cardiometabolic biomarkers in older adults with subclinical hypothyroidism
2026 The Journal of Clinical Endocrinology & Metabolism article Medicine Thyroid Disorders and Treatments Open access

Linjun Ao, Raymond Noordam, Stella Trompet, Nicolien A van Vliet, Naveed A. Sattar, Nicolas Rodondi, +10 more

2

citations
Learning Curve of Laparoscopic Gastrectomy: A Multicenter Study
2022 Annals of Surgery article Medicine Gastric Cancer Management and Outcomes Open access

Hylke J.F. Brenkman, Linda Claassen, Gerjon Hannink, Leonie R. van der Werf, Jelle P. Ruurda, Grard A.P. Nieuwenhuizen, +10 more

26

citations
Prognostic Value of Quantitative [18F]FDG-PET Features in Patients with Metastases from Soft Tissue Sarcoma
2021 Diagnostics article Medicine Sarcoma Diagnosis and Treatment Open access

Gijsbert M. Kalisvaart, Willem Grootjans, Judith V.M.G. Bovée, Hans A. J. Gelderblom, Jos A. van der Hage, Michiel A. J. van de Sande, +3 more

8

citations