Full name Familienname, Vorname
Leutgeb, Lorenz
 

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data StructuresKonferenzbeitrag Inproceedings 2022
2Weinzierl, Antonius ; Bogaerts, Bart ; Bomanson, Jori ; Eiter, Thomas ; Friedrich, Gerhard ; Janhunen, Tomi ; Kaminski, Tobias ; Langowski, Michael ; Leutgeb, Lorenz ; Schenner, Gottfried ; Taupe, Richard The Alpha Solver for Lazy-GroundingAnswer-Set ProgrammingArtikel Article2019
3Leutgeb, Lorenz ; Weinzierl, Antonius Techniques for Efficient Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2018
4Leutgeb, Lorenz ; Weinzierl, Antonius Techniques for Efficient Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2017