FI MU Report Series

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: http://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: http://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: http://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.

FI MU Report Series