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