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

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

• 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

• 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

  Výzkumná zpráva

  Rok: 2003

2002

• Boundaries and Efficiency of Verification

  STREJČEK Jan

  Článek ve sborníku

  Proceedings of summer school MOVEP~2002, rok: 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

  Článek ve sborníku

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

• YAHODA: verification tools database

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

  Článek ve sborníku

  Proceedings of Tools Day, rok: 2002

2001

• Rewrite Systems with Constraints

  STREJČEK Jan

  Článek ve sborníku

  EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency, rok: 2001

2000

• Constrained Rewrite Transition Systems

  STREJČEK Jan

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

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