A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “non-termination” 2

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 Formal Methods in Verification Open access

Marcel Hark

1

citations
Using value-focused thinking to elicit oncologic inpatients’ life and treatment objectives: a qualitative interview study
2025 RWTH Publications (RWTH Aachen) dissertation Economics, Econometrics and Finance Health Systems, Economic Evaluations, Quality of Life Open access

Lukas Fenkart

0

citations

2 results