prof. RNDr. Luboš Brim, CSc.

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

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2003, volume: 68, edition: 3

• Distribution of Explicit-State LTL Model-Checking

  BRIM Luboš BARNAT Jiří

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2003, volume: Volume 80, edition: 1

• Modelling Multi-Agents Systems as Concurrent Constraint Processes

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

  Article in Periodical

  Computing and Informatics, year: 2003, volume: 21, edition: 6

• Parallel Algorithms for Detection of Negative Cycles

  BRIM Lubos ČERNÁ Ivana HEJTMÁNEK Lukáš

  Monograph

  Year: 2003, number of pages: 14 s.

• Parallel Algorithms for Detection of Negative Cycles

  BRIM Lubos ČERNÁ Ivana HEJTMÁNEK Lukáš

  Article in Proceedings

  Proceedings of the 10th ParCo Conference, year: 2003

• Parallel Breadth-First Search LTL Model-Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Article in Proceedings

  18th IEEE International Conference on Automated Software Engineering (ASE'03), year: 2003

• PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

  BRIM Luboš GRUMBERG Orna

  Monograph

  Year: 2003, number of pages: 130 s.

• Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking

  BRIM Luboš ŽÍDKOVÁ Jitka

  Article in Proceedings

  2st International Workshop on Parallel and Distributed Model Checking (PDMC 2003), year: 2003

2002

• Automatizovaná formální verifikace

  BRIM Luboš

  Article in Proceedings

  XXI. conference EurOpen 2002. Znojmo, Czech republic, year: 2002

• CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.

  BRIM Luboš JANČAR Petr KŘETÍNSKÝ Mojmír KUČERA Antonín

  Monograph

  Year: 2002, number of pages: 609 s.