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: 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.
FI MU Report Series