Author of the publication

Profile Trees for Büchi Word Automata, with Application to Determinization.

, , , and . GandALF, volume 119 of EPTCS, page 107-121. (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Efficient Büchi Universality Checking., and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 205-220. Springer, (2010)dsmodels: A Little Language for Dynamical Systems., and . RWDSL@CGO, page 3:1-3:10. ACM, (2018)Büchi Complementation and Size-Change Termination., and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 16-30. Springer, (2009)Concoqtion: indexed types now!, , , and . PEPM, page 112-121. ACM, (2007)Random Models for Evaluating Efficient Büchi Universality Checking., , and . ICLA, volume 10119 of Lecture Notes in Computer Science, page 91-105. Springer, (2017)Towards a Grand Unification of Büchi Complementation Constructions., , , and . Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 185-207. Springer, (2022)State of Büchi Complementation., , , and . CIAA, volume 6482 of Lecture Notes in Computer Science, page 261-271. Springer, (2010)