David C Hájíček

e-mail:
hajicek(a)infocount.cz
telephone:
+420777111466

The Long Term Data Storage

by David C Hájíček, Ivo Studenský, Introduction to Relevant Questions June 2005, 40 pages.

FIMU-RS-2005-12. Abstract, Postscript, PDF.

Vojtěch Havel

e-mail:
xhavel1(a)fi.muni.cz

On Clock-Aware LTL Properties of Timed Automata

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.

Lukáš Hejtmánek

e-mail:
xhejtman(a)fi.muni.cz
home page:
http://www.fi.muni.cz/~xhejtman

Parallel Algorithms for Detection of Negative Cycles

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.

Loic Hélouet

e-mail:
loic.helouet(a)irisa.fr
home page:
http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html

Decidable Race Condition for HMSC

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.

Holger Hermanns

e-mail:
hermanns(a)cs.uni-saarland.de

Probabilistic Bisimulation: Naturally on Distributions

by Holger Hermanns, Jan Krčál, Jan Křetínský, April 2014, 36 pages.

FIMU-RS-2014-03. Abstract, Postscript, PDF.

Verification of Open Interactive Markov Chains

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.

Jan Holeček

e-mail:
holecek(a)fi.muni.cz

Discounted Properties of Probabilistic Pushdown Automata

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.

Štěpán Hrbáček

e-mail:
xhrbacek(a)fi.muni.cz
home page:
http://www.fi.muni.cz/~xhrbacek/

Off-line Recognition of Cursive Handwritten Czech Text

by Pavel Smrž, Štěpán Hrbáček, Michal Martinásek, February 1998, 8 pages.

FIMU-RS-98-02. Abstract, Postscript, PDF.