From

Institution

Field

Type

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

Reset

Papers matching “computational complexity bounds” 103

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Discovering hybrid process models with bounds on time and complexity
2023 Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Wil M. P. van der Aalst, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Humam Kourani

5

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2024 arXiv (Cornell University) preprint Engineering Advanced Numerical Analysis Techniques Open access

Moritz Lichter, Simon Raßmann, Pascal Schweitzer

0

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Simon Raßmann, Pascal Schweitzer

1

citations
Computational Complexity of Alignments
2026 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst

1

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2026 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research

Moritz Lichter, Simon Raßmann, Pascal Schweitzer

0

citations
The Complexity of Reachability in Parametric Markov Decision Processes
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler

10

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
The Complexity of Homomorphism Reconstructibility
2023 arXiv (Cornell University) preprint Computer Science Machine Learning and Algorithms Open access

Jan Böker, Louis Härtel, Nina Runde, Tim Seppelt, Christoph Standke

1

citations
The Complexity of Homomorphism Reconstructibility
2025 ACM Transactions on Computation Theory article Computer Science Computability, Logic, AI Algorithms Open access

Jan Böker, Louis Härtel, Nina Runde, Tim Seppelt, Christoph Standke

0

citations
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
The complexity of reachability in parametric Markov decision processes
2021 Journal of Computer and System Sciences article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler

23

citations
On the advice complexity of the online dominating set problem
2021 Theoretical Computer Science article Computer Science Optimization and Search Problems Open access

Hans-Joachim Böckenhauer, Juraj Hromkovic̆, Sacha Krug

3

citations
Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Software Engineering Research Open access

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

4

citations
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
2023 conference-paper Computer Science Advanced Graph Theory Research

Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer

4

citations
Quantum aspects of chaos and complexity from bouncing cosmology: A study with two-mode single field squeezed state formalism
2021 SciPost Physics Core article Physics and Astronomy Quantum chaos and dynamical systems Open access

34

citations
A space-time adaptive low-rank method for high-dimensional parabolic partial differential equations
2024 Journal of Complexity article Computer Science Image and Signal Denoising Methods Open access

Markus Bachmayr, Manfred Faldum

2

citations
Stochastic Games with Disjunctions of Multiple Objectives
2021 Electronic Proceedings in Theoretical Computer Science article Decision Sciences Game Theory and Applications Open access

Tobias Winkler, Maximilian Weininger

2

citations
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
2021 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Tobias Winkler, Maximilian Weininger

1

citations
Automatic Nonlinear MPC Approximation With Closed-Loop Guarantees
2025 IEEE Transactions on Automatic Control article Engineering Advanced Control Systems Optimization

Abdullah Tokmak, Christian Fiedler, Melanie N. Zeilinger, Sebastian Trimpe, Johannes Köhler

9

citations
Automatic nonlinear MPC approximation with closed-loop guarantees
2023 arXiv (Cornell University) preprint Engineering Advanced Control Systems Optimization Open access

Abdullah Tokmak, Christian Fiedler, Melanie N. Zeilinger, Sebastian Trimpe, Johannes Köhler

1

citations
The Descriptive Complexity of Graph Neural Networks
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Machine Learning and Algorithms Open access

Martin Grohe

4

citations
The Descriptive Complexity of Graph Neural Networks
2024 TheoretiCS article Computer Science Neural Networks and Applications Open access

Martin Grohe

3

citations
The Descriptive Complexity of Graph Neural Networks
2023 conference-paper Computer Science Advanced Graph Neural Networks

Martin Grohe

7

citations
Quantum aspects of chaos and complexity from bouncing cosmology: A study with two-mode single field squeezed state formalism
2021 RWTH Publications (RWTH Aachen) article Physics and Astronomy Cosmology and Gravitation Theories Open access

14

citations