Masaryk University

Publication Records

česky | in English

Filter publications

    2003

    1. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos, Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko: Elsevier B.V., 2003, p. 98-111.
      More: https://is.muni.cz/publication/489815/en
    2. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos, Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics, 2003, 14 pp. Technical Reports, FIMU-RS-2003-04.
      More: https://is.muni.cz/publication/488138/en
    3. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš and Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2003, 130 pp. ENTCS, Vol. 89, No. 1.
      More: https://is.muni.cz/publication/489820/en

    2002

    1. PDMC 2002 - Parallel and Distributed Model Checking.
      BRIM, Luboš and Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. 2002.
      More: https://is.muni.cz/publication/486514/en
    2. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš and Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2002, 165 pp. ENTCS, Vol. 68, No. 4. ISBN 0444512918.
      More: https://is.muni.cz/publication/405363/en

    2000

    1. High Performance Computing in JAVA -- Fact or Fiction?
      DVOŘÁK, Václav and Lubomír MARKOVIČ. High Performance Computing in JAVA -- Fact or Fiction? Brno (Czech Republic), 2000. FIMU-RS-2000-11.
      More: https://is.muni.cz/publication/345399/en
Display details
Displayed: 9/8/2024 02:27