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 “termination analysis” 3

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

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

1

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

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

0

citations
monarch-initiative/mondo: v2026-07-06
2026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Biomedical Text Mining and Ontologies Open access

Nicole Vasilevsky, Chris J Mungall, Nicolas Matentzoglu, Sabrina Toro, Trish Whetzel, MeeSiing Ngu, +20 more

0

citations

3 results