2017

• Seminator: A Tool for Semi-Determinization of Omega-Automata

  BLAHOUDEK František DURET-LUTZ Alexandre KLOKOČKA Mikuláš KŘETÍNSKÝ Mojmír STREJČEK Jan

  Článek ve sborníku

  Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017), rok: 2017

2014

• Is there a best Büchi automaton for explicit model checking?

  BLAHOUDEK František DURET-LUTZ Alexandre KŘETÍNSKÝ Mojmír STREJČEK Jan

  Článek ve sborníku

  2014 International SPIN Symposium on Model Checking of Software, rok: 2014

2013

• Comparison of LTL to Deterministic Rabin Automata Translators

  BLAHOUDEK František KŘETÍNSKÝ Mojmír STREJČEK Jan

  Článek ve sborníku

  Logic for Programming Artificial Intelligence and Reasoning, LPAR-19, rok: 2013

• Compositional Approach to Suspension and Other Improvements to LTL Translation

  BABIAK Tomáš BADIE Thomas DURET-LUTZ Alexandre KŘETÍNSKÝ Mojmír STREJČEK Jan

  Článek ve sborníku

  Model Checking Software - 20th International Symposium, SPIN 2013, rok: 2013

• Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment

  BLAHOUDEK František BABIAK Tomáš KŘETÍNSKÝ Mojmír STREJČEK Jan

  Článek ve sborníku

  11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, rok: 2013

2012

• LTL to Büchi Automata Translation: Fast and More Deterministic

  BABIAK Tomáš KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek ve sborníku

  TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2012

2009

• On Decidability of LTL Model Checking for Process Rewrite Systems

  BOZZELLI Laura KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek v odborném periodiku

  Acta informatica, rok: 2009, ročník: 46, vydání: 1

• On Decidability of LTL+Past Model Checking for Process Rewrite Systems

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek ve sborníku

  Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), rok: 2009

• Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers

  ČEŠKA Milan KOTÁSEK Zdeněk KŘETÍNSKÝ Mojmír MATYSKA Luděk VOJNAR Tomáš

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2009, ročník: 251

• Reachability is decidable for weakly extended process rewrite systems

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek v odborném periodiku

  Information and Computation, rok: 2009, ročník: 207, vydání: 6