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 “decidability” 3

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Nils Lommen

0

citations
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Nils Lommen

0

citations
Zettlr/Zettlr: Release 1.8.0
2020 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Mobile and Web Applications Open access

Hendrik Erz, Tobias Diez, Wieke, Gábor Nagy, actions-user, Matt Jolly, +19 more

0

citations

3 results