FI MU Report Series

FI MU Reports by Author - K


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.

FI MU Report Series