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