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.

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:

https://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:

https://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.