1

Faster Exact Algorithms for Some Terminal Set Problems
Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pages 150-162, 2013.
PDF bib DOI
Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints
Frontiers in Algorithmics \emphand Algorithmic Aspects in Information and Management, Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings, pages 198-209, 2013.
PDF bib DOI
FO Model Checking of Interval Graphs
Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, volume 7966 of Lecture Notes in Computer Science, pages 250-262, 2013, Springer.
bib
GRASP and Variable Neighborhood Search for the Virtual Network Mapping Problem
Hybrid Metaheuristics, 8th Int. Workshop, HM 2013 (M. J. Blesa and others), volume 7919 of LNCS, pages 159-173, 2013, Springer.
PDF bib
Hardness of r-dominating set on Graphs of Diameter (r + 1)
Parameterized and Exact Computation - 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, pages 255-267, 2013.
PDF bib DOI
Kernelization Using Structural Parameters on Sparse Graph Classes
Algorithms - ESA 2013 - 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (Hans L. Bodlaender and Giuseppe F. Italiano), volume 8125 of Lecture Notes in Computer Science, pages 529-540, 2013, Springer.
bib
Local Backbones
Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 377-393, 2013, Springer Verlag.
PDF bib DOI
Many-to-One Boundary Labeling with Backbones
Graph Drawing (GD'13) (Wismath, Stephen and Wolff, Alexander), volume 8242 of LNCS, pages 244-255, 2013, Springer Berlin Heidelberg.
PDF bib DOI
Meta-kernelization with Structural Parameters
Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Krishnendu Chatterjee and Jiri Sgall), volume 8087 of Lecture Notes in Computer Science, pages 457-468, 2013, Springer Verlag.
bib DOI
Model Counting for CNF Formulas of Bounded Modular Treewidth
30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier and Thomas Wilke), volume 20 of LIPIcs, pages 55-66, 2013, Leibniz-Zentrum fuer Informatik.
bib DOI