Since 10 November our faculty has a new website! The old website will still be available at oldwww.fi.muni.cz for now. Something is broken? Please report it to webmaster@fi.muni.cz or use our webform.

Selected Publications

From among the hundreds of papers annually published by scientists at FI, here is a brief overview of those published at the world's top CS conferences (A*), and in the top ten percent of scientific journals, as ranked by Journal Citation Reports.


A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components

Mavroudis, Vasilios — Cerulli, Andrea — Švenda, Petr — Cvrček, Daniel — Klinec, Dušan — Danezis, George
Computer and Communications Security (CCS 2017), URL

Catalytic decoupling of quantum information

Majenz, Christian — Berta, Mario — Dupont Dupuis, Frédéric — Renner, Renato — Christandl, Matthias
Physical Review Letters, 2017, DOI

Elo-based Learner Modeling for Adaptive Practice of Facts

Pelánek, RadekPapoušek, JanŘihák, Jiří — Stanislav, Vít — Nižnan, Juraj
User Modeling and User-Adapted Interaction, 2017, DOI

Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm

Sýs, MarekŘíha, ZdeněkMatyáš, Václav
ACM Transactions on Mathematical Software, 2017, DOI

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems

Beneš, NikolaBrim, LubošDemko, MartinPastva, SamuelŠafránek, David
Computer Aided Verification (CAV 2017), DOI

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

Svoreňová, Mária — Křetínský, Jan — Chmelík, Martin — Chatterjee, Krishnendu — Černá, Ivana — Belta, Calin
Nonlinear Analysis: Hybrid Systems, 2017, DOI

The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli

Nemec, MatúšSýs, MarekŠvenda, PetrKlinec, DušanMatyáš, Václav
Computer and Communications Security (CCS 2017), DOI

pqsfinder: an exhaustive and imperfection-tolerant search tool for potential quadruplex-forming sequences in R

Hon, Jiří — Martínek, Tomáš — Zendulka, Jaroslav — Lexa, Matej
Bioinformatics, 2017, DOI


A New Perspective on FO Model Checking of Dense Graph Classes

Gajarský, Jakub — Hliněný, Petr — Lokshtanov, Daniel — Obdržálek, Jan — Ramanujan, M S
Logic in Computer Science (LICS 2016), DOI

Adaptive versus non-adaptive strategies in the quantum setting with applications

Dupont Dupuis, Frédéric — Fehr, Serge — Lamontagne, Philippe — Salvail, Louis
Cryptology (CRYPTO 2016), DOI

Applications of the Elo rating system in adaptive educational systems

Pelánek, Radek
Computers & Education, 2016, DOI

Hammock: a hidden Markov model-based peptide clustering algorithm to identify protein-interaction consensus motifs in large datasets

Krejčí, Adam — Hupp, TR — Lexa, MatejVojtěšek, BořivojMüller, Petr
Bioinformatics, 2016, DOI

Limit-Deterministic Büchi Automata for Linear Temporal Logic

Sickert, Salomon — Esparza, Javier — Jaax, Stefan — Křetínský, Jan
Computer Aided Verification (CAV 2016), DOI

Linear Distances between Markov Chains

Daca, Przemyslaw — Henzinger, Thomas A. — Křetínský, Jan — Petrov, Tatjana
Concurrency Theory (CONCUR 2016), DOI

Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search

Boytsov, Leonid — Novák, David — Malkov, Yury — Nyberg, Eric
Information and Knowledge Management (CIKM 2016), DOI

Polynomial-time Construction of Optimal MPI Derived Datatype Trees

Ganian, Robert — Kalany, Martin — Szeider, Stefan — Traff, Jesper Larsson
Parallel and Distributed Processing (IPDPS 2016), DOI

Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems

Kučera, AntonínLamser, Tomáš
Autonomous Agents and Multiagent Systems (AAMAS 2016), URL

Stability in Graphs and Games

Brázdil, Tomáš — Forejt, Vojtěch — Kučera, Antonín — Novotný, Petr
Concurrency Theory (CONCUR 2016), DOI

The Complexity Landscape of Decompositional Parameters for ILP

Ganian, Robert — Ordyniak, Sebastian
AAAI Conference on Artificial Intelligence (AAAI 2016), URL

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

Švenda, PetrNemec, MatúšSekan, PeterKvašňovský, Rudolf — Formánek, David — Komárek, David — Matyáš, Václav
USENIX Security (USENIX 2016), URL

Toward Natural Multi-User Interaction in Advanced Collaborative Display Environments

Rusňák, Vít — Ručka, LukášHolub, Petr
Future Generation Computer Systems, 2016, DOI

Using Decomposition-Parameters for QBF: Mind the Prefix!

Ganian, Robert — Ordyniak, Sebastian — Eiben, Eduard
AAAI Conference on Artificial Intelligence (AAAI 2016), URL


A short note on t-filters, I-filters and extended filters on residuated lattices

Víta, Martin
Fuzzy Sets and Systems, 2015, DOI

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

Abate, Alessandro — Češka, Milan — Brim, Luboš — Kwiatkowska, Marta
Computer Aided Verification (CAV 2015), DOI

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

Brázdil, Tomáš — Chatterjee, Krishnendu — Chmelík, Martin — Fellner, Andreas — Křetínský, Jan
Computer Aided Verification (CAV 2015), DOI

FO Model Checking on Posets of Bounded Width

Gajarský, Jakub — Hliněný, PetrObdržálek, Jan — Ordyniak, Sebastian — Ramanujan, M.S. — Lokshtanov, Daniel — Saurabh, Saket
Foundations of Computer Science (FOCS 2015), DOI

Language Emptiness of Continuous-Time Parametric Timed Automata

Beneš, NikolaBezděk, Peter — Larsen, Kim G. — Srba, Jiří
Automata, Languages, and Programming (ICALP 2015), DOI

Large-scale Image Retrieval using Neural Net Descriptors

Novák, DavidBatko, MichalZezula, Pavel
Research and Development in Information Retrieval (SIGIR 2015), DOI

Long-Run Average Behaviour of Probabilistic Vector Addition Systems

Brázdil, Tomáš — Kiefer, Stefan — Kučera, Antonín — Novotný, Petr
Logic in Computer Science (LICS 2015), DOI

On Frequency LTL in Probabilistic Systems

Forejt, Vojtěch — Krčál, Jan
Concurrency Theory (CONCUR 2015), DOI

Polynomial Time Decidability of Weighted Synchronization under Partial Observability

Křetínský, Jan — Larsen, Kim Guldstrand — Laursen, Simon — Srba, Jiří
Concurrency Theory (CONCUR 2015), DOI

The Hanoi Omega-Automata Format

Babiak, Tomáš — Blahoudek, František — Duret-Lutz, Alexandre — Klein, Joachim — Křetínský, Jan — Müller, David — Parker, David — Strejček, Jan
Computer Aided Verification (CAV 2015), DOI

The minimal work cost of information processing

Faist, Philippe — Dupont Dupuis, Frédéric — Oppenheim, Jonathan — Renner, Renato
Nature Communications, 2015, DOI

Toward a Morphodynamic Model of the Cell

Ortiz-de-Solórzano, Carlos — Muñoz-Barrutia, Arrate — Meijering, Erik — Kozubek, Michal
IEEE Signal Processing Magazine, 2015, DOI

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

Chatterjee, Krishnendu — Komárková, Zuzana — Křetínský, Jan
Logic in Computer Science (LICS 2015), DOI

Variable-Deletion Backdoors to Planning

Kronegger, Martin — Ordyniak, Sebastian — Pfandler, Andreas
AAAI Conference on Artificial Intelligence (AAAI 2015), URL


A Benchmark for Comparison of Cell Tracking Algorithms

Maška, MartinUlman, VladimírSvoboda, DavidMatula, PavelMatula, Petr — Ederra, Cristina — Urbiola, Ainhoa — España, Tomás — Venkatesan, Subramanian — Balak, Deepak M W — Karas, Pavel — Bolcková, Tereza — Štreitová, Markéta — Carthel, Craig — Coraluppi, Stefano — Harder, Nathalie — Rohr, Karl — Magnusson, Klas E G — Jaldén, Joakim — Blau, Helen M — Dzyubachyk, Oleh — Křížek, Pavel — Hagen, Guy M — Pastor-Escuredo, David — Jimenez-Carretero, Daniel — Ledesma-Carbayo, Maria J — Muñoz-Barrutia, Arrate — Meijering, Erik — Kozubek, Michal — Ortiz-de-Solorzano, Carlos
Bioinformatics, 2014, DOI

An induced pluripotent stem cell model of hypoplastic left heart syndrome (HLHS) reveals multiple expression and functional differences in HLHS derived cardiac myocytes

Jiang, Yan — Habibollah, Saba — Tilgner, Katarzyna — Collin, Joseph — Bárta, Tomáš — Al-Aama, Jumana Yousuf — Tesařová, Lenka — Hussain, Rafiqul — Trafford, Andrew — Kirkwood, Graham — Sernagor, Evelyne — Eleftheriou, Cyril — Przyborski, Stefan — Stojkovic, Miodrag — Lako, Majlinda — Keavney, Bernard — Armstrong, Lyle
Stem Cells Translational Medicine, 2014, DOI

Backdoors into Heterogeneous Classes of SAT and CSP

Gaspers, Serge — Ordyniak, Sebastian — Szeider, Stefan — Misra, Neelhara — Zivny, Stanislav
AAAI Conference on Artificial Intelligence (AAAI 2014), URL

Backdoors to Planning

Kronegger, Martin — Ordyniak, Sebastian — Pfandler, Andreas
AAAI Conference on Artificial Intelligence (AAAI 2014), URL

CAVER Analyst 1.0: Graphic tool for interactive visualization and analysis of tunnels and channels in protein structures

Kozlíková, BarboraŠebestová, Eva — Šustr, Vilém — Brezovský, Jan — Strnad, Ondřej — Daniel, LukášBednář, David — Pavelka, Antonín — Manak, Martin — Bezděka, Martin — Beneš, Petr — Kotry, Matúš — Gora, Artur Wiktor — Damborský, JiříSochor, Jiří
Bioinformatics, 2014, DOI

Efficient k-NN based HEp-2 cells classifier

Stoklasa, RomanMajtner, TomášSvoboda, David
Pattern Recognition, 2014, DOI

From LTL to Deterministic Automata: A Safraless Compositional Approach

Esparza, Javier — Křetínský, Jan
Computer Aided Verification (CAV 2014), DOI

Fuzzy t-filters and their properties

Víta, Martin
Fuzzy Sets and Systems, 2014, DOI

Maxwell's Daemon: Information versus Particle Statistics

Plesch, Martin — Dahlsten, Oscar — Goold, John — Vedral, Vlatko
Scientific Reports, 2014, DOI

Minimizing Running Costs in Consumption Systems

Brázdil, TomášKlaška, DavidKučera, Antonín — Novotný, Petr
Computer Aided Verification (CAV 2014), DOI

Objective Comparison of Particle Tracking Methods

Chenouard, Nicolas — Smal, Ihor — de Chaumont, Fabrice — Maška, Martin — Sbalzarini, Ivo F — Gong, Yuanhao — Cardinale, Janick — Carthel, Craig — Coraluppi, Stefano — Winter, Mark — Cohen, Andrew R — Godinez, William J — Rohr, Karl — Kalaidzidis, Yannis — Liang, Liang — Duncan, James — Shen, Hongying — Xu, Yingke — Magnusson, Klas E G — Jaldén, Joakim — Blau, Helen M — Paul-Gilloteaux, Perrine — Roudot, Philippe — Kervrann, Charles — Waharte, François — Tinevez, Jean-Yves — Shorte, Spencer L — Willemse, Joost — Celler, Katherine — van Wezel, Gilles P — Dan, Han-Wei — Tsai, Yuh-Show — Ortiz-de-Solórzano, Carlos — Olivo-Marin, Jean-Christophe — Meijering, Erik
Nature Methods, 2014, DOI

Probabilistic Bisimulation: Naturally on Distributions

Hermanns, Holger — Krčál, Jan — Křetínský, Jan
Concurrency Theory (CONCUR 2014), DOI

Synchronizing Strategies under Partial Observability

Larsen, Kim G. — Laursen, Simon — Srba, Jiří
Concurrency Theory (CONCUR 2014), DOI

Why are papers about filters on residuated structures (usually) trivial?

Víta, Martin
Information Sciences, 2014, DOI

Zero-reachability in probabilistic multi-counter automata

Brázdil, Tomáš — Kiefer, Stefan — Kučera, Antonín — Novotný, Petr — Katoen, Joost-Pieter
Joint Meeting of Computer Science Logic and Logic in Computer Science (CSL/LICS 2014), DOI


Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis

Chatterjee, Krishnendu — Gaiser, Andreas — Křetínský, Jan
Computer Aided Verification (CAV 2013), DOI

Comment on “Quantum Szilard Engine”

Plesch, Martin — Dahlsten, Oscar — Goold, John — Vedral, Vlatko
Physical Review Letters, 2013, DOI

Compositional Verification and Optimization of Interactive Markov Chains

Hermanns, Holger — Krčál, Jan — Křetínský, Jan
Concurrency Theory (CONCUR 2013), DOI

DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

Barnat, JiříBrim, Luboš — Havel, Vojtěch — Havlíček, Jan — Kriho, Jan — Lenčo, Milan — Ročkai, PetrŠtill, VladimírWeiser, Jiří
Computer Aided Verification (CAV 2013), DOI

Efficiency and Security in Similarity Cloud Services

Kozák, Štěpán
Very Large Databases (VLDB 2012), 2013, URL

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

Brim, Luboš — Češka, Milan — Dražan, Sven — Šafránek, David
Computer Aided Verification (CAV 2013), DOI

FO Model Checking of Interval Graphs

Ganian, RobertHliněný, Petr — Kráľ, Daniel — Obdržálek, Jan — Schwartz, Jarett — Teska, Jakub
Automata, Languages and Programming (ICALP 2013), DOI

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

Beneš, Nikola — Delahaye, Benoit — Fahrenberg, Uli — Křetínský, Jan — Legay, Axel
Concurrency Theory (CONCUR 2013), DOI

Segmentation and Shape Tracking of Whole Fluorescent Cells Based on the Chan-Vese Model

Maška, Martin — Daněk, Ondřej — Garasa, Saray — Rouzaut, Ana — Muñoz-Barrutia, Arrate — Ortiz-de-Solórzano, Carlos
IEEE Transactions on Medical Imaging, 2013, DOI

Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics

Chen, Yushan — Tůmová, Jana — Ulusoy, Alphan — Belta, Calin
International Journal of Robotics Research, 2013, DOI

Trading Performance for Stability in Markov Decision Processes

Brázdil, Tomáš — Chatterjee, Krishnendu — Forejt, Vojtěch — Kučera, Antonín
Logic in Computer Science (LICS 2013), DOI


Architecture-Based Reliability Prediction with the Palladio Component Model

Brosch, Franz — Koziolek, Heiko — Bühnová, Barbora — Reussner, Ralf
IEEE Transactions on Software Engineering, 2012, DOI

Criticality without Frustration for Quantum Spin-1 Chains

Bravyi, Sergey — Caha, Libor — Movassagh, Ramis — Nagaj, Daniel — Shor, Peter
Physical Review Letters, 2012, DOI

Deterministic Automata for the (F,G)-fragment of LTL

Křetínský, Jan — Esparza, Javier
Computer Aided Verification (CAV 2012), DOI

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Brázdil, Tomáš — Chatterjee, Krishnendu — Kučera, Antonín — Novotný, Petr
Computer Aided Verification (CAV 2012), DOI

Minimizing Expected Termination Time in One-Counter Markov Decision Processes

Brázdil, TomášKučera, Antonín — Novotný, Petr — Wojtczak, Dominik
Automata, Languages and Programming (ICALP 2012), DOI

Playing Stochastic Games Precisely

Chen, Taolue — Forejt, Vojtěch — Kwiatkowska, Marta — Simaitis, Aistis — Trivedi, Ashutosh — Ummels, Michael
Concurrency Theory (CONCUR 2012), DOI

Data updated on 2017/10/26.