by Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.
FIMU-RS-2007-02. 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 Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.
FIMU-RS-2010-10. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.
FIMU-RS-2009-05. Abstract, Postscript, PDF.
by Jiří Barnat, Ivana Černá, Jana Tůmová, June 2009, 35 pages.
FIMU-RS-2009-04. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.
FIMU-RS-2007-01. 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 Jiří Barnat, Luboš Brim, Jakub Chaloupka, September 2004, 57 pages.
FIMU-RS-2004-07. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.
FIMU-RS-2000-10. Abstract, Postscript, PDF.
by Luděk Bártek, October 2002, 6 pages.
FIMU-RS-2002-07. Abstract, Postscript, PDF.
by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.
FIMU-RS-2007-06. 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 Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.
FIMU-RS-2010-10. 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 Nikola Beneš, Jan Křetínský, A full version of the paper presented at ICTAC 2012. June 2012, 25 pages.
FIMU-RS-2012-02. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.
FIMU-RS-2012-01. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Abstract, Postscript, PDF.
by Nikola Beneš, Ivana Černá, Jan Křetínský, November 2010, 44 pages.
FIMU-RS-2010-12. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, A full version of the paper presented at MEMICS 2010. September 2010, 15 pages.
FIMU-RS-2010-11. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Jiří Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.
FIMU-RS-2009-03. 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 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 Aleš Borek, September 2001, 13 pages.
FIMU-RS-2001-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 Jan Kasprzak, Michal Brandejs, Matěj Čuhel, Tomáš Obšívač, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.
FIMU-RS-2010-08. 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, 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, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.
FIMU-RS-2011-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Petr Jančar, Antonín Kučera, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.
FIMU-RS-2010-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Abstract, Postscript, PDF.
by Tomáš Brázdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.
FIMU-RS-2009-07. Abstract, Postscript, PDF.
by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.
FIMU-RS-2009-01. 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 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 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 Tomáš Brázdil, Vojtěch Forejt, A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.
FIMU-RS-2007-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.
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at STACS 2005. February 2005, 33 pages.
FIMU-RS-2005-01. 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 Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.
FIMU-RS-2010-10. Abstract, Postscript, PDF.
by Luboš Brim, Jakub Chaloupka, March 2010, 48 pages.
FIMU-RS-2010-03. Abstract, Postscript, PDF.
by Jakub Chaloupka, Luboš Brim, October 2009, 11 pages.
FIMU-RS-2009-08. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.
FIMU-RS-2009-05. 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 Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.
FIMU-RS-2007-01. 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 Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper submitted to conference CAV05 February 2005, 21 pages.
FIMU-RS-2005-04. 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 Jiří Barnat, Luboš Brim, Jakub Chaloupka, September 2004, 57 pages.
FIMU-RS-2004-07. 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 Luboš Brim, Jitka Crhová, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.
FIMU-RS-2002-08. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.
FIMU-RS-2001-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.
FIMU-RS-2001-01. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.
FIMU-RS-2000-10. Abstract, Postscript, PDF.
by Jean-Marie Jacquet, Luboš Brim, David Gilbert, Mojmír Křetínský, December 1999, 62 pages.
FIMU-RS-99-08. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.
FIMU-RS-2011-02. Abstract, Postscript, PDF.
by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.
FIMU-RS-2009-01. 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 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.
by Vit Bukac, April 2014, 83 pages.
FIMU-RS-2014-02. Abstract, Postscript, PDF.
by Joakim Byg, Kenneth Yrke Joergensen, Jiří Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.
FIMU-RS-2009-06. Abstract, Postscript, PDF.
by Pavel Cenek, June 2001, 15 pages.
FIMU-RS-2001-04. 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 Florent Peres, Ivana Černá, August 2013, 46 pages.
FIMU-RS-2013-01. Abstract, Postscript, PDF.
by Nikola Beneš, Ivana Černá, Jan Křetínský, November 2010, 44 pages.
FIMU-RS-2010-12. Abstract, Postscript, PDF.
by Jiří Barnat, Ivana Černá, Jana Tůmová, June 2009, 35 pages.
FIMU-RS-2009-04. 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 Ivana Černá, Pavlína Vařeková, Barbora Zimmerová, October 2006, 25 pages.
FIMU-RS-2006-08. 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 Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper submitted to conference CAV05 February 2005, 21 pages.
FIMU-RS-2005-04. 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 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 Ivana Černá, Radek Pelánek, December 2002, 24 pages.
FIMU-RS-2002-09. Abstract, Postscript, PDF.
by Ivana Černá, August 2002, 105 pages.
FIMU-RS-2002-05. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.
FIMU-RS-2001-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.
FIMU-RS-2001-01. Abstract, Postscript, PDF.
by Ivana Černá, Jitka Stříbrná, December 2000, 26 pages.
FIMU-RS-2000-09. Abstract, Postscript, PDF.
by Ivana Černá, Ondřej Klíma, Jiří Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.
FIMU-RS-99-01. Abstract, Postscript, PDF.
by Ivana Černá, Mojmír Křetínský, Antonín Kučera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.
FIMU-RS-96-02. Abstract, Postscript, PDF.
by Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, July 2010, 24 pages.
FIMU-RS-2010-10. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.
FIMU-RS-2009-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 Jakub Chaloupka, A full version of the paper presented at Workshop on Reachability Problems 2010 August 2010, 36 pages.
FIMU-RS-2010-06. Abstract, Postscript, PDF.
by Luboš Brim, Jakub Chaloupka, March 2010, 48 pages.
FIMU-RS-2010-03. Abstract, Postscript, PDF.
by Jakub Chaloupka, Luboš Brim, October 2009, 11 pages.
FIMU-RS-2009-08. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jakub Chaloupka, September 2004, 57 pages.
FIMU-RS-2004-07. Abstract, Postscript, PDF.
by Vladimír Kadlec, Jean-Cédric Chappelier, Martin Rajman, This report was also submitted as Technical Report No. 2004112 at Swiss Federal Institute of Technology (EPFL), Lausanne (Switzerland), October, 2004. April 2005, 16 pages.
FIMU-RS-2005-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.
FIMU-RS-2011-02. Abstract, Postscript, PDF.
by Michal Chocholáč, February 2000, 20 pages.
FIMU-RS-2000-02. Abstract, Postscript, PDF.
by Luboš Brim, Jitka Crhová, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.
FIMU-RS-2002-08. Abstract, Postscript, PDF.
by Jan Kasprzak, Michal Brandejs, Matěj Čuhel, Tomáš Obšívač, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.
FIMU-RS-2010-08. Abstract, Postscript, PDF.
by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.
FIMU-RS-2007-06. Abstract, Postscript, PDF.
by Václav Dvořák, Lubomír Markovič, December 2000, 20 pages.
FIMU-RS-2000-11. Abstract, Postscript, PDF.
by Tomáš Brázdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.
FIMU-RS-2009-07. Abstract, Postscript, PDF.
by Javier Esparza, Antonín Kučera, Richard Mayr, A full version of the paper presented at LICS 2005. July 2005, 26 pages.
FIMU-RS-2005-07. 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 Antonín Kučera, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.
FIMU-RS-2000-01. Abstract, Postscript, PDF.
by Andriy Stetsko, Lukáš Folkman, Václav Matyáš, May 2010, 33 pages.
FIMU-RS-2010-04. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.
FIMU-RS-2011-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. 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 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 Tomáš Brázdil, Vojtěch Forejt, A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.
FIMU-RS-2007-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.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Pavel Frýda, Ivan Kopeček, November 1997, 6 pages.
FIMU-RS-97-07. Abstract, Postscript, PDF.
by Pavel Gaura, September 2001, 6 pages.
FIMU-RS-2001-07. Abstract, Postscript, PDF.
by Jean-Marie Jacquet, Luboš Brim, David Gilbert, Mojmír Křetínský, December 1999, 62 pages.
FIMU-RS-99-08. Abstract, Postscript, PDF.
by Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.
FIMU-RS-97-03. Abstract, Postscript, PDF.
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.
by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.
FIMU-RS-2010-09. Abstract, Postscript, PDF.
by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.
FIMU-RS-2010-09. Abstract, Postscript, PDF.
by Jean-Marie Jacquet, Luboš Brim, David Gilbert, Mojmír Křetínský, December 1999, 62 pages.
FIMU-RS-99-08. Abstract, Postscript, PDF.
by Tomáš Brázdil, Petr Jančar, Antonín Kučera, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.
FIMU-RS-2010-02. Abstract, Postscript, PDF.
by Petr Jančar, Mojmír Křetínský, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.
FIMU-RS-98-06. Abstract, Postscript, PDF.
by Petr Jančar, Accepted for presentation at the 24th International Colloquium on Automata, Languages, and Programming (ICALP`97). May 1997, 13 pages.
FIMU-RS-97-06. Abstract, Postscript, PDF.
by Petr Jančar, Antonín Kučera, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.
FIMU-RS-97-02. Abstract, Postscript, PDF.
by Petr Jarušek, Radek Pelánek, April 2010, 25 pages.
FIMU-RS-2010-01. Abstract, Postscript, PDF.
by Joakim Byg, Kenneth Yrke Joergensen, Jiří Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.
FIMU-RS-2009-06. Abstract, Postscript, PDF.
by Vladimír Kadlec, Jean-Cédric Chappelier, Martin Rajman, This report was also submitted as Technical Report No. 2004112 at Swiss Federal Institute of Technology (EPFL), Lausanne (Switzerland), October, 2004. April 2005, 16 pages.
FIMU-RS-2005-05. Abstract, Postscript, PDF.
by Jan Kasprzak, Michal Brandejs, Matěj Čuhel, Tomáš Obšívač, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.
FIMU-RS-2010-08. 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 Mark Kelly, Václav Matyáš, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.
FIMU-RS-2009-07. Abstract, Postscript, PDF.
by Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.
FIMU-RS-2012-03. Abstract, Postscript, PDF.
by Ondřej Klíma, Jiří Srba, August 1999, 14 pages.
FIMU-RS-99-02. Abstract, Postscript, PDF.
by Ivana Černá, Ondřej Klíma, Jiří Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.
FIMU-RS-99-01. Abstract, Postscript, PDF.
by Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.
FIMU-RS-2012-03. Abstract, Postscript, PDF.
by Matej Kollár, Ondřej Peterka, Ondřej Ryšavý, Libor Škarvada, November 2009, 17 pages.
FIMU-RS-2009-11. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Petr Konečný, Karel Zikan, This article is going to be presented at WSCG`97 in Pilsen. January 1997, 16 pages.
FIMU-RS-97-01. 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 Ivan Kopeček, Libor Škarvada, March 2003, 13 pages.
FIMU-RS-2003-01. Abstract, Postscript, PDF.
by Ivan Kopeček, February 1998, 7 pages.
FIMU-RS-98-01. Abstract, Postscript, PDF.
by Pavel Frýda, Ivan Kopeček, November 1997, 6 pages.
FIMU-RS-97-07. Abstract, Postscript, PDF.
by Ivan Kopeček, Pavel Smrž, May 1997, 7 pages.
FIMU-RS-97-05. Abstract, Postscript, PDF.
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. 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, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Abstract, Postscript, PDF.
by Pavel Krčál, Radek Pelánek, A full version of the paper presented at conference FSTTCS 2005. December 2005, 31 pages.
FIMU-RS-2005-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.
FIMU-RS-2001-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.
FIMU-RS-2001-01. Abstract, Postscript, PDF.
by Igor Peterlík, Aleš Křenek, This report is an extended version of a~paper accepted for presentation at the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, Pisa, Italy, 2005. January 2005, 22 pages.
FIMU-RS-2005-02. Abstract, Postscript, PDF.
by Aleš Křenek, Accepted for the SCCG`97 in Bratislava. May 1997, 10 pages.
FIMU-RS-97-04. 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 Nikola Beneš, Jan Křetínský, A full version of the paper presented at ICTAC 2012. June 2012, 25 pages.
FIMU-RS-2012-02. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.
FIMU-RS-2012-01. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Abstract, Postscript, PDF.
by Nikola Beneš, Ivana Černá, Jan Křetínský, November 2010, 44 pages.
FIMU-RS-2010-12. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, A full version of the paper presented at MEMICS 2010. September 2010, 15 pages.
FIMU-RS-2010-11. Abstract, Postscript, PDF.
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Jiří Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.
FIMU-RS-2009-03. 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 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 Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at INFINITY 2005. August 2005, 20 pages.
FIMU-RS-2005-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 Jean-Marie Jacquet, Luboš Brim, David Gilbert, Mojmír Křetínský, December 1999, 62 pages.
FIMU-RS-99-08. Abstract, Postscript, PDF.
by Petr Jančar, Mojmír Křetínský, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.
FIMU-RS-98-06. Abstract, Postscript, PDF.
by Ivana Černá, Mojmír Křetínský, Antonín Kučera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.
FIMU-RS-96-02. 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 Petr Kuba, September 2001, 22 pages.
FIMU-RS-2001-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.
FIMU-RS-2011-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Abstract, Postscript, PDF.
by Tomáš Brázdil, Petr Jančar, Antonín Kučera, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.
FIMU-RS-2010-02. Abstract, Postscript, PDF.
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Abstract, Postscript, PDF.
by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.
FIMU-RS-2009-01. 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 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 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 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.
by Javier Esparza, Antonín Kučera, Richard Mayr, A full version of the paper presented at LICS 2005. July 2005, 26 pages.
FIMU-RS-2005-07. Abstract, Postscript, PDF.
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at STACS 2005. February 2005, 33 pages.
FIMU-RS-2005-01. 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 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 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.
by Antonín Kučera, Richard Mayr, August 2002, 153 pages.
FIMU-RS-2002-04. Abstract, Postscript, PDF.
by Antonín Kučera, Jan Strejček, A full version of the paper presented at CSL`02. July 2002, 24 pages.
FIMU-RS-2002-03. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, A full version of the paper presented at CONCUR`02 June 2002, 26 pages.
FIMU-RS-2002-02. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, A full version of the paper presented at MFCS`02. May 2002, 32 pages.
FIMU-RS-2002-01. Abstract, Postscript, PDF.
by Antonín Kučera, This is a full version of the paper accepted for ASIAN 2000. September 2000, 34 pages.
FIMU-RS-2000-05. Abstract, Postscript, PDF.
by Antonín Kučera, This is a full version of the paper presented at ICALP 2000. March 2000, 24 pages.
FIMU-RS-2000-03. Abstract, Postscript, PDF.
by Antonín Kučera, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.
FIMU-RS-2000-01. Abstract, Postscript, PDF.
by Petr Jančar, Antonín Kučera, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.
FIMU-RS-97-02. Abstract, Postscript, PDF.
by Antonín Kučera, Accepted to the 8th International Conference on Concurrency Theory (CONCUR`97). December 1996, 24 pages.
FIMU-RS-96-05. Abstract, Postscript, PDF.
by Ivana Černá, Mojmír Křetínský, Antonín Kučera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.
FIMU-RS-96-02. Abstract, Postscript, PDF.
by Antonín Kučera, This paper is going to be presented at FST&TCS`96 conference, LNCS 1180, Springer-Verlag. February 1996, 17 pages.
FIMU-RS-96-01. Abstract, Postscript, PDF.
by Jana Kuklová, Luboš Popelínský, March 1995, 7 pages.
FIMU-RS-95-01. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Milan Češka, Tomáš Lamr, June 2009, 18 pages.
FIMU-RS-2009-05. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.
FIMU-RS-2012-01. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Jiří Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.
FIMU-RS-2009-03. Abstract, Postscript, PDF.
by Lubomír Markovič, September 2003, 17 pages.
FIMU-RS-2003-06. Abstract, Postscript, PDF.
by Václav Dvořák, Lubomír Markovič, December 2000, 20 pages.
FIMU-RS-2000-11. 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.
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.
by Radim Ošťádal, Petr Švéda, Václav Matyáš, September 2016, 20 pages.
FIMU-RS-2016-04. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Martin Stehlik, Václav Matyáš, Andriy Stetsko, A full version of the paper presented at conference ICNSC 2016. April 2016, 30 pages.
FIMU-RS-2016-01. Abstract, Postscript, PDF.
by Radim Ošťádal, Petr Švenda, Václav Matyáš, A full version of the paper presented at conference WISTP 2015 June 2015, 34 pages.
FIMU-RS-2015-01. Abstract, Postscript, PDF.
by Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. Abstract, Postscript, PDF.
by Václav Matyáš, Zdeněk Říha, A full version of the paper presented at conference Computer Information Systems and Industrial Management Applications 2010 June 2010, 27 pages.
FIMU-RS-2010-07. Abstract, Postscript, PDF.
by Andriy Stetsko, Lukáš Folkman, Václav Matyáš, May 2010, 33 pages.
FIMU-RS-2010-04. Abstract, Postscript, PDF.
by Petr Švenda, Václav Matyáš, November 2007, 63 pages.
FIMU-RS-2007-05. Abstract, Postscript, PDF.
by Mark Kelly, Václav Matyáš, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.
by Zdeněk Říha, Václav Matyáš, November 2000, 44 pages.
FIMU-RS-2000-08. Abstract, Postscript, PDF.
by Hana Rudová, Luděk Matyska, December 1999, 17 pages.
FIMU-RS-99-09. Abstract, Postscript, PDF.
by Javier Esparza, Antonín Kučera, Richard Mayr, A full version of the paper presented at LICS 2005. July 2005, 26 pages.
FIMU-RS-2005-07. 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 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.
by Antonín Kučera, Richard Mayr, August 2002, 153 pages.
FIMU-RS-2002-04. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, A full version of the paper presented at CONCUR`02 June 2002, 26 pages.
FIMU-RS-2002-02. Abstract, Postscript, PDF.
by Antonín Kučera, Richard Mayr, A full version of the paper presented at MFCS`02. May 2002, 32 pages.
FIMU-RS-2002-01. Abstract, Postscript, PDF.
by Petr Mejzlík, April 1995, 16 pages.
FIMU-RS-95-02. Abstract, Postscript, PDF.
by Hynek Mlnařík, December 2006, 43 pages.
FIMU-RS-2006-10. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.
FIMU-RS-2012-01. Abstract, Postscript, PDF.
by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.
FIMU-RS-2010-09. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper submitted to conference CAV05 February 2005, 21 pages.
FIMU-RS-2005-04. 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 Petr Tobola, Karel Nechvíle, April 2003, 21 pages.
FIMU-RS-2003-02. Abstract, Postscript, PDF.
by Petr Tobola, Karel Nechvíle, September 2000, 27 pages.
FIMU-RS-2000-04. Abstract, Postscript, PDF.
by Petr Tobola, Karel Nechvíle, A full version of the paper which appeared in Proceedings WSCG`99. September 1999, 20 pages.
FIMU-RS-99-07. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Luboš Popelínský, Miloslav Nepil, September 2001, 66 pages.
FIMU-RS-2001-08. Abstract, Postscript, PDF.
by Petr Volny, David Novák, Pavel Zezula, September 2011, 29 pages.
FIMU-RS-2011-04. Abstract, Postscript, PDF.
by David Novák, Pavel Zezula, June 2007, 36 pages.
FIMU-RS-2007-04. Abstract, Postscript, PDF.
by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.
FIMU-RS-2009-01. Abstract, Postscript, PDF.
by Jan Kasprzak, Michal Brandejs, Matěj Čuhel, Tomáš Obšívač, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.
FIMU-RS-2010-08. 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 Radek Oslejšek, December 2000, 12 pages.
FIMU-RS-2000-13. Abstract, Postscript, PDF.
by Jiří Sochor, Radek Oslejšek, December 1998, 17 pages.
FIMU-RS-98-08. Abstract, Postscript, PDF.
by Radim Ošťádal, Petr Švéda, Václav Matyáš, September 2016, 20 pages.
FIMU-RS-2016-04. Abstract, Postscript, PDF.
by Radim Ošťádal, Petr Švenda, Václav Matyáš, A full version of the paper presented at conference WISTP 2015 June 2015, 34 pages.
FIMU-RS-2015-01. Abstract, Postscript, PDF.
by Eva Žáčková, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.
FIMU-RS-99-03. Abstract, Postscript, PDF.
by Karel Pala, Pavel Rychlý, Pavel Smrž, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.
by Jan Papoušek, Vít Stanislav, Radek Pelánek, April 2016, 13 pages.
FIMU-RS-2016-02. Abstract, Postscript, PDF.
by Mark Kelly, Václav Matyáš, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.
by Luboš Popelínský, Tomáš Pavelek, Tomáš Ptáčník, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.
by Jan Papoušek, Vít Stanislav, Radek Pelánek, April 2016, 13 pages.
FIMU-RS-2016-02. Abstract, Postscript, PDF.
by Radek Pelánek, A full version of a paper presented at the 24th Florida Artificial Intelligence Research Society Conference January 2011, 21 pages.
FIMU-RS-2011-01. Abstract, Postscript, PDF.
by Petr Jarušek, Radek Pelánek, April 2010, 25 pages.
FIMU-RS-2010-01. Abstract, Postscript, PDF.
by Radek Pelánek, Václav Rosecký, March 2009, 17 pages.
FIMU-RS-2009-02. 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.
by Radek Pelánek, October 2006, 39 pages.
FIMU-RS-2006-03. Abstract, Postscript, PDF.
by Pavel Krčál, Radek Pelánek, A full version of the paper presented at conference FSTTCS 2005. December 2005, 31 pages.
FIMU-RS-2005-09. Abstract, Postscript, PDF.
by Radek Pelánek, February 2005, 22 pages.
FIMU-RS-2005-03. Abstract, Postscript, PDF.
by Radek Pelánek, Jan Strejček, September 2004, 26 pages.
FIMU-RS-2004-08. Abstract, Postscript, PDF.
by Ivana Černá, Radek Pelánek, April 2003, 18 pages.
FIMU-RS-2003-03. Abstract, Postscript, PDF.
by Ivana Černá, Radek Pelánek, December 2002, 24 pages.
FIMU-RS-2002-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.
FIMU-RS-2001-09. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Krčál, Radek Pelánek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.
FIMU-RS-2001-01. Abstract, Postscript, PDF.
by Jaroslav Pelikán, May 1998, 6 pages.
FIMU-RS-98-03. Abstract, Postscript, PDF.
by Petr Peňáz, December 2008, 18 pages.
FIMU-RS-2008-12. Abstract, Postscript, PDF.
by Florent Peres, Ivana Černá, August 2013, 46 pages.
FIMU-RS-2013-01. Abstract, Postscript, PDF.
by Matej Kollár, Ondřej Peterka, Ondřej Ryšavý, Libor Škarvada, November 2009, 17 pages.
FIMU-RS-2009-11. Abstract, Postscript, PDF.
by Igor Peterlík, Aleš Křenek, This report is an extended version of a~paper accepted for presentation at the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, Pisa, Italy, 2005. January 2005, 22 pages.
FIMU-RS-2005-02. 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 Luboš Popelínský, Miloslav Nepil, September 2001, 66 pages.
FIMU-RS-2001-08. Abstract, Postscript, PDF.
by Luboš Popelínský, Tomáš Pavelek, Tomáš Ptáčník, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.
by Luboš Popelínský, August 1995, 18 pages.
FIMU-RS-95-03. Abstract, Postscript, PDF.
by Jana Kuklová, Luboš Popelínský, March 1995, 7 pages.
FIMU-RS-95-01. Abstract, Postscript, PDF.
by Luboš Popelínský, Tomáš Pavelek, Tomáš Ptáčník, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.
by Vladimír Kadlec, Jean-Cédric Chappelier, Martin Rajman, This report was also submitted as Technical Report No. 2004112 at Swiss Federal Institute of Technology (EPFL), Lausanne (Switzerland), October, 2004. April 2005, 16 pages.
FIMU-RS-2005-05. 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, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. 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 Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.
FIMU-RS-2007-02. 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 Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at INFINITY 2005. August 2005, 20 pages.
FIMU-RS-2005-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 Václav Matyáš, Zdeněk Říha, A full version of the paper presented at conference Computer Information Systems and Industrial Management Applications 2010 June 2010, 27 pages.
FIMU-RS-2010-07. Abstract, Postscript, PDF.
by Zdeněk Říha, Václav Matyáš, November 2000, 44 pages.
FIMU-RS-2000-08. Abstract, Postscript, PDF.
by Zdeněk Říha, December 1998, 43 pages.
FIMU-RS-98-07. Abstract, Postscript, PDF.
by Radek Pelánek, Václav Rosecký, March 2009, 17 pages.
FIMU-RS-2009-02. 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 Hana Rudová, Luděk Matyska, December 1999, 17 pages.
FIMU-RS-99-09. Abstract, Postscript, PDF.
by Hana Rudová, This is an extended version of the paper accepted for presentation at ECAI-98. May 1998, 14 pages.
FIMU-RS-98-04. Abstract, Postscript, PDF.
by Pavel Smrž, Pavel Rychlý, Slightly modified version of the paper published in the Proceedings of TSD 2001, Pilsen, Czech Republic. June 2001, 9 pages.
FIMU-RS-2001-02. Abstract, Postscript, PDF.
by Karel Pala, Pavel Rychlý, Pavel Smrž, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.
by Matej Kollár, Ondřej Peterka, Ondřej Ryšavý, Libor Škarvada, November 2009, 17 pages.
FIMU-RS-2009-11. Abstract, Postscript, PDF.
by Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.
FIMU-RS-2012-03. Abstract, Postscript, PDF.
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, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.
FIMU-RS-2004-05. 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 Sedláček, Pavel Smrž, This is an extended version of the paper which is going to be published in the Proceedings of the Fourth International Conference TSD 2001, LNAI 1902, Pilsen, Czech Republic, September 2001, Springer-Verlag. June 2001, 12 pages.
FIMU-RS-2001-03. Abstract, Postscript, PDF.
by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.
FIMU-RS-2007-06. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.
FIMU-RS-2012-03. Abstract, Postscript, PDF.
by Radek Pelánek, Pavel Šimeček, January 2008, 21 pages.
FIMU-RS-2008-01. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.
FIMU-RS-2007-01. Abstract, Postscript, PDF.
by Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper submitted to conference CAV05 February 2005, 21 pages.
FIMU-RS-2005-04. Abstract, Postscript, PDF.
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 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 Matej Kollár, Ondřej Peterka, Ondřej Ryšavý, Libor Škarvada, November 2009, 17 pages.
FIMU-RS-2009-11. Abstract, Postscript, PDF.
by Ivan Kopeček, Libor Škarvada, March 2003, 13 pages.
FIMU-RS-2003-01. 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 Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.
FIMU-RS-2007-02. 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 Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. Abstract, Postscript, PDF.
by Radek Sedláček, Pavel Smrž, This is an extended version of the paper which is going to be published in the Proceedings of the Fourth International Conference TSD 2001, LNAI 1902, Pilsen, Czech Republic, September 2001, Springer-Verlag. June 2001, 12 pages.
FIMU-RS-2001-03. Abstract, Postscript, PDF.
by Pavel Smrž, Pavel Rychlý, Slightly modified version of the paper published in the Proceedings of TSD 2001, Pilsen, Czech Republic. June 2001, 9 pages.
FIMU-RS-2001-02. 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.
by Karel Pala, Pavel Rychlý, Pavel Smrž, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.
by Ivan Kopeček, Pavel Smrž, May 1997, 7 pages.
FIMU-RS-97-05. Abstract, Postscript, PDF.
by Pavel Smrž, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. 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 Jiří Sochor, Radek Oslejšek, December 1998, 17 pages.
FIMU-RS-98-08. Abstract, Postscript, PDF.
by Pavel Smrž, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. Abstract, Postscript, PDF.
by Petr Sojka, August 1995, 12 pages.
FIMU-RS-95-04. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.
FIMU-RS-2012-01. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.
FIMU-RS-2011-03. Abstract, Postscript, PDF.
by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.
FIMU-RS-2010-09. Abstract, Postscript, PDF.
by Joakim Byg, Kenneth Yrke Joergensen, Jiří Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.
FIMU-RS-2009-06. Abstract, Postscript, PDF.
by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Jiří Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.
FIMU-RS-2009-03. Abstract, Postscript, PDF.
by Ondřej Klíma, Jiří Srba, August 1999, 14 pages.
FIMU-RS-99-02. Abstract, Postscript, PDF.
by Ivana Černá, Ondřej Klíma, Jiří Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.
FIMU-RS-99-01. Abstract, Postscript, PDF.
by Jiří Srba, This is a full version of the paper accepted to MFCS`98. June 1998, 36 pages.
FIMU-RS-98-05. Abstract, Postscript, PDF.
by Jan Papoušek, Vít Stanislav, Radek Pelánek, April 2016, 13 pages.
FIMU-RS-2016-02. Abstract, Postscript, PDF.
by Tomáš Staudek, September 1999, 8 pages.
FIMU-RS-99-06. Abstract, Postscript, PDF.
by Martin Stehlik, Václav Matyáš, Andriy Stetsko, A full version of the paper presented at conference ICNSC 2016. April 2016, 30 pages.
FIMU-RS-2016-01. Abstract, Postscript, PDF.
by Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. Abstract, Postscript, PDF.
by Martin Stehlik, Václav Matyáš, Andriy Stetsko, A full version of the paper presented at conference ICNSC 2016. April 2016, 30 pages.
FIMU-RS-2016-01. Abstract, Postscript, PDF.
by Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.
FIMU-RS-2014-01. Abstract, Postscript, PDF.
by Andriy Stetsko, Lukáš Folkman, Václav Matyáš, May 2010, 33 pages.
FIMU-RS-2010-04. Abstract, Postscript, PDF.
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at STACS 2005. February 2005, 33 pages.
FIMU-RS-2005-01. 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 Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.
FIMU-RS-2012-03. 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 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 Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at INFINITY 2005. August 2005, 20 pages.
FIMU-RS-2005-06. 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 Radek Pelánek, Jan Strejček, September 2004, 26 pages.
FIMU-RS-2004-08. Abstract, Postscript, PDF.
by Antonín Kučera, Jan Strejček, May 2004, 11 pages.
FIMU-RS-2004-04. 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 Antonín Kučera, Jan Strejček, A full version of the paper presented at CSL`02. July 2002, 24 pages.
FIMU-RS-2002-03. Abstract, Postscript, PDF.
by Jan Strejček, December 2000, 30 pages.
FIMU-RS-2000-12. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.
FIMU-RS-2000-10. Abstract, Postscript, PDF.
by Ivana Černá, Jitka Stříbrná, December 2000, 26 pages.
FIMU-RS-2000-09. Abstract, Postscript, PDF.
by Jitka Stříbrná, This work has been presented at MFCS`99. September 1999, 18 pages.
FIMU-RS-99-05. Abstract, Postscript, PDF.
by David C Hájíček, Ivo Studenský, Introduction to Relevant Questions June 2005, 40 pages.
FIMU-RS-2005-12. Abstract, Postscript, PDF.
by Radim Ošťádal, Petr Švéda, Václav Matyáš, September 2016, 20 pages.
FIMU-RS-2016-04. Abstract, Postscript, PDF.
by Petr Švéda, September 2002, 13 pages.
FIMU-RS-2002-06. Abstract, Postscript, PDF.
by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.
FIMU-RS-2016-03. Abstract, Postscript, PDF.
by Radim Ošťádal, Petr Švenda, Václav Matyáš, A full version of the paper presented at conference WISTP 2015 June 2015, 34 pages.
FIMU-RS-2015-01. Abstract, Postscript, PDF.
by Petr Švenda, Václav Matyáš, November 2007, 63 pages.
FIMU-RS-2007-05. 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 Petr Tobola, Karel Nechvíle, April 2003, 21 pages.
FIMU-RS-2003-02. Abstract, Postscript, PDF.
by Petr Tobola, Karel Nechvíle, September 2000, 27 pages.
FIMU-RS-2000-04. Abstract, Postscript, PDF.
by Petr Tobola, Karel Nechvíle, A full version of the paper which appeared in Proceedings WSCG`99. September 1999, 20 pages.
FIMU-RS-99-07. Abstract, Postscript, PDF.
by Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.
FIMU-RS-2007-02. Abstract, Postscript, PDF.
by Michalis Troullinos, November 2013, 18 pages.
FIMU-RS-2013-3. Abstract, Postscript, PDF.
by Michalis Troullinos, November 2013, 44 pages.
FIMU-RS-2013-2. Abstract, Postscript, PDF.
by Jiří Barnat, Ivana Černá, Jana Tůmová, June 2009, 35 pages.
FIMU-RS-2009-04. 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 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 Ivana Černá, Pavlína Vařeková, Barbora Zimmerová, October 2006, 25 pages.
FIMU-RS-2006-08. Abstract, Postscript, PDF.
by Marek Veber, September 1999, 9 pages.
FIMU-RS-99-04. Abstract, Postscript, PDF.
by Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.
FIMU-RS-97-03. Abstract, Postscript, PDF.
by Petr Volny, David Novák, Pavel Zezula, September 2011, 29 pages.
FIMU-RS-2011-04. Abstract, Postscript, PDF.
by Ondřej Výborný, September 2006, 19 pages.
FIMU-RS-2006-06. Abstract, Postscript, PDF.
by Luboš Brim, Jitka Crhová, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.
FIMU-RS-2002-08. Abstract, Postscript, PDF.
by Eva Žáčková, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.
FIMU-RS-99-03. Abstract, Postscript, PDF.
by Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.
FIMU-RS-2007-02. Abstract, Postscript, PDF.
by Petr Volny, David Novák, Pavel Zezula, September 2011, 29 pages.
FIMU-RS-2011-04. Abstract, Postscript, PDF.
by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.
FIMU-RS-2007-06. Abstract, Postscript, PDF.
by David Novák, Pavel Zezula, June 2007, 36 pages.
FIMU-RS-2007-04. 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 Petr Konečný, Karel Zikan, This article is going to be presented at WSCG`97 in Pilsen. January 1997, 16 pages.
FIMU-RS-97-01. 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 Ivana Černá, Pavlína Vařeková, Barbora Zimmerová, October 2006, 25 pages.
FIMU-RS-2006-08. Abstract, Postscript, PDF.
by Jiří Zlatuška, A revised version of an invited talk presented at SOFSEM`97 conference. December 1997, 30 pages.
FIMU-RS-97-08. Abstract, Postscript, PDF.