Filtrování

    2009

    1. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete D - Stať ve sborníku
      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://doi.org/10.1007/978-3-642-03466-4_7.
      Podrobněji: https://is.muni.cz/publication/833644/cs
    2. On Determinism in Modal Transition Systems J - Článek v odborném periodiku
      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.
      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 J - Článek v odborném periodiku
      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.
      Podrobněji: https://is.muni.cz/publication/405489/cs

    2001

    1. Structural basis of pheromone binding to mouse major urinary protein (MUP-I) J - Článek v odborném periodiku
      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.
      Podrobněji: https://is.muni.cz/publication/362182/cs
Zobrazit podrobně