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.


Counting Maximal Satisfiable Subsets

Bendík, Jaroslav — Meel, Kuldeep S.
AAAI Conference on Artificial Intelligence (AAAI 2021), URL


AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Beneš, NikolaBrim, Luboš — Kadlecaj, Jakub — Pastva, SamuelŠafránek, David
Computer Aided Verification (CAV 2020), DOI

Adversarial Patrolling with Drones

Klaška, DavidKučera, AntonínŘehák, Vojtěch
Autonomous Agents and Multiagent Systems (AAMAS 2020), DOI

Approximate Counting of Minimal Unsatisfiable Subsets

Bendík, Jaroslav — Meel, Kuldeep S.
Computer Aided Verification (CAV 2020), DOI

BIAS: Transparent reporting of biomedical image analysis challenges

Maier-Hein, Lena — Reinke, Annika — Kozubek, Michal — Martel, Anne L. — Arbel, Tal — Eisenmann, Matthias — Hanbury, Allan — Jannin, Pierre — Müller, Henning — Onogur, Sinan — Saez-Rodriguez, Julio — van Ginneken, Bram — Kopp-Schneider, Annette — Landman, Bennett A.
Medical Image Analysis, 2020, DOI

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

Blondin, Michael — Esparza, Javier — Helfrich, Martin — Kučera, Antonín — Meyer, Philipp
Computer Aided Verification (CAV 2020), DOI

ChemVA: Interactive Visual Analysis of Chemical Compound Similarity in Virtual Screening

Sabando, María Virginia — Ulbrich, Pavol — Selzer, Matías — Byška, JanMičan, Jan — Ponzoni, Ignacio — Soto, Axel J. — Ganuza, María Luján — Kozlíková, Barbora
IEEE Transactions on Visualization and Computer Graphics, 2020, DOI

Conceptual Model of Visual Analytics for Hands-on Cybersecurity Training

Ošlejšek, RadekRusňák, VítDočkalová Burská, KarolínaŠvábenský, ValdemarVykopal, JanČegan, Jakub
IEEE Transactions on Visualization and Computer Graphics, 2020, DOI

Efficient Analysis of VASS Termination Complexity

Kučera, Antonín — Leroux, Jérôme — Velan, Dominik
Logic in Computer Science (LICS 2020), DOI

HyperLabels: Browsing of Dense and Hierarchical Molecular 3D Models

Kouřil, David — Isenberg, Tobias — Kozlíková, Barbora — Meyer, Miriah — Groeller, Eduard — Viola, Ivan
IEEE Transactions on Visualization and Computer Graphics, 2020, DOI

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

Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications

Chatterjee, Krishnendu — Chmelík, Martin — Karkhanis, Deep — Novotný, Petr — Royer, Amélie
Automated Planning and Scheduling (ICAPS 2020), URL

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

Qualitative Controller Synthesis for Consumption Markov Decision Processes

Blahoudek, František — Brázdil, TomášNovotný, Petr — Ornik, Melkior — Thangeda, Pranay — Topcu, Ufuk
Computer Aided Verification (CAV 2020), DOI

Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

Brázdil, Tomáš — Chatterjee, Krishnendu — Novotný, PetrVahala, Jiří
AAAI Conference on Artificial Intelligence (AAAI 2020), DOI

Scale-Space Splatting: Reforming Spacetime for Cross-Scale Exploration of Integral Measures in Molecular Dynamics

Pálenik, Juraj — Byška, Jan — Bruckner, Stefan — Hauser, Helwig
IEEE Transactions on Visualization and Computer Graphics, 2020, DOI

Semantic-driven Watermarking of Relational Textual Databases

Làzaro Pèrez Gort, Maikel — Olliaro, Martina — Cortesi, Agostino — Feregrino Uribe, Claudia
Expert Systems with Applications, 2020, DOI

Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization

Blahoudek, František — Duret-Lutz, Alexandre — Strejček, Jan
Computer Aided Verification (CAV 2020), DOI

Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations

Zákopčanová, Kristína — Řeháček, Marko — Bátrna, Jozef — Plakinger, Daniel — Stoppel, Sergej — Kozlíková, Barbora
IEEE Transactions on Visualization and Computer Graphics, 2020, DOI

pqsfinder web: G-quadruplex prediction using optimized pqsfinder algorithm

Labudová, Dominika — Hon, JiříLexa, Matej
Bioinformatics, 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

Compactness and finite forcibility of graphons

Glebov, Roman — Kráľ, Daniel — Volec, Jan
Journal of the European Mathematical Society, 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á, Vlasta — Dě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 Pauliina — Brezovský, 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

Údaje byly aktualizovány 4. 3. 2021.