FI MU Reports by Author - C

Pavel Cenek

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

Publications in FI MU Report Series:

Dialogue Interfaces for Library Systems

by Pavel Cenek, June 2001, 15 pages.
FIMU-RS-2001-04. Abstract, Postscript, PDF.

---

Ivana Èerná

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

Publications in FI MU Report Series:

Parallel Algorithms for Detection of Negative Cycles

by Lubos Brim, Ivana Cerna, Lukas Hejtmanek, This is a full version of the paper presented at PARCO 2003. July 2003, 14 pages.
FIMU-RS-2003-04. Abstract, Postscript, PDF.

Relating Hierarchy of Linear Temporal Properties to Model Checking

by Ivana Cerna, Radek Pelanek, April 2003, 18 pages.
FIMU-RS-2003-03. Abstract, Postscript, PDF.

Distributed Explicit Fair Cycle Detection: Set Based Approach

by Ivana Cerna, Radek Pelanek, December 2002, 24 pages.
FIMU-RS-2002-09. Abstract, Postscript, PDF.

Proceedings of Tools Day

by Ivana Cerna, August 2002, 105 pages.
FIMU-RS-2002-05. Abstract, Postscript, PDF.

How to Employ Reverse Search in Distributed Single Source Shortest Paths

by Lubos Brim, Ivana Cerna, Pavel Krcal, Radek Pelanek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.
FIMU-RS-2001-09. Abstract, Postscript, PDF.

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

by Lubos Brim, Ivana Cerna, Pavel Krcal, Radek Pelanek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.
FIMU-RS-2001-01. Abstract, Postscript, PDF.

Some Remarks on Weak Bisimilarity of BPA-Processes

by Ivana Cerna, Jitka Stribrna, December 2000, 26 pages.
FIMU-RS-2000-09. Abstract, Postscript, PDF.

On the Pattern Equations

by Ivana Cerna, Ondrej Klima, Jiri Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.
FIMU-RS-99-01. Abstract, Postscript, PDF.

Comparing Expressibility of Normed BPA and Normed BPP Processes

by Ivana Cerna, Mojmir Kretinsky, Antonin Kucera, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.
FIMU-RS-96-02. Abstract, Postscript, PDF.

---

Michal Chocholáè

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

Publications in FI MU Report Series:

Logical Markup from RTF

by Michal Chocholac, February 2000, 20 pages.
FIMU-RS-2000-02. Abstract, Postscript, PDF.

---

Jitka Crhová

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

Publications in FI MU Report Series:

Using Assumptions to Distribute CTL Model Checking

by Lubos Brim, Jitka Crhova, 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.

---