Technical Reports

A list sorted by author - R

Martin Rajman

e-mail:

Martin.Rajman(a)epfl.ch

Tool for robust stochastic parsing using optimal maximum coverage

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.

Vojtìch Øehák

e-mail:

rehak(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~xrehak/

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.

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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.

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.

Formalisms and Tools for Design and Specification of Network Protocols

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.

On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

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.

Refining the Undecidability Border of Weak Bisimilarity

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.

Process Rewrite Systems with Weak Finite-State Unit

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.

Zdenìk Øíha

e-mail:

zriha(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~zriha/

Security of Biometric Authentication Systems -- Extended Version

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.

Biometric Authentication Systems

by Zdenìk Øíha, Václav Matyá¹, November 2000, 44 pages.

FIMU-RS-2000-08. Abstract, Postscript, PDF.

Certification

by Zdenìk Øíha, December 1998, 43 pages.

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

Václav Rosecký

e-mail:

xrosecky(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~xrosecky/

Verification Manager: Automating the Verification Process

by Radek Pelánek, Václav Rosecký, March 2009, 17 pages.

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

Evaluation of State Caching and State Compression Techniques

by Radek Pelánek, Václav Rosecký, Jaroslav ©edìnka, February 2008, 19 pages.

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

Hana Rudová

e-mail:

hanka(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~hanka/

Timetabling with Annotations

by Hana Rudová, Ludìk Matyska, December 1999, 17 pages.

FIMU-RS-99-09. Abstract, Postscript, PDF.

Constraints with Variables` Annotations

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.

Pavel Rychlý

e-mail:

pary(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~pary/

Finding Semantically Related Words in Large Corpora

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.

DESAM - Approaches to Desambiguation

by Karel Pala, Pavel Rychlý, Pavel Smr¾, December 1997, 12 pages.

FIMU-RS-97-09. Abstract, Postscript, PDF.

Ondøej Ry¹avý

e-mail:

rysavy(a)fit.vutbr.cz

A Calculus of Coercive Subtyping

by Matej Kollár, Ondøej Peterka, Ondøej Ry¹avý, Libor ©karvada, November 2009, 17 pages.

FIMU-RS-2009-11. Abstract, Postscript, PDF.