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

2024

• Minuska: Towards a Formally Verified Programming Language Framework

  TUŠIL Jan OBDRŽÁLEK Jan

  Článek ve sborníku

  22nd International Conference on Software Engineering and Formal Methods, rok: 2024

2023

• Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties

  TUŠIL Jan SERBANUTA Traian OBDRŽÁLEK Jan

  Článek ve sborníku

  Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2023

2020

• A New Perspective on FO Model Checking of Dense Graph Classes

  GAJARSKÝ Jakub HLINĚNÝ Petr LOKSHTANOV Daniel OBDRŽÁLEK Jan RAMANUJAN M S

  Článek v odborném periodiku

  ACM Transactions on Computational Logic, rok: 2020, ročník: 21, vydání: 4, DOI

2019

• Shrub-depth: Capturing Height of Dense Graphs

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

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2019, ročník: 15, vydání: 1, DOI

2017

• First order limits of sparse graphs: Plane trees and path-width

  GAJARSKÝ Jakub HLINĚNÝ Petr KAISER Tomáš KRÁĽ Daniel KUPEC Martin OBDRŽÁLEK Jan ORDYNIAK Sebastian TŮMA Vojtěch

  Článek v odborném periodiku

  Random Structures & Algorithms, rok: 2017, ročník: 50, vydání: 4, DOI

• Kernelization using structural parameters on sparse graph classes

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian REIDL Felix ROSSMANITH Peter VILLAAMIL Fernando SIKDAR Somnath

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2017, ročník: 84, vydání: 1, DOI

2016

• A New Perspective on FO Model Checking of Dense Graph Classes

  GAJARSKÝ Jakub HLINĚNÝ Petr LOKSHTANOV Daniel OBDRŽÁLEK Jan RAMANUJAN M S

  Článek ve sborníku

  Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016, rok: 2016

• 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 v odborném periodiku

  Journal of Combinatorial Theory, Ser B, rok: 2016, ročník: 116, vydání: 1, DOI

• Tree-depth and Vertex-minors

  HLINĚNÝ Petr KWON O-joung OBDRŽÁLEK Jan ORDYNIAK Sebastian

  Článek v odborném periodiku

  European Journal of Combinatorics, rok: 2016, ročník: 56, vydání: 1, DOI

2015

• Faster Existential FO Model Checking on Posets

  GAJARSKÝ Jakub HLINĚNÝ Petr OBDRŽÁLEK Jan ORDYNIAK Sebastian

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2015, ročník: 11, vydání: 4, DOI