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
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: 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016 Association for Computing Machinery, Cambridge (MA), pp. 570-583. ISSN 0737-8017
A PTAS for planar group Steiner tree via spanner bootstrapping and prize collecting