by Radim Ošťádal, Petr Švéda, Václav Matyáš, September 2016, 20 pages.
FIMU-RS-2016-04. 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 Jan Papoušek, Vít Stanislav, Radek Pelánek, April 2016, 13 pages.
FIMU-RS-2016-02. Abstract, Postscript, PDF.
by Martin Stehlik, Václav Matyáš, Andriy Stetsko, A full version of the paper presented at conference ICNSC 2016. April 2016, 30 pages.
FIMU-RS-2016-01. Abstract, Postscript, PDF.
by Radim Ošťádal, Petr Švenda, Václav Matyáš, A full version of the paper presented at conference WISTP 2015 June 2015, 34 pages.
FIMU-RS-2015-01. Abstract, Postscript, PDF.
by Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, Ivana Černá, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.
FIMU-RS-2014-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 Vit Bukac, April 2014, 83 pages.
FIMU-RS-2014-02. Abstract, Postscript, PDF.
by Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. Abstract, Postscript, PDF.
by Michalis Troullinos, November 2013, 18 pages.
FIMU-RS-2013-3. Abstract, Postscript, PDF.
by Michalis Troullinos, November 2013, 44 pages.
FIMU-RS-2013-2. Abstract, Postscript, PDF.
by Florent Peres, Ivana Černá, August 2013, 46 pages.
FIMU-RS-2013-01. 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 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 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 Petr Volny, David Novák, Pavel Zezula, September 2011, 29 pages.
FIMU-RS-2011-04. 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 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 Radek Pelánek, A full version of a paper presented at the 24th Florida Artificial Intelligence Research Society Conference January 2011, 21 pages.
FIMU-RS-2011-01. 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 Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.
FIMU-RS-2010-10. 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 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 Václav Matyáš, Zdeněk Říha, A full version of the paper presented at conference Computer Information Systems and Industrial Management Applications 2010 June 2010, 27 pages.
FIMU-RS-2010-07. Abstract, Postscript, PDF.
by Jakub Chaloupka, A full version of the paper presented at Workshop on Reachability Problems 2010 August 2010, 36 pages.
FIMU-RS-2010-06. 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 Andriy Stetsko, Lukáš Folkman, Václav Matyáš, May 2010, 33 pages.
FIMU-RS-2010-04. Abstract, Postscript, PDF.
by Luboš Brim, Jakub Chaloupka, March 2010, 48 pages.
FIMU-RS-2010-03. 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 Jarušek, Radek Pelánek, April 2010, 25 pages.
FIMU-RS-2010-01. 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 Vojtěch Řehák, Petr Slovák, Jan Strejček, Loic Hélouet, December 2009, 30 pages.
FIMU-RS-2009-10. 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 Jakub Chaloupka, Luboš Brim, October 2009, 11 pages.
FIMU-RS-2009-08. 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 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.
by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.
FIMU-RS-2009-05. Abstract, Postscript, PDF.
by Jiří Barnat, Ivana Černá, Jana Tůmová, June 2009, 35 pages.
FIMU-RS-2009-04. 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 Radek Pelánek, Václav Rosecký, March 2009, 17 pages.
FIMU-RS-2009-02. 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 Petr Peňáz, December 2008, 18 pages.
FIMU-RS-2008-12. Abstract, Postscript, PDF.
by Radek Oslejšek, A full version of the paper presented at WSCG 2008 December 2008, 17 pages.
FIMU-RS-2008-11. 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 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 Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, Barbora Zimmerová, July 2008, 21 pages.
FIMU-RS-2008-07. Abstract, Postscript, PDF.
by Pavlína Vařeková, Ivana Černá, A full version of the paper presented at conference CBSE 2008. July 2008, 27 pages.
FIMU-RS-2008-06. 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 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 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 Radek Pelánek, Václav Rosecký, Jaroslav Šeděnka, February 2008, 19 pages.
FIMU-RS-2008-02. Abstract, Postscript, PDF.
by Radek Pelánek, Pavel Šimeček, January 2008, 21 pages.
FIMU-RS-2008-01. Abstract, Postscript, PDF.
by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.
FIMU-RS-2007-06. Abstract, Postscript, PDF.
by Petr Švenda, Václav Matyáš, November 2007, 63 pages.
FIMU-RS-2007-05. Abstract, Postscript, PDF.
by David Novák, Pavel Zezula, June 2007, 36 pages.
FIMU-RS-2007-04. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.
FIMU-RS-2007-03. Abstract, Postscript, PDF.
by Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.
FIMU-RS-2007-02. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.
FIMU-RS-2007-01. Abstract, Postscript, PDF.
by Hynek Mlnařík, December 2006, 43 pages.
FIMU-RS-2006-10. Abstract, Postscript, PDF.
by Ivana Černá, Pavlína Vařeková, Barbora Zimmerová, October 2006, 25 pages.
FIMU-RS-2006-08. Abstract, Postscript, PDF.
by Stanislav Bartoň, Pavel Zezula, A full version of the paper presented at IEEE MCD 2006. September 2006, 22 pages.
FIMU-RS-2006-07. Abstract, Postscript, PDF.
by Ondřej Výborný, September 2006, 19 pages.
FIMU-RS-2006-06. 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 Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová, September 2006, 19 pages.
FIMU-RS-2006-04. Abstract, Postscript, PDF.
by Radek Pelánek, October 2006, 39 pages.
FIMU-RS-2006-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 David C Hájíček, Ivo Studenský, Introduction to Relevant Questions June 2005, 40 pages.
FIMU-RS-2005-12. 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 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 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 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 Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper submitted to conference CAV05 February 2005, 21 pages.
FIMU-RS-2005-04. Abstract, Postscript, PDF.
by Radek Pelánek, February 2005, 22 pages.
FIMU-RS-2005-03. 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 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 David Šafránek, Jiří Šimša, A full version of SOFSEM 2005 paper. December 2004, 25 pages.
FIMU-RS-2004-11. 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 Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper accepted to the conference FMCAD 2004. November 2004, 22 pages.
FIMU-RS-2004-09. Abstract, Postscript, PDF.
by Radek Pelánek, Jan Strejček, September 2004, 26 pages.
FIMU-RS-2004-08. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jakub Chaloupka, September 2004, 57 pages.
FIMU-RS-2004-07. 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 Mark Kelly, Václav Matyáš, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. 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 Lubomír Markovič, September 2003, 17 pages.
FIMU-RS-2003-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 Luboš Brim, Ivana Černá, Lukáš Hejtmánek, This is a full version of the paper presented at PARCO 2003. July 2003, 14 pages.
FIMU-RS-2003-04. Abstract, Postscript, PDF.
by Ivana Černá, Radek Pelánek, April 2003, 18 pages.
FIMU-RS-2003-03. Abstract, Postscript, PDF.
by Petr Tobola, Karel Nechvíle, April 2003, 21 pages.
FIMU-RS-2003-02. Abstract, Postscript, PDF.
by Ivan Kopeček, Libor Škarvada, March 2003, 13 pages.
FIMU-RS-2003-01. Abstract, Postscript, PDF.
by Ivana Černá, Radek Pelánek, December 2002, 24 pages.
FIMU-RS-2002-09. Abstract, Postscript, PDF.
by Luboš Brim, Jitka Crhová, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.
FIMU-RS-2002-08. Abstract, Postscript, PDF.
by Luděk Bártek, October 2002, 6 pages.
FIMU-RS-2002-07. Abstract, Postscript, PDF.
by Petr Švéda, September 2002, 13 pages.
FIMU-RS-2002-06. Abstract, Postscript, PDF.
by Ivana Černá, August 2002, 105 pages.
FIMU-RS-2002-05. 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 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š Popelínský, Miloslav Nepil, September 2001, 66 pages.
FIMU-RS-2001-08. Abstract, Postscript, PDF.
by Pavel Gaura, September 2001, 6 pages.
FIMU-RS-2001-07. Abstract, Postscript, PDF.
by Aleš Borek, September 2001, 13 pages.
FIMU-RS-2001-06. Abstract, Postscript, PDF.
by Petr Kuba, September 2001, 22 pages.
FIMU-RS-2001-05. Abstract, Postscript, PDF.
by Pavel Cenek, June 2001, 15 pages.
FIMU-RS-2001-04. Abstract, Postscript, PDF.
by Radek Sedláček, Pavel Smrž, This is an extended version of the paper which is going to be published in the Proceedings of the Fourth International Conference TSD 2001, LNAI 1902, Pilsen, Czech Republic, September 2001, Springer-Verlag. June 2001, 12 pages.
FIMU-RS-2001-03. Abstract, Postscript, PDF.
by Pavel Smrž, Pavel Rychlý, Slightly modified version of the paper published in the Proceedings of TSD 2001, Pilsen, Czech Republic. June 2001, 9 pages.
FIMU-RS-2001-02. 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 Radek Oslejšek, December 2000, 12 pages.
FIMU-RS-2000-13. Abstract, Postscript, PDF.
by Jan Strejček, December 2000, 30 pages.
FIMU-RS-2000-12. Abstract, Postscript, PDF.
by Václav Dvořák, Lubomír Markovič, December 2000, 20 pages.
FIMU-RS-2000-11. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.
FIMU-RS-2000-10. Abstract, Postscript, PDF.
by Ivana Černá, Jitka Stříbrná, December 2000, 26 pages.
FIMU-RS-2000-09. Abstract, Postscript, PDF.
by Zdeněk Říha, Václav Matyáš, November 2000, 44 pages.
FIMU-RS-2000-08. Abstract, Postscript, PDF.
by Luboš Popelínský, Tomáš Pavelek, Tomáš Ptáčník, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. 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 Petr Tobola, Karel Nechvíle, September 2000, 27 pages.
FIMU-RS-2000-04. 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 Michal Chocholáč, February 2000, 20 pages.
FIMU-RS-2000-02. 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 Hana Rudová, Luděk Matyska, December 1999, 17 pages.
FIMU-RS-99-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 Petr Tobola, Karel Nechvíle, A full version of the paper which appeared in Proceedings WSCG`99. September 1999, 20 pages.
FIMU-RS-99-07. Abstract, Postscript, PDF.
by Tomáš Staudek, September 1999, 8 pages.
FIMU-RS-99-06. Abstract, Postscript, PDF.
by Jitka Stříbrná, This work has been presented at MFCS`99. September 1999, 18 pages.
FIMU-RS-99-05. Abstract, Postscript, PDF.
by Marek Veber, September 1999, 9 pages.
FIMU-RS-99-04. Abstract, Postscript, PDF.
by Eva Žáčková, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.
FIMU-RS-99-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 Jiří Sochor, Radek Oslejšek, December 1998, 17 pages.
FIMU-RS-98-08. Abstract, Postscript, PDF.
by Zdeněk Říha, December 1998, 43 pages.
FIMU-RS-98-07. 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 Jiří Srba, This is a full version of the paper accepted to MFCS`98. June 1998, 36 pages.
FIMU-RS-98-05. Abstract, Postscript, PDF.
by Hana Rudová, This is an extended version of the paper accepted for presentation at ECAI-98. May 1998, 14 pages.
FIMU-RS-98-04. Abstract, Postscript, PDF.
by Jaroslav Pelikán, May 1998, 6 pages.
FIMU-RS-98-03. Abstract, Postscript, PDF.
by Pavel Smrž, Štěpán Hrbáček, Michal Martinásek, February 1998, 8 pages.
FIMU-RS-98-02. Abstract, Postscript, PDF.
by Ivan Kopeček, February 1998, 7 pages.
FIMU-RS-98-01. Abstract, Postscript, PDF.
by Karel Pala, Pavel Rychlý, Pavel Smrž, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.
by Jiří Zlatuška, A revised version of an invited talk presented at SOFSEM`97 conference. December 1997, 30 pages.
FIMU-RS-97-08. Abstract, Postscript, PDF.
by Pavel Frýda, Ivan Kopeček, November 1997, 6 pages.
FIMU-RS-97-07. 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 Ivan Kopeček, Pavel Smrž, May 1997, 7 pages.
FIMU-RS-97-05. 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 Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.
FIMU-RS-97-03. 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 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 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 Pavel Smrž, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. 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 Petr Sojka, August 1995, 12 pages.
FIMU-RS-95-04. Abstract, Postscript, PDF.
by Luboš Popelínský, August 1995, 18 pages.
FIMU-RS-95-03. Abstract, Postscript, PDF.
by Petr Mejzlík, April 1995, 16 pages.
FIMU-RS-95-02. Abstract, Postscript, PDF.
by Jana Kuklová, Luboš Popelínský, March 1995, 7 pages.
FIMU-RS-95-01. Abstract, Postscript, PDF.