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: https://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: https://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: https://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: https://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: https://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: https://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: https://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: https://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: https://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