Name Card

Full name Familienname, Vorname
Loitzenbauer, Veronika
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and DiameterKonferenzbeitrag Inproceedings 2018
2Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika Expressive Power of Collective AttacksPräsentation Presentation2018
3Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika Improved Set-based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings2017