From

Institution

Field

Type

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

Reset

Papers matching “runtime complexity” 21

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

1

citations
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

0

citations
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

0

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jürgen Giesl, Nils Lommen, Marcel Hark

0

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
On Single-Objective Sub-Graph-Based Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem
2023 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Jakob Bossek, Christian Grimme

0

citations
Object-Centric Alignments
2023 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Lukas Liß, Jan Niklas Adams, Wil M. P. van der Aalst

1

citations
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
2020 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Christopher Brix, Thomas Noll

3

citations
A Knowledge Compilation Map for Quantum Information
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman

0

citations
Efficiently Approximating Attention Is Hard
2026 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Lukas Haverbeck, Carmen Amo Alonso, Andrés Felipe Posada-Moreno, Sebastian Trimpe, Marco Pavone

0

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

1

citations
A Practical, Progressively-Expressive GNN
2022 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Lingxiao Zhao, Louis Härtel, Neil Shah, Leman Akoglu

3

citations
Simulating Thermal Properties of Bose-Hubbard Models on a Quantum Computer
2026 arXiv (Cornell University) preprint Physics and Astronomy Quantum many-body systems Open access

Simon Becker, Cambyse Rouzé, Robert Salzmann

0

citations
Rapid Mixing of Quantum Gibbs Samplers for Weakly-Interacting Quantum Systems
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Mario Berta, Roberto Bondesan

1

citations
Locally Fair PageRank: Mean-Field Approximation and One-Step Refinement
2026 arXiv (Cornell University) preprint Social Sciences Ethics and Social Impacts of AI Open access

Mukesh Kumar, Gaurav Dixit, Akrati Saxena

0

citations
Aligning Transformers with Weisfeiler-Leman
2024 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

0

citations
Digital Twins for Software Engineering Processes
2025 arXiv (Cornell University) preprint Computer Science Software Engineering Techniques and Practices Open access

Judith Michael, Andreas Wortmann, Jingxi Zhang

0

citations
Flowy: High performance probabilistic lava emplacement prediction
2024 arXiv (Cornell University) preprint Earth and Planetary Sciences Geological Modeling and Analysis Open access

Moritz Sallermann, Amrita Goswami, Alejandro Peña-Torres, Rohit R. Goswami

0

citations

21 results