In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743
New Search Strategies for the Petri Net CEGAR Approach
In: Algorithms - ESA 2015. 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings Lecture Notes in Computer Science (9294) Springer, Berlin, pp. 865-877.
Optimal Parameterized Algorithms for Planar Facility Location Problems Using Voronoi Diagrams