Technical Reports

A list sorted by author - M

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:

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

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

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

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

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

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