FI MU Report Series

FI MU Reports by Author - S


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.

FI MU Report Series