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.


Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

Klaška, DavidKučera, AntonínLamser, TomášŘehák, Vojtěch
Autonomous Agents & Multiagent Systems (AAMAS 2018), URL

CAVER Analyst 2.0: Analysis and Visualization of Channels and Tunnels in Protein Structures and Molecular Dynamics Trajectories

Jurčík, AdamBednář, DavidByška, JanMarques, Sérgio ManuelFurmanová, Katarína — Daniel, Lukáš — Kokkonen, Piia PauliinaBrezovský, Jan — Strnad, Ondřej — Štourač, Jan — Pavelka, Antonín — Manak, Martin — Damborský, JiříKozlíková, Barbora
Bioinformatics, 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

Detection of Advanced Persistent Threat Using Machine-Learning Correlation Analysis

Ghafir, Ibrahim — Hammoudeh, Mohammad — Přenosil, Václav — Han, Liangxiu — Hegarty, Robert — Rabie, Khaled — Aparicio-Navarro, Francisco J.
Future Generation Computer Systems, 2018, DOI

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Brázdil, Tomáš — Chatterjee, Krishnendu — Kučera, AntonínNovotný, PetrVelan, Dominik — Zuleger, Florian
Logic in Computer Science (LICS 2018), DOI

FiloGen: A Model-Based Generator of Synthetic 3-D Time-Lapse Sequences of Single Motile Cells with Growing and Branching Filopodia

Sorokin, Dmitry — Peterlík, IgorUlman, VladimírSvoboda, DavidNečasová, Tereza — Morgaenko, Katsiarina — Eiselleová, LíviaTesařová, LenkaMaška, Martin
IEEE Transactions on Medical Imaging, 2018, DOI

Instant Construction and Visualization of Crowded Biological Environments

Klein, Tobias — Autin, Ludovic — Kozlíková, Barbora — Goodsell, David S. — Olson, Arthur — Gröller, Eduard M. — Viola, Ivan
IEEE Transactions on Visualization and Computer Graphics, 2018, DOI

Non-rigid Contour-Based Registration of Cell Nuclei in 2-D Live Cell Microscopy Images Using a Dynamic Elasticity Model

Sorokin, Dmitry — Peterlík, Igor — Tektonidis, Marco — Rohr, Karl — Matula, Pavel
IEEE Transactions on Medical Imaging, 2018, DOI

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

Schmid, Stefan — Srba, Jiří
Computer Communications (INFOCOM 2018), DOI

Solving Patrolling Problems in the Internet Environment

Brázdil, TomášKučera, AntonínŘehák, Vojtěch
Joint Conference on Artificial Intelligence (IJCAI 2018), DOI

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Boenneland, Frederik M. — Jensen, Peter G. — Larsen, Kim G. — Muniz, Marco — Srba, Jiří
Computer Aided Verification (CAV 2018), DOI

The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI

Kim, Doowon — Kwon, Bum Jun — Kozák, Kristián — Gates, Christopher — Dumitraș, Tudor
USENIX Security (USENIX 2018), URL

Why rankings of biomedical image analysis competitions should be interpreted with care

Maier-Hein, Lena — Eisenmann, Matthias — Reinke, Annika — Onogur, Sinan — Stankovic, Marko — Scholz, Patrick — Arbel, Tal — Bogunovic, Hrvoje — Bradley, Andrew — Carass, Aaron — Feldmann, Carolin — Frangi, Alejandro — Full, Peter — van Ginneken, Bram — Hanbury, Allan — Honauer, Katrin — Kozubek, Michal — Landman, Bennett — März, Keno — Maier, Oskar — Maier-Hein, Klaus — Menze, Bjoern — Müller, Henning — Neher, Peter — Niessen, Wiro — Rajpoot, Nasir — Sharp, Gregory — Sirinukunwattana, Korsuk — Speidel, Stefanie — Stock, Christian — Stoyanov, Danail — Taha, Abdel Aziz — van der Sommen, Fons — Wang, Ching-Wei — Weber, Marc-André — Zheng, Guoyan — Jannin, Pierre — Kopp-Schneider, Annette
Nature Communications, 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

ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data

Bystrý, VojtěchReigl, Tomáš — Krejčí, Adam — Demko, MartinHanáková, BarboraGrioni, Andrea — Knecht, Henrik — Schlitt, Max — Dreger, Peter — Sellner, Leopold — Herrmann, Dietrich — Pingeon, Marine — Boudjoghra, Myriam — Rijntjes, Jos — Pott, Christiane — Langerak, Anton W. — Groenen, Patricia J. T. A. — Davi, Frederic — Bruggemann, Monika — Darzentas, Nikos
Bioinformatics, 2017, DOI

Algorithm 970: 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

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

Catalytic decoupling of quantum information

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

Going Beyond Primal Treewidth for {(M)ILP}

Ganian, Robert — Ramanujan, M.S. — Ordyniak, Sebastian
AAAI Conference on Artificial Intelligence (AAAI 2017), URL

Image-based surrogate biomarkers for molecular subtypes of colorectal cancer

Popovici, VladBudinská, EvaDušek, LadislavKozubek, Michal — Bosman, Fred
Bioinformatics, 2017, DOI

MitoGen: A Framework for Generating 3D Synthetic Time-Lapse Sequences of Cell Populations in Fluorescence Microscopy

Svoboda, DavidUlman, Vladimír
IEEE Transactions on Medical Imaging, 2017, DOI

Solving Integer Linear Programs with a Small Number of Global Variables and Constraints

Dvorak, Pavel — Eiben, Eduard — Ganian, Robert — Knop, Dusan — Ordyniak, Sebastian
Joint Conference on Artificial Intelligence (IJCAI 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

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

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

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

Long-Run Average Behaviour of Probabilistic Vector Addition Systems

Brázdil, Tomáš — Kiefer, Stefan — Kučera, AntonínNovotný, Petr
Logic in Computer Science (LICS 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ínNovotný, 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

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ínNovotný, Petr — Katoen, Joost-Pieter
Joint Meeting of Computer Science Logic and Logic in Computer Science (CSL/LICS 2014), DOI

Údaje byly aktualizovány 27. 3. 2019.