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

2006

• Refining Undecidability Border of Weak Bisimilarity.

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

  Článek ve sborníku

  Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05), rok: 2006

2005

• Reachability of Hennessy - Milner properties for weakly extended PRS

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

  Článek ve sborníku

  FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005

• Refining Undecidability Border of Weak Bisimilarity.

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

  Článek v odborném periodiku

  BRICS Notes Series, rok: 2005, ročník: 2005, vydání: NS-05-4

• Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)

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

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

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

2004

• Extended Process Rewrite Systems: Expressiveness and Reachability

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

  Článek ve sborníku

  CONCUR 2004 - Concurrency Theory, rok: 2004

• On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

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

  Článek ve sborníku

  INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems, rok: 2004

• On the Expressive Power of Extended Process Rewrite Systems

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

  Článek v odborném periodiku

  BRICS Report Series, rok: 2004, ročník: 2004, vydání: RS-04-7

2003

• Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming

  BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: 68, vydání: 3

• Modelling Multi-Agents Systems as Concurrent Constraint Processes

  BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

  Článek v odborném periodiku

  Computing and Informatics, rok: 2003, ročník: 21, vydání: 6

• On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

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

  Článek ve sborníku

  Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), rok: 2003