FI MU Report Series

FI MU Reports by Author - B


Jiři Barnat

e-mail: xbarnat(a)fi.muni.cz
home page: http://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: http://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: http://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: http://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.

FI MU Report Series