Lubomír Markovič

e-mail:
markovic(a)fi.muni.cz

Object with Roles and VREcko system

by Lubomír Markovič, September 2003, 17 pages.

FIMU-RS-2003-06. Abstract, Postscript, PDF.

High Performance Computing in JAVA -- Fact or Fiction?

by Václav Dvořák, Lubomír Markovič, 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/

Off-line Recognition of Cursive Handwritten Czech Text

by Pavel Smrž, Štěpán Hrbáček, Michal Martinásek, 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/

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/

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

Attackers in Wireless Sensor Networks Will Be Neither Random nor Jumping -- Secrecy Amplification Case, Extended Version

by Radim Ošťádal, Petr Švéda, Václav Matyáš, September 2016, 20 pages.

FIMU-RS-2016-04. Abstract, Postscript, PDF.

The Million-Key Question - Investigating the Origins of RSA Public Keys

by Petr Švenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, Václav Matyáš, August 2016, 83 pages.

FIMU-RS-2016-03. Abstract, Postscript, PDF.

Towards Better Selective Forwarding And Delay Attacks Detection in Wireless Sensor Networks

by Martin Stehlik, Václav Matyáš, Andriy Stetsko, A full version of the paper presented at conference ICNSC 2016. April 2016, 30 pages.

FIMU-RS-2016-01. Abstract, Postscript, PDF.

On Secrecy Amplification Protocols - Extended Version

by Radim Ošťádal, Petr Švenda, Václav Matyáš, A full version of the paper presented at conference WISTP 2015 June 2015, 34 pages.

FIMU-RS-2015-01. Abstract, Postscript, PDF.

Improving Intrusion Detection Systems for Wireless Sensor Networks

by Andriy Stetsko, Tobias Smolka, Václav Matyáš, Martin Stehlik, March 2014, 29 pages.

FIMU-RS-2014-01. Abstract, Postscript, PDF.

Security of Biometric Authentication Systems -- Extended Version

by Václav Matyáš, Zdeněk Říha, A full version of the paper presented at conference Computer Information Systems and Industrial Management Applications 2010 June 2010, 27 pages.

FIMU-RS-2010-07. Abstract, Postscript, PDF.

Neighbor-Based Intrusion Detection for Wireless Sensor Networks

by Andriy Stetsko, Lukáš Folkman, Václav Matyáš, May 2010, 33 pages.

FIMU-RS-2010-04. Abstract, Postscript, PDF.

Key Distribution and Secrecy Amplification in Wireless Sensor Networks

by Petr Švenda, Václav Matyáš, November 2007, 63 pages.

FIMU-RS-2007-05. Abstract, Postscript, PDF.

Application-Level Firewall Protection Profile for High Robustness Environments-Initial Considerations

by Mark Kelly, Václav Matyáš, Ahmed Patel, April 2004, 43 pages.

FIMU-RS-2004-02. Abstract, Postscript, PDF.

Biometric Authentication Systems

by Zdeněk Říha, Václav Matyáš, 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

Timetabling with Annotations

by Hana Rudová, Luděk 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/

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

by Javier Esparza, Antonín Kučera, Richard Mayr, A full version of the paper presented at LICS 2005. July 2005, 26 pages.

FIMU-RS-2005-07. Abstract, Postscript, PDF.

Model Checking Probabilistic Pushdown Automata

by Javier Esparza, Antonín Kučera, 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 Antonín Kučera, 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 Antonín Kučera, Richard Mayr, August 2002, 153 pages.

FIMU-RS-2002-04. Abstract, Postscript, PDF.

Why is Simulation Harder Than Bisimulation?

by Antonín Kučera, 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 Antonín Kučera, 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/

Smoothing Integral Transforms for Molecular Mechanics Force Fields

by Petr Mejzlík, April 1995, 16 pages.

FIMU-RS-95-02. Abstract, Postscript, PDF.

Hynek Mlnařík

e-mail:
xmlnarik(a)fi.muni.cz
telephone:
54949 3924

Operational Semantics of Quantum Programming Language LanQ

by Hynek Mlnařík, December 2006, 43 pages.

FIMU-RS-2006-10. Abstract, Postscript, PDF.

Mikael Moeller

e-mail:
mikael(a)i-dyllen.dk

Dual-Priced Modal Transition Systems with Time Durations

by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.

FIMU-RS-2012-01. Abstract, Postscript, PDF.

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.

FIMU-RS-2010-09. Abstract, Postscript, PDF.

Mikael Moller

e-mail:
mikaelhm(a)cs.aau.dk

Parametric Modal Transition Systems

by Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, Mikael Moller, Jiří Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.

FIMU-RS-2011-03. Abstract, Postscript, PDF.

Pavel Moravec

e-mail:
xmoravec(a)fi.muni.cz
home page:
http://www.fi.muni.cz/~xmoravec

Under-Approximation Generation using Partial Order Reduction

by Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper submitted to conference CAV05 February 2005, 21 pages.

FIMU-RS-2005-04. Abstract, Postscript, PDF.

Accepting Predecessors are Better than Back Edges in Distributed LTL Model Checking

by Luboš Brim, Ivana Černá, Pavel Moravec, Jiří Šimša, A full version of the paper accepted to the conference FMCAD 2004. November 2004, 22 pages.

FIMU-RS-2004-09. Abstract, Postscript, PDF.