Han The Thanh

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

Fedor Tiršel

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

Detection and Annotation of Graphical Objects in Raster Images within the GATE Project

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.

Petr Tobola

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

Linear Binary Space Partitions and Hierarchy of Object Classes

by Petr Tobola, Karel Nechvíle, April 2003, 21 pages.

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

Linear BSP Trees for Sets of Hyperrectangles with Low Directional Density

by Petr Tobola, Karel Nechvíle, September 2000, 27 pages.

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

Linear BSP Tree in the Plane for Set of Segments with Low Directional Density

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.

Pavel Troubil

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

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.

Michalis Troullinos

e-mail:
mtroullinos(a)ilsp.gr

PRESEMT Phrase Model Generator

by Michalis Troullinos, November 2013, 18 pages.

FIMU-RS-2013-3. Abstract, Postscript, PDF.

Phrase Aligner

by Michalis Troullinos, November 2013, 44 pages.

FIMU-RS-2013-2. Abstract, Postscript, PDF.

Jana Tůmová

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

Quantitative Model Checking of Systems with Degradation (Full Paper).

by Jiří Barnat, Ivana Černá, Jana Tůmová, June 2009, 35 pages.

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

Distributed Qualitative LTL Model Checking of Markov Decision Processes

by Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, Jana Tůmová, September 2006, 19 pages.

FIMU-RS-2006-04. Abstract, Postscript, PDF.