Author of the publication

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

Simple Fixpoint Iteration To Solve Parity Games., and . CoRR, (2019)Oink: An Implementation and Evaluation of Modern Parity Game Solvers.. TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 291-308. Springer, (2018)Multi-core On-The-Fly Saturation., , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 58-75. Springer, (2019)Sylvan: Multi-Core Decision Diagrams., and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 677-691. Springer, (2015)Multi-core Symbolic Bisimulation Minimisation., and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 332-348. Springer, (2016)A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking., , , , , , , and . SETTA, volume 9409 of Lecture Notes in Computer Science, page 35-51. Springer, (2015)Multi-core symbolic bisimulation minimisation., and . STTT, 20 (2): 157-177 (2018)Lace: Non-blocking Split Deque for Work-Stealing., and . Euro-Par Workshops (2), volume 8806 of Lecture Notes in Computer Science, page 206-217. Springer, (2014)Tagged BDDs: Combining reduction rules from different decision diagram types., , and . FMCAD, page 108-115. IEEE, (2017)Distributed binary decision diagrams for symbolic reachability., , and . SPIN, page 21-30. ACM, (2017)