Published in: Computer Aided Verification (2024), Seite 26-41

Published in: Lecture Notes in Computer Science (2020), Seite 8-24

Published in: Lecture Notes in Computer Science (2010), Seite 147-158

Published in: Lecture Notes in Computer Science (2011), Seite 329-340

Published in: Lecture Notes in Computer Science (2019), Seite 148-201

Published in: Journal of the ACM, 64 (2017) 2, Seite 1-28

Published in: Journal of Graph Algorithms and Applications, 21 (2017) 5, Seite 857-872

Published in: Computational Geometry, 52 (2016), Seite 18-33

Published in: Lecture Notes in Computer Science (2016), Seite 589-595

Published in: Lecture Notes in Computer Science (2016), Seite 33-43

Published in: SIAM Journal on Discrete Mathematics, 30 (2016) 4, Seite 1950-1977

Published in: Lecture Notes in Computer Science (2015), Seite 531-537

Published in: Lecture Notes in Computer Science (2014), Seite 501-506

Published in: Lecture Notes in Computer Science (2014), Seite 628-645

Published in: Lecture Notes in Computer Science (2013), Seite 484-495

Published in: Lecture Notes in Computer Science (2013), Seite 575-579

Published in: Lecture Notes in Computer Science (2013), Seite 508-513

Published in: Lecture Notes in Computer Science (2012), Seite 136-147