From

Institution

Field

Type

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

Reset

Papers matching “partial correctness” 24

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Partial Incorrectness Logic
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski

0

citations
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
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
2021 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep

3

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
Learning Lifted Action Models from Traces with Minimal Information About Actions and States
2026 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Niklas Jansen, Hector Geffner

0

citations
Learning Lifted Action Models from Traces with Minimal Information About Actions and States
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Niklas Jansen, Hector Geffner

0

citations
Learning Lifted Action Models from Traces with Minimal Information About Actions and States
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Niklas Jansen, Hector Geffner

0

citations
Lattice surgery-based logical state teleportation via noisy links
2025 Physical Review Research article Computer Science Quantum Computing Algorithms and Architecture Open access

Áron Márton, Luis Colmenárez, Lukas Bödeker

3

citations
DO AUTOMATED, U-NET-BASED CARTILAGE SEGMENTATIONS FROM MRI BENEFIT FROM MANUAL QUALITY CONTROL AND CORRECTION? DATA FROM THE IMI-APPROACH PROJECT
2022 Osteoarthritis Imaging article Computer Science Medical Image Segmentation Techniques Open access

S. Maschek, Anna Wisser, M. Jansen, A.C. Marijnissen, Floris P J G Lafeber, A. Lalande, +9 more

1

citations
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
2026 arXiv (Cornell University) preprint Computer Science Artificial Intelligence Applications Open access

Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, Gergely Bérczi, Uri Kreitner, Liam Price, +1 more

0

citations
Towards expert-level AI-based classification of coronary angiography reports: a comparison of LLM approaches
2025 European Heart Journal article Computer Science Machine Learning in Healthcare

Wouter P M van der Loo, Viktor van der Valk, T J Van Den Broek, Douwe E. Atsma, Marius Staring, R.W.C. Scherptong

0

citations
Efficient Qubit Calibration by Binary-Search Hamiltonian Tracking
2025 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Fabrizio Berritta, Jacob Benestad, Lukas Pahl, M. Geo Mathews, Jan A. Krzywda, Réouven Assouly, +11 more

3

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
On Sampling-Based Training Criteria for Neural Language Modeling
2021 Interspeech (USB) conference-paper Computer Science Speech Recognition and Synthesis

Yingbo Gao, David Thulke, Alexander Gerstenberger, Ralf Schlüter, Hermann Ney

1

citations
dcFCI: Robust Causal Discovery Under Latent Confounding, Unfaithfulness, and Mixed Data
2026 IEEE Transactions on Pattern Analysis and Machine Intelligence article Computer Science Bayesian Modeling and Causal Inference Open access

Adèle H. Ribeiro, Dominik Heider

1

citations
bioacoustic-ai/bacpipe: bacpipe v1.3.5 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben McEwen, +2 more

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations
bioacoustic-ai/bacpipe: bacpipe v1.3.5 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben, +2 more

0

citations
On Sampling-Based Training Criteria for Neural Language Modeling
2021 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Yingbo Gao, David Thulke, Alexander Gerstenberger, Ralf Schlüter, Hermann Ney

0

citations

24 results