From

Institution

Field

Type

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

Reset

Papers matching “partial correctness” 198

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
Choosing the Correct Internal Reference Redox Species for Overcoming Reference Electrode Drift in Voltammetric pH Measurements
2025 ACS electrochemistry. article Chemical Engineering Analytical Chemistry and Sensors Open access

Tania L. Read, Katherine J. Levey, Julie V. Macpherson

4

citations
Variationally correct neural residual regression for parametric PDEs: on the viability of controlled accuracy
2025 IMA Journal of Numerical Analysis article Physics and Astronomy Model Reduction and Neural Networks Open access

Markus Bachmayr, Wolfgang Dahmen, Mathias Oster

7

citations
Variationally Correct Neural Residual Regression for Parametric PDEs: On the Viability of Controlled Accuracy
2024 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Markus Bachmayr, Wolfgang Dahmen, Mathias Oster

3

citations
Arterial input function estimation compensating for inflow and partial voluming in dynamic contrast‐enhanced MRI
2024 NMR in Biomedicine article Medicine Advanced MRI Techniques and Applications Open access

Chih‐Hsien Tseng, Martijn A. Nagtegaal, Matthias J.P. van Osch, Jaap P.M. Jaspers, Alejandra Méndèz Romero, Piotr A. Wielopolski, +2 more

1

citations
Corrigendum to “Odd and even partial waves of ηπ− and η′π− in π−p → η(′)π−p at 191 GeV/c” [Phys. Lett. B 740 (2015) 303–311]
2020 Physics Letters B erratum Physics and Astronomy Quantum Chromodynamics and Particle Interactions Open access

C. Adolph, R. R. Akhunzyanov, Maxim Alexeev, G. D. Alexeev, A. Amoroso, Vincent Andrieux, +86 more

10

citations
Partial volume correction in arterial spin labeling perfusion MRI: A method to disentangle anatomy from physiology or an analysis step too far?
2021 NeuroImage article Medicine Advanced MRI Techniques and Applications Open access

Michael A. Chappell, Flora A. Kennedy McConnell, Xavier Golay, Matthias Günther, Juan Antonio Hernandez-Tamames, Matthias J.P. van Osch, +1 more

62

citations
Arterial spin labeling signal in the CSF: Implications for partial volume correction and blood–CSF barrier characterization
2022 NMR in Biomedicine article Medicine Advanced MRI Techniques and Applications Open access

Léonie Petitclerc, Lydiane Hirschler, Balázs Örzsik, Iris Asllani, Matthias J.P. van Osch

11

citations
Binary Systems, Deeper Meanings, and “Correct” Pictures of Narratives: A Few Comments on Dan Shen's Analyses of Covert Progressions
2021 Style article Arts and Humanities Narrative Theory and Analysis

Alber

0

citations
Partial correction of immunodeficiency by lentiviral vector gene therapy in mouse models carrying Rag1 hypomorphic mutations
2023 Frontiers in Immunology article Biochemistry, Genetics and Molecular Biology Virus-based gene therapy research Open access

Maria Carmina Castiello, Martina Di Verniere, Elena Fontana, Sara Penna, Lucia Piceni Sereni, Alessandra Zecchillo, +12 more

4

citations
Partial-order-based process mining: a survey and outlook
2022 Knowledge and Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Sander J. J. Leemans, Sebastiaan J. van Zelst, Xixi Lu

40

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
Evaluation of the quantitative lesion imaging performance of ¹⁶¹Tb in SPECT/CT using the oversize-VOI approach
2026 Nuklearmedizin - NuclearMedicine article Medicine Medical Imaging Techniques and Applications

P Hosseini, Noah Hammersen, Pedro Fragoso Costa, Ken Herrmann, Walter Jentzen

0

citations
Image-Derived Input Functions for Quantification of A1 Adenosine Receptors Availability in Mice Brains Using PET and [18F]CPFPX
2020 Frontiers in Physiology article Medicine Medical Imaging Techniques and Applications Open access

Xuan He, Franziska Wedekind, Tina Kroll, Angela Oskamp, Simone Beer, Alexander E. Drzezga, +4 more

3

citations
Negative controls: Concepts and caveats
2023 Statistical Methods in Medical Research article Mathematics Advanced Causal Inference Techniques Open access

Bas B. L. Penning de Vries, Rolf H. H. Groenwold

11

citations
Recent Technical Developments in ASL: A Review of the State of the Art
2022 Magnetic Resonance in Medicine article Medicine Advanced MRI Techniques and Applications Open access

Luis Hernández-García, Verónica Aramendía‐Vidaurreta, Divya S. Bolar, Weiying Dai, María A. Fernández‐Seara, Jia Guo, +15 more

91

citations
Hemispheric asymmetry in high-energy phosphate consumption during sleep-deprivation is balanced by creatine
2025 Frontiers in Neuroscience article Neuroscience Sleep and Wakefulness Research Open access

Ali Gordji-Nejad, Andreas Matusch, Sophie Kleedörfer, Harshal Patel, Alexander E. Drzezga, David Elmenhorst, +2 more

5

citations
Autocrine inhibition of cell motility can drive epithelial branching morphogenesis in the absence of growth
2020 Philosophical Transactions of the Royal Society B Biological Sciences article Mathematics Mathematical Biology Tumor Growth Open access

Elisabeth G. Rens, Mathé T. Zeegers, Iraes Rabbers, András Szabó, Roeland M. H. Merks

5

citations
Autocrine inhibition of cell motility can drive epithelial branching morphogenesis in absence of growth
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Mathematics Mathematical Biology Tumor Growth Open access

Elisabeth G. Rens, Mathé T. Zeegers, Iraes Rabbers, András Szabó, Roeland M. H. Merks

0

citations