2002

• Property Driven Distribution of Nested DFS

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, rok: 2002

• SGCCS: A Graphical Language for Real-Time Coordination

  ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures, rok: 2002

• SGCCS: A Graphical Language for Real-Time Systems

  ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings SOFSEM 2002 Student Research Forum, 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

• Using Assumptions to Distribute CTL Model Checking

  BRIM Luboš CRHOVÁ Jitka YORAV Karen

  Článek ve sborníku

  1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), rok: 2002

• Using Assumptions to Distribute CTL Model Checking

  BRIM Luboš CRHOVÁ Jitka YORAV Karen

  Článek ve sborníku

  Rok: 2002

• Using verified property to partition the state space in LTL model-checking

  BARNAT Jiří

  Článek ve sborníku

  F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes, 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

• Clinical results of the epithelial flap replacement in photorefractive surgery- 18months follow-up.

  AUTRATA Rudolf ŘEHŮŘEK Jaroslav

  Článek ve sborníku

  Book of Abstracts of XIX.Congress of the ESCRS., rok: 2001

• Distributed LTL Model-Checking Based on Negative Cycle Detection

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Článek ve sborníku

  FST-TCS 2001, rok: 2001