From

Institution

Field

Type

Topic: Logic, programming, and type systems ×

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

Reset

Papers in Logic, programming, and type systems 220

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

Foundations of Probabilistic Programming
2020 Cambridge University Press eBooks book Computer Science Logic, programming, and type systems Open access

Fredrik Dahlqvist, Alexandra Silva, Dexter C. Kozen, Sam Staton, Daniel Huang, Greg Morrisett, +40 more

63

citations
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning
2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

33

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
A pre-expectation calculus for probabilistic sensitivity
2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

24

citations
Recursive Abstract State Machines
2020 article Computer Science Logic, programming, and type systems Open access

Yuri Gurevich

23

citations
A Calculus for Amortized Expected Runtimes
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht

22

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
Weighted programming: a programming paradigm for specifying mathematical models
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

18

citations
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Romain Péchoux

17

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

16

citations
The Probabilistic Termination Tool Amber
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

15

citations
Lower Bounds for Possibly Divergent Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Shenghua Feng, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

14

citations
Polynomial Loops: Beyond Termination
2020 EPiC series in computing conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

13

citations
Symbolic execution formally explained
2021 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue

13

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
Termination of Polynomial Loops
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Florian Frohn, Marcel Hark, Jürgen Giesl

12

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

11

citations
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

11

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
AProVE: Non-Termination Witnesses for C Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Constantin Mensendiek, Jürgen Giesl

10

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

10

citations
RustyHermit: A Scalable, Rust-Based Virtual Execution Environment
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Stefan Lankes, Jonathan Klimt, Jens Breitbart, Simon Pickartz

10

citations
Generating Functions for Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

9

citations