From

Institution

Field

Type

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

Reset

Papers matching “imperative programs” 12

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Debugger for Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Alexander Hoppen, Thomas Noll

2

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
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

1

citations
CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

3

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

citations
Approximately Compatible Graph Predicates
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Alexander Ferber, Ira Fesefeldt, Thomas Noll, Emmett Rayes

0

citations
Automatic Programming Assessment System for a Computer Science Bridge Course - An Experience Report
2022 Proceedings - Asia Pacific Software Engineering Conference/Proceedings conference-paper Computer Science Teaching and Learning Programming

Sebastian Geiss, Tim Jentzsch, Nils Wild

0

citations
Compilation on the GPU?
2022 ACM International Conference on Computing Frontiers (CF) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Robin F. Voetter, Marcel Huijben, Kristian F. D. Rietveld

0

citations
PERMAVOST '22
2022 ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC) conference-paper Computer Science Parallel Computing and Optimization Techniques

Radita Liem, Ana Veroneze Solorzano, Connor Francis Scully-Allison

0

citations
Flowboard: How Seamless, Live, Flow-Based Programming Impacts Learning to Code for Embedded Electronics
2022 ACM Transactions on Computer-Human Interaction article Computer Science Teaching and Learning Programming

Anke Brocker, René Schäfer, Christian Remy, Simon Voelker, Jan Borchers

15

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
Weighted Programming
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations

12 results