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.