In: 32nd International Symposium on Computational Geometry (SoCG 2016) Leibniz International Proceedings in Informatics (LIPIcs) (51) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 52.1-52.16. ISSN 1868-8969
Peeling and nibbling the cactus: Subexponential-time algorithms for counting triangulations and related problems
In: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) Leibniz International Proceedings in Informatics (LIPIcs) (55) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 47:1-47:14. ISSN 1868-8969
Parity Separation: A Scientifically Proven Method for Permanent Weight Loss
In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016 Leibniz International Proceedings in Informatics (LIPIcs) (58) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 34:1-34:14. ISSN 1868-8969
A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion
In: Internet of Things Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (169) Springer International Publishing, Cham (Svájc), pp. 39.
Foundations for Simulating IoT Control Mechanisms with a Chemical Analogy