Masaryk University

Publication Records

česky | in English

Filter publications

    2009

  1. BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN and 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. p. 112-126. ISBN 978-3-642-03465-7. doi:10.1007/978-3-642-03466-4_7.
    Name in Czech: Zevrubné zjemnění na modálních přechodových systémech je EXPTIME-úplný problém
    RIV/00216224:14330/09:00065771 Proceedings paper. Informatics. English. Malaysia.
    Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Larsen, Kim G. (208 Denmark) -- Srba, Jiří (203 Czech Republic, belonging to the institution)
    Keywords in English: compositional verification; modal transition systems; refinement
    Type of proceedings: post-proceedings
    International impact: yes
    Reviewed: yes

    Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2014 05:53.
  2. BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN and Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science. Elsevier, 2009, 410/2009, No 41, p. 4026-4043. ISSN 0304-3975.
    Name in Czech: O determinismu v modálních přechodových systémech
    RIV/00216224:14330/09:00029307 Article in a journal. Informatics. English. Netherlands.
    Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Larsen, Kim G. (208 Denmark) -- Srba, Jiří (203 Czech Republic, belonging to the institution)
    Keywords in English: compositional verification; modal transition systems; determinism; refinement; consistency
    International impact: yes
    Reviewed: yes

    Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 24/10/2013 16:20.
  3. 2002

  4. PADRTA, Petr, Richard ŠTEFL, Lukáš KRÁLÍK, Lukáš ŽÍDEK and 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, vol. 24, No 1, p. 1-14. ISSN 0925-2738.
    Name (in English): Refinement of d(GCGAAGC) hairpin structure using one- and two-bond residual dipolar couplings
    RIV/00216224:14310/02:00006455 Article in a journal. Biochemistry. English. Netherlands.
    Padrta, Petr (203 Czech Republic) -- Štefl, Richard (203 Czech Republic) -- Králík, Lukáš (203 Czech Republic) -- Žídek, Lukáš (203 Czech Republic) -- Sklenář, Vladimír (203 Czech Republic, guarantor)
    Keywords in English: DNA hairpin; NMR; refinement; residual dipolar couplings

    Changed by: prof. RNDr. Vladimír Sklenář, DrSc., učo 2611. Changed: 20/6/2008 12:55.
  5. 2001

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

    Keywords in English: FEMALE MICE; HOUSE MOUSE; PUBERTY; RESOLUTION; CRYSTALLOGRAPHY; REFINEMENT; LIPOCALIN; MUSCULUS; LIGAND; GENES

    Changed by: prof. Mgr. Lukáš Žídek, Ph.D., učo 38990. Changed: 21/5/2001 10:01.
Displayed: 28/11/2022 08:29