Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Deciding probabilistic bisimilarity over infinite-state probabilistic systems
      BRÁZDIL, Tomáš, Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta informatica. Berlin: Springer-Verlag, 2008, roč. 45, č. 2, s. 131-154. ISSN 0001-5903.
      Název česky: Rozhodnutelnost pravděpodobnostní bisimulační ekvivalence pro systémy s nekonečně mnoha stavy
      RIV/00216224:14330/08:00025864 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: probabilistic bisimilarity; infinite-state systems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:10.
      Podrobněji: https://is.muni.cz/publication/763242/cs

    2004

    1. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
      BRÁZDIL, Tomáš, Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer, 2004, s. 193-208. ISBN 3-540-22940-X.
      Název česky: Rozhodnutelnost pravděpodobnostní bisimulace pro nekonečně-stavové pravděpodobnostní systémy
      RIV/00216224:14330/04:00010251 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: probabilistic bisimilarity; probabilistic systems
      Změnil: doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074. Změněno: 4. 2. 2005 15:02.
      Podrobněji: https://is.muni.cz/publication/557410/cs
Zobrazeno: 25. 5. 2024 05:01