No. |
Title |
Author |
Year |
---|

1 |
Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences |
Gajarsky, Jakub et al. |
2012 |

2 |
Lower Bounds on the Complexity of MSO_1 Model-Checking |
Ganian, Robert et al. |
2012 |

3 |
OASIcs, Volume 13, MEMICS'09, Complete Volume |
Hlineny, Petr et al. |
2012 |

4 |
Clique-width: When Hard Does Not Mean Impossible |
Ganian, Robert et al. |
2011 |

5 |
Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width |
Ganian, Robert et al. |
2010 |

6 |
Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) |
Hlinený, Petr et al. |
2009 |