Technical Reports

A list sorted by author - O

Jan Obdržálek


Qualitative Reachability in Stochastic BPA Games

by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.

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

Tomáš Obšívač


Access Rights in Enterprise Full-text Search

by Jan Kasprzak, Michal Brandejs, Matěj Čuhel, Tomáš Obšívač, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.

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

Radek Oslejšek

home page:

Virtual Scene Designed as a Software Component

by Radek Oslejšek, A full version of the paper presented at WSCG 2008 December 2008, 17 pages.

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

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.

Bounding Volume Hierarchy Analysis (Case Study)

by Radek Oslejšek, December 2000, 12 pages.

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

Object-oriented Graphics Architectures for Global Illumination

by Jiří Sochor, Radek Oslejšek, December 1998, 17 pages.

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

Radim Ošťádal


Attackers in Wireless Sensor Networks Will Be Neither Random nor Jumping -- Secrecy Amplification Case, Extended Version

by Radim Ošťádal, Petr Švéda, Václav Matyáš, September 2016, 20 pages.

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

On Secrecy Amplification Protocols - Extended Version

by Radim Ošťádal, Petr Švenda, Václav Matyáš, A full version of the paper presented at conference WISTP 2015 June 2015, 34 pages.

FIMU-RS-2015-01. Abstract, Postscript, PDF.

Responsible contact:

Please install a newer browser for this site to function properly.

More information