From

Institution

Field

Type

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

Reset

Papers matching “recursive programs” 13

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
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

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
One model may not fit all: Subgroup detection using model-based recursive partitioning
2025 Journal of School Psychology article Mathematics Statistical Methods and Bayesian Inference Open access

Marjolein Fokkema, Mirka Henninger, Carolin Strobl

2

citations
Solving unconstrained binary polynomial programs with limited reach: Application to low autocorrelation binary sequences
2024 Computers & Operations Research article Mathematics Advanced Optimization Algorithms Research Open access

Jens Clausen, Yves Crama, Richard Martin Lusby, Elisabeth Rodríguez-Heck, Stefan Røpke

4

citations
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
2021 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep

3

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
A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

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

2

citations
Sequential Convex Programming Methods for Real-Time Optimal Trajectory Planning in Autonomous Vehicle Racing
2022 IEEE Transactions on Intelligent Vehicles article Engineering Vehicle Dynamics and Control Systems

Patrick Scheffe, Theodor Mario Henneken, Maximilian Kloock, Bassam Alrifaee

76

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
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

32

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

13 results