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.


3-D Quantification of Filopodia in Motile Cancer Cells

Castilla, Carlos — Maška, Martin — Sorokin, Dmitry — Meijering, Erik — Ortiz-de-Solórzano, Carlos
IEEE Transactions on Medical Imaging, 2019, DOI

CytoPacq: A web-interface for simulating multi-dimensional cell imaging

Wiesner, DavidSvoboda, DavidMaška, MartinKozubek, Michal
Bioinformatics, 2019, DOI

Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation

Škola, FilipLiarokapis, Fotis
Human Factors in Computing Systems (CHI 2019), DOI

Labels on Levels: Labeling of Multi-Scale Multi-Instance and Crowded 3D Biological Environments

Kouřil, David — Čmolík, Ladislav — Kozlíková, Barbora — Wu, Hsiang-Yun — Johnson, Graham — Goodsell, David S. — Olson, Arthur — Groeller, Eduard M. — Viola, Ivan
IEEE Transactions on Visualization and Computer Graphics, 2019, DOI

Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course

Chren, StanislavBühnová, BarboraMacák, MartinDaubner, LukášRossi, Bruno
Software Engineering (ICSE 2019), DOI

Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem

Calzavara, Stefano — Focardi, Riccardo — Nemec, Matúš — Rabitti, Alvise — Squarcina, Marco
Security and Privacy (S&P 2019), DOI

Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors

Jonáš, MartinStrejček, Jan
Computer Aided Verification (CAV 2019), DOI

Visualization of Large Molecular Trajectories

Duran, David — Hermosilla, Pedro — Ropinski, Timo — Kozlíková, Barbora — Vinacua, Álvar — Vazquez, Pere-Pau
IEEE Transactions on Visualization and Computer Graphics, 2019, DOI


A Structural Approach to Activity Selection

Eiben, Eduard — Ganian, Robert — Ordyniak, Sebastian
Joint Conference on Artificial Intelligence (IJCAI 2018), DOI

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

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

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

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č, JanPavelka, 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

Parameterized Algorithms for the Matrix Completion Problem

Ganian, Robert — Kanj, Iyad — Ordyniak, Sebastian — Szeider, Stefan
Machine Learning (ICML 2018), URL

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

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

Practical device-independent quantum cryptography via entropy accumulation

Arnon-Friedman, Rotem — Dupont Dupuis, Frédéric — Fawzi, Omar — Renner, Renato — Vidick, Thomas
Nature Communications, 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

Unary Integer Linear Programming with Structural Restrictions

Eiben, Eduard — Ganian, Robert — Knop, Dusan — Ordyniak, Sebastian
Joint Conference on Artificial Intelligence (IJCAI 2018), DOI

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

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

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

Phosphorylation-Dependent Feedback Inhibition of RIG-I by DAPK1 Identified by Kinome-wide siRNA Screening

Willemsen, Joschka — Wicht, Oliver — Wolanski, Julia — Baur, Nina — Bastian, Sandra — Haas, Darya — Matula, Petr — Knapp, Bettina — Meyniel-Schicklin, Laurene — Wang, Chen — Bartenschlager, Ralf — Lohmann, Volker — Rohr, Karl — Erfle, Holger — Kaderali, Lars — Marcotrigiano, Joseph — Pichlmair, Andreas — Binder, Marco
Molecular Cell, 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

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

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 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ář, DavidPavelka, 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 2019. 9. 30.