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

**FIMU-RS-2002-09.**
Available as *Postscript*,
**PDF**.

The fair cycle detection problem is at the heart of both LTL and fair

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.**
Available as *Postscript*,
**PDF**.

In this work we discuss the problem of performing distributed CTL model

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

**FIMU-RS-2002-07.**
Available as *Postscript*,
**PDF**.

This article describes methods and algorithms used to improve the

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

**FIMU-RS-2002-06.**
Available as *Postscript*,
**PDF**.

Use of digital signatures is not as straightforward as one would like to see it. We have to be aware of the fact that computers sign all electronic documents on behalf of humans and only few computers can be considered as fully trustworthy. Visual representation of file formats can be dramatically changed by settings of a viewer or a text processor. Users cannot be absolutely sure that they sign only the data visible on their computer screen. Proprietary signature solutions are not fully compatible as there are no standards.

by *
Ivana Černá,
* August 2002, 105 pages.

**FIMU-RS-2002-05.**
Available as *Postscript*,
**PDF**.

This volume contains proceedings of

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

**FIMU-RS-2002-04.**
Available as *Postscript*,
**PDF**.

This volume contains pre-proceedings of 4th International

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.**
Available as *Postscript*,
**PDF**.

It is known that LTL formulae without the `next` operator
*stutter-equivalence* of

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.**
Available as *Postscript*,
**PDF**.

Why is deciding simulation preorder (and simulation equivalence)

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.**
Available as *Postscript*,
**PDF**.

We study the complexity of comparing pushdown automata (PDA) and context-free