Ian Mertz

Orcid: 0000-0002-4715-933X

Affiliations:
  • Charles University, Prague, Czech Republic
  • University of Warwick, UK (former)


According to our database1, Ian Mertz authored at least 22 papers between 2015 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Understanding Robust Catalytic Computing.
CoRR, May, 2026

Frontier Space-Time Algorithms Using Only Full Memory.
CoRR, February, 2026

2025
Computational Complexity of Discrete Problems (Dagstuhl Seminar 25111).
Dagstuhl Reports, March, 2025

The Structure of In-Place Space-Bounded Computation.
Electron. Colloquium Comput. Complex., 2025

Quantum Catalytic Space.
Proceedings of the 20th Conference on the Theory of Quantum Computation, 2025

The Structure of Catalytic Space: Capturing Randomness and Time via Compression.
Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

Catalytic Computing and Register Programs Beyond Log-Depth.
Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Fully Characterizing Lossy Catalytic Computation.
Proceedings of the 16th Innovations in Theoretical Computer Science Conference, 2025

Collapsing Catalytic Classes.
Proceedings of the 66th IEEE Annual Symposium on Foundations of Computer Science, 2025

Bipartite Matching is in Catalytic Logspace.
Proceedings of the 66th IEEE Annual Symposium on Foundations of Computer Science, 2025

2024
Tree Evaluation Is in Space O(log n · log log n).
Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

2023
Reusing Space: Techniques and Open Problems.
Electron. Colloquium Comput. Complex., 2023

2022
The Complexity of Composition: New Approaches to Depth and Space
PhD thesis, 2022

Lifting with Sunflowers.
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

Trading Time and Space in Catalytic Branching Programs.
Proceedings of the 37th Computational Complexity Conference, 2022

2021
Encodings and the Tree Evaluation Problem.
Electron. Colloquium Comput. Complex., 2021

2020
Lifting: As Easy As 1, 2, 3.
Electron. Colloquium Comput. Complex., 2020

Automating cutting planes is NP-hard.
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020

Catalytic approaches to the tree evaluation problem.
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020

2019
Short Proofs Are Hard to Find.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2015
Dual VP Classes.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Complexity of Regular Functions.
Proceedings of the Language and Automata Theory and Applications, 2015


  Loading...