Lorenz Leutgeb

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Quantifier Free

Anti Unification

Model Construction

Top Venues

Math. Struct. Comput. Sci.

Publications

Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
Symbolic Model Construction for Saturated Constrained Horn Clauses. FroCoS (2023)
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
Explicit Model Construction for Saturated Constrained Horn Clauses. CoRR (2023)
Lorenz Leutgeb, Georg Moser, Florian Zuleger
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. CoRR (2022)
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. IJCAR (2022)
Lorenz Leutgeb, Georg Moser, Florian Zuleger
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. CAV (2) (2022)
Martin Hofmann, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger
Type-based analysis of logarithmic amortised complexity. Math. Struct. Comput. Sci. 32 (6) (2022)
Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach
A Two-Watched Literal Scheme for First-Order Logic. PAAR@IJCAR (2022)
Martin Hofmann, Lorenz Leutgeb, Georg Moser, David Obwaller, Florian Zuleger
Type-Based Analysis of Logarithmic Amortised Complexity. CoRR (2021)
Lorenz Leutgeb, Georg Moser, Florian Zuleger
ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures. CAV (2) (2021)
Lorenz Leutgeb, Antonius Weinzierl
Techniques for Efficient Lazy-Grounding ASP Solving. DECLARE (2017)