From

Institution

Field

Type

Topic: Logic, programming, and type systems ×

Journal / venue: RWTH Publications (RWTH Aachen) ×

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

Reset

Papers in Logic, programming, and type systems 10

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

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
Implementation of a predicate-guided termination snalysis for pointer programs
2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Foundations of probabilistic programming
2021 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
Assistance for PLC Programming during Development based on Static Analysis
2020 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

Mathias Obster

0

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
On the rtelation of rely-guarantee and assume-guarantee reasoning
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

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
Caesar: A Deductive Verifier for Probabilistic Programs
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

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

0

citations

10 results