In: 25th Annual European Symposium on Algorithms (ESA 2017) Leibniz International Proceedings in Informatics (LIPIcs) (87) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 59:1-59:15. ISSN 1868-8969
Subexponential parameterized algorithms for graphs of polynomial growth
In: 32nd Computational Complexity Conference, CCC 2017 Leibniz International Proceedings in Informatics, LIPIcs (79) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 30:1-30:24. ISSN 1868-8969
On the polynomial parity argument complexity of the combinatorial nullstellensatz
In: 2017 Workshops of the International Conference on Extending Database Technology and the International Conference on Database Theory, EDBT/ICDT 2017 CEUR Workshop Proceedings (1810) CEUR-WS.org, Aachen, pp. 1-1. ISSN 1613-0073
STREAMLINE - Streamlined analysis of data at rest and data in motion