Techniques for Efficient Lazy-Grounding ASP Solving. - Lorenz Leutgeb; Antonius Weinzierl (DECLARE, 2017)

ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures. - Lorenz Leutgeb; Georg Moser; Florian Zuleger (CAV (2), 2021)

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. - Martin Bromberger; Lorenz Leutgeb; Christoph Weidenbach (IJCAR, 2022)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. - Lorenz Leutgeb; Georg Moser; Florian Zuleger (CAV (2), 2022)

A Two-Watched Literal Scheme for First-Order Logic. - Martin Bromberger; Tobias Gehl; Lorenz Leutgeb; Christoph Weidenbach (PAAR@IJCAR, 2022)

Type-based analysis of logarithmic amortised complexity. - Martin Hofmann 001; Lorenz Leutgeb; David Obwaller; Georg Moser; Florian Zuleger (Math. Struct. Comput. Sci., 2022)

Symbolic Model Construction for Saturated Constrained Horn Clauses. - Martin Bromberger; Lorenz Leutgeb; Christoph Weidenbach (FroCoS, 2023)