by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.
FIMU-RS-2010-09. Abstract, Postscript, PDF.
by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.
FIMU-RS-2010-09. Abstract, Postscript, PDF.
by Jean-Marie Jacquet, Luboš Brim, David Gilbert, Mojmír Křetínský, December 1999, 62 pages.
FIMU-RS-99-08. Abstract, Postscript, PDF.
by Tomáš Brázdil, Petr Jančar, Antonín Kučera, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.
FIMU-RS-2010-02. Abstract, Postscript, PDF.
by Petr Jančar, Mojmír Křetínský, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.
FIMU-RS-98-06. Abstract, Postscript, PDF.
by Petr Jančar, Accepted for presentation at the 24th International Colloquium on Automata, Languages, and Programming (ICALP`97). May 1997, 13 pages.
FIMU-RS-97-06. Abstract, Postscript, PDF.
by Petr Jančar, Antonín Kučera, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.
FIMU-RS-97-02. Abstract, Postscript, PDF.
by Petr Jarušek, Radek Pelánek, April 2010, 25 pages.
FIMU-RS-2010-01. Abstract, Postscript, PDF.
by Joakim Byg, Kenneth Yrke Joergensen, Jiří Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.
FIMU-RS-2009-06. Abstract, Postscript, PDF.