You are here: Faculty of Informatics » Research and Development » Technical Reports » List by Author

Technical Reports

A list sorted by author - H

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.

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

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.