Technical Reports

A list without abstracts sorted by year - all

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.

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.

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.

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.

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.

Traffic characteristics of common DoS tools

by Vit Bukac, April 2014, 83 pages.

FIMU-RS-2014-02. 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.

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.

Dynamic maintenance of an accepting run

by Florent Peres, Ivana Èerná, August 2013, 46 pages.

FIMU-RS-2013-01. 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Using Strategy Improvement to Stay Alive

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

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

Human Problem Solving: Sokoban Case Study

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

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

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.

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.

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.

Faster Algorithm for Mean-Payoff Games

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

FIMU-RS-2009-08. 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.

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.

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.

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.

Verification Manager: Automating the Verification Process

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

FIMU-RS-2009-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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Operational Semantics of Quantum Programming Language LanQ

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

FIMU-RS-2006-10. 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.

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.

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

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

FIMU-RS-2006-06. 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.

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.

Web Portal for Benchmarking Explicit Model Checkers

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

FIMU-RS-2006-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.

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.

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.

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.

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.

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.

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.

On-the-fly State Space Reductions

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

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Object with Roles and VREcko system

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

FIMU-RS-2003-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.

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.

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.

Modelling Dialogue Systems by Finite Automata

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

FIMU-RS-2003-01. 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.

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.

Improvements in a Dialogue Interface for Library System

by Ludìk Bártek, October 2002, 6 pages.

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

Trustworthiness of Signed Data

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

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

Proceedings of Tools Day

by Ivana Èerná, August 2002, 105 pages.

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

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.

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.

Control of the Hypertext System Audis Using the Dialogue

by Pavel Gaura, September 2001, 6 pages.

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

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.

Data Structures for Spatial Data Mining

by Petr Kuba, September 2001, 22 pages.

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

Dialogue Interfaces for Library Systems

by Pavel Cenek, June 2001, 15 pages.

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

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.

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.

Bounding Volume Hierarchy Analysis (Case Study)

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

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

Constrained Rewrite Transition Systems

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

FIMU-RS-2000-12. 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.

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.

Biometric Authentication Systems

by Zdenìk Øíha, Václav Matyá¹, November 2000, 44 pages.

FIMU-RS-2000-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.

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.

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.

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.

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.

Logical Markup from RTF

by Michal Chocholáè, February 2000, 20 pages.

FIMU-RS-2000-02. 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.

Timetabling with Annotations

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

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

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.

On Birkhoff`s Aesthetic Measure of Vases

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

FIMU-RS-99-06. 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.

CED -- Program for Corpora Editing

by Marek Veber, September 1999, 9 pages.

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

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.

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.

Object-oriented Graphics Architectures for Global Illumination

by Jiøí Sochor, Radek Oslej¹ek, December 1998, 17 pages.

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

Certification

by Zdenìk Øíha, December 1998, 43 pages.

FIMU-RS-98-07. 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 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.

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.

Programmed Learning & Hypertext

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

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

The Architecture of the Blind User Oriented Hypertext AUDIS

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

FIMU-RS-98-01. 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.

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.

PHC Format Description

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

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

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.

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.

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.

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.

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.

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.

Word Hy-phen-a-tion by Neural Networks

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

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

Notes on Compound Word Hyphenation in TeX

by Petr Sojka, August 1995, 12 pages.

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

Smoothing Integral Transforms for Molecular Mechanics Force Fields

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

FIMU-RS-95-02. 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.