Vybrané publikace

Mezi stovkami článků ročně publikovaných vědci z FI vybíráme pro krátký přehled ty, které byly publikovány na špičkových informatických konferencích (A*) a v časopisech v první desetině oborových žebříčků dle Journal Citation Reports.


A large-scale comparative study of beta testers and regular users

Šťavová, VlastaDědková, LenkaUkrop, MartinMatyáš, Václav
Communications of the ACM, 2018, DOI

Data-centric Dynamic Partial Order Reduction

Pavlogiannis, Andreas — Chalupa, Marek — Chatterjee, Krishnendu — Sinha, Nishant — Vaidya, Kapil
Principles of Programming Languages (POPL 2018), DOI


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), DOI

An objective comparison of cell-tracking algorithms

Ulman, VladimírMaška, Martin — Magnusson, Klas E G — Ronneberger, Olaf — Haubold, Carsten — Harder, Nathalie — Matula, PavelMatula, PetrSvoboda, David — Radojevic, Miroslav — Smal, Ihor — Rohr, Karl — Jaldén, Joakim — Blau, Helen M — Dzyubachyk, Oleh — Lelieveldt, Boudewijn — Xiao, Pengdong — Li, Yuexiang — Cho, Siu-Yeung — Dufour, Alexandre C — Olivo-Marin, Jean-Christophe — Reyes-Aldasoro, Constantino C — Solis-Lemus, Jose A — Bensch, Robert — Brox, Thomas — Stegmaier, Johannes — Mikut, Ralf — Wolf, Steffen — Hamprecht, Fred A — Esteves, Tiago — Quelhas, Pedro — Demirel, Ömer — Malmström, Lars — Jug, Florian — Tomancak, Pavel — Meijering, Erik — Muñoz-Barrutia, Arrate — Kozubek, Michal — Ortiz-de-Solorzano, Carlos
Nature Methods, 2017, DOI

Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques

Pelánek, Radek
User Modeling and User-Adapted Interaction, 2017, DOI

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, Peter — Kvašň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ítRuč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š, Nikola — Bezděk, Peter — Larsen, Kim G. — Srba, Jiří
Automata, Languages, and Programming (ICALP 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, Roman — Majtner, 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

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

Údaje byly aktualizovány 26. 10. 2017.