From

Institution

Field

Type

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

Reset

Papers matching “program representation” 11

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Daniel Basgöze, Kevin Batz, Sebastian Junges, Joost-Pieter Katoen

0

citations
A FAIR layer for the INHERENT haemoglobinopathy patient registry
2026 medRxiv preprint Computer Science Research Data Management Practices Open access

Stella Tamana, Christina Yiangou, Kalia Orphanou, Maria Xenophontos, Panayiota L. Papasavva, César H. Bernabé, +12 more

0

citations
Exact Probabilistic Inference Using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Joost-Pieter Katoen

1

citations
Multicenter self-supervised computational pathology identifies prognostic histomorphological phenotypes in colorectal cancer
2026 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science AI in cancer detection Open access

Floor Heilijgers, Hortense Le, Nicolas Coudray, Afreen Karimkhan, Derek Chen, Koen C.M.J. Peeters, +3 more

0

citations
A Functional Analysis Approach to Symbolic Regression
2024 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Kirill Antonov, Roman Kalkreuth, Kaifeng Yang, Thomas Bäck, Bas van Stein, Anna V. Kononova

0

citations
On genetic programming representations and fitness functions for interpretable dimensionality reduction
2022 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Thomas Uriot, Marco Virgolin, Tanja Alderliesten, Peter A. N. Bosman

3

citations
Error exponent of activated non-signaling assisted classical-quantum channel coding
2024 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Aadil Oufkir, Marco Tomamichel, Mario Berta

1

citations
Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jürgen Giesl

1

citations
Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jürgen Giesl

0

citations
Approximating fixed size quantum correlations in polynomial time
2025 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Julius A. Zeiss, Gereon Koßmann, Omar Fawzi, Mario Berta

0

citations
Optimal Refinement in Dynamic Discretisation Discovery for Continuous-Time Service Network Design
2026 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Alexander Helber, Oliver Bachtler, Tom Wüllner

0

citations

11 results