Technical Reports

A list without abstracts sorted by year - 2002

Distributed Explicit Fair Cycle Detection: Set Based Approach

by Ivana Èerná, Radek Pelánek, December 2002, 24 pages.

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

Using Assumptions to Distribute CTL Model Checking

by Lubo¹ Brim, Jitka Crhová, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.

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

Improvements in a Dialogue Interface for Library System

by Ludìk Bártek, October 2002, 6 pages.

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

Trustworthiness of Signed Data

by Petr ©véda, September 2002, 13 pages.

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

Proceedings of Tools Day

by Ivana Èerná, August 2002, 105 pages.

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

Pre-Proceedings of INFINITY 2002

by Antonín Kuèera, Richard Mayr, August 2002, 153 pages.

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

The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL

by Antonín Kuèera, Jan Strejèek, A full version of the paper presented at CSL`02. July 2002, 24 pages.

FIMU-RS-2002-03. Abstract, Postscript, PDF.

Why is Simulation Harder Than Bisimulation?

by Antonín Kuèera, Richard Mayr, A full version of the paper presented at CONCUR`02 June 2002, 26 pages.

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

On the Complexity of Semantic Equivalences for Pushdown Automata and BPA

by Antonín Kuèera, Richard Mayr, A full version of the paper presented at MFCS`02. May 2002, 32 pages.

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