From

Institution

Field

Type

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

Reset

Papers matching “undecidability” 38

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Simple Numeric Planning with Two Variables Is Decidable
2025 Frontiers in artificial intelligence and applications book-chapter Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations
Multi-Valued Partial Order Plans in Numeric Planning
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations
A Constructive Approach to Freyd Categories
2020 Applied Categorical Structures article Computer Science Logic, programming, and type systems Open access

4

citations
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
2021 Logical Methods in Computer Science article Computer Science Logic, Reasoning, and Knowledge Open access

Matthias Hoelzel, Richard Wilke

2

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
Residuality and Learning for Nondeterministic Nominal Automata
2022 Logical Methods in Computer Science article Computer Science semigroups and automata theory Open access

Joshua Moerman, Matteo Sammartino

1

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2020 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Elisabet Burjons, Fabian Frei, Martin Raszyk

0

citations
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
2020 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory Open access

0

citations
A Framework for Belief-based Programs and Their Verification
2025 Journal of Artificial Intelligence Research article Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Resynchronized Uniformization and Definability Problems for Rational Relations
2023 Discrete Mathematics & Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Christof Löding, Sarah Winter

0

citations
Preface
2020 other Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

5

citations
A Constructive Approach to Freyd Categories
2021 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Sebastian Posur

3

citations
Stay or leave? Retention factors in intensive care medicine from a multiprofessional cross-sectional nationwide survey in Germany
2026 Journal of Critical Care article Health Professions Global Health Workforce Issues Open access

Matthias Manfred Deininger, Diana Freund, Louisa Jahnke, Kathrin Schumann-Stoiber, Nico Haehn, Florian Hoffmann, +2 more

0

citations
Effectiveness of Electronic Health Interventions in Improving Treatment Adherence for Adults With Obstructive Sleep Apnea: Meta-Analytic Review
2020 Journal of Medical Internet Research article Medicine Obstructive Sleep Apnea Research Open access

Jiska Joëlle Aardoom, Lisa Loheide‐Niesmann, Hans C. Ossebaard, Heleen M. Riper

96

citations
Intentions to be Vaccinated Against COVID-19: The Role of Prosociality and Conspiracy Beliefs across 20 Countries
2022 Health Communication article Social Sciences Vaccine Coverage and Hesitancy Open access

Violeta Enea, Nikolett Eisenbeck, David F. Carreno, Karen M. Douglas, Robbie M. Sutton, Maximilian Agostini, +94 more

62

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
Scenario-Based Verification of Uncertain MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

20

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Mycale species of the tropical Indo-West Pacific (Porifera, Demospongiae, Poecilosclerida)
2021 Zootaxa article Biochemistry, Genetics and Molecular Biology Marine Sponges and Natural Products Open access

Rob W. M. van Soest, Ratih Aryasari, Nicole Joy de Voogd

8

citations
The untapped potential of Bayesian region of practical equivalence for assessing null effects in multi-domain research
2025 Building and Environment article Mathematics Statistical Methods and Bayesian Inference Open access

Jian Pan, Rania Christoforou, Lucy Nives Wiedermann, Marcel Schweiker

7

citations
Search and Explore: Symbiotic Policy Synthesis in POMDPs
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

7

citations
An Educational Need Regarding Treatment-Related Infertility and Fertility Preservation: a National Survey Among Members of the Dutch Society for Medical Oncologists
2021 Journal of Cancer Education article Medicine Reproductive Biology and Fertility Open access

Esmée M. Krouwel, Eleonore M. L. Birkhoff, Melianthe P. J. Nicolai, Susanne Osanto, Hein Putter, Rob C.M. Pelger, +1 more

6

citations