by Pavel Cenek, June 2001, 15 pages.
FIMU-RS-2001-04. 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 Florent Peres, Ivana Černá, August 2013, 46 pages.
FIMU-RS-2013-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 Jiří Barnat, Ivana Černá, Jana Tůmová, June 2009, 35 pages.
FIMU-RS-2009-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 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 Ivana Černá, Pavlína Vařeková, Barbora Zimmerová, October 2006, 25 pages.
FIMU-RS-2006-08. 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 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 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 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 Ivana Černá, Radek Pelánek, December 2002, 24 pages.
FIMU-RS-2002-09. Abstract, Postscript, PDF.
by Ivana Černá, August 2002, 105 pages.
FIMU-RS-2002-05. 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 Ivana Černá, Jitka Stříbrná, December 2000, 26 pages.
FIMU-RS-2000-09. 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 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 Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.
FIMU-RS-2010-10. 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, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová, September 2006, 19 pages.
FIMU-RS-2006-04. 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 Luboš Brim, Jakub Chaloupka, March 2010, 48 pages.
FIMU-RS-2010-03. Abstract, Postscript, PDF.
by Jakub Chaloupka, Luboš Brim, October 2009, 11 pages.
FIMU-RS-2009-08. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jakub Chaloupka, September 2004, 57 pages.
FIMU-RS-2004-07. 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 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 Michal Chocholáč, February 2000, 20 pages.
FIMU-RS-2000-02. 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 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.