From

Institution

Field

Type

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

Reset

Papers matching “program logic” 15

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Predicatet transformers for nondeterministic quantum programs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Xi Wang

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations
An intrinsically explainable pipeline for MRI classification
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Explainable Artificial Intelligence (XAI) Open access

Lars Quakulinski

0

citations
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
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

0

citations
Figurationen pädagogischer Beziehung - professionelle Komplizenschaft als Beziehungspraxis im Referendariat : eine subjektivierungstheoretische Analyse personenorientierter Beratung im Lehramtsreferendariat
2026 RWTH Publications (RWTH Aachen) dissertation Social Sciences Teacher Education and Leadership Studies Open access

Laura Wever

0

citations
Energiesystemoptimierung, Marktmechanismen und Netzplanung in Niedertemperatur-Wärmenetzen
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Integrated Energy Systems Optimization Open access

Yi Nie

0

citations
Efficiency and scalability exploration of an application-specific instruction-set processor for deep convolutional neural networks
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Neural Network Applications Open access

Andreas Bytyn

0

citations
BIM information management for thermal energetic simulation of building service systems
2020 RWTH Publications (RWTH Aachen) dissertation Engineering BIM and Construction Integration Open access

Reinhard Wimmer

0

citations

15 results