Technical Reports

A list without abstracts sorted by year - 2007

Adaptive Approximate Similarity Searching through Metric Social Networks

by Jan Sedmidubský, Stanislav Bartoň, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.

FIMU-RS-2007-06. Abstract, Postscript, PDF.

Key Distribution and Secrecy Amplification in Wireless Sensor Networks

by Petr Švenda, Václav Matyáš, November 2007, 63 pages.

FIMU-RS-2007-05. Abstract, Postscript, PDF.

LOBS: Load Balancing for Similarity Peer-to-Peer Structures

by David Novák, Pavel Zezula, June 2007, 36 pages.

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

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

by Tomáš Brázdil, Vojtěch Forejt, A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.

FIMU-RS-2007-03. 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.

LTL model checking with I/O-Efficient Accepting Cycle Detection

by Jiří Barnat, Luboš Brim, Pavel Šimeček, January 2007, 20 pages.

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

Responsible contact: unix(atsign)fi(dot)muni(dot)cz