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

  Článek v odborném periodiku

  European Journal of Combinatorics, rok: 2013, ročník: 34, vydání: 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

  Konferenční abstrakty

  Rok: 2012, druh: Konferenční abstrakty

• Lower Bounds on the Complexity of MSO_1 Model-Checking

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

  Článek ve sborníku

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

• STANSE: Bug-finding Framework for C Programs

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

  Článek ve sborníku

  LNCS Proceeding of Memics 2011, rok: 2012

• The DAG-width of directed graphs

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

  Článek v odborném periodiku

  Journal of Combinatorial Theory, Ser B, rok: 2012, ročník: 102, vydání: 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

  Článek ve sborníku

  Math Foundations of Computer Science MFCS 2012, rok: 2012

2011

• Clique-width: When Hard Does Not Mean Impossible

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

  Článek ve sborníku

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

• Efficient Loop Navigation for Symbolic Execution

  OBDRŽÁLEK Jan TRTÍK Marek

  Článek ve sborníku

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

• Qualitative Reachability in Stochastic BPA Games

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

  Článek v odborném periodiku

  Information and Computation, rok: 2011, ročník: 209, vydání: 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

  Článek ve sborníku

  Parameterized and exact computation, IPEC 2010, rok: 2010