prof. RNDr. Jan Strejček, Ph.D.

2005

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

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

  R&D Presentation

  Year: 2005, type: R&D Presentation

• The stuttering principle revisited

  KUČERA Antonín STREJČEK Jan

  Article in Periodical

  Acta informatica, year: 2005, volume: 41, edition: 7/8

2004

• Extended Process Rewrite Systems: Expressiveness and Reachability

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

  Article in Proceedings

  CONCUR 2004 - Concurrency Theory, year: 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

  Article in Proceedings

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

• On the Expressive Power of Extended Process Rewrite Systems

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

  Article in Periodical

  BRICS Report Series, year: 2004, volume: 2004, edition: RS-04-7

2003

• 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

  Article in Proceedings

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

• Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)

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

  Year: 2003

2002

• Boundaries and Efficiency of Verification

  STREJČEK Jan

  Article in Proceedings

  Proceedings of summer school MOVEP~2002, year: 2002

• The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL

  KUČERA Antonín STREJČEK Jan

  Article in Proceedings

  Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'02), year: 2002

• YAHODA: verification tools database

  CRHOVÁ Jitka KRČÁL Pavel STREJČEK Jan ŠAFRÁNEK David ŠIMEČEK Pavel

  Article in Proceedings

  Proceedings of Tools Day, year: 2002