by Petr Peňáz, December 2008, 18 pages.
FIMU-RS-2008-12. Abstract, Postscript, PDF.
by Radek Oslejšek, A full version of the paper presented at WSCG 2008 December 2008, 17 pages.
FIMU-RS-2008-11. Abstract, Postscript, PDF.
by Ivan Kopeček, Radek Oslejšek, Jaromír Plhák, Fedor Tiršel, December 2008, 16 pages.
FIMU-RS-2008-10. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.
FIMU-RS-2008-08. 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 Tomáš Brázdil, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at ICALP 2008. December 2008, 48 pages.
FIMU-RS-2008-05. 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 Tomáš Brázdil, Vojtěch Forejt, Jan Křetínský, Antonín Kučera, A full version of the paper presented at LICS 2008. June 2008, 34 pages.
FIMU-RS-2008-03. 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 Pelánek, Pavel Šimeček, January 2008, 21 pages.
FIMU-RS-2008-01. Abstract, Postscript, PDF.