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

  Editorství tématického sborníku

  Rok: 2008, druh: Editorství tématického sborníku

• 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

  Uspořádání workshopu

  Rok: 2008, druh: Uspořádání workshopu

• Petri Nets Are Less Expressive Than State-Extended PA

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

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2008, ročník: 394, vydání: 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

  Editorství tématického sborníku

  Rok: 2007, druh: Editorství tématického sborníku

• 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

  Uspořádání workshopu

  Rok: 2007, druh: Uspořádání workshopu

• Model Checking Large Finite-State Systems and Beyond

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

  Článek ve sborníku

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

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

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

  Další prezentace na konferencích

  Rok: 2007, druh: Další prezentace na konferencích

2006

• Formální jazyky a automaty I

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

  Článek v odborném periodiku

  Elportál, rok: 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

  Článek ve sborníku

  FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, rok: 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

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)