Alexander Langer

Available identifiers

Publication	Date of Publication	Type
Evaluation of an MSO-Solver	2019-09-12	Paper
Linear Kernels and Single-Exponential Algorithms Via Protrusion Decompositions	2018-10-30	Paper
Practical algorithms for MSO model-checking on tree-decomposable graphs	2014-11-24	Paper
A Practical Approach to Courcelle's Theorem	2014-07-23	Paper
Digraph width measures in parameterized algorithmics	2014-04-02	Paper
Lower bounds on the complexity of \(\mathsf{MSO}_1\) model-checking	2014-01-28	Paper
Linear Kernels and Single-Exponential Algorithms Via Protrusion Decompositions	2013-08-06	Paper
A fine-grained analysis of a simple independent set algorithm	2012-10-24	Paper
Lower bounds on the complexity of \(\mathrm{MSO}_1\) model-checking	2012-08-23	Paper
Courcelle's theorem -- a game-theoretic approach	2012-04-05	Paper
An exact algorithm for the maximum leaf spanning tree problem	2012-01-09	Paper
A new algorithm for finding trees with many leaves	2011-12-14	Paper
Breaking the \(2^{n}\)-barrier for irredundance: two lines of attack	2011-08-23	Paper
Linear-time algorithms for graphs of bounded rankwidth: a fresh look using game theory (extended abstract)	2011-07-01	Paper
A Parameterized Route to Exact Puzzles: Breaking the 2 n -Barrier for Irredundance	2010-05-28	Paper
An exact algorithm for the maximum leaf spanning tree problem	2010-01-14	Paper
On digraph width measures in parameterized algorithmics	2010-01-14	Paper
A New Algorithm for Finding Trees with Many Leaves	2009-01-29	Paper
Improved Upper Bounds for Partial Vertex Cover	2009-01-20	Paper

This page was built for person: Alexander Langer