Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2003

  1. BRIM, Lubos, Ivana ČERNÁ a Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko: Elsevier B.V., 2003. s. 98-111.
  2. BRIM, Lubos, Ivana ČERNÁ a Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics, 2003. 14 s. Technical Reports, FIMU-RS-2003-04.
  3. BRIM, Luboš a Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2003. 130 s. ENTCS, Vol. 89, No. 1.
  4. 2002

  5. BRIM, Luboš a Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. 2002.
  6. BRIM, Luboš a Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2002. 165 s. ENTCS, Vol. 68, No. 4. ISBN 0444512918.
  7. 2000

  8. DVOŘÁK, Václav a Lubomír MARKOVIČ. High Performance Computing in JAVA -- Fact or Fiction? Brno (Czech Republic), 2000. FIMU-RS-2000-11.
Zobrazit podrobně
Zobrazeno: 9. 8. 2020 16:07