Old Web
English
Sign In
Acemap
>
authorDetail
>
Lorenz Leutgeb
Lorenz Leutgeb
Vienna University of Technology
Computer science
Theoretical computer science
Solver
Ground
Splay tree
5
Papers
15
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures
2021
CAV | Computer Aided Verification
Lorenz Leutgeb
Georg Moser
Florian Zuleger
Show All
Source
Cite
Save
Citations (0)
Type-Based Analysis of Logarithmic Amortised Complexity.
2021
arXiv: Logic in Computer Science
Martin Hofmann
Lorenz Leutgeb
Georg Moser
David Obwaller
Florian Zuleger
Show All
Source
Cite
Save
Citations (2)
Type-based analysis of logarithmic amortised complexity
2021
Mathematical Structures in Computer Science
Martin Hofmann
Lorenz Leutgeb
David Obwaller
Georg Moser
Florian Zuleger
Show All
Source
Cite
Save
Citations (2)
The Alpha Solver for Lazy-Grounding Answer-Set Programming
2019
Antonius Weinzierl
Bart Bogaerts
Jori Bomanson
Thomas Eiter
Gerhard Friedrich
Tomi Janhunen
Tobias Kaminski
Michael Langowski
Lorenz Leutgeb
Gottfried Schenner
Richard Taupe
Show All
Source
Cite
Save
Citations (0)
Techniques for Efficient Lazy-Grounding ASP Solving
2017
Lorenz Leutgeb
Antonius Weinzierl
Show All
Source
Cite
Save
Citations (11)
1