From

Institution

Field

Type

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

Reset

Papers matching “study programs” 32

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg

1

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Unraveling the Skillsets of Data Scientists: Text Mining Analysis of Dutch University Master Programs in Data Science and Artificial Intelligence
2023 arXiv (Cornell University) preprint Computer Science Information Systems Education and Curriculum Development Open access

Mathijs J. Mol, Barbara Belfi, Zsuzsa Bakk

1

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
Multiobjective Preexpectation Reasoning for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Hannah Mertens, Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
Extracting Rules from Event Data for Study Planning
2023 arXiv (Cornell University) preprint Computer Science Online Learning and Analytics Open access

Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani, Gyunam Park, Hayyan Helal, Gerhard Lakemeyer, +1 more

1

citations
Smoothing Codes and Lattices: Systematic Study and New Bounds
2022 arXiv (Cornell University) preprint Computer Science Cryptography and Data Security Open access

Thomas Debris-Alazard, Léo Ducas, Nicolas Resch, Jean–Pierre Tillich

1

citations
Towards Concurrent Quantitative Separation Logic
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll

3

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
An Integer Programming Approach to Deep Neural Networks with Binary Activation Functions
2020 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Bubacarr Bah, Jannis Kurtz

8

citations
Quantum Programming with Inductive Datatypes
2020 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

3

citations
Automatic Compiler-Based Data Structure Generation
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Kristian F. D. Rietveld, Harry A. G. Wijshoff

1

citations
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +4 more

2

citations
Quantum references
2021 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dominique Unruh

1

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
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
2023 Research Square preprint Computer Science Logic, Reasoning, and Knowledge Open access

Radhakrishnan Delhibabu

0

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
A Unified Hardware-to-Decoder Architecture for Hybrid Continuous-Variable and Discrete-Variable Quantum Error Correction in LiDMaS+
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dennis Delali Kwesi Wayo, Chinonso Onah, Leonardo Goliatt, Sven Groppe

0

citations
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

0

citations
Evolvability Degeneration in Multi-Objective Genetic Programming for Symbolic Regression
2022 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Dazhuang Liu, Marco Virgolin, Tanja Alderliesten, Peter A. N. Bosman

0

citations
End-to-end resource analysis for quantum interior point methods and portfolio optimization
2022 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Alexander M. Dalzell, B. D. Clader, Grant Salton, Mario Berta, Cedric Yen-Yu Lin, David A. Bader, +5 more

3

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
GA: A Comprehensive Survey on LLM-based GUI Agent
2025 preprint Computer Science Usability and User Interface Design Open access

Longzhao Huang, Jun Liu, Changwei Wang, Rongtao Xu, Wenhao Xu, Zhiwei Xu, +7 more

2

citations
The QUATRO Application Suite: Quantum Computing for Models of Human Cognition
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Raghavendra Pradyumna Pothukuchi, Leon Lufkin, Yu Jun Shen, Alejandro Simon, Rome Thorstenson, Bernardo Eilert Trevisan, +8 more

2

citations
MetalDock: an open access docking tool for easy and reproducible docking of metal complexes
2023 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Matthijs L. A. Hakkennes, Francesco Buda, Sylvestre A. Bonnet

1

citations