Author of the publication

Runtime Monitoring with Union-Find Structures.

, , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 868-884. Springer, (2016)

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

An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels.. CoRR, (2020)Runtime Monitoring with Union-Find Structures., , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 868-884. Springer, (2016)Visual Monitoring of Photovoltaic Systems., , , , and . EnvirVis@EuroVis, page 13-16. Eurographics Association, (2016)Configuration Finder: A Tidy Visual Interface for Effective Faceted Search., , , , and . EuroVis (Short Papers), page 19-23. Eurographics Association, (2020)