From

Institution

Field

Type

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

Reset

Papers matching “decidability” 454

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Finite-valued Streaming String Transducers
2025 TheoretiCS article Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Anca Muscholl, Gabriele Puppis, Sarah Winter

2

citations
Deciding Termination of Simple Randomized Loops
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

0

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
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
Saturation Problems for Families of Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

0

citations
Termination of triangular polynomial loops
2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

8

citations
Synthesis from Weighted Specifications with Partial Domains over Finite Words
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

Emmanuel Filiot, Christof Löding, Sarah Winter

7

citations
Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

4

citations
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

4

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
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu

3

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
On the Boolean Closure of Deterministic Top-Down Tree Automata
2023 International Journal of Foundations of Computer Science article Computer Science semigroups and automata theory Open access

Christof Löding, Wolfgang Thomas

0

citations
Constructing (Co)inductive Types via Large Sizes
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

Bastiaan Laarakker, Daniël Otten, Benno van den Berg

0

citations
Timeline-based planning over dense temporal domains
2020 Theoretical Computer Science article Computer Science AI-based Problem Solving and Planning Open access

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger

6

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 termination of polynomial programs with equality conditions
2026 Information and Computation article Computer Science Logic, programming, and type systems Open access

Yangjia Li, Mingshuai Chen, Hui Lu, Joost-Pieter Katoen

2

citations
Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge Open access

Hannah M. Wilk, Shakil M. Khan, Gerhard Lakemeyer

0

citations
Changing the choice from dialysis to conservative care or vice versa in older patients with advanced chronic kidney disease
2021 Nephrology Dialysis Transplantation article Medicine Dialysis and Renal Disease Management Open access

Carlijn G. N. Voorend, Wouter R. Verberne, Mathijs van Oevelen, Yvette Meuleman, Marjolijn van Buren, Willem Jan W. Bos

12

citations
Honorary Authorships in the Ophthalmological Literature
2020 Journal of Current Ophthalmology article Social Sciences Academic integrity and plagiarism Open access

Hannah Hardjosantoso, Yalda Dahi, Alex Verhemel, Ingri Dahi, Pravesh Shankar Gadjradj

6

citations
You Get What You Pay For: Breast MRI Screening of Women With Dense Breasts Is Cost-effective
2021 JNCI Journal of the National Cancer Institute article Medicine Digital Radiography and Breast Imaging Open access

Christiane Katharina Kuhl, Pascal Baltzer

11

citations
De‐risking Clinical Trials: The BIAL Phase I Trial in Foresight
2021 Clinical Pharmacology & Therapeutics article Mathematics Statistical Methods in Clinical Trials Open access

Adam F. Cohen, Jeroen van Smeden, David John Webb

10

citations
The gray area of RQ-PCR-based measurable residual disease: subdividing the “positive, below quantitative range” category
2024 Leukemia article Medicine Acute Lymphoblastic Leukemia research Open access

Michaela Kotrová, Eva Froňková, Michael Svatoň, Daniela Drandi, Felix Schön, Patricia G. Hoogeveen, +13 more

7

citations
Activity of Decitabine (DAC) Combined with All-Trans Retinoic Acid (ATRA) in Oligoblastic AML: Subgroup Analysis of a Randomized 2x2 Phase II Trial
2020 Blood article Medicine Acute Myeloid Leukemia Research

Michael Luebbert, Olga Grishina, Claudia Schmoor, Martina Margrit Crysandt, Edgar Jost, Felicitas R. Thol, +27 more

1

citations
Incentives for cooperation in groups: sociality meets decision rights
2023 Review of Managerial Science article Social Sciences Experimental Behavioral Economics Studies Open access

Britta Butz, Pablo Guillén Álvarez, Christine Harbring

1

citations