by Lubomír Markovič, September 2003, 17 pages.
FIMU-RS-2003-06. Abstract, Postscript, PDF.
by Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, This is a full version of the paper presented at INFINITY`03. September 2003, 23 pages.
FIMU-RS-2003-05. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Lukáš Hejtmánek, This is a full version of the paper presented at PARCO 2003. July 2003, 14 pages.
FIMU-RS-2003-04. Abstract, Postscript, PDF.
by Ivana Černá, Radek Pelánek, April 2003, 18 pages.
FIMU-RS-2003-03. Abstract, Postscript, PDF.
by Petr Tobola, Karel Nechvíle, April 2003, 21 pages.
FIMU-RS-2003-02. Abstract, Postscript, PDF.
by Ivan Kopeček, Libor Škarvada, March 2003, 13 pages.
FIMU-RS-2003-01. Abstract, Postscript, PDF.