From

Institution

Field

Type

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

Reset

Papers matching “presentation order” 42

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Implicit Assumptions About Tasks in Continual Learning
2026 arXiv (Cornell University) preprint Computer Science Domain Adaptation and Few-Shot Learning Open access

Kathrin Korte, Christian Metzner, Akshay Bedhotiya, Viet Anh Tran, Eleni Nisioti, Sebastian Risi

0

citations
Phase Transitions in Attention: A Bayesian Theory of Copy Head Emergence
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Itay Lavie, Kirsten Fischer, Andrey Lekov, Frederic Van Maele, Zohar Ringel, Moritz Helias

3

citations
An Approach to Colour Morphological Supremum Formation using the LogSumExp Approximation
2023 arXiv (Cornell University) preprint Computer Science Digital Image Processing Techniques Open access

Marvin Kahra, Michael Breuß, Andreas Kleefeld, Martin Welk

0

citations
Don't be Afraid of Cell Complexes! An Introduction from an Applied Perspective
2025 arXiv (Cornell University) preprint Computer Science Topological and Geometric Data Analysis Open access

Josef Hoppe, Vincent P. Grande, Michael T. Schaub

5

citations
Matrix-Valued LogSumExp Approximation for Colour Morphology
2024 arXiv (Cornell University) preprint Computer Science Digital Image Processing Techniques Open access

Marvin Kahra, Michael Breuß, Andreas Kleefeld, Martin Welk

2

citations
Complex Bounded Operators in Isabelle/HOL
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Dominique Unruh, José Manuel Rodríguez Caballero

1

citations
Solving Infinite Games in the Baire Space
2021 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Benedikt Brütsch, Wolfgang Thomas

0

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

0

citations
A human-checkable proof of the 112-vertex counterexample to the Petersen coloring conjecture
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Goedgebeur, Jorik Jooken, Edita Máčajová, Davide Mattiolo, Giuseppe Mazzuoccolo, Nikolay Ulyanov

1

citations
Compilation of product-formula Hamiltonian simulation via reinforcement learning
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Lea M. Trenkwalder, Eleanor Scerri, Thomas E. O’Brien, Vedran Dunjko

1

citations
Deterministic Execution of ROS 2 Applications via Lingua Franca
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Harun Teper, Shaokai Lin, Shulu Li, Edward A. Lee, Jian-Jia Chen

0

citations
Online Simple Knapsack with Reservation Costs
2020 arXiv (Cornell University) preprint Computer Science Optimization and Search Problems Open access

Hans-Joachim Boeckenhauer, Elisabet Burjons, Juraj Hromkovic̆, Henri Lotze, Peter Rossmanith

2

citations
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
2026 arXiv (Cornell University) preprint Computer Science Access Control and Trust Open access

Daham Mohammed Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, +1 more

1

citations
Fast and robust Bayesian Inference using Gaussian Processes with GPry
2022 arXiv (Cornell University) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Jonas El Gammal, Nils Schöneberg, Jesús Torrado, Christian Fidler

1

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
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

0

citations
Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations
Kinetic surface friction rendering for interactive sonification: an initial exploration
2021 arXiv (Cornell University) preprint Computer Science Music Technology and Sound Studies Open access

Staas de Jong

3

citations
Multimap targeted free energy estimation
2023 arXiv (Cornell University) preprint Computer Science Computational Drug Discovery Methods Open access

Andrea Rizzi, Paolo Carloni, Michele Parrinello

3

citations
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing

3

citations
How to Securely Prune Bitcoin's Blockchain
2020 arXiv (Cornell University) preprint Computer Science Blockchain Technology Applications and Security Open access

Roman Matzutt, Benedikt Kalde, Jan Pennekamp, Arthur Drichel, Martin Henze, Klaus Wehrle

2

citations
Interferometric Quantum Polynomial Chaos Expansion as a Generative Model for Calorimeter Shower Simulation
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

J. Slim, Saverio Monaco, Florian Rehm, D. Kruecker, Frank Gaede, Kerstin Borras

1

citations
The Iteration Number of Colour Refinement
2020 arXiv (Cornell University) preprint Computer Science Graph Theory and Algorithms Open access

Sandra Kiefer, Brendan D. McKay

1

citations
Political corpus creation through automatic speech recognition on EU debates
2023 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

H. de Vos, Suzan Verberne

1

citations