by Hynek Mlnařík, December 2006, 43 pages.
FIMU-RS-2006-10. Abstract, Postscript, PDF.
by Ivana Černá, Pavlína Vařeková, Barbora Zimmerová, October 2006, 25 pages.
FIMU-RS-2006-08. Abstract, Postscript, PDF.
by Stanislav Bartoň, Pavel Zezula, A full version of the paper presented at IEEE MCD 2006. September 2006, 22 pages.
FIMU-RS-2006-07. Abstract, Postscript, PDF.
by Ondřej Výborný, September 2006, 19 pages.
FIMU-RS-2006-06. Abstract, Postscript, PDF.
by Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at FSTTCS 2006. November 2006, 27 pages.
FIMU-RS-2006-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 Radek Pelánek, October 2006, 39 pages.
FIMU-RS-2006-03. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at LICS 2006. September 2006, 37 pages.
FIMU-RS-2006-02. Abstract, Postscript, PDF.