From

Institution

Field

Type

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

Reset

Papers matching “quantifier elimination” 71

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 RWTH Publications (RWTH Aachen) book-chapter Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
2025 CEUR Workshop Proceedings article Computer Science Polynomial and algebraic computation Open access

0

citations
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation Open access

Valentin Promies, Erika Ábrahám

3

citations
A comparison of full model specification and backward elimination of potential confounders when estimating marginal and conditional causal effects on binary outcomes from observational data
2022 Biometrical Journal article Mathematics Advanced Causal Inference Techniques Open access

Kim Luijken, Rolf H. H. Groenwold, Maarten van Smeden, Susanne Strohmaier, Georg Heinze

13

citations
Maturation of Paracetamol Elimination Routes in Preterm Neonates Born Below 32 Weeks of Gestation
2023 Pharmaceutical Research article Medicine Pharmaceutical studies and practices Open access

Yunjiao Wu, Swantje Völler, Elke H. J. Krekels, Daniella W. E. Roofthooft, Sinno H. P. Simons, Dick Tibboel, +2 more

8

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems
2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

5

citations
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka

1

citations
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
2026 Mathematics in Computer Science article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Gereon Kremer

1

citations
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
2020 Mathematics in Computer Science article Computer Science Polynomial and algebraic computation Open access

10

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
2025 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification

Jonas Stübbe, Anne Remke, Erika Ábrahám

0

citations
Merging Adjacent Cells During Single Cell Construction
2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation

Jasper Nalbach, Erika Ábrahám

2

citations
Abstract domains in SMT solving for real algebra (invited talk)
2020 conference-abstract Computer Science Polynomial and algebraic computation

Erika Ábrahám

0

citations
Mixing Matrix-corrected Whole-body Pharmacokinetic Modeling Using Longitudinal Micro-computed Tomography and Fluorescence-mediated Tomography
2021 Molecular Imaging and Biology article Medicine Medical Imaging Techniques and Applications Open access

Simin Zuo, Wa’el Al Rawashdeh, Stefanie Rosenhain, Zuzanna Magnuska, Yamoah Grace Gyamfuah, Fabian M. Kiessling, +1 more

1

citations
Detection of anti-M. leprae antibodies in healthy children in China: A systematic review of Chinese literature
2022 Frontiers in Tropical Diseases review Medicine Leprosy Research and Treatment Open access

Zijie Zhou, Louise Pierneef, Anouk van Hooij, Annemieke Geluk

4

citations
Detecting CSF-validated Alzheimer’s disease from spontaneous speech in German: an interpretable end-to-end machine-learning framework
2026 Frontiers in Neurology article Medicine Dementia and Cognitive Impairment Research Open access

Daniel Wiechmann, Elma Kerz, Milena Albrecht, Yu Qiao, João Pinho, Kathrin Reetz, +1 more

0

citations
Elemental psychopathology: distilling constituent symptoms and patterns of repetition in the diagnostic criteria of the DSM-5
2023 Psychological Medicine article Psychology Mental Health Research Topics Open access

Miriam K. Forbes, Bryan Neo, Omid Mohamad Nezami, Eiko I. Fried, Katherine Faure, Brier Michelsen, +2 more

99

citations
The Impact of Drug Properties and Severity of Obesity on Renal Drug Clearance Through Glomerular Filtration and Active Tubular Secretion: A Systematic Analysis Using PBPK Modeling
2025 Pharmaceutical Research article Medicine Pharmaceutical studies and practices Open access

Tan Zhang, Elisa A. M. Calvier, Elke H. J. Krekels, Catherijne A. J. Knibbe

4

citations
Should LC-MS/MS Be the Reference Measurement Procedure to Determine Protein Concentrations in Human Samples?
2020 Clinical Chemistry article Medicine Clinical Laboratory Practices and Quality Control Open access

Andrew N. Hoofnagle, Christa M. Cobbaert, Vincent Delatour, Neil L. Kelleher, Mark S. Lowenthal, Christopher M. Shuford

27

citations
Structural-Fiscal Alignment in German Hospital Reform: Network Analysis of Service Group Prerequisites and Comparative Policy Scenarios
2025 medRxiv preprint Economics, Econometrics and Finance Healthcare Policy and Management Open access

0

citations
Accelerating drug development in infectious diseases using zebrafish disease models supported by pharmacokinetic-pharmacodynamic modeling as new approach methodology (NAM)
2026 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Zebrafish Biomedical Research Applications Open access

Gabriel Forn‐Cuní, Bart van Lieshout, Bjørn E. V. Koch, Cristina Villellas, Stijn Van Asten, Ellen A. Lanckacker, +7 more

1

citations
On-site treatment of hospital wastewater in a full-scale treatment plant in Germany: SARS-CoV-2 and treatment performance
2023 Water Science & Technology article Environmental Science Pharmaceutical and Antibiotic Environmental Impacts Open access

Sarah Haeusser, Christian Mauer, Volker Linnemann, Anna Pfannstiel, Johannes Pinnekamp, Thomas Wintgens, +2 more

10

citations