Publication Records

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. Available from: https://dx.doi.org/10.1007/978-3-642-03466-4_7.

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.

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.

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.