From

Institution

Field

Type

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

Reset

Papers matching “recursive programs” 11

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

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

Nils Lommen, Jürgen Giesl

1

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

0

citations
Distributionally Robust Stochastic MPC under Disturbance-Affine Feedback Policies
2026 arXiv (Cornell University) preprint Engineering Advanced Control Systems Optimization Open access

Xu Chen, Lorenz Dörschel

0

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
Implementation of a machine learning supported model predictive control for a 5th generation district heating and cooling energy hub
2026 Energy and AI article Engineering Integrated Energy Systems Optimization Open access

Kai Droste, Aron Schwartz, K Derzsi, Rahul Karuvingal, Dirk Müller

3

citations
Locally optimized inductive process discovery
2026 Process Science article Business, Management and Accounting Business Process Modeling and Analysis Open access

Calvin Schröder, Jan Niklas van Detten, Sander J. J. Leemans

0

citations

11 results