FI MU Report Series

FI MU Reports by Author


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.

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.

Václav Dvořák

Publications in FI MU Report Series:


High Performance Computing in JAVA -- Fact or Fiction?
by Vaclav Dvorak, Lubomir Markovic, December 2000, 20 pages.
FIMU-RS-2000-11. Abstract, Postscript, PDF.

Javier Esparza

e-mail: esparza(a)in.tum.de

Publications in FI MU Report Series:


Model Checking Probabilistic Pushdown Automata
by Javier Esparza, Antonin Kucera, Richard Mayr, A full version of the paper presented at LICS`04. July 2004, 34 pages.
FIMU-RS-2004-03. Abstract, Postscript, PDF.
A Logical Viewpoint on Process-Algebraic Quotients
by Antonin Kucera, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.
FIMU-RS-2000-01. Abstract, Postscript, PDF.

Pavel Frýda

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

Publications in FI MU Report Series:


PHC Format Description
by Pavel Fryda, Ivan Kopecek, November 1997, 6 pages.
FIMU-RS-97-07. Abstract, Postscript, PDF.

Pavel Gaura

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

Publications in FI MU Report Series:


Control of the Hypertext System Audis Using the Dialogue
by Pavel Gaura, September 2001, 6 pages.
FIMU-RS-2001-07. Abstract, Postscript, PDF.

David Gilbert

e-mail: drg(a)sci.city.ac.uk

Publications in FI MU Report Series:


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.

Jozef Gruska

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

Publications in FI MU Report Series:


Towards Adjusting Informatics Education to Information Era
by Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.
FIMU-RS-97-03. Abstract, Postscript, PDF.

Lukáš Hejtmánek

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

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.

Štěpán Hrbáček

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

Publications in FI MU Report Series:


Off-line Recognition of Cursive Handwritten Czech Text
by Pavel Smrz, Stepan Hrbacek, Michal Martinasek, February 1998, 8 pages.
FIMU-RS-98-02. Abstract, Postscript, PDF.

Jean-Marie Jacquet

e-mail: jmj(a)info.fundp.ac.be

Publications in FI MU Report Series:


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.

Petr Jančar

e-mail: jancar(a)osu.cz

Publications in FI MU Report Series:


MFCS`98 Workshop on Concurrency - Preproceedings
by Petr Jancar, Mojmir Kretinsky, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.
FIMU-RS-98-06. Abstract, Postscript, PDF.
Bisimulation Equivalence is Decidable for One-Counter Processes
by Petr Jancar, Accepted for presentation at the 24th International Colloquium on Automata, Languages, and Programming (ICALP`97). May 1997, 13 pages.
FIMU-RS-97-06. Abstract, Postscript, PDF.
Bisimilarity of Processes with Finite-state Systems
by Petr Jancar, Antonin Kucera, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.
FIMU-RS-97-02. Abstract, Postscript, PDF.

Mark Kelly

e-mail: markuskellius(a)yahoo.co.uk

Publications in FI MU Report Series:


Application-Level Firewall Protection Profile for High Robustness Environments-Initial Considerations
by Mark Kelly, Vaclav Matyas, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.

Ondřej Klíma

e-mail: klima(a)math.muni.cz

Publications in FI MU Report Series:


Complexity Issues of the Pattern Equations in Idempotent Semigroups
by Ondrej Klima, Jiri Srba, August 1999, 14 pages.
FIMU-RS-99-02. 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.

Petr Konečný

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

Publications in FI MU Report Series:


Lower Bound of Distance in 3D
by Petr Konecny, Karel Zikan, This article is going to be presented at WSCG`97 in Pilsen. January 1997, 16 pages.
FIMU-RS-97-01. Abstract, Postscript, PDF.

Ivan Kopeček

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

Publications in FI MU Report Series:


Modelling Dialogue Systems by Finite Automata
by Ivan Kopecek, Libor Skarvada, March 2003, 13 pages.
FIMU-RS-2003-01. Abstract, Postscript, PDF.
The Architecture of the Blind User Oriented Hypertext AUDIS
by Ivan Kopecek, February 1998, 7 pages.
FIMU-RS-98-01. Abstract, Postscript, PDF.
PHC Format Description
by Pavel Fryda, Ivan Kopecek, November 1997, 6 pages.
FIMU-RS-97-07. Abstract, Postscript, PDF.
Navigation and Information System for Visually Impaired People
by Ivan Kopecek, Pavel Smrz, May 1997, 7 pages.
FIMU-RS-97-05. Abstract, Postscript, PDF.

Michal Kozubek

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

Publications in FI MU Report Series:


Ways to the High-Resolution Cytometry Network
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.

Pavel Krčál

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

Publications in FI MU Report Series:


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.

Aleš Křenek

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

Publications in FI MU Report Series:


An Algorithm on Interpolating between Two Shapes of a Molecule
by Ales Krenek, Accepted for the SCCG`97 in Bratislava. May 1997, 10 pages.
FIMU-RS-97-04. Abstract, Postscript, PDF.

Mojmír Křetínský

e-mail: mojmir(a)fi.muni.cz
home page: http://www.fi.muni.cz/usr/kretinsky/

Publications in FI MU Report Series:


Process Rewrite Systems with Weak Finite-State Unit
by Mojmir Kretinsky, Vojtech Rehak, Jan Strejcek, This is a full version of the paper presented at INFINITY`03. September 2003, 23 pages.
FIMU-RS-2003-05. 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.
MFCS`98 Workshop on Concurrency - Preproceedings
by Petr Jancar, Mojmir Kretinsky, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.
FIMU-RS-98-06. 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.

Petr Kuba

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

Publications in FI MU Report Series:


Data Structures for Spatial Data Mining
by Petr Kuba, UNKNOWN 2001, 22 pages.
FIMU-RS-2001-05. Abstract, Postscript, PDF.

Antonín Kučera

e-mail: tony(a)fi.muni.cz
home page: http://www.fi.muni.cz/usr/kucera/

Publications in FI MU Report Series:


A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
by Antonin Kucera, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.
FIMU-RS-2004-05. Abstract, Postscript, PDF.
An Effective Characterization of Properties Definable by LTL Formulae with a Bounded Nesting Depth of the Next-Time Operator
by Antonin Kucera, Jan Strejcek, May 2004, 11 pages.
FIMU-RS-2004-04. Abstract, Postscript, PDF.
Model Checking Probabilistic Pushdown Automata
by Javier Esparza, Antonin Kucera, Richard Mayr, A full version of the paper presented at LICS`04. July 2004, 34 pages.
FIMU-RS-2004-03. Abstract, Postscript, PDF.
A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata
by Antonin Kucera, Richard Mayr, A full version of the paper presented at IFIP TCS 2004. April 2004, 38 pages.
FIMU-RS-2004-01. Abstract, Postscript, PDF.
Pre-Proceedings of INFINITY 2002
by Antonin Kucera, Richard Mayr, August 2002, 153 pages.
FIMU-RS-2002-04. Abstract, Postscript, PDF.
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
by Antonin Kucera, Jan Strejcek, A full version of the paper presented at CSL`02. July 2002, 24 pages.
FIMU-RS-2002-03. Abstract, Postscript, PDF.
Why is Simulation Harder Than Bisimulation?
by Antonin Kucera, Richard Mayr, A full version of the paper presented at CONCUR`02 June 2002, 26 pages.
FIMU-RS-2002-02. Abstract, Postscript, PDF.
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
by Antonin Kucera, Richard Mayr, A full version of the paper presented at MFCS`02. May 2002, 32 pages.
FIMU-RS-2002-01. Abstract, Postscript, PDF.
On Simulation-Checking with Sequential Systems
by Antonin Kucera, This is a full version of the paper accepted for ASIAN 2000. September 2000, 34 pages.
FIMU-RS-2000-05. Abstract, Postscript, PDF.
Efficient Verification Algorithms for One-Counter Processes
by Antonin Kucera, This is a full version of the paper presented at ICALP 2000. March 2000, 24 pages.
FIMU-RS-2000-03. Abstract, Postscript, PDF.
A Logical Viewpoint on Process-Algebraic Quotients
by Antonin Kucera, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.
FIMU-RS-2000-01. Abstract, Postscript, PDF.
Bisimilarity of Processes with Finite-state Systems
by Petr Jancar, Antonin Kucera, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.
FIMU-RS-97-02. Abstract, Postscript, PDF.
How to Parallelize Sequential Processes
by Antonin Kucera, Accepted to the 8th International Conference on Concurrency Theory (CONCUR`97). December 1996, 24 pages.
FIMU-RS-96-05. 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.
Regularity is Decidable for Normed PA Processes in Polynomial Time
by Antonin Kucera, This paper is going to be presented at FST&TCS`96 conference, LNCS 1180, Springer-Verlag. February 1996, 17 pages.
FIMU-RS-96-01. Abstract, Postscript, PDF.

Jana Kuklová

e-mail: kuklova(a)fi.muni.cz
home page: http://www.fi.muni.cz/usr/jana/

Publications in FI MU Report Series:


On Biases in Inductive Data Engineering
by Jana Kuklova, Lubos Popelinsky, March 1995, 7 pages.
FIMU-RS-95-01. Abstract, Postscript, PDF.

Lubomír Markovič

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

Publications in FI MU Report Series:


Object with Roles and VREcko system
by Lubomir Markovic, September 2003, 17 pages.
FIMU-RS-2003-06. Abstract, Postscript, PDF.
High Performance Computing in JAVA -- Fact or Fiction?
by Vaclav Dvorak, Lubomir Markovic, December 2000, 20 pages.
FIMU-RS-2000-11. Abstract, Postscript, PDF.

Michal Martinásek

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

Publications in FI MU Report Series:


Off-line Recognition of Cursive Handwritten Czech Text
by Pavel Smrz, Stepan Hrbacek, Michal Martinasek, February 1998, 8 pages.
FIMU-RS-98-02. Abstract, Postscript, PDF.

Pavel Matula

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

Publications in FI MU Report Series:


Ways to the High-Resolution Cytometry Network
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.

Petr Matula

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

Publications in FI MU Report Series:


Ways to the High-Resolution Cytometry Network
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.

Václav Matyáš

e-mail: matyas(a)fi.muni.cz
home page: http://www.fi.muni.cz/usr/matyas/index.html

Publications in FI MU Report Series:


Application-Level Firewall Protection Profile for High Robustness Environments-Initial Considerations
by Mark Kelly, Vaclav Matyas, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.
Biometric Authentication Systems
by Zdenek Riha, Vaclav Matyas, November 2000, 44 pages.
FIMU-RS-2000-08. Abstract, Postscript, PDF.

Luděk Matyska

e-mail: ludek(a)fi.muni.cz
home page: http://www.ics.muni.cz/people/matyska/matyska.html

Publications in FI MU Report Series:


Timetabling with Annotations
by Hana Rudova, Ludek Matyska, December 1999, 17 pages.
FIMU-RS-99-09. Abstract, Postscript, PDF.

Richard Mayr

e-mail: mayrri(a)informatik.uni-freiburg.de
home page: http://tele.informatik.uni-freiburg.de/~mayrri/

Publications in FI MU Report Series:


Model Checking Probabilistic Pushdown Automata
by Javier Esparza, Antonin Kucera, Richard Mayr, A full version of the paper presented at LICS`04. July 2004, 34 pages.
FIMU-RS-2004-03. Abstract, Postscript, PDF.
A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata
by Antonin Kucera, Richard Mayr, A full version of the paper presented at IFIP TCS 2004. April 2004, 38 pages.
FIMU-RS-2004-01. Abstract, Postscript, PDF.
Pre-Proceedings of INFINITY 2002
by Antonin Kucera, Richard Mayr, August 2002, 153 pages.
FIMU-RS-2002-04. Abstract, Postscript, PDF.
Why is Simulation Harder Than Bisimulation?
by Antonin Kucera, Richard Mayr, A full version of the paper presented at CONCUR`02 June 2002, 26 pages.
FIMU-RS-2002-02. Abstract, Postscript, PDF.
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
by Antonin Kucera, Richard Mayr, A full version of the paper presented at MFCS`02. May 2002, 32 pages.
FIMU-RS-2002-01. Abstract, Postscript, PDF.

Petr Mejzlík

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

Publications in FI MU Report Series:


Smoothing Integral Transforms for Molecular Mechanics Force Fields
by Petr Mejzlik, April 1995, 16 pages.
FIMU-RS-95-02. Abstract, Postscript, PDF.

Karel Nechvíle

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

Publications in FI MU Report Series:


Linear Binary Space Partitions and Hierarchy of Object Classes
by Petr Tobola, Karel Nechvile, April 2003, 21 pages.
FIMU-RS-2003-02. Abstract, Postscript, PDF.
Linear BSP Trees for Sets of Hyperrectangles with Low Directional Density
by Petr Tobola, Karel Nechvile, September 2000, 27 pages.
FIMU-RS-2000-04. Abstract, Postscript, PDF.
Linear BSP Tree in the Plane for Set of Segments with Low Directional Density
by Petr Tobola, Karel Nechvile, A full version of the paper which appeared in Proceedings WSCG`99. September 1999, 20 pages.
FIMU-RS-99-07. Abstract, Postscript, PDF.

Miloslav Nepil

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

Publications in FI MU Report Series:


Proceedings of the Third Learning Language in Logic Workshop
by Lubos Popelinsky, Miloslav Nepil, September 2001, 66 pages.
FIMU-RS-2001-08. Abstract, Postscript, PDF.

Radek Oslejšek

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

Publications in FI MU Report Series:


Bounding Volume Hierarchy Analysis (Case Study)
by Radek Oslejsek, December 2000, 12 pages.
FIMU-RS-2000-13. Abstract, Postscript, PDF.
Object-oriented Graphics Architectures for Global Illumination
by Jiri Sochor, Radek Oslejsek, December 1998, 17 pages.
FIMU-RS-98-08. Abstract, Postscript, PDF.

Karel Pala

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

Publications in FI MU Report Series:


Corpus-based Rules for Czech Verb Discontinuous Constituents
by Eva Zackova, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.
FIMU-RS-99-03. Abstract, Postscript, PDF.
DESAM - Approaches to Desambiguation
by Karel Pala, Pavel Rychly, Pavel Smrz, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.

Ahmed Patel

e-mail: apatel(a)cnds.ucd.ie
home page: http://www.cs.ucd.ie/staff/apatel/default.htm

Publications in FI MU Report Series:


Application-Level Firewall Protection Profile for High Robustness Environments-Initial Considerations
by Mark Kelly, Vaclav Matyas, Ahmed Patel, April 2004, 43 pages.
FIMU-RS-2004-02. Abstract, Postscript, PDF.

Tomáš Pavelek

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

Publications in FI MU Report Series:


On Disambiguation in Czech Corpora
by Lubos Popelinsky, Tomas Pavelek, Tomas Ptacnik, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.

Radek Pelánek

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

Publications in FI MU Report Series:


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.
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.

Jaroslav Pelikán

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

Publications in FI MU Report Series:


Programmed Learning & Hypertext
by Jaroslav Pelikan, May 1998, 6 pages.
FIMU-RS-98-03. Abstract, Postscript, PDF.

Luboš Popelínský

e-mail: popel(a)fi.muni.cz
home page: http://www.fi.muni.cz/usr/popelinsky/

Publications in FI MU Report Series:


Proceedings of the Third Learning Language in Logic Workshop
by Lubos Popelinsky, Miloslav Nepil, September 2001, 66 pages.
FIMU-RS-2001-08. Abstract, Postscript, PDF.
On Disambiguation in Czech Corpora
by Lubos Popelinsky, Tomas Pavelek, Tomas Ptacnik, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.
WiM: A Study on the Top-Down ILP Program
by Lubos Popelinsky, August 1995, 18 pages.
FIMU-RS-95-03. Abstract, Postscript, PDF.
On Biases in Inductive Data Engineering
by Jana Kuklova, Lubos Popelinsky, March 1995, 7 pages.
FIMU-RS-95-01. Abstract, Postscript, PDF.

Tomáš Ptáčník

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

Publications in FI MU Report Series:


On Disambiguation in Czech Corpora
by Lubos Popelinsky, Tomas Pavelek, Tomas Ptacnik, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.

Vojtěch Řehák

e-mail: rehak(a)fi.muni.cz
home page: http://www.fi.muni.cz/~xrehak/

Publications in FI MU Report Series:


Process Rewrite Systems with Weak Finite-State Unit
by Mojmir Kretinsky, Vojtech Rehak, Jan Strejcek, This is a full version of the paper presented at INFINITY`03. September 2003, 23 pages.
FIMU-RS-2003-05. Abstract, Postscript, PDF.

Zdeněk Říha

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

Publications in FI MU Report Series:


Biometric Authentication Systems
by Zdenek Riha, Vaclav Matyas, November 2000, 44 pages.
FIMU-RS-2000-08. Abstract, Postscript, PDF.
Certification
by Zdenek Riha, December 1998, 43 pages.
FIMU-RS-98-07. Abstract, Postscript, PDF.

Hana Rudová

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

Publications in FI MU Report Series:


Timetabling with Annotations
by Hana Rudova, Ludek Matyska, December 1999, 17 pages.
FIMU-RS-99-09. Abstract, Postscript, PDF.
Constraints with Variables` Annotations
by Hana Rudova, This is an extended version of the paper accepted for presentation at ECAI-98. May 1998, 14 pages.
FIMU-RS-98-04. Abstract, Postscript, PDF.

Pavel Rychlý

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

Publications in FI MU Report Series:


Finding Semantically Related Words in Large Corpora
by Pavel Smrz, Pavel Rychly, Slightly modified version of the paper published in the Proceedings of TSD 2001, Pilsen, Czech Republic. June 2001, 9 pages.
FIMU-RS-2001-02. Abstract, Postscript, PDF.
DESAM - Approaches to Desambiguation
by Karel Pala, Pavel Rychly, Pavel Smrz, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.

Philippe Schnoebelen

e-mail: phs(a)lsv.ens-cachan.fr
home page: http://www.lsv.ens-cachan.fr/~phs/

Publications in FI MU Report Series:


A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
by Antonin Kucera, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.
FIMU-RS-2004-05. Abstract, Postscript, PDF.

Radek Sedláček

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

Publications in FI MU Report Series:


Automatic Processing of Czech Inflectional and Derivative Morphology
by Radek Sedlacek, Pavel Smrz, This is an extended version of the paper which is going to be published in the Proceedings of the Fourth International Conference TSD 2001, LNAI 1902, Pilsen, Czech Republic, September 2001, Springer-Verlag. June 2001, 12 pages.
FIMU-RS-2001-03. Abstract, Postscript, PDF.

Libor Škarvada

e-mail: libor(a)fi.muni.cz
home page: http://www.fi.muni.cz/usr/skarvada

Publications in FI MU Report Series:


Modelling Dialogue Systems by Finite Automata
by Ivan Kopecek, Libor Skarvada, March 2003, 13 pages.
FIMU-RS-2003-01. Abstract, Postscript, PDF.

Pavel Smrž

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

Publications in FI MU Report Series:


Automatic Processing of Czech Inflectional and Derivative Morphology
by Radek Sedlacek, Pavel Smrz, This is an extended version of the paper which is going to be published in the Proceedings of the Fourth International Conference TSD 2001, LNAI 1902, Pilsen, Czech Republic, September 2001, Springer-Verlag. June 2001, 12 pages.
FIMU-RS-2001-03. Abstract, Postscript, PDF.
Finding Semantically Related Words in Large Corpora
by Pavel Smrz, Pavel Rychly, Slightly modified version of the paper published in the Proceedings of TSD 2001, Pilsen, Czech Republic. June 2001, 9 pages.
FIMU-RS-2001-02. Abstract, Postscript, PDF.
Off-line Recognition of Cursive Handwritten Czech Text
by Pavel Smrz, Stepan Hrbacek, Michal Martinasek, February 1998, 8 pages.
FIMU-RS-98-02. Abstract, Postscript, PDF.
DESAM - Approaches to Desambiguation
by Karel Pala, Pavel Rychly, Pavel Smrz, December 1997, 12 pages.
FIMU-RS-97-09. Abstract, Postscript, PDF.
Navigation and Information System for Visually Impaired People
by Ivan Kopecek, Pavel Smrz, May 1997, 7 pages.
FIMU-RS-97-05. Abstract, Postscript, PDF.
Word Hy-phen-a-tion by Neural Networks
by Pavel Smrz, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. Abstract, Postscript, PDF.

Jiří Sochor

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

Publications in FI MU Report Series:


Object-oriented Graphics Architectures for Global Illumination
by Jiri Sochor, Radek Oslejsek, December 1998, 17 pages.
FIMU-RS-98-08. Abstract, Postscript, PDF.

Petr Sojka

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

Publications in FI MU Report Series:


Word Hy-phen-a-tion by Neural Networks
by Pavel Smrz, Petr Sojka, August 1996, 10 pages.
FIMU-RS-96-04. Abstract, Postscript, PDF.
Notes on Compound Word Hyphenation in TeX
by Petr Sojka, August 1995, 12 pages.
FIMU-RS-95-04. Abstract, Postscript, PDF.

Jiří Srba

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

Publications in FI MU Report Series:


Complexity Issues of the Pattern Equations in Idempotent Semigroups
by Ondrej Klima, Jiri Srba, August 1999, 14 pages.
FIMU-RS-99-02. 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 the Classes BPA and BPA with Deadlocks
by Jiri Srba, This is a full version of the paper accepted to MFCS`98. June 1998, 36 pages.
FIMU-RS-98-05. Abstract, Postscript, PDF.

Tomáš Staudek

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

Publications in FI MU Report Series:


On Birkhoff`s Aesthetic Measure of Vases
by Tomas Staudek, September 1999, 8 pages.
FIMU-RS-99-06. Abstract, Postscript, PDF.

Jan Strejček

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

Publications in FI MU Report Series:


An Effective Characterization of Properties Definable by LTL Formulae with a Bounded Nesting Depth of the Next-Time Operator
by Antonin Kucera, Jan Strejcek, May 2004, 11 pages.
FIMU-RS-2004-04. Abstract, Postscript, PDF.
Process Rewrite Systems with Weak Finite-State Unit
by Mojmir Kretinsky, Vojtech Rehak, Jan Strejcek, This is a full version of the paper presented at INFINITY`03. September 2003, 23 pages.
FIMU-RS-2003-05. Abstract, Postscript, PDF.
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
by Antonin Kucera, Jan Strejcek, A full version of the paper presented at CSL`02. July 2002, 24 pages.
FIMU-RS-2002-03. Abstract, Postscript, PDF.
Constrained Rewrite Transition Systems
by Jan Strejcek, December 2000, 30 pages.
FIMU-RS-2000-12. Abstract, Postscript, PDF.

Jitka Stříbrná

e-mail: js(a)fi.muni.cz
home page: http://www.fi.muni.cz/usr/stribrna/

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.
Some Remarks on Weak Bisimilarity of BPA-Processes
by Ivana Cerna, Jitka Stribrna, December 2000, 26 pages.
FIMU-RS-2000-09. Abstract, Postscript, PDF.
Approximating Weak Bisimulation on Basic Process Algebra
by Jitka Stribrna, This work has been presented at MFCS`99. September 1999, 18 pages.
FIMU-RS-99-05. Abstract, Postscript, PDF.

Petr Švéda

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

Publications in FI MU Report Series:


Trustworthiness of Signed Data
by Petr Sveda, September 2002, 13 pages.
FIMU-RS-2002-06. Abstract, Postscript, PDF.

Han The Thanh

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

Publications in FI MU Report Series:



Petr Tobola

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

Publications in FI MU Report Series:


Linear Binary Space Partitions and Hierarchy of Object Classes
by Petr Tobola, Karel Nechvile, April 2003, 21 pages.
FIMU-RS-2003-02. Abstract, Postscript, PDF.
Linear BSP Trees for Sets of Hyperrectangles with Low Directional Density
by Petr Tobola, Karel Nechvile, September 2000, 27 pages.
FIMU-RS-2000-04. Abstract, Postscript, PDF.
Linear BSP Tree in the Plane for Set of Segments with Low Directional Density
by Petr Tobola, Karel Nechvile, A full version of the paper which appeared in Proceedings WSCG`99. September 1999, 20 pages.
FIMU-RS-99-07. Abstract, Postscript, PDF.

Marek Veber

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

Publications in FI MU Report Series:


CED -- Program for Corpora Editing
by Marek Veber, September 1999, 9 pages.
FIMU-RS-99-04. Abstract, Postscript, PDF.

Roland Vollmar

Publications in FI MU Report Series:


Towards Adjusting Informatics Education to Information Era
by Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.
FIMU-RS-97-03. Abstract, Postscript, PDF.

Karen Yorav

e-mail: kareny(a)galileo.co.il

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.

Eva Žáčková

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

Publications in FI MU Report Series:


Corpus-based Rules for Czech Verb Discontinuous Constituents
by Eva Zackova, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.
FIMU-RS-99-03. Abstract, Postscript, PDF.

Karel Zikan

e-mail: Karel.Zikan(a)Eng.Sun.COM

Publications in FI MU Report Series:


Lower Bound of Distance in 3D
by Petr Konecny, Karel Zikan, This article is going to be presented at WSCG`97 in Pilsen. January 1997, 16 pages.
FIMU-RS-97-01. Abstract, Postscript, PDF.

Jiří Zlatuška

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

Publications in FI MU Report Series:


Stepping Stones to an Information Society
by Jiri Zlatuska, A revised version of an invited talk presented at SOFSEM`97 conference. December 1997, 30 pages.
FIMU-RS-97-08. Abstract, Postscript, PDF.

FI MU Report Series