doc. Mgr. Jan Obdržálek, PhD.

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

• STANSE: Bug-finding Framework for C Programs

  OBDRŽÁLEK Jan SLABÝ Jiří TRTÍK Marek

  Article in Proceedings

  LNCS Proceeding of Memics 2011, year: 2012

• The DAG-width of directed graphs

  BERWANGER Dietmar DAWAR Anuj HUNTER Paul KREUTZER Stephan OBDRŽÁLEK Jan

  Article in Periodical

  Journal of Combinatorial Theory, Ser B, year: 2012, volume: 102, edition: 4, DOI

• When Trees Grow Low: Shrubs and Fast MSO1

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

  Article in Proceedings

  Math Foundations of Computer Science MFCS 2012, year: 2012

2011

• Clique-width: When Hard Does Not Mean Impossible

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

  Article in Proceedings

  28th International Symposium on Theoretical Aspects of Computer Science STACS2011, year: 2011

• Efficient Loop Navigation for Symbolic Execution

  OBDRŽÁLEK Jan TRTÍK Marek

  Article in Proceedings

  Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, year: 2011

• Qualitative Reachability in Stochastic BPA Games

  BRÁZDIL Tomáš BROŽEK Václav KUČERA Antonín OBDRŽÁLEK Jan

  Article in Periodical

  Information and Computation, year: 2011, volume: 209, edition: 8

2010

• Are there any good digraph width measures?

  GANIAN Robert HLINĚNÝ Petr OBDRŽÁLEK Jan KNEIS Joachim MEISTER Daniel SIKDAR Somnath ROSSMANITH Peter

  Article in Proceedings

  Parameterized and exact computation, IPEC 2010, year: 2010