From

Institution

Field

Type

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

Reset

Papers matching “mathematical logic” 35

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Mathematical Logic
2021 Graduate texts in mathematics book Computer Science Advanced Algebra and Logic

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

9

citations
The Scope of First-Order Logic
2021 Graduate texts in mathematics book-chapter Psychology Philosophy and Theoretical Science

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
2025 Topoi article Computer Science Computability, Logic, AI Algorithms Open access

Markus Pantsar

1

citations
Memristive ternary Łukasiewicz logic based on reading-based ratioed resistive states (3R)
2025 Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences article Engineering Advanced Memory and Neural Computing Open access

Feng Liu, Leon Brackmann, Xianyue Zhao, Nan Du, Rainer Waser, Stephan Menzel

0

citations
Weighted programming: a programming paradigm for specifying mathematical models
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, Reasoning, and Knowledge Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

18

citations
Exploiting the lock: leveraging MiG-V's logic locking for secret-data extraction
2025 Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences article Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

Lennart M. Reimann, Yadu Madhukumar Variyar, Lennet Huelser, Chiara Ghinami, Dominik Germek, Rainer Leupers

0

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Decision Sciences Scientific Computing and Data Management

Erich Grädel, Val Tannen

13

citations
Provenance analysis for logic and games
2020 Moscow Journal of Combinatorics and Number Theory article Decision Sciences Scientific Computing and Data Management Open access

7

citations
Concerning Measures in a First-order Logic with Actions and Meta-beliefs
2023 conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Vaishak Belle, Gerhard Lakemeyer

2

citations
Patient‐specific logic models of signaling pathways from screenings on cancer biopsies to prioritize personalized combination therapies
2020 Molecular Systems Biology article Biochemistry, Genetics and Molecular Biology Cancer Genomics and Diagnostics Open access

Federica Eduati, Patricia Jaaks, Jessica Wappler, Thorsten Cramer, Christoph A. Merten, Mathew J. Garnett, +1 more

79

citations
Foundations of Probabilistic Programming
2020 Cambridge University Press eBooks book Computer Science Bayesian Modeling and Causal Inference Open access

Fredrik Dahlqvist, Alexandra Silva, Dexter C. Kozen, Sam Staton, Daniel Huang, Greg Morrisett, +40 more

63

citations
Foundations of probabilistic programming
2021 RWTH Publications (RWTH Aachen) book Computer Science Bayesian Modeling and Causal Inference Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
A Sequent Calculus
2021 Graduate texts in mathematics book-chapter Computer Science Logic, programming, and type systems

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
Logics with Multiteam Semantics
2022 ACM Transactions on Computational Logic article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Richard Wilke

8

citations
Logics with Multiteam Semantics
2020 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Towards Rule Extraction for Sector-Coupled Energy Systems Based on Optimization Models
2023 International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) conference-paper Engineering Integrated Energy Systems Optimization Open access

David Wackerbauer, Dirk Müller

1

citations
A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Adversarial Robustness in Machine Learning Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
Robustness and measurement-induced percolation of the surface code
2025 Journal of Physics A Mathematical and Theoretical article Engineering Advanced Measurement and Metrology Techniques Open access

Thomas Botzung, Michael Buchhold, Sebastian Diehl, Markus Michael Müller

3

citations
Weighted Programming
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
A modified Ising model of Barabási–Albert network with gene-type spins
2020 Journal of Mathematical Biology article Physics and Astronomy Complex Network Analysis Techniques Open access

Jeyashree Krishnan, Reza Torabi, Andreas Schuppert, Edoardo Di Napoli

12

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Independence in Infinite Probabilistic Databases
2020 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe, Peter Lindner

0

citations
Hessian Chain Bracketing
2021 arXiv (Cornell University) preprint Computer Science Computability, Logic, AI Algorithms Open access

Uwe Naumann, Shubhaditya Burela

0

citations
AI Reasoning
2025 Underline Science Inc. other Open access

0

citations