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

  Článek v odborném periodiku

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

• Distribution of Explicit-State LTL Model-Checking

  BRIM Luboš BARNAT Jiří

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: Volume 80, vydání: 1

• 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

• Parallel Algorithms for Detection of Negative Cycles

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

  Odborná kniha

  Rok: 2003, počet stran: 14 s.

• Parallel Algorithms for Detection of Negative Cycles

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

  Článek ve sborníku

  Proceedings of the 10th ParCo Conference, rok: 2003

• Parallel Breadth-First Search LTL Model-Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek ve sborníku

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

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

  BRIM Luboš GRUMBERG Orna

  Odborná kniha

  Rok: 2003, počet stran: 130 s.

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

  BRIM Luboš ŽÍDKOVÁ Jitka

  Článek ve sborníku

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

2002

• Automatizovaná formální verifikace

  BRIM Luboš

  Článek ve sborníku

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

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

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

  Odborná kniha

  Rok: 2002, počet stran: 609 s.