Technical Reports

A list sorted by author - K

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.

Responsible contact: unix(atsign)fi(dot)muni(dot)cz