From

Institution

Field

Type

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

Reset

Papers matching “PSPACE” 22

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Saturation Problems for Families of Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

0

citations
Saturation Problems for Families of Automata
2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

León Bohn, Christof Löding, Sven Schewe

0

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
Coloring Reconfiguration Under Color Swapping
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

0

citations
A Hyperlogic for Strategies in Stochastic Games (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

citations
The Complexity of Online Graph Games
2022 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Janosch Fuchs, Christoph Grüne, Tom Janßen

0

citations
Computational complexity of problems in robust, bilevel and online optimization
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Complexity and Algorithms in Graphs Open access

0

citations
Stochastic Games with Lexicographic Reachability-Safety Objectives
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler

20

citations
Finite-valued Streaming String Transducers
2025 TheoretiCS article Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Anca Muscholl, Gabriele Puppis, Sarah Winter

2

citations
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
2022 RWTH Publications (RWTH Aachen) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Hayyan Helal, Matthias Naaf

2

citations
The subset sum game revisited
2021 Theory of Computing Systems article Engineering Optimization and Packing Problems Open access

Astrid Pieterse, Gerhard J. Woeginger

1

citations
The Complexity of Graph Exploration Games
2023 arXiv (Cornell University) preprint Computer Science Optimization and Search Problems Open access

Janosch Fuchs, Christoph Grüne, Tom Janßen

1

citations
Trade-offs between classical and quantum space using spooky pebbling
2025 Logical Methods in Computer Science article Computer Science Quantum Computing Algorithms and Architecture Open access

Arend-Jan Quist, Alfons Laarman

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
On Bounded Advice Classes
2024 arXiv (Cornell University) preprint Computer Science Computability, Logic, AI Algorithms Open access

Casper Gyurik, Vedran Dunjko

0

citations
Complexity of Alignments on Sound Free-Choice Workflow Nets
2025 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

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

6

citations
Timeline-based planning over dense temporal domains
2020 Theoretical Computer Science article Computer Science AI-based Problem Solving and Planning Open access

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger

6

citations
Waiting for Trains: Complexity Results
2020 Lecture notes in computer science conference-paper Engineering Railway Systems and Energy Efficiency

Bjoern Tauer, Dennis Fischer, Janosch Fuchs, Laura Vargas Koch, Stephan Zieger

3

citations
The Complexity of Online Graph Games
2024 Lecture notes in computer science conference-paper Computer Science Advanced Graph Theory Research

Janosch Fuchs, Christoph Grüne, Tom Janßen

2

citations
A Hyperlogic for Strategies in Stochastic Games
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Lina Gerlach, Christof Löding, Erika Ábrahám

0

citations
The Complexity of Graph Exploration Games
2025 Lecture notes in computer science conference-paper Computer Science Optimization and Search Problems

Janosch Fuchs, Christoph Grüne, Tom Janßen

0

citations
A Dynamic Programming Approach for Alignments on Process Trees
2025 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

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

6

citations

22 results