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.


Improved bounds for centered colorings

Debski, Michal Karol — Felsner, Stefan — Micek, Piotr
Symposium on Discrete Algorithms (SODA 2020), DOI

Improving Orienteering-based Tourist Trip Planning with Social Sensing

Persia, Fabio — Pilato, Giovanni — Ge, Mouzhi — Bolzoni, Paolo — D'Auria, Daniela — Sven, Helmer
Future Generation Computer Systems, 2020, DOI

Multiscale Visual Drilldown for the Analysis of Large Ensembles of Multi-Body Protein Complexes

Furmanová, Katarína — Jurčík, Adam — Kozlíková, Barbora — Hauser, Helwig — Byška, Jan
IEEE Transactions on Visualization and Computer Graphics, 2020, DOI


3-D Quantification of Filopodia in Motile Cancer Cells

Castilla, Carlos — Maška, MartinSorokin, 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

Optimal Probabilistic Storage and Retrieval of Unitary Channels

Sedlák, Michal — Bisio, Alessandro — Ziman, Mário
Physical Review Letters, 2019, DOI

PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

Ashok, Pranav — Křetínský, Jan — Weininger, Maximilian
Computer Aided Verification (CAV 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áš, Martin — Strejček, Jan
Computer Aided Verification (CAV 2019), DOI

Solving Integer Quadratic Programming via Explicit and Structural Restrictions

Eiben, Eduard — Ganian, Robert — Knop, Dusan — Ordyniak, Sebastian
AAAI Conference on Artificial Intelligence (AAAI 2019), DOI

The Parameterized Complexity of Cascading Portfolio Scheduling

Eiben, Eduard — Ganian, Robert — Kanj, Iyad — Szeider, Stefan
Advances in Neural Information Processing Systems (NIPS 2019), URL

Unbounded Orchestrations of Transducers for Manufacturing

Alechina, Natasha — Brázdil, Tomáš — De Giacomo, Giuseppe — Felli, Paolo — Logan, Brian — Vardi, Moshe
AAAI Conference on Artificial Intelligence (AAAI 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ín — Lamser, 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, Adam — Bednář, 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

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

Křetínský, Jan — Meggendorfer, Tobias
Logic in Computer Science (LICS 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, DmitryPeterlí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, DmitryPeterlí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

Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm

Kelmendi, Edon — Krämer, Julia — Křetínský, Jan — Weininger, Maximilian
Computer Aided Verification (CAV 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ín — Lamser, 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

Údaje byly aktualizovány 15. 5. 2020.