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 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, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.
FIMU-RS-2004-05. 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 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 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, 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 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 Radek Pelánek, Pavel Šimeček, January 2008, 21 pages.
FIMU-RS-2008-01. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.
FIMU-RS-2007-01. 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 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 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 Matej Kollár, Ondřej Peterka, Ondřej Ryšavý, Libor Škarvada, November 2009, 17 pages.
FIMU-RS-2009-11. Abstract, Postscript, PDF.
by Ivan Kopeček, Libor Škarvada, March 2003, 13 pages.
FIMU-RS-2003-01. 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 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 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 Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. 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 Pavel Smrž, Štěpán Hrbáček, Michal Martinásek, February 1998, 8 pages.
FIMU-RS-98-02. Abstract, Postscript, PDF.
by Karel Pala, Pavel Rychlý, Pavel Smrž, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.
by Ivan Kopeček, Pavel Smrž, May 1997, 7 pages.
FIMU-RS-97-05. Abstract, Postscript, PDF.
by Pavel Smrž, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. 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 Jiří Sochor, Radek Oslejšek, December 1998, 17 pages.
FIMU-RS-98-08. Abstract, Postscript, PDF.
by Pavel Smrž, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. Abstract, Postscript, PDF.
by Petr Sojka, August 1995, 12 pages.
FIMU-RS-95-04. 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 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 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 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 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ří 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 Jan Papoušek, Vít Stanislav, Radek Pelánek, April 2016, 13 pages.
FIMU-RS-2016-02. Abstract, Postscript, PDF.
by Tomáš Staudek, September 1999, 8 pages.
FIMU-RS-99-06. 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 Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. 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 Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. Abstract, Postscript, PDF.
by Andriy Stetsko, Lukáš Folkman, Václav Matyáš, May 2010, 33 pages.
FIMU-RS-2010-04. 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 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 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 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 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 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 Radek Pelánek, Jan Strejček, September 2004, 26 pages.
FIMU-RS-2004-08. Abstract, Postscript, PDF.
by Antonín Kučera, Jan Strejček, May 2004, 11 pages.
FIMU-RS-2004-04. 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 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 Jan Strejček, December 2000, 30 pages.
FIMU-RS-2000-12. 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 Jitka Stříbrná, This work has been presented at MFCS`99. September 1999, 18 pages.
FIMU-RS-99-05. 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 Radim Ošťádal, Petr Švéda, Václav Matyáš, September 2016, 20 pages.
FIMU-RS-2016-04. Abstract, Postscript, PDF.
by Petr Švéda, September 2002, 13 pages.
FIMU-RS-2002-06. 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 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 Petr Švenda, Václav Matyáš, November 2007, 63 pages.
FIMU-RS-2007-05. Abstract, Postscript, PDF.