by Lubomír Markovič, September 2003, 17 pages.
FIMU-RS-2003-06. Abstract, Postscript, PDF.
by Václav Dvořák, Lubomír Markovič, December 2000, 20 pages.
FIMU-RS-2000-11. 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 Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. 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 Š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 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 Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. 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 Andriy Stetsko, Lukáš Folkman, Václav Matyáš, May 2010, 33 pages.
FIMU-RS-2010-04. Abstract, Postscript, PDF.
by Petr Švenda, Václav Matyáš, November 2007, 63 pages.
FIMU-RS-2007-05. Abstract, Postscript, PDF.
by Mark Kelly, Václav Matyáš, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.
by Zdeněk Říha, Václav Matyáš, November 2000, 44 pages.
FIMU-RS-2000-08. Abstract, Postscript, PDF.
by Hana Rudová, Luděk Matyska, December 1999, 17 pages.
FIMU-RS-99-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 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, 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 Petr Mejzlík, April 1995, 16 pages.
FIMU-RS-95-02. Abstract, Postscript, PDF.
by Hynek Mlnařík, December 2006, 43 pages.
FIMU-RS-2006-10. 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 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 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 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.