| 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 |
