From

Institution

Field

Type

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

Reset

Papers matching “recursive programs” 34

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Joost-Pieter Katoen

6

citations
FINDS: an ImageJ script for rapid non-matrix diffraction spot identification in selected area electron diffraction patterns
2024 Powder Diffraction article Biochemistry, Genetics and Molecular Biology Advanced Electron Microscopy Techniques and Applications Open access

Thomas E. Weirich

1

citations
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Joost-Pieter Katoen

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
Clinical-genomic determinants of immune checkpoint blockade response in head and neck squamous cell carcinoma
2023 Journal of Clinical Investigation article Medicine Cancer Immunotherapy and Biomarkers Open access

Cristina Valero, Mahdi Golkaram, Joris L. Vos, Bin Xu, Conall W. R. Fitzgerald, Mark Andrew Lee, +16 more

31

citations
Industrial Utilization or Storage of CO2? A Compound Real Options Valuation for the Retrofitting of Coal-Fired Power Plants
2023 Research Square preprint Economics, Econometrics and Finance Capital Investment and Risk Analysis Open access

Qinghan Yu, Reinhard Madlener

15

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