FI MU Report Series
FI MU Reports by Author - M
-
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: https://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: https://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: https://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: https://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: https://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.
FI MU Report Series