Name Card

Full name Familienname, Vorname

Leutgeb, Lorenz

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian	ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures	Konferenzbeitrag Inproceedings	2022
	2		Weinzierl, 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 Programming	Artikel Article	2019
	3		Leutgeb, Lorenz ; Weinzierl, Antonius	Techniques for Efficient Lazy-Grounding ASP Solving	Konferenzbeitrag Inproceedings	2018
	4		Leutgeb, Lorenz ; Weinzierl, Antonius	Techniques for Efficient Lazy-Grounding ASP Solving	Konferenzbeitrag Inproceedings	2017