Best paper award ATVA 2021

Prize: Publication/Conference prize

Recipients

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
Tobias John - , TUD Dresden University of Technology (Laureat)
Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
Simon Jantsch - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)

Awarded date	Oct 2021
Degree of recognition	International

Conference

Title	19th International Symposium on Automated Technology for Verification and Analysis
Abbreviated title	ATVA 2021
Conference number	19
Duration	18 - 22 October 2021
Website	https://formal-analysis.com/atva/2021/
Degree of recognition	International event
Location	online
City	Gold Coast
Country	Australia

Keywords

DFG Classification of Subject Areas according to Review Boards

Theoretical Computer Science

Subject groups, research areas, subject areas according to Destatis

Theoretical Computer Science

Determinization and Limit-Determinization of Emerson-Lei Automata

John, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Oct 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Berlin [u. a.], p. 15–31 17 p. (Lecture Notes in Computer Science, Volume 12971).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden