by David C Hájíček, Ivo Studenský, Introduction to Relevant Questions June 2005, 40 pages.
FIMU-RS-2005-12. Abstract, Postscript, PDF.
by Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, Ivana Černá, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.
FIMU-RS-2014-04. 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 Vojtěch Řehák, Petr Slovák, Jan Strejček, Loic Hélouet, December 2009, 30 pages.
FIMU-RS-2009-10. Abstract, Postscript, PDF.
by Holger Hermanns, Jan Krčál, Jan Křetínský, April 2014, 36 pages.
FIMU-RS-2014-03. Abstract, Postscript, PDF.
by Tomáš Brázdil, Holger Hermanns, Jan Krčál, Jan Křetínský, Vojtěch Řehák, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.
FIMU-RS-2012-04. 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 Pavel Smrž, Štěpán Hrbáček, Michal Martinásek, February 1998, 8 pages.
FIMU-RS-98-02. Abstract, Postscript, PDF.