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

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:: https://www.fi.muni.cz/~kas/

Access Rights in Enterprise Full-text Search

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

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

Distributed System for Discovering Similar Documents

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

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

Mark Kelly

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

Application-Level Firewall Protection Profile for High Robustness Environments-Initial Considerations

by Mark Kelly, V�clav Maty�, Ahmed Patel, April 2004, 43 pages.

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

Stefan Kiefer

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

On the Memory Consumption of Probabilistic Pushdown Automata

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

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

Hannes Klarner

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

Parameter Identification and Model Ranking of Thomas Networks

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

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

Ond�ej Kl�ma

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

Complexity Issues of the Pattern Equations in Idempotent Semigroups

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

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

On the Pattern Equations

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

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

Juraj Kolcak

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

Parameter Identification and Model Ranking of Thomas Networks

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

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

Matej Koll�r

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

A Calculus of Coercive Subtyping

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

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

David Komarek

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

The Million-Key Question - Investigating the Origins of RSA Public Keys

by Petr �venda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, V�clav Maty�, August 2016, 83 pages.

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

Petr Kone�n�

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

Lower Bound of Distance in 3D

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

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

Ivan Kope�ek

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

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

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

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

Modelling Dialogue Systems by Finite Automata

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

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

The Architecture of the Blind User Oriented Hypertext AUDIS

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

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

PHC Format Description

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

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

Navigation and Information System for Visually Impaired People

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

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

Michal Kozubek

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

Ways to the High-Resolution Cytometry Network

by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.

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

Jan Kr��l

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

Probabilistic Bisimulation: Naturally on Distributions

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

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

Verification of Open Interactive Markov Chains

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

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

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

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

Pavel Kr��l

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

Reachability Relations and Sampled Semantics of Timed Systems

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

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

How to Employ Reverse Search in Distributed Single Source Shortest Paths

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

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

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

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

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

Ale� K�enek

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

Haptically Driven Travelling Through Conformational Space

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

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

An Algorithm on Interpolating between Two Shapes of a Molecule

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

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

Jan K�et�nsk�

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

Probabilistic Bisimulation: Naturally on Distributions

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

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

Verification of Open Interactive Markov Chains

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

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

Modal Process Rewrite Systems

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

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

Dual-Priced Modal Transition Systems with Time Durations

by Nikola Bene�, Jan K�et�nsk�, Kim Guldstrand Larsen, Mikael Moeller, Ji�� Srba, A full version of the paper presented at conference LPAR 2012. January 2012, 23 pages.

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

Parametric Modal Transition Systems

by Nikola Bene�, Jan K�et�nsk�, Kim Guldstrand Larsen, Mikael Moller, Ji�� Srba, A full version of the paper presented at ATVA 2011 July 2011, 24 pages.

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

Disjunctive Modal Transition Systems and Generalized LTL Model Checking

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

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

Process Algebra for Modal Transition Systemses

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

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

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

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

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

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

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

The Satisfiability Problem for Probabilistic CTL

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

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

Mojm�r K�et�nsk�

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

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

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

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

Refining the Undecidability Border of Weak Bisimilarity

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

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

Process Rewrite Systems with Weak Finite-State Unit

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

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

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

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

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

MFCS`98 Workshop on Concurrency - Preproceedings

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:: https://www.fi.muni.cz/~xkripac/

Distributed System for Discovering Similar Documents

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

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

Petr Kuba

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

Data Structures for Spatial Data Mining

by Petr Kuba, September 2001, 22 pages.

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

Anton�n Ku�era

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

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

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

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

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

Reachability Games on Extended Vector Addition Systems with States

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

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

Continuous-Time Stochastic Games with Time-Bounded Reachability

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

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

Qualitative Reachability in Stochastic BPA Games

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

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

Discounted Properties of Probabilistic Pushdown Automata

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

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

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

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

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

The Satisfiability Problem for Probabilistic CTL

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

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

Stochastic Games with Branching-Time Winning Objectives

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

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

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

by Javier Esparza, Anton�n Ku�era, Richard Mayr, A full version of the paper presented at LICS 2005. July 2005, 26 pages.

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

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

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

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

Characteristic Patterns for LTL

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

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

Deciding Probabilistic Bisimilarity over Infinite-State Probabilistic Systems

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

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

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

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

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

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

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

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

Model Checking Probabilistic Pushdown Automata

by Javier Esparza, Anton�n Ku�era, Richard Mayr, A full version of the paper presented at LICS`04. July 2004, 34 pages.

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

A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata

by Anton�n Ku�era, Richard Mayr, A full version of the paper presented at IFIP TCS 2004. April 2004, 38 pages.

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

Pre-Proceedings of INFINITY 2002

by Anton�n Ku�era, Richard Mayr, August 2002, 153 pages.

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

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

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

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

Why is Simulation Harder Than Bisimulation?

by Anton�n Ku�era, Richard Mayr, A full version of the paper presented at CONCUR`02 June 2002, 26 pages.

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

On the Complexity of Semantic Equivalences for Pushdown Automata and BPA

by Anton�n Ku�era, Richard Mayr, A full version of the paper presented at MFCS`02. May 2002, 32 pages.

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

On Simulation-Checking with Sequential Systems

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

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

Efficient Verification Algorithms for One-Counter Processes

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

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

A Logical Viewpoint on Process-Algebraic Quotients

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

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

Bisimilarity of Processes with Finite-state Systems

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

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

How to Parallelize Sequential Processes

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

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

Comparing Expressibility of Normed BPA and Normed BPP Processes

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

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

Regularity is Decidable for Normed PA Processes in Polynomial Time

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

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

Jana Kuklov�

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

On Biases in Inductive Data Engineering

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

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

Rudolf Kvasnovsky

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

The Million-Key Question - Investigating the Origins of RSA Public Keys

by Petr �venda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek, V�clav Maty�, August 2016, 83 pages.

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

Responsible contact: vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz

Please install a newer browser for this site to function properly.

More information