Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
      BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN a Jiří SRBA. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Heidelberg: Springer-Verlag, 2009, s. 112-126. ISBN 978-3-642-03465-7. Dostupné z: https://dx.doi.org/10.1007/978-3-642-03466-4_7.
      Název česky: Zevrubné zjemnění na modálních přechodových systémech je EXPTIME-úplný problém
      RIV/00216224:14330/09:00065771 Stať ve sborníku. Informatika. angličtina. Malajsie.
      Beneš, Nikola (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: compositional verification; modal transition systems; refinement
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 05:53.
      Podrobněji: https://is.muni.cz/publication/833644/cs
    2. On Determinism in Modal Transition Systems
      BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN a Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science. Elsevier, 2009, roč. 410/2009, č. 41, s. 4026-4043. ISSN 0304-3975.
      Název česky: O determinismu v modálních přechodových systémech
      RIV/00216224:14330/09:00029307 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Beneš, Nikola (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: compositional verification; modal transition systems; determinism; refinement; consistency
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 24. 10. 2013 16:20.
      Podrobněji: https://is.muni.cz/publication/833643/cs

    2002

    1. Refinement of d(GCGAAGC) hairpin structure using one- and two-bond residual dipolar couplings
      PADRTA, Petr, Richard ŠTEFL, Lukáš KRÁLÍK, Lukáš ŽÍDEK a Vladimír SKLENÁŘ. Refinement of d(GCGAAGC) hairpin structure using one- and two-bond residual dipolar couplings. Journal of Biomolecular NMR. Dordrecht: Kluwer/Escom, 2002, roč. 24, č. 1, s. 1-14. ISSN 0925-2738.
      Název anglicky: Refinement of d(GCGAAGC) hairpin structure using one- and two-bond residual dipolar couplings
      RIV/00216224:14310/02:00006455 Článek v odborném periodiku. Biochemie. angličtina. Nizozemské království.
      Padrta, Petr (203 Česká republika) -- Štefl, Richard (203 Česká republika) -- Králík, Lukáš (203 Česká republika) -- Žídek, Lukáš (203 Česká republika) -- Sklenář, Vladimír (203 Česká republika, garant)
      Klíčová slova anglicky: DNA hairpin; NMR; refinement; residual dipolar couplings
      Změnil: prof. RNDr. Vladimír Sklenář, DrSc., učo 2611. Změněno: 20. 6. 2008 12:55.
      Podrobněji: https://is.muni.cz/publication/405489/cs

    2001

    1. Structural basis of pheromone binding to mouse major urinary protein (MUP-I)
      TIMM, David E., L. J. BAKER, H MUELLER, Lukáš ŽÍDEK a Milos NOVOTNY. Structural basis of pheromone binding to mouse major urinary protein (MUP-I). Protein Science. Plainview: Cold Spring Harbor Lab. Press, 2001, roč. 10, č. 5, s. 997-1005. ISSN 0961-8368.

      Klíčová slova anglicky: FEMALE MICE; HOUSE MOUSE; PUBERTY; RESOLUTION; CRYSTALLOGRAPHY; REFINEMENT; LIPOCALIN; MUSCULUS; LIGAND; GENES
      Změnil: prof. Mgr. Lukáš Žídek, Ph.D., učo 38990. Změněno: 21. 5. 2001 10:01.
      Podrobněji: https://is.muni.cz/publication/362182/cs
Zobrazeno: 27. 4. 2024 02:40