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.