You are here: Faculty of Informatics » Research and Development » Technical Reports » List by Author

Technical Reports

A list sorted by author - all

Jind�ich Babica

e-mail:: xbabica(a)fi.muni.cz
telephone:: +420724941709

Formalisms and Tools for Design and Specification of Network Protocols

by Jind�ich Babica, Vojt�ch �eh�k, Petr Slov�k, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.

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

Ji�� Barnat

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

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezd�k, Nikola Bene�, Vojt�ch Havel, Ji�� Barnat, Ivana �ern�, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

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

Lud�k B�rtek

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

Improvements in a Dialogue Interface for Library System

by Lud�k B�rtek, October 2002, 6 pages.

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

Stanislav Barto�

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

Adaptive Approximate Similarity Searching through Metric Social Networks

by Jan Sedmidubsk�, Stanislav Barto�, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.

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

rhoIndex, Designing and Evaluating an Indexing Structure for Graph Structured Data

by Stanislav Barto�, Pavel Zezula, A full version of the paper presented at IEEE MCD 2006. September 2006, 22 pages.

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

Stanislav Barto�

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

Petr Bauch

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

Computing Strongly Connected Components in Parallel on CUDA (full version)

by Ji�� Barnat, Petr Bauch, Lubo� Brim, Milan �e�ka, July 2010, 24 pages.

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

Nikola Bene�

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

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezd�k, Nikola Bene�, Vojt�ch Havel, Ji�� Barnat, Ivana �ern�, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

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

Modal Process Rewrite Systems

by Nikola Bene�, Jan K�et�nsk�, A full version of the paper presented at ICTAC 2012. June 2012, 25 pages.

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

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.

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.

Disjunctive Modal Transition Systems and Generalized LTL Model Checking

by Nikola Bene�, Ivana �ern�, Jan K�et�nsk�, November 2010, 44 pages.

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

Process Algebra for Modal Transition Systemses

by Nikola Bene�, Jan K�et�nsk�, A full version of the paper presented at MEMICS 2010. September 2010, 15 pages.

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

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

by Nikola Bene�, Jan K�et�nsk�, Kim Guldstrand Larsen, Ji�� Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.

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

Partial Order Reduction for State/Event LTL

by Nikola Bene�, Lubo� Brim, Ivana �ern�, Ji�� Sochor, Pavl�na Va�ekov�, Barbora Zimmerov�, July 2008, 21 pages.

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

Peter Bezd�k

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

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezd�k, Nikola Bene�, Vojt�ch Havel, Ji�� Barnat, Ivana �ern�, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

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

Ale� Borek

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

A Comparison of Algorithms for Normed BPA Processes -- An Experimental Performance Evaluation

by Ale� Borek, September 2001, 13 pages.

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

Laura Bozzelli

e-mail:: laura.bozzelli(a)dma.unina.it

On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

by Laura Bozzelli, Mojm�r K�et�nsk�, Vojt�ch �eh�k, Jan Strej�ek, A full version of the paper presented at FSTTCS 2006. November 2006, 27 pages.

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

Michal Brandejs

e-mail:: brandejs(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/brandejs/

Access Rights in Enterprise Full-text Search

by Jan Kasprzak, Michal Brandejs, Mat�j �uhel, Tom� Ob��va�, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.

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

Distributed System for Discovering Similar Documents

by Jan Kasprzak, Michal Brandejs, Miroslav K�ipac, Pavel �merk, A full version of the paper presented at the ICEIS 2008 converence (www.iceis.org). July 2008, 14 pages.

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

Tom� Br�zdil

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

Verification of Open Interactive Markov Chains

by Tom� Br�zdil, Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, Vojt�ch �eh�k, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.

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

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by Tom� Br�zdil, V�clav Bro�ek, Krishnendu Chatterjee, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

by Tom� Br�zdil, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, Vojt�ch �eh�k, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.

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

Reachability Games on Extended Vector Addition Systems with States

by Tom� Br�zdil, Petr Jan�ar, Anton�n Ku�era, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

by Tom� Br�zdil, Vojt�ch Forejt, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.

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

On the Memory Consumption of Probabilistic Pushdown Automata

by Tom� Br�zdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.

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

Qualitative Reachability in Stochastic BPA Games

by V�clav Bro�ek, Tom� Br�zdil, Anton�n Ku�era, Jan Obdr��lek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.

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

Discounted Properties of Probabilistic Pushdown Automata

by Tom� Br�zdil, V�clav Bro�ek, Jan Hole�ek, Anton�n Ku�era, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.

FIMU-RS-2008-08. Abstract, Postscript, PDF.

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

by Tom� Br�zdil, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at ICALP 2008. December 2008, 48 pages.

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

The Satisfiability Problem for Probabilistic CTL

by Tom� Br�zdil, Vojt�ch Forejt, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at LICS 2008. June 2008, 34 pages.

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

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

by Tom� Br�zdil, Vojt�ch Forejt, A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.

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

Stochastic Games with Branching-Time Winning Objectives

by Tom� Br�zdil, V�clav Bro�ek, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at LICS 2006. September 2006, 37 pages.

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

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

by Tom� Br�zdil, Anton�n Ku�era, Old�ich Stra�ovsk�, A full version of the paper presented at STACS 2005. February 2005, 33 pages.

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

Deciding Probabilistic Bisimilarity over Infinite-State Probabilistic Systems

by Tom� Br�zdil, Anton�n Ku�era, Old�ich Stra�ovsk�, A full version of the paper presented at CONCUR`04. September 2004, 26 pages.

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

Lubo� Brim

e-mail:: brim(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/brim/

Computing Strongly Connected Components in Parallel on CUDA (full version)

by Ji�� Barnat, Petr Bauch, Lubo� Brim, Milan �e�ka, July 2010, 24 pages.

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

Using Strategy Improvement to Stay Alive

by Lubo� Brim, Jakub Chaloupka, March 2010, 48 pages.

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

Faster Algorithm for Mean-Payoff Games

by Jakub Chaloupka, Lubo� Brim, October 2009, 11 pages.

FIMU-RS-2009-08. Abstract, Postscript, PDF.

CUDA accelerated LTL Model Checking

by Ji�� Barnat, Lubo� Brim, Milan �e�ka, Tom� Lamr, June 2009, 18 pages.

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

Partial Order Reduction for State/Event LTL

by Nikola Bene�, Lubo� Brim, Ivana �ern�, Ji�� Sochor, Pavl�na Va�ekov�, Barbora Zimmerov�, July 2008, 21 pages.

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

LTL model checking with I/O-Efficient Accepting Cycle Detection

by Ji�� Barnat, Lubo� Brim, Pavel �ime�ek, January 2007, 20 pages.

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

Distributed Qualitative LTL Model Checking of Markov Decision Processes

by Ji�� Barnat, Lubo� Brim, Ivana �ern�, Milan �e�ka, Jana T�mov�, September 2006, 19 pages.

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

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.

Distributed Memory LTL Model Checking Based on Breadth First Search

by Ji�� Barnat, Lubo� Brim, Jakub Chaloupka, September 2004, 57 pages.

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

Parallel Algorithms for Detection of Negative Cycles

by Lubo� Brim, Ivana �ern�, Luk� Hejtm�nek, This is a full version of the paper presented at PARCO 2003. July 2003, 14 pages.

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

Using Assumptions to Distribute CTL Model Checking

by Lubo� Brim, Jitka Crhov�, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.

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

How to Employ Reverse Search in Distributed Single Source Shortest Paths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.

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

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.

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

Distributed LTL Model-Checking in SPIN

by Ji�� Barnat, Lubo� Brim, Jitka St��brn�, December 2000, 19 pages.

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

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Lubo� Brim, David Gilbert, Mojm�r K�et�nsk�, December 1999, 62 pages.

FIMU-RS-99-08. Abstract, Postscript, PDF.

V�clav Bro�ek

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

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by Tom� Br�zdil, V�clav Bro�ek, Krishnendu Chatterjee, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

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

Qualitative Reachability in Stochastic BPA Games

by V�clav Bro�ek, Tom� Br�zdil, Anton�n Ku�era, Jan Obdr��lek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.

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

Discounted Properties of Probabilistic Pushdown Automata

by Tom� Br�zdil, V�clav Bro�ek, Jan Hole�ek, Anton�n Ku�era, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.

FIMU-RS-2008-08. Abstract, Postscript, PDF.

Stochastic Games with Branching-Time Winning Objectives

by Tom� Br�zdil, V�clav Bro�ek, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at LICS 2006. September 2006, 37 pages.

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

Vit Bukac

e-mail:: bukac(a)mail.muni.cz

Traffic characteristics of common DoS tools

by Vit Bukac, April 2014, 83 pages.

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

Joakim Byg

e-mail:: joakim.byg(a)gmail.com

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

by Joakim Byg, Kenneth Yrke Joergensen, Ji�� Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.

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

Pavel Cenek

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

Dialogue Interfaces for Library Systems

by Pavel Cenek, June 2001, 15 pages.

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

Ivana �ern�

e-mail:: cerna(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/cerna/

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezd�k, Nikola Bene�, Vojt�ch Havel, Ji�� Barnat, Ivana �ern�, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

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

Dynamic maintenance of an accepting run

by Florent Peres, Ivana �ern�, August 2013, 46 pages.

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

Disjunctive Modal Transition Systems and Generalized LTL Model Checking

by Nikola Bene�, Ivana �ern�, Jan K�et�nsk�, November 2010, 44 pages.

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

Quantitative Model Checking of Systems with Degradation (Full Paper).

by Ji�� Barnat, Ivana �ern�, Jana T�mov�, June 2009, 35 pages.

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

Partial Order Reduction for State/Event LTL

by Nikola Bene�, Lubo� Brim, Ivana �ern�, Ji�� Sochor, Pavl�na Va�ekov�, Barbora Zimmerov�, July 2008, 21 pages.

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

Model Checking of Control-User Component-Based Parametrised Systems

by Pavl�na Va�ekov�, Ivana �ern�, A full version of the paper presented at conference CBSE 2008. July 2008, 27 pages.

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

Component-Interaction Automata Modelling Language

by Ivana �ern�, Pavl�na Va�ekov�, Barbora Zimmerov�, October 2006, 25 pages.

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

Distributed Qualitative LTL Model Checking of Markov Decision Processes

by Ji�� Barnat, Lubo� Brim, Ivana �ern�, Milan �e�ka, Jana T�mov�, September 2006, 19 pages.

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

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.

Parallel Algorithms for Detection of Negative Cycles

by Lubo� Brim, Ivana �ern�, Luk� Hejtm�nek, This is a full version of the paper presented at PARCO 2003. July 2003, 14 pages.

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

Relating Hierarchy of Linear Temporal Properties to Model Checking

by Ivana �ern�, Radek Pel�nek, April 2003, 18 pages.

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

Distributed Explicit Fair Cycle Detection: Set Based Approach

by Ivana �ern�, Radek Pel�nek, December 2002, 24 pages.

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

Proceedings of Tools Day

by Ivana �ern�, August 2002, 105 pages.

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

How to Employ Reverse Search in Distributed Single Source Shortest Paths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.

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

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.

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

Some Remarks on Weak Bisimilarity of BPA-Processes

by Ivana �ern�, Jitka St��brn�, December 2000, 26 pages.

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

On the Pattern Equations

by Ivana �ern�, Ond�ej Kl�ma, Ji�� 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 Expressibility of Normed BPA and Normed BPP Processes

by Ivana �ern�, Mojm�r K�et�nsk�, Anton�n Ku�era, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.

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

Milan �e�ka

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

Computing Strongly Connected Components in Parallel on CUDA (full version)

by Ji�� Barnat, Petr Bauch, Lubo� Brim, Milan �e�ka, July 2010, 24 pages.

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

CUDA accelerated LTL Model Checking

by Ji�� Barnat, Lubo� Brim, Milan �e�ka, Tom� Lamr, June 2009, 18 pages.

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

Distributed Qualitative LTL Model Checking of Markov Decision Processes

by Ji�� Barnat, Lubo� Brim, Ivana �ern�, Milan �e�ka, Jana T�mov�, September 2006, 19 pages.

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

Jakub Chaloupka

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

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

by Jakub Chaloupka, A full version of the paper presented at Workshop on Reachability Problems 2010 August 2010, 36 pages.

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

Using Strategy Improvement to Stay Alive

by Lubo� Brim, Jakub Chaloupka, March 2010, 48 pages.

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

Faster Algorithm for Mean-Payoff Games

by Jakub Chaloupka, Lubo� Brim, October 2009, 11 pages.

FIMU-RS-2009-08. Abstract, Postscript, PDF.

Distributed Memory LTL Model Checking Based on Breadth First Search

by Ji�� Barnat, Lubo� Brim, Jakub Chaloupka, September 2004, 57 pages.

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

Jean-C�dric Chappelier

e-mail:: Jean-Cedric.Chappelier(a)epfl.ch

Tool for robust stochastic parsing using optimal maximum coverage

by Vladim�r Kadlec, Jean-C�dric Chappelier, Martin Rajman, This report was also submitted as Technical Report No. 2004112 at Swiss Federal Institute of Technology (EPFL), Lausanne (Switzerland), October, 2004. April 2005, 16 pages.

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

Krishnendu Chatterjee

e-mail:: krish.chat(a)gmail.com

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by Tom� Br�zdil, V�clav Bro�ek, Krishnendu Chatterjee, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

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

Michal Chochol��

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

Logical Markup from RTF

by Michal Chochol��, February 2000, 20 pages.

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

Jitka Crhov�

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

Using Assumptions to Distribute CTL Model Checking

by Lubo� Brim, Jitka Crhov�, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.

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

Mat�j �uhel

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

Access Rights in Enterprise Full-text Search

by Jan Kasprzak, Michal Brandejs, Mat�j �uhel, Tom� Ob��va�, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.

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

Vlastislav Dohnal

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

Adaptive Approximate Similarity Searching through Metric Social Networks

by Jan Sedmidubsk�, Stanislav Barto�, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.

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

V�clav Dvo��k

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.

Javier Esparza

e-mail:: esparza(a)informatik.uni-stuttgart.de
home page:: http://www.fmi.uni-stuttgart.de/szs/people/esparza/

On the Memory Consumption of Probabilistic Pushdown Automata

by Tom� Br�zdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.

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

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 Logical Viewpoint on Process-Algebraic Quotients

by Anton�n Ku�era, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.

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

Luk� Folkman

e-mail:: xfolkman(a)mail.muni.cz
telephone:: 776708243

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.

Vojt�ch Forejt

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

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by Tom� Br�zdil, V�clav Bro�ek, Krishnendu Chatterjee, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

by Tom� Br�zdil, Vojt�ch Forejt, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.

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

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

by Tom� Br�zdil, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at ICALP 2008. December 2008, 48 pages.

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

The Satisfiability Problem for Probabilistic CTL

by Tom� Br�zdil, Vojt�ch Forejt, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at LICS 2008. June 2008, 34 pages.

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

Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

by Tom� Br�zdil, Vojt�ch Forejt, A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.

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

Stochastic Games with Branching-Time Winning Objectives

by Tom� Br�zdil, V�clav Bro�ek, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at LICS 2006. September 2006, 37 pages.

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

David Formanek

e-mail:: david.formanek(a)mail.muni.cz

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.

Pavel Fr�da

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

PHC Format Description

by Pavel Fr�da, Ivan Kope�ek, November 1997, 6 pages.

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

Pavel Gaura

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

Control of the Hypertext System Audis Using the Dialogue

by Pavel Gaura, September 2001, 6 pages.

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

David Gilbert

e-mail:: drg(a)sci.city.ac.uk

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Lubo� Brim, David Gilbert, Mojm�r K�et�nsk�, December 1999, 62 pages.

FIMU-RS-99-08. Abstract, Postscript, PDF.

Jozef Gruska

e-mail:: gruska(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/gruska/

Towards Adjusting Informatics Education to Information Era

by Jozef Gruska, Roland Vollmar, A slightly extended version of the invited paper for IFIP TC3 WG3.2 Workshop "Informatics as a discipline and in other disciplines: What is in common?" May 1997, 33 pages.

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

David C H�j��ek

e-mail:: hajicek(a)infocount.cz
telephone:: +420777111466

The Long Term Data Storage

by David C H�j��ek, Ivo Studensk�, Introduction to Relevant Questions June 2005, 40 pages.

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

Vojt�ch Havel

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

On Clock-Aware LTL Properties of Timed Automata

by Peter Bezd�k, Nikola Bene�, Vojt�ch Havel, Ji�� Barnat, Ivana �ern�, A full version of the paper presented at conference ICTAC 2014. June 2014, 27 pages.

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

Luk� Hejtm�nek

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

Parallel Algorithms for Detection of Negative Cycles

by Lubo� Brim, Ivana �ern�, Luk� Hejtm�nek, This is a full version of the paper presented at PARCO 2003. July 2003, 14 pages.

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

Loic H�louet

e-mail:: loic.helouet(a)irisa.fr
home page:: http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html

Decidable Race Condition for HMSC

by Vojt�ch �eh�k, Petr Slov�k, Jan Strej�ek, Loic H�louet, December 2009, 30 pages.

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

Holger Hermanns

e-mail:: hermanns(a)cs.uni-saarland.de

Probabilistic Bisimulation: Naturally on Distributions

by Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, April 2014, 36 pages.

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

Verification of Open Interactive Markov Chains

by Tom� Br�zdil, Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, Vojt�ch �eh�k, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.

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

Jan Hole�ek

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

Discounted Properties of Probabilistic Pushdown Automata

by Tom� Br�zdil, V�clav Bro�ek, Jan Hole�ek, Anton�n Ku�era, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.

FIMU-RS-2008-08. Abstract, Postscript, PDF.

�t�p�n Hrb��ek

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

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.

Lasse Jacobsen

e-mail:: ljacob09(a)student.aau.dk

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.

Morten Jacobsen

e-mail:: mjacob09(a)student.aau.dk

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.

Jean-Marie Jacquet

e-mail:: jmj(a)info.fundp.ac.be

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Lubo� Brim, David Gilbert, Mojm�r K�et�nsk�, December 1999, 62 pages.

FIMU-RS-99-08. Abstract, Postscript, PDF.

Petr Jan�ar

e-mail:: jancar(a)osu.cz

Reachability Games on Extended Vector Addition Systems with States

by Tom� Br�zdil, Petr Jan�ar, Anton�n Ku�era, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.

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

MFCS`98 Workshop on Concurrency - Preproceedings

by Petr Jan�ar, Mojm�r K�et�nsk�, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.

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

Bisimulation Equivalence is Decidable for One-Counter Processes

by Petr Jan�ar, Accepted for presentation at the 24th International Colloquium on Automata, Languages, and Programming (ICALP`97). May 1997, 13 pages.

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

Bisimilarity of Processes with Finite-state Systems

by Petr Jan�ar, Anton�n Ku�era, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.

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

Petr Jaru�ek

e-mail:: zblebt(a)mail.muni.cz

Human Problem Solving: Sokoban Case Study

by Petr Jaru�ek, Radek Pel�nek, April 2010, 25 pages.

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

Kenneth Yrke Joergensen

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

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

by Joakim Byg, Kenneth Yrke Joergensen, Ji�� Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.

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

Vladim�r Kadlec

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

Tool for robust stochastic parsing using optimal maximum coverage

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

Jan Kasprzak

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

Access Rights in Enterprise Full-text Search

by Jan Kasprzak, Michal Brandejs, Mat�j �uhel, Tom� Ob��va�, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.

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

Distributed System for Discovering Similar Documents

by Jan Kasprzak, Michal Brandejs, Miroslav K�ipac, Pavel �merk, A full version of the paper presented at the ICEIS 2008 converence (www.iceis.org). July 2008, 14 pages.

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

Mark Kelly

e-mail:: markuskellius(a)yahoo.co.uk

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.

Stefan Kiefer

e-mail:: kiefer(a)in.tum.de
home page:: http://www7.informatik.tu-muenchen.de/people/detail/index.php?id=people.detail&arg=115
telephone:: +49 (89) 289-17229
fax:: +49 (89) 289-17207

On the Memory Consumption of Probabilistic Pushdown Automata

by Tom� Br�zdil, Javier Esparza, Stefan Kiefer, A full version of the paper presented at FSTTCS 2009 October 2009, 52 pages.

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

Hannes Klarner

e-mail:: Hannes.Klarner(a)fu-berlin.de

Parameter Identification and Model Ranking of Thomas Networks

by Hannes Klarner, Adam Streck, David �afr�nek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.

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

Ond�ej Kl�ma

e-mail:: klima(a)math.muni.cz

Complexity Issues of the Pattern Equations in Idempotent Semigroups

by Ond�ej Kl�ma, Ji�� Srba, August 1999, 14 pages.

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

On the Pattern Equations

by Ivana �ern�, Ond�ej Kl�ma, Ji�� Srba, This is a full version of the paper accepted to SOFSEM`99. July 1999, 11 pages.

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

Juraj Kolcak

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

Parameter Identification and Model Ranking of Thomas Networks

by Hannes Klarner, Adam Streck, David �afr�nek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.

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

Matej Koll�r

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

A Calculus of Coercive Subtyping

by Matej Koll�r, Ond�ej Peterka, Ond�ej Ry�av�, Libor �karvada, November 2009, 17 pages.

FIMU-RS-2009-11. Abstract, Postscript, PDF.

David Komarek

e-mail:: 395924(a)mail.muni.cz

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.

Petr Kone�n�

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

Lower Bound of Distance in 3D

by Petr Kone�n�, Karel Zikan, This article is going to be presented at WSCG`97 in Pilsen. January 1997, 16 pages.

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

Ivan Kope�ek

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

Detection and Annotation of Graphical Objects in Raster Images within the GATE Project

by Ivan Kope�ek, Radek Oslej�ek, Jarom�r Plh�k, Fedor Tir�el, December 2008, 16 pages.

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

Modelling Dialogue Systems by Finite Automata

by Ivan Kope�ek, Libor �karvada, March 2003, 13 pages.

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

The Architecture of the Blind User Oriented Hypertext AUDIS

by Ivan Kope�ek, February 1998, 7 pages.

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

PHC Format Description

by Pavel Fr�da, Ivan Kope�ek, November 1997, 6 pages.

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

Navigation and Information System for Visually Impaired People

by Ivan Kope�ek, Pavel Smr�, May 1997, 7 pages.

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

Michal Kozubek

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

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.

Jan Kr��l

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

Probabilistic Bisimulation: Naturally on Distributions

by Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, April 2014, 36 pages.

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

Verification of Open Interactive Markov Chains

by Tom� Br�zdil, Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, Vojt�ch �eh�k, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

by Tom� Br�zdil, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, Vojt�ch �eh�k, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

by Tom� Br�zdil, Vojt�ch Forejt, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.

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

Pavel Kr��l

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

Reachability Relations and Sampled Semantics of Timed Systems

by Pavel Kr��l, Radek Pel�nek, A full version of the paper presented at conference FSTTCS 2005. December 2005, 31 pages.

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

How to Employ Reverse Search in Distributed Single Source Shortest Paths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.

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

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.

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

Ale� K�enek

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

Haptically Driven Travelling Through Conformational Space

by Igor Peterl�k, Ale� K�enek, This report is an extended version of a~paper accepted for presentation at the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, Pisa, Italy, 2005. January 2005, 22 pages.

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

An Algorithm on Interpolating between Two Shapes of a Molecule

by Ale� K�enek, Accepted for the SCCG`97 in Bratislava. May 1997, 10 pages.

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

Jan K�et�nsk�

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

Probabilistic Bisimulation: Naturally on Distributions

by Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, April 2014, 36 pages.

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

Verification of Open Interactive Markov Chains

by Tom� Br�zdil, Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, Vojt�ch �eh�k, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.

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

Modal Process Rewrite Systems

by Nikola Bene�, Jan K�et�nsk�, A full version of the paper presented at ICTAC 2012. June 2012, 25 pages.

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

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.

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.

Disjunctive Modal Transition Systems and Generalized LTL Model Checking

by Nikola Bene�, Ivana �ern�, Jan K�et�nsk�, November 2010, 44 pages.

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

Process Algebra for Modal Transition Systemses

by Nikola Bene�, Jan K�et�nsk�, A full version of the paper presented at MEMICS 2010. September 2010, 15 pages.

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

by Tom� Br�zdil, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, Vojt�ch �eh�k, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

by Tom� Br�zdil, Vojt�ch Forejt, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.

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

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

by Nikola Bene�, Jan K�et�nsk�, Kim Guldstrand Larsen, Ji�� Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.

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

The Satisfiability Problem for Probabilistic CTL

by Tom� Br�zdil, Vojt�ch Forejt, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at LICS 2008. June 2008, 34 pages.

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

Mojm�r K�et�nsk�

e-mail:: mojmir(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/kretinsky/

On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

by Laura Bozzelli, Mojm�r K�et�nsk�, Vojt�ch �eh�k, Jan Strej�ek, A full version of the paper presented at FSTTCS 2006. November 2006, 27 pages.

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

Refining the Undecidability Border of Weak Bisimilarity

by Mojm�r K�et�nsk�, Vojt�ch �eh�k, Jan Strej�ek, A full version of the paper presented at INFINITY 2005. August 2005, 20 pages.

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

Process Rewrite Systems with Weak Finite-State Unit

by Mojm�r K�et�nsk�, Vojt�ch �eh�k, Jan Strej�ek, This is a full version of the paper presented at INFINITY`03. September 2003, 23 pages.

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

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Lubo� Brim, David Gilbert, Mojm�r K�et�nsk�, December 1999, 62 pages.

FIMU-RS-99-08. Abstract, Postscript, PDF.

MFCS`98 Workshop on Concurrency - Preproceedings

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

Comparing Expressibility of Normed BPA and Normed BPP Processes

by Ivana �ern�, Mojm�r K�et�nsk�, Anton�n Ku�era, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.

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

Miroslav K�ipac

e-mail:: kripac(a)fi.muni.cz
home page:: https://www.fi.muni.cz/~xkripac/

Distributed System for Discovering Similar Documents

by Jan Kasprzak, Michal Brandejs, Miroslav K�ipac, Pavel �merk, A full version of the paper presented at the ICEIS 2008 converence (www.iceis.org). July 2008, 14 pages.

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

Petr Kuba

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

Data Structures for Spatial Data Mining

by Petr Kuba, September 2001, 22 pages.

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

Anton�n Ku�era

e-mail:: tony(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/kucera/

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by Tom� Br�zdil, V�clav Bro�ek, Krishnendu Chatterjee, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

by Tom� Br�zdil, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, Vojt�ch �eh�k, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.

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

Reachability Games on Extended Vector Addition Systems with States

by Tom� Br�zdil, Petr Jan�ar, Anton�n Ku�era, A full version of the paper presented at ICALP 2010. February 2010, 38 pages.

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

by Tom� Br�zdil, Vojt�ch Forejt, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.

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

Qualitative Reachability in Stochastic BPA Games

by V�clav Bro�ek, Tom� Br�zdil, Anton�n Ku�era, Jan Obdr��lek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.

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

Discounted Properties of Probabilistic Pushdown Automata

by Tom� Br�zdil, V�clav Bro�ek, Jan Hole�ek, Anton�n Ku�era, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.

FIMU-RS-2008-08. Abstract, Postscript, PDF.

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

by Tom� Br�zdil, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at ICALP 2008. December 2008, 48 pages.

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

The Satisfiability Problem for Probabilistic CTL

by Tom� Br�zdil, Vojt�ch Forejt, Jan K�et�nsk�, Anton�n Ku�era, A full version of the paper presented at LICS 2008. June 2008, 34 pages.

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

Stochastic Games with Branching-Time Winning Objectives

by Tom� Br�zdil, V�clav Bro�ek, Vojt�ch Forejt, Anton�n Ku�era, A full version of the paper presented at LICS 2006. September 2006, 37 pages.

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

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.

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

by Tom� Br�zdil, Anton�n Ku�era, Old�ich Stra�ovsk�, A full version of the paper presented at STACS 2005. February 2005, 33 pages.

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

Characteristic Patterns for LTL

by Anton�n Ku�era, Jan Strej�ek, A full version of the paper presented at Sofsem 2005. December 2004, 22 pages.

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

Deciding Probabilistic Bisimilarity over Infinite-State Probabilistic Systems

by Tom� Br�zdil, Anton�n Ku�era, Old�ich Stra�ovsk�, A full version of the paper presented at CONCUR`04. September 2004, 26 pages.

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

A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications

by Anton�n Ku�era, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.

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

An Effective Characterization of Properties Definable by LTL Formulae with a Bounded Nesting Depth of the Next-Time Operator

by Anton�n Ku�era, Jan Strej�ek, May 2004, 11 pages.

FIMU-RS-2004-04. 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.

The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL

by Anton�n Ku�era, Jan Strej�ek, A full version of the paper presented at CSL`02. July 2002, 24 pages.

FIMU-RS-2002-03. 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.

On Simulation-Checking with Sequential Systems

by Anton�n Ku�era, This is a full version of the paper accepted for ASIAN 2000. September 2000, 34 pages.

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

Efficient Verification Algorithms for One-Counter Processes

by Anton�n Ku�era, This is a full version of the paper presented at ICALP 2000. March 2000, 24 pages.

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

A Logical Viewpoint on Process-Algebraic Quotients

by Anton�n Ku�era, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.

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

Bisimilarity of Processes with Finite-state Systems

by Petr Jan�ar, Anton�n Ku�era, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.

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

How to Parallelize Sequential Processes

by Anton�n Ku�era, Accepted to the 8th International Conference on Concurrency Theory (CONCUR`97). December 1996, 24 pages.

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

Comparing Expressibility of Normed BPA and Normed BPP Processes

by Ivana �ern�, Mojm�r K�et�nsk�, Anton�n Ku�era, This is a full version of the paper which is to be presented at CSL`96. June 1996, 28 pages.

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

Regularity is Decidable for Normed PA Processes in Polynomial Time

by Anton�n Ku�era, This paper is going to be presented at FST&TCS`96 conference, LNCS 1180, Springer-Verlag. February 1996, 17 pages.

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

Jana Kuklov�

e-mail:: kuklova(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/jana/

On Biases in Inductive Data Engineering

by Jana Kuklov�, Lubo� Popel�nsk�, March 1995, 7 pages.

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

Rudolf Kvasnovsky

e-mail:: 422581(a)mail.muni.cz

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.

Tom� Lamr

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

CUDA accelerated LTL Model Checking

by Ji�� Barnat, Lubo� Brim, Milan �e�ka, Tom� Lamr, June 2009, 18 pages.

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

Kim Guldstrand Larsen

e-mail:: kgl(a)cs.auc.dk
home page:: http://www.cs.aau.dk/~kgl/
telephone:: +45 96 35 88 93
fax:: +45 98 15 98 89

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.

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.

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

by Nikola Bene�, Jan K�et�nsk�, Kim Guldstrand Larsen, Ji�� Srba, A full version of the paper presented at conference ICTAC 2009. July 2009, 28 pages.

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

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.

Karel Nechv�le

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

Linear Binary Space Partitions and Hierarchy of Object Classes

by Petr Tobola, Karel Nechv�le, April 2003, 21 pages.

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

Linear BSP Trees for Sets of Hyperrectangles with Low Directional Density

by Petr Tobola, Karel Nechv�le, September 2000, 27 pages.

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

Linear BSP Tree in the Plane for Set of Segments with Low Directional Density

by Petr Tobola, Karel Nechv�le, A full version of the paper which appeared in Proceedings WSCG`99. September 1999, 20 pages.

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

Matus Nemec

e-mail:: 396066(a)mail.muni.cz

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.

Miloslav Nepil

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

Proceedings of the Third Learning Language in Logic Workshop

by Lubo� Popel�nsk�, Miloslav Nepil, September 2001, 66 pages.

FIMU-RS-2001-08. Abstract, Postscript, PDF.

David Nov�k

e-mail:: xnovak8(a)fi.muni.cz
telephone:: +420549495062

Employing Subsequence Matching in Audio Data Processing

by Petr Volny, David Nov�k, Pavel Zezula, September 2011, 29 pages.

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

LOBS: Load Balancing for Similarity Peer-to-Peer Structures

by David Nov�k, Pavel Zezula, June 2007, 36 pages.

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

Jan Obdr��lek

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

Qualitative Reachability in Stochastic BPA Games

by V�clav Bro�ek, Tom� Br�zdil, Anton�n Ku�era, Jan Obdr��lek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.

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

Tom� Ob��va�

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

Access Rights in Enterprise Full-text Search

by Jan Kasprzak, Michal Brandejs, Mat�j �uhel, Tom� Ob��va�, A full version of the paper presented at ICEIS 2010 conference. July 2010, 19 pages.

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

Radek Oslej�ek

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

Virtual Scene Designed as a Software Component

by Radek Oslej�ek, A full version of the paper presented at WSCG 2008 December 2008, 17 pages.

FIMU-RS-2008-11. Abstract, Postscript, PDF.

Detection and Annotation of Graphical Objects in Raster Images within the GATE Project

by Ivan Kope�ek, Radek Oslej�ek, Jarom�r Plh�k, Fedor Tir�el, December 2008, 16 pages.

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

Bounding Volume Hierarchy Analysis (Case Study)

by Radek Oslej�ek, December 2000, 12 pages.

FIMU-RS-2000-13. Abstract, Postscript, PDF.

Object-oriented Graphics Architectures for Global Illumination

by Ji�� Sochor, Radek Oslej�ek, December 1998, 17 pages.

FIMU-RS-98-08. Abstract, Postscript, PDF.

Radim O��dal

e-mail:: ostadal(a)mail.muni.cz

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.

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.

Karel Pala

e-mail:: pala(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/pala/

Corpus-based Rules for Czech Verb Discontinuous Constituents

by Eva ��kov�, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.

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

DESAM - Approaches to Desambiguation

by Karel Pala, Pavel Rychl�, Pavel Smr�, December 1997, 12 pages.

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

Jan Papou�ek

e-mail:: xpapous1(a)fi.muni.cz
telephone:: +420777231112

Evaluation of the Impact of Question Difficulty on Engagement and Learning

by Jan Papou�ek, V�t Stanislav, Radek Pel�nek, April 2016, 13 pages.

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

Ahmed Patel

e-mail:: apatel(a)cnds.ucd.ie
home page:: http://www.cs.ucd.ie/staff/apatel/default.htm

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.

Tom� Pavelek

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

On Disambiguation in Czech Corpora

by Lubo� Popel�nsk�, Tom� Pavelek, Tom� Pt��n�k, October 2000, 26 pages.

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

Radek Pel�nek

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

Evaluation of the Impact of Question Difficulty on Engagement and Learning

by Jan Papou�ek, V�t Stanislav, Radek Pel�nek, April 2016, 13 pages.

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

Human Problem Solving: Sudoku Case Study

by Radek Pel�nek, A full version of a paper presented at the 24th Florida Artificial Intelligence Research Society Conference January 2011, 21 pages.

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

Human Problem Solving: Sokoban Case Study

by Petr Jaru�ek, Radek Pel�nek, April 2010, 25 pages.

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

Verification Manager: Automating the Verification Process

by Radek Pel�nek, V�clav Roseck�, March 2009, 17 pages.

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

Evaluation of State Caching and State Compression Techniques

by Radek Pel�nek, V�clav Roseck�, Jaroslav �ed�nka, February 2008, 19 pages.

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

Estimating State Space Parameters

by Radek Pel�nek, Pavel �ime�ek, January 2008, 21 pages.

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

Web Portal for Benchmarking Explicit Model Checkers

by Radek Pel�nek, October 2006, 39 pages.

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

Reachability Relations and Sampled Semantics of Timed Systems

by Pavel Kr��l, Radek Pel�nek, A full version of the paper presented at conference FSTTCS 2005. December 2005, 31 pages.

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

On-the-fly State Space Reductions

by Radek Pel�nek, February 2005, 22 pages.

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

Deeper Connections between LTL and Alternating Automata

by Radek Pel�nek, Jan Strej�ek, September 2004, 26 pages.

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

Relating Hierarchy of Linear Temporal Properties to Model Checking

by Ivana �ern�, Radek Pel�nek, April 2003, 18 pages.

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

Distributed Explicit Fair Cycle Detection: Set Based Approach

by Ivana �ern�, Radek Pel�nek, December 2002, 24 pages.

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

How to Employ Reverse Search in Distributed Single Source Shortest Paths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.

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

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

by Lubo� Brim, Ivana �ern�, Pavel Kr��l, Radek Pel�nek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.

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

Jaroslav Pelik�n

e-mail:: pelikan(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/pelikan/

Programmed Learning & Hypertext

by Jaroslav Pelik�n, May 1998, 6 pages.

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

Petr Pe��z

e-mail:: penaz(a)fi.muni.cz
home page:: www.teiresias.muni.cz
telephone:: +420-732873082
fax:: +420-549491120

Verbalizing Visual Data for the Blind: Towards a More Complex Graphical Ontology

by Petr Pe��z, December 2008, 18 pages.

FIMU-RS-2008-12. Abstract, Postscript, PDF.

Florent Peres

e-mail:: florent.peres(a)gmail.com

Dynamic maintenance of an accepting run

by Florent Peres, Ivana �ern�, August 2013, 46 pages.

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

Ond�ej Peterka

e-mail:: ondrash(a)gmail.com

A Calculus of Coercive Subtyping

by Matej Koll�r, Ond�ej Peterka, Ond�ej Ry�av�, Libor �karvada, November 2009, 17 pages.

FIMU-RS-2009-11. Abstract, Postscript, PDF.

Igor Peterl�k

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

Haptically Driven Travelling Through Conformational Space

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

Jarom�r Plh�k

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

Detection and Annotation of Graphical Objects in Raster Images within the GATE Project

by Ivan Kope�ek, Radek Oslej�ek, Jarom�r Plh�k, Fedor Tir�el, December 2008, 16 pages.

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

Lubo� Popel�nsk�

e-mail:: popel(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/popelinsky/

Proceedings of the Third Learning Language in Logic Workshop

by Lubo� Popel�nsk�, Miloslav Nepil, September 2001, 66 pages.

FIMU-RS-2001-08. Abstract, Postscript, PDF.

On Disambiguation in Czech Corpora

by Lubo� Popel�nsk�, Tom� Pavelek, Tom� Pt��n�k, October 2000, 26 pages.

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

WiM: A Study on the Top-Down ILP Program

by Lubo� Popel�nsk�, August 1995, 18 pages.

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

On Biases in Inductive Data Engineering

by Jana Kuklov�, Lubo� Popel�nsk�, March 1995, 7 pages.

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

Tom� Pt��n�k

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

On Disambiguation in Czech Corpora

by Lubo� Popel�nsk�, Tom� Pavelek, Tom� Pt��n�k, October 2000, 26 pages.

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

Martin Rajman

e-mail:: Martin.Rajman(a)epfl.ch

Tool for robust stochastic parsing using optimal maximum coverage

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

Vojt�ch �eh�k

e-mail:: rehak(a)fi.muni.cz
home page:: https://www.fi.muni.cz/~xrehak/

Verification of Open Interactive Markov Chains

by Tom� Br�zdil, Holger Hermanns, Jan Kr��l, Jan K�et�nsk�, Vojt�ch �eh�k, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

by Tom� Br�zdil, Jan Kr��l, Jan K�et�nsk�, Anton�n Ku�era, Vojt�ch �eh�k, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.

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

Decidable Race Condition for HMSC

by Vojt�ch �eh�k, Petr Slov�k, Jan Strej�ek, Loic H�louet, December 2009, 30 pages.

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

Formalisms and Tools for Design and Specification of Network Protocols

by Jind�ich Babica, Vojt�ch �eh�k, Petr Slov�k, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.

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

On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

by Laura Bozzelli, Mojm�r K�et�nsk�, Vojt�ch �eh�k, Jan Strej�ek, A full version of the paper presented at FSTTCS 2006. November 2006, 27 pages.

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

Refining the Undecidability Border of Weak Bisimilarity

by Mojm�r K�et�nsk�, Vojt�ch �eh�k, Jan Strej�ek, A full version of the paper presented at INFINITY 2005. August 2005, 20 pages.

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

Process Rewrite Systems with Weak Finite-State Unit

by Mojm�r K�et�nsk�, Vojt�ch �eh�k, Jan Strej�ek, This is a full version of the paper presented at INFINITY`03. September 2003, 23 pages.

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

Zden�k ��ha

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

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.

Biometric Authentication Systems

by Zden�k ��ha, V�clav Maty�, November 2000, 44 pages.

FIMU-RS-2000-08. Abstract, Postscript, PDF.

Certification

by Zden�k ��ha, December 1998, 43 pages.

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

V�clav Roseck�

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

Verification Manager: Automating the Verification Process

by Radek Pel�nek, V�clav Roseck�, March 2009, 17 pages.

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

Evaluation of State Caching and State Compression Techniques

by Radek Pel�nek, V�clav Roseck�, Jaroslav �ed�nka, February 2008, 19 pages.

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

Hana Rudov�

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

Timetabling with Annotations

by Hana Rudov�, Lud�k Matyska, December 1999, 17 pages.

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

Constraints with Variables` Annotations

by Hana Rudov�, This is an extended version of the paper accepted for presentation at ECAI-98. May 1998, 14 pages.

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

Pavel Rychl�

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

Finding Semantically Related Words in Large Corpora

by Pavel Smr�, Pavel Rychl�, 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.

DESAM - Approaches to Desambiguation

by Karel Pala, Pavel Rychl�, Pavel Smr�, December 1997, 12 pages.

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

Ond�ej Ry�av�

e-mail:: rysavy(a)fit.vutbr.cz

A Calculus of Coercive Subtyping

by Matej Koll�r, Ond�ej Peterka, Ond�ej Ry�av�, Libor �karvada, November 2009, 17 pages.

FIMU-RS-2009-11. Abstract, Postscript, PDF.

David �afr�nek

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

Parameter Identification and Model Ranking of Thomas Networks

by Hannes Klarner, Adam Streck, David �afr�nek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.

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

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

by David �afr�nek, Ji�� im�a, A full version of SOFSEM 2005 paper. December 2004, 25 pages.

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

Philippe Schnoebelen

e-mail:: phs(a)lsv.ens-cachan.fr
home page:: http://www.lsv.ens-cachan.fr/~phs/

A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications

by Anton�n Ku�era, Philippe Schnoebelen, A full version of the paper presented at CONCUR`04. June 2004, 32 pages.

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

Jaroslav �ed�nka

e-mail:: 143135(a)mail.muni.cz

Evaluation of State Caching and State Compression Techniques

by Radek Pel�nek, V�clav Roseck�, Jaroslav �ed�nka, February 2008, 19 pages.

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

Radek Sedl��ek

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

Automatic Processing of Czech Inflectional and Derivative Morphology

by Radek Sedl��ek, Pavel Smr�, 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.

Jan Sedmidubsk�

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

Adaptive Approximate Similarity Searching through Metric Social Networks

by Jan Sedmidubsk�, Stanislav Barto�, Vlastislav Dohnal, Pavel Zezula, A full version of the paper presented at ICDE 2008. November 2007, 22 pages.

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

Peter Sekan

e-mail:: 433390(a)mail.muni.cz

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.

Heike Siebert

e-mail:: siebert(a)mi.fu-berlin.de
home page:: http://page.mi.fu-berlin.de/hsiebert/

Parameter Identification and Model Ranking of Thomas Networks

by Hannes Klarner, Adam Streck, David �afr�nek, Juraj Kolcak, Heike Siebert, A full version of the paper presented at conference CMSB 2012. November 2012, 39 pages.

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

Pavel �ime�ek

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

Estimating State Space Parameters

by Radek Pel�nek, Pavel �ime�ek, January 2008, 21 pages.

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

LTL model checking with I/O-Efficient Accepting Cycle Detection

by Ji�� Barnat, Lubo� Brim, Pavel �ime�ek, January 2007, 20 pages.

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

Ji�� im�a

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

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.

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

by David �afr�nek, Ji�� im�a, A full version of SOFSEM 2005 paper. December 2004, 25 pages.

FIMU-RS-2004-11. 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.

Libor �karvada

e-mail:: libor(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/skarvada

A Calculus of Coercive Subtyping

by Matej Koll�r, Ond�ej Peterka, Ond�ej Ry�av�, Libor �karvada, November 2009, 17 pages.

FIMU-RS-2009-11. Abstract, Postscript, PDF.

Modelling Dialogue Systems by Finite Automata

by Ivan Kope�ek, Libor �karvada, March 2003, 13 pages.

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

Petr Slov�k

e-mail:: slovak(a)ics.muni.cz

Decidable Race Condition for HMSC

by Vojt�ch �eh�k, Petr Slov�k, Jan Strej�ek, Loic H�louet, December 2009, 30 pages.

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

Formalisms and Tools for Design and Specification of Network Protocols

by Jind�ich Babica, Vojt�ch �eh�k, Petr Slov�k, Pavel Troubil, Martin Zavadil, May 2007, 33 pages.

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

Pavel �merk

e-mail:: smerk(a)fi.muni.cz
home page:: https://www.fi.muni.cz/usr/brandejs/

Distributed System for Discovering Similar Documents

by Jan Kasprzak, Michal Brandejs, Miroslav K�ipac, Pavel �merk, A full version of the paper presented at the ICEIS 2008 converence (www.iceis.org). July 2008, 14 pages.

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

Tobias Smolka

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

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.

Pavel Smr�

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

Automatic Processing of Czech Inflectional and Derivative Morphology

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

Finding Semantically Related Words in Large Corpora

by Pavel Smr�, Pavel Rychl�, 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.