FI MU Reports by Author - B

Jiři Barnat

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

Publications in FI MU Report Series:

Distributed LTL Model-Checking in SPIN

by Jiri Barnat, Lubos Brim, Jitka Stribrna, December 2000, 19 pages.
FIMU-RS-2000-10. Abstract, Postscript, PDF.

---

Luděk Bártek

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

Publications in FI MU Report Series:

Improvements in a Dialogue Interface for Library System

by Ludek Bartek, October 2002, 6 pages.
FIMU-RS-2002-07. Abstract, Postscript, PDF.

---

Aleš Borek

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

Publications in FI MU Report Series:

A Comparison of Algorithms for Normed BPA Processes -- An Experimental Performance Evaluation

by Ales Borek, September 2001, 13 pages.
FIMU-RS-2001-06. Abstract, Postscript, PDF.

---

Luboš Brim

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

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.

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.

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.

Distributed LTL Model-Checking in SPIN

by Jiri Barnat, Lubos Brim, Jitka Stribrna, December 2000, 19 pages.
FIMU-RS-2000-10. Abstract, Postscript, PDF.

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmir Kretinsky, December 1999, 62 pages.
FIMU-RS-99-08. Abstract, Postscript, PDF.

---