Dual VP Classes. - Eric Allender; Anna Gál; Ian Mertz (Comput. Complex., 2017)

Short Proofs Are Hard to Find. - Ian Mertz; Toniann Pitassi; Yuanhao Wei (ICALP, 2019)

Complexity of regular functions. - Eric Allender; Ian Mertz (J. Comput. Syst. Sci., 2019)

Catalytic Approaches to the Tree Evaluation Problem. - James Cook; Ian Mertz (Electron. Colloquium Comput. Complex., 2020)

Automating Cutting Planes is NP-Hard. - Mika Göös; Sajin Koroth; Ian Mertz; Toniann Pitassi (Electron. Colloquium Comput. Complex., 2020)

Lifting: As Easy As 1, 2, 3. - Ian Mertz; Toniann Pitassi (Electron. Colloquium Comput. Complex., 2020)

Encodings and the Tree Evaluation Problem. - James Cook; Ian Mertz (Electron. Colloquium Comput. Complex., 2021)

Lifting with Sunflowers. - Shachar Lovett; Raghu Meka; Ian Mertz; Toniann Pitassi; Jiapeng Zhang (ITCS, 2022)

Trading Time and Space in Catalytic Branching Programs. - James Cook; Ian Mertz (Electron. Colloquium Comput. Complex., 2022)

The Complexity of Composition: New Approaches to Depth and Space - Ian Mertz (2022)

Tree Evaluation is in Space O(log n · log log n). - James Cook; Ian Mertz (Electron. Colloquium Comput. Complex., 2023)

Reusing Space: Techniques and Open Problems. - Ian Mertz (Electron. Colloquium Comput. Complex., 2023)

The Structure of Catalytic Space: Capturing Randomness and Time via Compression. - James Cook; Jiatu Li; Ian Mertz; Edward Pyne (Electron. Colloquium Comput. Complex., 2024)

Fully Characterizing Lossy Catalytic Computation. - Marten Folkertsma; Ian Mertz; Florian Speelman; Quinten Tupker (Electron. Colloquium Comput. Complex., 2024)

Collapsing Catalytic Classes. - Michal Koucký 001; Ian Mertz; Edward Pyne; Sasha Sami (Electron. Colloquium Comput. Complex., 2025)

Bipartite Matching is in Catalytic Logspace. - Aryan Agarwala; Ian Mertz (Electron. Colloquium Comput. Complex., 2025)

Catalytic Computing and Register Programs Beyond Log-Depth. - Yaroslav Alekseev; Yuval Filmus; Ian Mertz; Alexander Smal; Antoine Vinciguerra (Electron. Colloquium Comput. Complex., 2025)