by Vladimír Kadlec, Jean-Cédric Chappelier, Martin Rajman, This report was also submitted as Technical Report No. 2004112 at Swiss Federal Institute of Technology (EPFL), Lausanne (Switzerland), October, 2004. April 2005, 16 pages.
FIMU-RS-2005-05. Abstract, Postscript, PDF.
by Jan Kasprzak, Michal Brandejs, Matěj Čuhel, Tomáš Obšívač, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.
FIMU-RS-2010-08. Abstract, Postscript, PDF.
by Jan Kasprzak, Michal Brandejs, Miroslav Křipac, Pavel Šmerk, A full version of the paper presented at the ICEIS 2008 converence (www.iceis.org). July 2008, 14 pages.
FIMU-RS-2008-04. Abstract, Postscript, PDF.
by Mark Kelly, Václav Matyáš, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.
FIMU-RS-2009-07. Abstract, Postscript, PDF.
by Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.
FIMU-RS-2012-03. Abstract, Postscript, PDF.
by Ondřej Klíma, Jiří Srba, August 1999, 14 pages.
FIMU-RS-99-02. Abstract, Postscript, PDF.
by Ivana Černá, Ondřej Klíma, Jiří Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.
FIMU-RS-99-01. Abstract, Postscript, PDF.
by Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.
FIMU-RS-2012-03. Abstract, Postscript, PDF.
by Matej Kollár, Ondřej Peterka, Ondřej Ryšavý, Libor Škarvada, November 2009, 17 pages.
FIMU-RS-2009-11. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Petr Konečný, Karel Zikan, This article is going to be presented at WSCG`97 in Pilsen. January 1997, 16 pages.
FIMU-RS-97-01. Abstract, Postscript, PDF.
by Ivan Kopeček, Radek Oslejšek, Jaromír Plhák, Fedor Tiršel, December 2008, 16 pages.
FIMU-RS-2008-10. Abstract, Postscript, PDF.
by Ivan Kopeček, Libor Škarvada, March 2003, 13 pages.
FIMU-RS-2003-01. Abstract, Postscript, PDF.
by Ivan Kopeček, February 1998, 7 pages.
FIMU-RS-98-01. Abstract, Postscript, PDF.
by Pavel Frýda, Ivan Kopeček, November 1997, 6 pages.
FIMU-RS-97-07. Abstract, Postscript, PDF.
by Ivan Kopeček, Pavel Smrž, May 1997, 7 pages.
FIMU-RS-97-05. Abstract, Postscript, PDF.
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.
by Holger Hermanns, Jan Krčál, Jan Křetínský, April 2014, 36 pages.
FIMU-RS-2014-03. Abstract, Postscript, PDF.
by Tomáš Brázdil, Holger Hermanns, Jan Krčál, Jan Křetínský, Vojtěch Řehák, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.
FIMU-RS-2012-04. Abstract, Postscript, PDF.
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Abstract, Postscript, PDF.
by Pavel Krčál, Radek Pelánek, A full version of the paper presented at conference FSTTCS 2005. December 2005, 31 pages.
FIMU-RS-2005-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.
FIMU-RS-2001-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.
FIMU-RS-2001-01. Abstract, Postscript, PDF.
by Igor Peterlík, Aleš Křenek, This report is an extended version of a~paper accepted for presentation at the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, Pisa, Italy, 2005. January 2005, 22 pages.
FIMU-RS-2005-02. Abstract, Postscript, PDF.
by Aleš Křenek, Accepted for the SCCG`97 in Bratislava. May 1997, 10 pages.
FIMU-RS-97-04. Abstract, Postscript, PDF.
by Holger Hermanns, Jan Krčál, Jan Křetínský, April 2014, 36 pages.
FIMU-RS-2014-03. Abstract, Postscript, PDF.
by Tomáš Brázdil, Holger Hermanns, Jan Krčál, Jan Křetínský, Vojtěch Řehák, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.
FIMU-RS-2012-04. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, A full version of the paper presented at ICTAC 2012. June 2012, 25 pages.
FIMU-RS-2012-02. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.
FIMU-RS-2012-01. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Abstract, Postscript, PDF.
by Nikola Beneš, Ivana Černá, Jan Křetínský, November 2010, 44 pages.
FIMU-RS-2010-12. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, A full version of the paper presented at MEMICS 2010. September 2010, 15 pages.
FIMU-RS-2010-11. Abstract, Postscript, PDF.
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Jiří Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.
FIMU-RS-2009-03. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Křetínský, Antonín Kučera, A full version of the paper presented at LICS 2008. June 2008, 34 pages.
FIMU-RS-2008-03. Abstract, Postscript, PDF.
by Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at FSTTCS 2006. November 2006, 27 pages.
FIMU-RS-2006-05. Abstract, Postscript, PDF.
by Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at INFINITY 2005. August 2005, 20 pages.
FIMU-RS-2005-06. Abstract, Postscript, PDF.
by Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, This is a full version of the paper presented at INFINITY`03. September 2003, 23 pages.
FIMU-RS-2003-05. 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 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 Ivana Černá, Mojmír Křetínský, Antonín Kučera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.
FIMU-RS-96-02. Abstract, Postscript, PDF.
by Jan Kasprzak, Michal Brandejs, Miroslav Křipac, Pavel Šmerk, A full version of the paper presented at the ICEIS 2008 converence (www.iceis.org). July 2008, 14 pages.
FIMU-RS-2008-04. Abstract, Postscript, PDF.
by Petr Kuba, September 2001, 22 pages.
FIMU-RS-2001-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.
FIMU-RS-2011-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. 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 Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Abstract, Postscript, PDF.
by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.
FIMU-RS-2009-01. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.
FIMU-RS-2008-08. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at ICALP 2008. December 2008, 48 pages.
FIMU-RS-2008-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Křetínský, Antonín Kučera, A full version of the paper presented at LICS 2008. June 2008, 34 pages.
FIMU-RS-2008-03. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at LICS 2006. September 2006, 37 pages.
FIMU-RS-2006-02. Abstract, Postscript, PDF.
by Javier Esparza, Antonín Kučera, Richard Mayr, A full version of the paper presented at LICS 2005. July 2005, 26 pages.
FIMU-RS-2005-07. Abstract, Postscript, PDF.
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at STACS 2005. February 2005, 33 pages.
FIMU-RS-2005-01. Abstract, Postscript, PDF.
by Antonín Kučera, Jan Strejček, A full version of the paper presented at Sofsem 2005. December 2004, 22 pages.
FIMU-RS-2004-10. Abstract, Postscript, PDF.
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at CONCUR`04. September 2004, 26 pages.
FIMU-RS-2004-06. Abstract, Postscript, PDF.
by Antonín Kučera, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.
FIMU-RS-2004-05. Abstract, Postscript, PDF.
by Antonín Kučera, Jan Strejček, May 2004, 11 pages.
FIMU-RS-2004-04. Abstract, Postscript, PDF.
by Javier Esparza, Antonín Kučera, Richard Mayr, A full version of the paper presented at LICS`04. July 2004, 34 pages.
FIMU-RS-2004-03. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, A full version of the paper presented at IFIP TCS 2004. April 2004, 38 pages.
FIMU-RS-2004-01. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, August 2002, 153 pages.
FIMU-RS-2002-04. Abstract, Postscript, PDF.
by Antonín Kučera, Jan Strejček, A full version of the paper presented at CSL`02. July 2002, 24 pages.
FIMU-RS-2002-03. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, A full version of the paper presented at CONCUR`02 June 2002, 26 pages.
FIMU-RS-2002-02. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, A full version of the paper presented at MFCS`02. May 2002, 32 pages.
FIMU-RS-2002-01. Abstract, Postscript, PDF.
by Antonín Kučera, This is a full version of the paper accepted for ASIAN 2000. September 2000, 34 pages.
FIMU-RS-2000-05. Abstract, Postscript, PDF.
by Antonín Kučera, This is a full version of the paper presented at ICALP 2000. March 2000, 24 pages.
FIMU-RS-2000-03. Abstract, Postscript, PDF.
by Antonín Kučera, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.
FIMU-RS-2000-01. 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 Antonín Kučera, Accepted to the 8th International Conference on Concurrency Theory (CONCUR`97). December 1996, 24 pages.
FIMU-RS-96-05. Abstract, Postscript, PDF.
by Ivana Černá, Mojmír Křetínský, Antonín Kučera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.
FIMU-RS-96-02. Abstract, Postscript, PDF.
by Antonín Kučera, This paper is going to be presented at FST&TCS`96 conference, LNCS 1180, Springer-Verlag. February 1996, 17 pages.
FIMU-RS-96-01. Abstract, Postscript, PDF.
by Jana Kuklová, Luboš Popelínský, March 1995, 7 pages.
FIMU-RS-95-01. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.