prof. RNDr. Mojmír Křetínský, CSc.

2008

• MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

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

  Year: 2008, type:

• MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

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

  Workshop

  Year: 2008, type: Workshop

• Petri Nets Are Less Expressive Than State-Extended PA

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

  Article in Periodical

  Theoretical Computer Science, year: 2008, volume: 394, edition: 1-2

2007

• MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  MATYSKA Luděk ANTOŠ David ČEŠKA Milan KŘETÍNSKÝ Mojmír HLINĚNÝ Petr

  Year: 2007, type:

• MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  MATYSKA Luděk ANTOŠ David ČEŠKA Milan KŘETÍNSKÝ Mojmír HLINĚNÝ Petr

  Workshop

  Year: 2007, type: Workshop

• Model Checking Large Finite-State Systems and Beyond

  BRIM Luboš KŘETÍNSKÝ Mojmír

  Article in Proceedings

  33rd Conference on Current Trends in Theory and Practice of Computer Science, year: 2007

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

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

  Appeared in Conference without Proceedings

  Year: 2007, type: Appeared in Conference without Proceedings

2006

• Formální jazyky a automaty I

  ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

  Article in Periodical

  Elportál, year: 2006

• On Decidability of LTL Model Checking for Process Rewrite Systems

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

  Article in Proceedings

  FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, year: 2006

• On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

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

  R&D Presentation

  Year: 2006, type: R&D Presentation