In: 30th European Simulation and Modeling Conference - ESM'16 European Multidisciplinary Society for Modelling and Simulation Technology (EUROSIS), Las Palmas, pp. 91-95.
Colored Petri Net Based Diagnosis of Process Systems
In: 24th Annual European Symposium on Algorithms (ESA 2016) Leibniz International Proceedings in Informatics (LIPIcs) (57) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 33:1-33:17. ISSN 1868-8969
Counting Matchings with k Unmatched Vertices in Planar Graphs