From

Institution

Field

Type

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

Reset

Papers matching “undecidability” 41

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
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
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
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
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 (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
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
Preface
2020 other Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory

Elisabet Burjons, Fabian Frei, Martin Raszyk

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
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
A Survey of Local–Global Methods for Hilbert’s Tenth Problem
2024 Association for Women in Mathematics series book-chapter Mathematics Algebraic Geometry and Number Theory

Sylvy Anscombe, Valentijn Karemaker, Zeynep Kisakürek, Vlerë Mehmeti, Margherita Pagano, Laura Paladino

1

citations
Computability and Its Limitations
2021 Graduate texts in mathematics book-chapter Computer Science Computability, Logic, AI Algorithms

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

0

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

64

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