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

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.

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.

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.

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.

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.

Luděk Bártek

e-mail:
bar(a)fi.muni.cz
home page:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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

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.

Jan Kasprzak

e-mail:
kas(a)fi.muni.cz
home page:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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

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.

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

Karel Nechvíle

e-mail:
kodl(a)fi.muni.cz
home page:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://www.fi.muni.cz/~xpeterl

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.

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

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.

Vojtěch Řehák

e-mail:
rehak(a)fi.muni.cz
home page:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://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:
http://www.fi.muni.cz/~smrz/

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.

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.

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.

DESAM - Approaches to Desambiguation

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

FIMU-RS-97-09. 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.

Word Hy-phen-a-tion by Neural Networks

by Pavel Smrž, Petr Sojka, August 1996, 10 pages.

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

Jiří Sochor

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

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.

Object-oriented Graphics Architectures for Global Illumination

by Jiří Sochor, Radek Oslejšek, December 1998, 17 pages.

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

Petr Sojka

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

Word Hy-phen-a-tion by Neural Networks

by Pavel Smrž, Petr Sojka, August 1996, 10 pages.

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

Notes on Compound Word Hyphenation in TeX

by Petr Sojka, August 1995, 12 pages.

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

Jiří Srba

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

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.

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.

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.

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.

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.

Comparing the Classes BPA and BPA with Deadlocks

by Jiří Srba, This is a full version of the paper accepted to MFCS`98. June 1998, 36 pages.

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

Vít Stanislav

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

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.

Tomáš Staudek

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

On Birkhoff`s Aesthetic Measure of Vases

by Tomáš Staudek, September 1999, 8 pages.

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

Martin Stehlik

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

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.

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.

Andriy Stetsko

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

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.

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.

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.

Oldřich Stražovský

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

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.

Adam Streck

e-mail:
xstreck1(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.

Jan Strejček

e-mail:
xstrejc(a)fi.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.

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.

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.

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.

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.

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.

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.

Constrained Rewrite Transition Systems

by Jan Strejček, December 2000, 30 pages.

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

Jitka Stříbrná

e-mail:
js(a)fi.muni.cz
home page:
http://www.fi.muni.cz/usr/stribrna/

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.

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.

Approximating Weak Bisimulation on Basic Process Algebra

by Jitka Stříbrná, This work has been presented at MFCS`99. September 1999, 18 pages.

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

Ivo Studenský

e-mail:
studensky(a)infocount.cz
telephone:
+420777111468

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.

Petr Švéda

e-mail:
xsveda(a)fi.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.

Trustworthiness of Signed Data

by Petr Švéda, September 2002, 13 pages.

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

Petr Švenda

e-mail:
svenda(a)fi.muni.cz
home page:
http://www.fi.muni.cz/~xsvenda
telephone:
549491878

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.

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.

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.

Han The Thanh

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

Fedor Tiršel

e-mail:
xtirsel(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.

Petr Tobola

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

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.

Pavel Troubil

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

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.

Michalis Troullinos

e-mail:
mtroullinos(a)ilsp.gr

PRESEMT Phrase Model Generator

by Michalis Troullinos, November 2013, 18 pages.

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

Phrase Aligner

by Michalis Troullinos, November 2013, 44 pages.

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

Jana Tůmová

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

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.

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.

Pavlína Vařeková

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

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.

Marek Veber

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

CED -- Program for Corpora Editing

by Marek Veber, September 1999, 9 pages.

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

Roland Vollmar

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.

Petr Volny

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

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.

Ondřej Výborný

e-mail:
xvyborny(a)fi.muni.cz
telephone:
+420 549 491 871
fax:
+420 549 491 820

Privacy Preserving Data Mining, State-of-the-Art

by Ondřej Výborný, September 2006, 19 pages.

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

Karen Yorav

e-mail:
kareny(a)galileo.co.il

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.

Eva Žáčková

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

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.

Martin Zavadil

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

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 Zezula

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

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.

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.

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.

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.

Karel Zikan

e-mail:
Karel.Zikan(a)Eng.Sun.COM

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.

Barbora Zimmerová

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

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.

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.

Jiří Zlatuška

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

Stepping Stones to an Information Society

by Jiří Zlatuška, A revised version of an invited talk presented at SOFSEM`97 conference. December 1997, 30 pages.

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