RNDr. Robert Ganian, Ph.D.

2014

• Digraph width measures in parameterized algorithmics

  GANIAN Robert HLINĚNÝ Petr KNEIS Joachim LANGER Alexander OBDRŽÁLEK Jan ROSSMANITH Peter

  Article in Periodical

  Discrete Applied Mathematics, year: 2014, volume: 168, edition: 1, DOI

• Lower Bounds on the Complexity of MSO_1 Model-Checking

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan LANGER Alexander ROSSMANITH Peter SIKDAR Somnath

  Article in Periodical

  Journal of Computer and System Sciences, year: 2014, volume: 80, edition: 1, DOI

2013

• Better algorithms for satisfiability problems for formulas of bounded rank-width

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan

  Article in Periodical

  Fundamenta Informaticae, year: 2013, volume: 123, edition: 1, DOI

• Cops-and-robbers: Remarks and problems

  BOYER M. HARTI S. OUARARI A. GANIAN Robert GAVENČIAK T. HAHN G. MOLDENAUER C. RUTTER I. THERIAULT B. VATSHELLE M.

  Article in Periodical

  Journal of Combinatorial Mathematics and Combinatorial Computing, year: 2013, volume: 85, edition: 1

• Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes

  OBDRŽÁLEK Jan GANIAN Robert

  Article in Proceedings

  Combinatorial Algorithms 24th International Workshop, IWOCA 2013, year: 2013

• FO Model Checking of Interval Graphs

  GANIAN Robert HLINĚNÝ Petr KRÁĽ Daniel OBDRŽÁLEK Jan SCHWARTZ Jarett TESKA Jakub

  Article in Proceedings

  ICALP (2) 2013, year: 2013

• Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan

  Article in Periodical

  European Journal of Combinatorics, year: 2013, volume: 34, edition: 3, DOI

2012

• Can dense graphs be "sparse"?

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan NEŠETŘIL Jaroslav OSSONA DE MENDEZ Patrice RAMADURAI Reshma

  Conference abstract

  Year: 2012, type: Conference abstract

• Lower Bounds on the Complexity of MSO_1 Model-Checking

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan LANGER Alexander ROSSMANITH Peter SIKDAR Somnath

  Article in Proceedings

  29th International Symposium on Theoretical Aspects of Computer Science STACS2012, year: 2012

• Parameterized Algorithms on Width Parameters of Graphs

  GANIAN Robert

  Year: 2012, type: