From

Institution

Field

Type

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

Reset

Papers matching “decidability” 16

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

citations
Semi online problems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Optimization and Search Problems Open access

Matthias Gehnen

0

citations
Stärken und Grenzen des Weisfeiler-Leman-Algorithmus
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Sandra Kiefer

7

citations
Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

citations
Datenintegration und Metadatenmanagement in Data Lakes
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Database Systems and Queries Open access

Rihan Hai

2

citations
Dreifach periodische simpliziale Flächen
2020 RWTH Publications (RWTH Aachen) dissertation Mathematics Geometric and Algebraic Topology Open access

Matthias Wisotzky

1

citations
Extrazelluläre Signaturen pathologischer Aktivität im subthalamischen Nukleus
2021 RWTH Publications (RWTH Aachen) dissertation Medicine Neurological disorders and treatments Open access

Robin Pauli

0

citations
A decomposition-compatible canonization framework for the graph isomorphism problem
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Graph Theory and Algorithms Open access

Daniel Wiebking

0

citations
Invariant zero sets for first and second order nonlinear ODE systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Melanie Harms

0

citations
Reasoning about probabilistic and higher-order beliefs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Blocking necroptosis through agenetic point mutation of MLKL mitigates obesity, MASLD and MetALD progression
2026 RWTH Publications (RWTH Aachen) dissertation Medicine Liver Disease Diagnosis and Treatment Open access

Michael Thaddäus Singer

0

citations
Verkehrslärm : Auswirkungen der drei Verkehrsträger Straße, Schiene und Luft auf die Belästigung
2026 RWTH Publications (RWTH Aachen) dissertation Health Professions Noise Effects and Management Open access

Sarah Weidenfeld

0

citations
Speed perception and speed adaptation while traveling in passenger cars
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Traffic and Road Safety Open access

Anna-Lena Köhler

0

citations
Central venous stenosis in hemodialysis patients: treatment strategies and clinical outcomes
2026 RWTH Publications (RWTH Aachen) dissertation Health Professions Central Venous Catheters and Hemodialysis Open access

Masoud Dehbozorgi

0

citations
Validierung und Verifikation von elektrochemischen Sensoren eines mobilen Luftqualitätsmessgerätes zur Bestimmung von Stickoxiden in hochbelasteter Tunnelabluft
2024 RWTH Publications (RWTH Aachen) dissertation Environmental Science Air Quality Monitoring and Forecasting Open access

Fabio Trilk

0

citations
Electrolyte development for a SOFC operating at low temperature
2020 RWTH Publications (RWTH Aachen) dissertation Materials Science Advancements in Solid Oxide Fuel Cells Open access

Jun Zhang

0

citations

16 results