| hodnota | rok | title | započítaní | ostatní |
|---|
| 1 | 2019 | Survey of Attack Projection, Prediction, and Forecasting in Cyber Security (DOI) | Husák, Komárková, Čeleda | Bou-Harb |
| 1 | 2017 | An objective comparison of cell-tracking algorithms (DOI) | Ulman, Maška, Matula, Matula, Svoboda, Kozubek | Magnusson, Ronneberger, Haubold, Harder, Radojevic, Smal, Rohr, Jaldén, Blau, Dzyubachyk, Lelieveldt, Xiao, Li, Cho, Dufour, Olivo-Marin, Reyes-Aldasoro, Solis-Lemus, Bensch, Brox, Stegmaier, Mikut, Wolf, Hamprecht, Esteves, Quelhas, Demirel, Malmström, Jug, Tomancak, Meijering, Muñoz-Barrutia, Ortiz-de-Solorzano |
| 0.985 | 2020 | BIAS: Transparent reporting of biomedical image analysis challenges (DOI) | Kozubek | Maier-Hein, Reinke, Martel, Arbel, Eisenmann, Hanbury, Jannin, Müller, Onogur, Saez-Rodriguez, van Ginneken, Kopp-Schneider, Landman |
| 0.973 | 2020 | Smart Grids Data Analysis: A Systematic Mapping Study (DOI) | Rossi, Chren | |
| 0.969 | 2018 | Youth interaction with online strangers : experiences and reactions to unknown people on the Internet (DOI) | Šmahelová, Šmahel | Dědková |
| 0.967 | 2017 | Phosphorylation-Dependent Feedback Inhibition of RIG-I by DAPK1 Identified by Kinome-wide siRNA Screening (DOI) | Matula | Willemsen, Wicht, Wolanski, Baur, Bastian, Haas, Knapp, Meyniel-Schicklin, Wang, Bartenschlager, Lohmann, Rohr, Erfle, Kaderali, Marcotrigiano, Pichlmair, Binder |
| 0.962 | 2019 | Sociodemographic, Attitudinal, and Behavioral Correlates of Using Nutrition, Weight Loss, and Fitness Websites : An Online Survey (DOI) | Macháčková, Šmahel | Almenara |
| 0.961 | 2018 | Non-rigid Contour-Based Registration of Cell Nuclei in 2-D Live Cell Microscopy Images Using a Dynamic Elasticity Model (DOI) | Sorokin, Peterlík, Matula | Tektonidis, Rohr |
| 0.961 | 2018 | FiloGen: A Model-Based Generator of Synthetic 3-D Time-Lapse Sequences of Single Motile Cells with Growing and Branching Filopodia (DOI) | Sorokin, Peterlík, Ulman, Svoboda, Nečasová, Maška | Morgaenko, Eiselleová, Tesařová |
| 0.96 | 2016 | Hammock: a hidden Markov model-based peptide clustering algorithm to identify protein-interaction consensus motifs in large datasets (DOI) | Lexa | Krejčí, Hupp, Vojtěšek, Müller |
| 0.957 | 2020 | Excessive internet use by young Europeans : psychological vulnerability and digital literacy? (DOI) | Šmahel | Helsper |
| 0.955 | 2017 | MitoGen: A Framework for Generating 3D Synthetic Time-Lapse Sequences of Cell Populations in Fluorescence Microscopy (DOI) | Svoboda, Ulman | |
| 0.944 | 2019 | TEM ExosomeAnalyzer: a computer-assisted software tool for quantitative evaluation of extracellular vesicles in transmission electron microscopy images (DOI) | Kotrbová, Štěpka, Maška, Pálenik, Ilkovics, Klemová, Kravec, Dave, Hampl, Bryja, Matula, Pospíchalová | Hubatka |
| 0.942 | 2018 | Why rankings of biomedical image analysis competitions should be interpreted with care (DOI) | Kozubek | Maier-Hein, Eisenmann, Reinke, Onogur, Stankovic, Scholz, Arbel, Bogunovic, Bradley, Carass, Feldmann, Frangi, Full, van Ginneken, Hanbury, Honauer, Landman, März, Maier, Maier-Hein, Menze, Müller, Neher, Niessen, Rajpoot, Sharp, Sirinukunwattana, Speidel, Stock, Stoyanov, Taha, van der Sommen, Wang, Weber, Zheng, Jannin, Kopp-Schneider |
| 0.942 | 2018 | Practical device-independent quantum cryptography via entropy accumulation (DOI) | Dupont Dupuis | Arnon-Friedman, Fawzi, Renner, Vidick |
| 0.941 | 2019 | Optimal Probabilistic Storage and Retrieval of Unitary Channels (DOI) | Sedlák, Ziman | Bisio |
| 0.94 | 2016 | Applications of the Elo rating system in adaptive educational systems (DOI) | Pelánek | |
| 0.937 | 2018 | A large-scale comparative study of beta testers and regular users (DOI) | Šťavová, Ukrop, Matyáš | Dědková |
| 0.936 | 2017 | Catalytic decoupling of quantum information (DOI) | Dupont Dupuis | Majenz, Berta, Renner, Christandl |
| 0.935 | 2020 | Improving Orienteering-based Tourist Trip Planning with Social Sensing (DOI) | Ge | Persia, Pilato, Bolzoni, D'Auria, Sven |
| 0.934 | 2017 | Image-based surrogate biomarkers for molecular subtypes of colorectal cancer (DOI) | Popovici, Budinská, Dušek, Kozubek | Bosman |
| 0.934 | 2017 | pqsfinder: an exhaustive and imperfection-tolerant search tool for potential quadruplex-forming sequences in R (DOI) | Lexa | Hon, Martínek, Zendulka |
| 0.934 | 2017 | ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data (DOI) | Bystrý, Demko | Reigl, Krejčí, Zwinsová, Grioni, Knecht, Schlitt, Dreger, Sellner, Herrmann, Pingeon, Boudjoghra, Rijntjes, Pott, Langerak, Groenen, Davi, Bruggemann, Darzentas |
| 0.933 | 2018 | Detection of Advanced Persistent Threat Using Machine-Learning Correlation Analysis (DOI) | Ghafir, Přenosil | Hammoudeh, Han, Hegarty, Rabie, Aparicio-Navarro |
| 0.931 | 2017 | Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm (DOI) | Sýs, Říha, Matyáš | |
| 0.93 | 2017 | Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (DOI) | Svoreňová, Křetínský, Černá | Chmelík, Chatterjee, Belta |
| 0.93 | 2019 | Drug Penetration Analysis in 3D Cell Cultures Using Fiducial-Based Semiautomatic Coregistration of MALDI MSI and Immunofluorescence Images (DOI) | Machálková, Pavlatovská, Michálek, Pruška, Štěpka, Nečasová, Radaszkiewicz, Kozubek, Šmarda, Preisler, Navrátilová | |
| 0.926 | 2020 | pqsfinder web: G-quadruplex prediction using optimized pqsfinder algorithm (DOI) | Lexa | Labudová, Hon |
| 0.926 | 2020 | TE-greedy-nester: structure-based detection of LTR retrotransposons and their nesting (DOI) | Lexa, Červeňanský | Vanát, Jedlicka, Kejnovský |
| 0.926 | 2019 | CytoPacq: A web-interface for simulating multi-dimensional cell imaging (DOI) | Wiesner, Svoboda, Maška, Kozubek | |
| 0.924 | 2019 | 3-D Quantification of Filopodia in Motile Cancer Cells (DOI) | Maška, Sorokin | Castilla, Meijering, Ortiz-de-Solórzano |
| 0.923 | 2020 | What Can Long Terminal Repeats Tell Us About the Age of LTR Retrotransposons, Gene Conversion and Ectopic Recombination? (DOI) | Lexa | Jedlicka, Kejnovský |
| 0.917 | 2020 | Multiscale Visual Drilldown for the Analysis of Large Ensembles of Multi-Body Protein Complexes (DOI) | Furmanová, Jurčík, Kozlíková, Byška | Hauser |
| 0.917 | 2020 | Scale-Space Splatting: Reforming Spacetime for Cross-Scale Exploration of Integral Measures in Molecular Dynamics (DOI) | Byška | Pálenik, Bruckner, Hauser |
| 0.917 | 2019 | Labels on Levels: Labeling of Multi-Scale Multi-Instance and Crowded 3D Biological Environments (DOI) | Kozlíková | Kouřil, Čmolík, Wu, Johnson, Goodsell, Olson, Groeller, Viola |
| 0.917 | 2019 | Visualization of Large Molecular Trajectories (DOI) | Kozlíková | Duran, Hermosilla, Ropinski, Vinacua, Vazquez |
| 0.913 | 2016 | Toward Natural Multi-User Interaction in Advanced Collaborative Display Environments (DOI) | Rusňák, Ručka, Holub | |
| 0.907 | 2018 | Instant Construction and Visualization of Crowded Biological Environments (DOI) | Kozlíková | Klein, Autin, Goodsell, Olson, Gröller, Viola |
| 0.906 | 2020 | Accurate prediction of kinase-substrate networks using knowledge graphs (DOI) | Nováček | McGauran, Matallanas, Blanco, Conca, Muñoz, Costabello, Kanakaraj, Nawaz, Walsh, Mohamed, Vandenbussche, Ryan, Kolch, Fey |
| 0.906 | 2019 | Compactness and finite forcibility of graphons (DOI) | Kráľ | Glebov, Volec |
| 0.904 | 2018 | CAVER Analyst 2.0: Analysis and Visualization of Channels and Tunnels in Protein Structures and Molecular Dynamics Trajectories (DOI) | Jurčík, Bednář, Marques, Furmanová, Daniel, Kokkonen, Brezovský, Strnad, Štourač, Pavelka, Kozlíková | Damborský, Byška, Manak |
| 0.896 | 2019 | Underwater augmented reality for improving the diving experience in submerged archaeological sites (DOI) | Čejka, Liarokapis | Bruno, Barbieri, Mangeruga, Cozza, Lagudi, Skarlatos |
| 0.894 | 2016 | NEEMP: software for validation, accurate calculation and fast parameterization of EEM charges (DOI) | Raček, Hozzová, Svobodová, Geidl, Křenek, Falginella, Horský, Hejret, Koča | |
| 0.888 | 2018 | The perceived importance of credibility cues for the assessment of the trustworthiness of online information by visitors of health-related websites : The role of individual factors (DOI) | Macháčková, Šmahel | |
| 0.886 | 2016 | An explicit classical strategy for winning a CHSHq game (DOI) | Pivoluska, Plesch | |
| 0.877 | 2016 | AnimoAminoMiner: Exploration of Protein Tunnels and their Properties in Molecular Dynamics (DOI) | Byška, Kozlíková | Muzic, Gröller, Viola |
| 0.877 | 2016 | Parallel On-Demand Hierarchy Construction on Contemporary GPUs (DOI) | Vinkler, Sochor | Havran, Bittner |
| 0.87 | 2018 | The details matter: methodological nuances in the evaluation of student models (DOI) | Pelánek | |
| 0.866 | 2018 | Finitely forcible graph limits are universal (DOI) | Kráľ | Cooper, Martins |
| 0.865 | 2019 | Divisibility of qubit channels and dynamical maps (DOI) | Ziman | Davalos, Pineda |
| 0.864 | 2020 | Beyond binary correctness: Classification of students’ answers in learning systems (DOI) | Pelánek, Effenberger | |
| 0.862 | 2019 | Quantum information processing and composite quantum fields (DOI) | Sedlák | Ramgoolam |
| 0.859 | 2020 | Dynamics-function relationship in the catalytic domains of N-terminal acetyltransferases (DOI) | Byška | Abboud, Bédoucha, Arnesen, Reuter |
| 0.857 | 2017 | Large-scale cortico-subcortical functional networks in focal epilepsies: The role of the basal ganglia (DOI) | Výtvarová, Mareček, Fousek, Strýček, Rektor | |
| 0.843 | 2018 | The complexity landscape of decompositional parameters for ILP (DOI) | Ganian | Ordyniak |
| 0.842 | 2019 | High-throughput analysis revealed mutations' diverging effects on SMN1 exon 7 splicing (DOI) | Souček, Réblová, Radová, Kováčová, Lexa, Freiberger | Kramárek, Grymová, Hujová, Grodecká |
| 0.83 | 2016 | Control Explicit-Data Symbolic Model Checking (DOI) | Bauch, Havel, Barnat | |
| 0.822 | 2018 | Semantic BMS: Allowing usage of building automation data in facility benchmarking (DOI) | Kučera, Pitner | |
| 0.822 | 2020 | Elusive extremal graphs (DOI) | Kráľ | Grzesik, Lovasz |
| 0.822 | 2019 | Infinite-dimensional finitely forcible graphon (DOI) | Kráľ | Glebov, Klimošová |
| 0.821 | 2020 | Examination of electrodermal and cardio-vascular reactivity in virtual reality through a combined stress induction protocol (DOI) | Kerouš, Bartečků, Roman, Sojka, Bečev, Liarokapis | |
| 0.821 | 2018 | BotDet: A System for Real Time Botnet Command and Control Traffic Detection (DOI) | Ghafir, Přenosil | Hammoudeh, Baker, Jabbar, Khalid, Jaf |
| 0.818 | 2017 | Elo-based Learner Modeling for the Adaptive Practice of Facts (DOI) | Pelánek, Papoušek, Řihák, Stanislav, Nižnan | |
| 0.818 | 2017 | Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques (DOI) | Pelánek | |
| 0.81 | 2018 | A New Linux Based TCP Congestion Control Mechanism for Long Distance High Bandwidth Sustainable Smart Cities (DOI) | Ghafir | Ahmad, bin Ngadi, Ahmad, Amjad, Arioua |
| 0.81 | 2019 | Do science and technology parks improve technology transfer? (DOI) | Šteruská, Šimková, Pitner | |
| 0.808 | 2018 | Investigating the role of smartness for sustainability: Insights from the Smart Grid domain (DOI) | Bühnová, Walletzký | Caputo |
| 0.807 | 2016 | Swiveled Rényi entropies (DOI) | Dupont Dupuis | Wilde |
| 0.801 | 2017 | DNA double-strand breaks in human induced pluripotent stem cell reprogramming and long-term in vitro culturing (DOI) | Šimara, Řeháková, Matula, Stejskal, Hampl, Koutná | Tesařová |
| 0.8 | 2019 | PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks (DOI) | Patnaik, Matyáš, Řehák | Kamakoti |
| 0.8 | 2019 | Linking entanglement detection and state tomography via quantum 2-designs (DOI) | McNulty | Bae, Hiesmayr |
| 0.8 | 2018 | Edge detection based on single-pixel imaging (DOI) | Gruska | Ren, Zhao |
| 0.798 | 2017 | Visualization of Biomolecular Structures: State of the Art Revisited (DOI) | Kozlíková | Krone, Falk, Lindow, Baaden, Baum, Viola, Parulek, Hege |
| 0.791 | 2020 | Toroidal grid minors and stretch in embedded graphs (DOI) | Hliněný | Chimani, Salazar |
| 0.791 | 2020 | Three-coloring triangle-free graphs on surfaces III. Graphs of girth five (DOI) | Kráľ | Dvorak, Thomas |
| 0.786 | 2020 | Epigenetic clock as a correlate of anxiety (DOI) | Pačínková | Marečková, Andrýsková, Staňo Kozubík, Brázdil, Klasnja, Shin, Pausová, Paus |
| 0.783 | 2020 | Managing items and knowledge components: domain modeling in practice (DOI) | Pelánek | |
| 0.782 | 2020 | Entropy Accumulation (DOI) | Dupont Dupuis | Fawzi, Renner |
| 0.781 | 2017 | Characterization of three-dimensional cancer cell migration in mixed collagen-Matrigel scaffolds using microfluidics and image analysis (DOI) | Maška, Kozubek | Anguiano, Castilla, Ederra, Peláez, Morales, Muñoz-Arrieta, Mujika, Muñoz-Barrutia, Rouzaut, Arana, Garcia-Aznar, Ortiz-de-Solorzano |
| 0.781 | 2016 | The Aberrant DNA Methylation Profile of Human Induced Pluripotent Stem Cells Is Connected to the Reprogramming Process and Is Normalized During In Vitro Culture (DOI) | Šimara, Stejskal, Koutná | Tesařová |
| 0.781 | 2016 | p53 Specifically Binds Triplex DNA In Vitro and in Cells (DOI) | Lexa | Brázdová, Tichý, Helma, Bažantová, Polášková, Krejčí, Petr, Navrátilová, Tichá, Nejedlý, Bennink, Subramaniam, Bábková, Martínek, Adámik |
| 0.775 | 2019 | Deep-Learning-Based Segmentation of Small Extracellular Vesicles in Transmission Electron Microscopy Images (DOI) | Maška, Kotrbová, Pospíchalová, Matula | Gómez-de-Mariscal, Muñoz-Barrutia |
| 0.775 | 2019 | Propagation and self-healing properties of Bessel-Gaussian beam carrying orbital angular momentum in an underwater environment (DOI) | Gruska | Zhao, Zhang, Wang, Li, Gong, Cheng, Chen |
| 0.774 | 2019 | Multiscale Molecular Visualization (DOI) | Kozlíková | Miao, Klein, Kouřil, Mindek, Schatz, Gröller, Isenberg, Viola |
| 0.77 | 2019 | Quantitative Assessment of Anti-Cancer Drug Efficacy From Coregistered Mass Spectrometry and Fluorescence Microscopy Images of Multicellular Tumor Spheroids (DOI) | Michálek, Štěpka, Kozubek, Navrátilová, Pavlatovská, Machálková, Preisler, Pruška | |
| 0.769 | 2018 | DiVM: Model checking with LLVM and graph memory (DOI) | Ročkai, Štill, Černá, Barnat | |
| 0.766 | 2018 | Gait Recognition from Motion Capture Data (DOI) | Balážia, Sojka | |
| 0.762 | 2017 | Who are mobile app users from healthy lifestyle websites? Analysis of patterns of app use and user characteristics (DOI) | Elavsky, Šmahel, Macháčková | |
| 0.761 | 2019 | Bacterial but Not Fungal Gut Microbiota Alterations Are Associated With Common Variable Immunodeficiency (CVID) Phenotype (DOI) | Fiedorová, Radvanský, Bosák, Grombiříková, Kotásková, Lexa, Litzman, Šmajs, Freiberger | Němcová, Králíčková, Černochová |
| 0.76 | 2020 | Service Design for Resilience: A Multi-contextual Modeling Perspective (DOI) | Walletzký, Romanovská, Ge | Dragoicea, Carrubbo, Georges Badr, Maria Toli |
| 0.758 | 2016 | Tight bound on the classical value of generalized Clauser-Horne-Shimony-Holt games (DOI) | Pivoluska, Plesch | Pawlowski |
| 0.758 | 2016 | Incompatible measurements on quantum causal networks (DOI) | Ziman | Sedlák, Reitzner, Chiribella |
| 0.757 | 2019 | The Impact of DNA Extraction Methods on Stool Bacterial and Fungal Microbiota Community Recovery (DOI) | Fiedorová, Radvanský, Bosák, Lexa, Šmajs, Freiberger | Němcová, Grombiříková, Černochová |
| 0.751 | 2019 | Enhanced double random phase encryption of quantum images (DOI) | Gruska | Du, Qiu, Mateus |
| 0.75 | 2020 | Virtual Reality with 360-Video Storytelling in Cultural Heritage: Study of Presence, Engagement, and Immersion (DOI) | Škola | Rizvic, Cozza, Barbieri, Bruno, Skarlatos, Liarokapis |
| 0.75 | 2019 | Evaluating Dynamic Approaches to Key (Re-)Establishment in Wireless Sensor Networks (DOI) | Němec, Matyáš, Ošťádal, Švenda | Palant |
| 0.75 | 2019 | The Security of Big Data in Fog-Enabled IoT Applications Including Blockchain: A Survey (DOI) | Ghafir | Tariq, Asim, Al-Obeidat, Farooqi, Baker, Hammoudeh |
| 0.75 | 2019 | Crowdsourced Security Reconstitution for Wireless Sensor Networks: Secrecy Amplification (DOI) | Ošťádal, Matyáš, Švenda, Němec | |
| 0.742 | 2018 | EEG-based BCI and video games: a progress report (DOI) | Kerouš, Škola, Liarokapis | |
| 0.735 | 2019 | Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway (DOI) | Demko, Šafránek | Chrást, Dvořák, Damborský |
| 0.734 | 2017 | Divisibility of quantum dynamical maps and collision models (DOI) | Ziman | Filippov, Piilo, Maniscalco |
| 0.734 | 2017 | 1-out-of-2 oblivious transfer using a flawed bit-string quantum protocol (DOI) | Plesch, Pivoluska | Pawlowski |
| 0.733 | 2019 | Detecting Square Markers in Underwater Environments (DOI) | Čejka, Liarokapis | Bruno, Skarlatos |
| 0.732 | 2020 | Cycles of length three and four in tournaments (DOI) | Kráľ | Chan, Grzesik, Noel |
| 0.732 | 2019 | The step Sidorenko property and non-norming edge-transitive graphs (DOI) | Kráľ | Martins, Pach, Wrochna |
| 0.729 | 2018 | Experimental large-scale review of attractors for detection of potentially unwanted applications (DOI) | Šťavová, Matyáš, Šmahel, Ukrop | Dědková, Just |
| 0.721 | 2020 | Lactic Acidosis Interferes With Toxicity of Perifosine to Colorectal Cancer Spheroids: Multimodal Imaging Analysis (DOI) | Pavlatovská, Machálková, Brisudová, Štěpka, Michálek, Nečasová, Beneš, Šmarda, Preisler, Kozubek, Navrátilová | Pruška |
| 0.718 | 2020 | Measuring Similarity of Educational Items: An Overview (DOI) | Pelánek | |
| 0.718 | 2020 | A Classification Framework for Practice Exercises in Adaptive Learning Systems (DOI) | Pelánek | |
| 0.713 | 2020 | Architecture design evaluation of PaaS cloud applications using generated prototypes: PaaSArch Cloud Prototyper tool (DOI) | Gešvindr, Gasior, Bühnová | |
| 0.712 | 2017 | Nonstructural carbohydrate-balance response to long-term elevated CO2 exposure in European beech and Norway spruce mixed cultures: biochemical and ultrastructural responses (DOI) | Michálek | Maskova, Radochova, Lhotakova, Lipavska |
| 0.706 | 2016 | Are there any good digraph width measures? (DOI) | Hliněný, Obdržálek | Ganian, Kneis, Meister, Sikdar, Rossmanith |
| 0.698 | 2016 | Sketch Engine for Bilingual Lexicography (DOI) | Kovář, Baisa, Jakubíček | |
| 0.693 | 2020 | Multiple allocation p-hub location problem for content placement in VoD services: a differential evolution based approach (DOI) | Atta | Sen |
| 0.692 | 2018 | Skeletex: Skeleton-texture Co-representation for Topology-driven Real-time Interchange and Manipulation of Surface Regions (DOI) | Mesároš | Madaras, Riečický, Stuchlík, Piovarči |
| 0.691 | 2018 | Quadruplex DNA in long terminal repeats in maize LTR retrotransposons inhibits the expression of a reporter gene in yeast (DOI) | Lexa | Tokan, Puterová, Kejnovský |
| 0.686 | 2020 | On the Application of Convex Transforms to Metric Search (DOI) | Míč, Zezula | Connor, Dearle |
| 0.684 | 2016 | RNA-dependent disassembly of nuclear bodies (DOI) | Sorokin | Musinova, Lisitsyna, Arifulin, Smirnova, Zinovkin, Potashnikova, Vassetzky, Sheval |
| 0.683 | 2020 | Probabilistic storage and retrieval of qubit phase gates (DOI) | Ziman | Sedlák |
| 0.683 | 2019 | Grover search under localized dephasing (DOI) | Reitzner | Hillery |
| 0.679 | 2016 | Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories (DOI) | Bauch, Havel, Barnat | |
| 0.677 | 2020 | Multiple-pulse phase-matching quantum key distribution (DOI) | Gruska | Chen, Wang, Li, Zhao, Zhao |
| 0.677 | 2019 | Synthesis of quantum images using phase rotation (DOI) | Gruska | Du, Qiu, Mateus |
| 0.673 | 2020 | Digital Bifurcation Analysis of Internet Congestion Control Protocols (DOI) | Beneš, Brim, Pastva, Šafránek | |
| 0.668 | 2018 | Replication of ribosomal DNA in Arabidopsis occurs both inside and outside the nucleolus during S phase progression (DOI) | Dvořáčková, Matula, Peška, Fajkus | Raposo, Fuchs, Schubert, Desvoyes, Gutierrez |
| 0.667 | 2017 | Policy learning in continuous-time Markov decision processes using Gaussian Processes (DOI) | Brázdil | Bartocci, Milios, Sanguinetti, Bortolussi |
| 0.667 | 2018 | Spatial constraints on the diffusion of religious innovations : The case of early Christianity in the Roman Empire (DOI) | Fousek, Kaše, Mertel, Výtvarová, Chalupa | |
| 0.659 | 2019 | Functions of mHealth applications : A user’s perspective (DOI) | Šmahel, Elavsky, Macháčková | |
| 0.657 | 2020 | DockVis: Visual Analysis of Molecular Docking Trajectories (DOI) | Furmanová, Vávra, Kozlíková, Bednář, Byška | Damborský, Vonásek |
| 0.657 | 2019 | Analysis of Long Molecular Dynamics Simulations Using Interactive Focus+Context Visualization (DOI) | Byška, Marques, Kozlíková | Damborský, Trautner, Waldner |
| 0.653 | 2016 | Tree-depth and Vertex-minors (DOI) | Hliněný, Obdržálek, Ordyniak | Kwon |
| 0.65 | 2020 | BBMRI-ERIC’s contributions to research and knowledge exchange on COVID-19 (DOI) | Holub | Kozera, Florindi, Enckevort, Swertz, Reihs, Wutte, Valík, Mayrhofer |
| 0.635 | 2016 | Model Checking Existential Logic on Partially Ordered Sets (DOI) | Ganian | Szeider, Bova |
| 0.634 | 2020 | The 3D hype : Evaluating the potential of real 3D visualization in geo-related applications (DOI) | Juřík, Herman, Snopková, Galang, Stachoň, Chmelík, Kubíček, Šašinka | |
| 0.634 | 2020 | Executable Biochemical Space for Specification and Analysis of Biochemical Systems (DOI) | Troják, Šafránek, Brim | Mertová |
| 0.634 | 2019 | A deterministic approach for rapid identification of the critical links in networks (DOI) | Rebok, Hliněný | Svoboda, Vodák, Bíl, Křivánková, Kubeček |
| 0.623 | 2019 | Identification of altitude profiles in 3D geovisualizations: the role of interaction and spatial abilities (DOI) | Kubíček, Šašinka, Stachoň, Herman, Juřík, Urbánek, Chmelík | |
| 0.622 | 2018 | Hybrid rule-based motion planner for mobile robot in cluttered workspace (DOI) | Abbadi | Matousek |
| 0.621 | 2016 | CAVER: Algorithms for Analyzing Dynamics of Tunnels in Macromolecules (DOI) | Pavelka, Šebestová, Kozlíková, Brezovský, Sochor | Damborský |
| 0.618 | 2018 | The effect of local power increase on neutron flux in internal parts of the VVER-1000 Mock-Up in LR-0 reactor (DOI) | Matěj | Košťál, Losa, Schulc, Šimon, Harut, Klupák, Czakoj, Juříček, Cvachovec, Rypar |
| 0.618 | 2018 | Characterization of mixed N/G beam of the VR-1 reactor (DOI) | Matěj, Mravec | Košťál, Losa, Juříček, Harutyunyan, Huml, Štěfánik, Cvachovec, Schulc, Czakoj, Rypar |
| 0.617 | 2020 | Age and gender-based human face reconstruction from single frontal image (DOI) | Ferková, Urbanová, Černý, Žuži, Matula | |
| 0.617 | 2019 | LSTM-Based Real-Time Action Detection and Prediction in Human Motion Streams (DOI) | Eliáš, Sedmidubský, Zezula | Carrara |
| 0.615 | 2019 | Binary Sketches for Secondary Filtering (DOI) | Míč, Novák, Zezula | |
| 0.615 | 2016 | Meta-kernelization with structural parameters (DOI) | Ganian | Szeider, Slivovsky |
| 0.614 | 2016 | Real-life Curriculum-based Timetabling with Elective Courses and Course Sections (DOI) | Rudová | Müller |
| 0.604 | 2016 | Efficient Model Checking of Weighted CTL with Upper-Bound Constraints (DOI) | Srba | Jensen, Larsen, Oestergaard |
| 0.6 | 2020 | Popescu-Rohrlich box implementation in general probabilistic theory of processes (DOI) | Ziman | Plávala |
| 0.596 | 2018 | Security Threats to Critical Infrastructure: The Human Factor (DOI) | Ghafir, Přenosil | Saleem, Hammoudeh, Faour, Jaf, Jabbar, Baker |
| 0.594 | 2016 | Performance Comparison of Bounding Volume Hierarchies and Kd-trees for GPU Ray Tracing (DOI) | Vinkler | Havran, Bittner |
| 0.594 | 2016 | Visual Analysis of Biomolecular Cavities: State of the Art (DOI) | Kozlíková | Krone, Lindow, Baaden, Baum, Parulek, Hege, Viola |
| 0.594 | 2018 | COZOID: COntact ZOne IDentifier for visual analysis of protein-protein interactions (DOI) | Furmanová, Paleček, Kozlíková | Byška, Gröller, Viola |
| 0.586 | 2019 | The role of RNA Polymerase II contiguity and long-range interactions in the regulation of gene expression in human pluripotent stem cells. (DOI) | Lukjanov, Farkaš, Svoboda, Štěpka, Koutná | Eiselleová |
| 0.582 | 2017 | Comparative Visualization of Protein Secondary Structures (DOI) | Kocincová, Jarešová, Byška, Kozlíková | Parulek, Hauser |
| 0.582 | 2017 | Interactive Exploration of Ligand Transportation through Protein Tunnels (DOI) | Furmanová, Jarešová, Byška, Jurčík, Kozlíková | Parulek, Hauser |
| 0.579 | 2018 | Simulation of Underwater Excavation Using Dredging Procedures (DOI) | Kouřil, Liarokapis | |
| 0.579 | 2016 | The role of the endoplasmic reticulum stress in stemness, pluripotency and development (DOI) | Vašíčková, Moráň, Paďourová, Stejskal, Šimara, Hampl, Koutná, Vaňhara | Tesařová |
| 0.573 | 2019 | Nested plant LTR retrotransposons target specific regions of other elements, while all LTR retrotransposons often target palindromes and nucleosome-occupied regions: in silico study (DOI) | Lexa | Vanát, Jedlička, Kejnovský, Hobza |
| 0.571 | 2016 | Virtual cell imaging: A review on simulation methods employed in image cytometry (DOI) | Ulman, Svoboda, Kozubek | Nykter, Ruusuvuori |
| 0.567 | 2018 | Effective and Efficient Similarity Searching in Motion Capture Data (DOI) | Sedmidubský, Eliáš, Zezula | |
| 0.567 | 2018 | ConceptRank for search-based image annotation (DOI) | Budíková, Batko, Zezula | |
| 0.565 | 2020 | Investigating the Learning Process of Folk Dances Using Mobile Augmented Reality (DOI) | Kico, Liarokapis | |
| 0.565 | 2020 | Abstracting Strings for Model Checking of C Programs (DOI) | Lauko, Olliaro, Ročkai | Cortesi |
| 0.563 | 2017 | Mediation of young children’s digital technology use : The parents’ perspective (DOI) | Šmahelová, Seryjová Juhová, Čermák, Šmahel | |
| 0.558 | 2019 | Progressive Training for Motor Imagery Brain-Computer Interfaces Using Gamification and Virtual Reality Embodiment (DOI) | Škola, Tinková, Liarokapis | |
| 0.557 | 2018 | Children’s Experiences and Awareness about Impact of Digital Media on Health (DOI) | Šmahelová, Šmahel, Wright | |
| 0.552 | 2017 | Popularity-Based Ranking for Fast Approximate kNN Search (DOI) | Antol, Dohnal | |
| 0.545 | 2018 | Reprogramming of Adult Peripheral Blood Cells into Human Induced Pluripotent Stem Cells as a Safe and Accessible Source of Endothelial Cells. (DOI) | Šimara, Řeháková, Farkaš, Šalingová, Kutálková, Vavrečková, Matula, Matula, Koutná | Tesařová, Veverková |
| 0.539 | 2016 | Directed elimination games (DOI) | Ordyniak | Engelmann, Kreutzer |
| 0.538 | 2017 | Human Gait Recognition from Motion Capture Data in Signature Poses (DOI) | Balážia | Plataniotis |
| 0.537 | 2017 | First order limits of sparse graphs: Plane trees and path-width (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | Kaiser, Kráľ, Kupec, Tůma |
| 0.536 | 2019 | A quantum secret sharing scheme without monitoring signal disturbance (DOI) | Gruska | Hu, Wang, Mao, Shen, Zhao |
| 0.527 | 2017 | Trading performance for stability in Markov decision processes (DOI) | Brázdil, Forejt, Kučera | Chatterjee |
| 0.527 | 2017 | Kernelization using structural parameters on sparse graph classes (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | Reidl, Rossmanith, Villaamil, Sikdar |
| 0.523 | 2020 | FlexAlign: An Accurate and Fast Algorithm for Movie Alignment in Cryo-Electron Microscopy (DOI) | Střelák, Filipovič | Jiménez-Moreno, Carazo, Sánchez Sorzano |
| 0.522 | 2018 | Planning of distributed data production for High Energy and Nuclear Physics (DOI) | Rudová | Makatun, Lauret |
| 0.516 | 2017 | Speeding up the multimedia feature extraction: a comparative study on the big data approach (DOI) | Batko, Zezula | Mera Pérez |
| 0.512 | 2016 | Localized Movement and Levels of 53BP1 Protein Are Changed by gamma-irradiation in PML Deficient Cells (DOI) | Sorokin | Legartová, Řezníčková-Podloučková, Malyšková, Küntziger, Collas, Cmarko, Raška, Kozubek, Bártová |
| 0.51 | 2018 | Smart Grid Testing Management Platform (SGTMP) (DOI) | Hrabovská, Rossi, Pitner | Schvarcbacher |
| 0.51 | 2018 | Moving towards Smart Cities: A Selection of Middleware for Fog-to-Cloud Services (DOI) | Bangui, Bühnová | Rakrak, Raghay |
| 0.509 | 2016 | Examining the effect of body ownership in immersive virtual and augmented reality environments (DOI) | Škola, Liarokapis | |
| 0.5 | 2019 | Searching for Variable-Speed Motions in Long Sequences of Motion Capture Data (DOI) | Sedmidubský, Eliáš, Zezula | |
| 0.5 | 2019 | Towards a systems thinking based view for the governance of a smart city’s ecosystem: A bridge to link Smart Technologies and Big Data (DOI) | Štěpánek, Walletzký | Caputo |
| 0.492 | 2019 | K-cut on paths and some trees (DOI) | Skerman | Cai, Holmgren, Devroye |
| 0.492 | 2017 | Visual analytics of educational time-dependent data using interactive dynamic visualization (DOI) | Géryk | |
| 0.486 | 2019 | Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques. (DOI) | Sýs, Švenda | MRAZEK, Sekanina, Dobai |
| 0.481 | 2019 | Examining PBKDF2 security margin - Case study of LUKS (DOI) | Mosnáček, Brož, Matyáš | Visconti |
| 0.473 | 2020 | Empowering Communications in Vehicular Networkswith an Intelligent Blockchain-Based Solution (DOI) | Mbarek, Pitner | Jabeur, Yasar |
| 0.472 | 2020 | Exploiting historical data: Pruning autotuning spaces and estimating the number of tuning steps (DOI) | Oľha, Hozzová, Fousek, Filipovič | |
| 0.468 | 2020 | Online Parental Mediation : Associations of Family Members’ Characteristics to Individual Engagement in Active Mediation and Monitoring (DOI) | Šmahel | Dědková |
| 0.467 | 2018 | A Distributed Fixed-Point Algorithm for Extended Dependency Graphs (DOI) | Pastva, Srba | Dalsgaard, Enevoldsen, Fogh, Jensen, Jensen, Jepsen, Kaufmann, Larsen, Nielsen, Olesen |
| 0.466 | 2020 | Searching Multiple Approximate Solutions in Configuration Space to Guide Sampling-Based Motion Planning (DOI) | Kozlíková | Vonásek, Pěnička |
| 0.466 | 2019 | Sampling-based Motion Planning for Tracking Evolution of Dynamic Tunnels in Molecular Dynamics Simulations (DOI) | Jurčík, Furmanová, Kozlíková | Vonásek |
| 0.466 | 2017 | Generalizations of the distributed Deutsch-Jozsa promise problem (DOI) | Gruska, Zheng | QIU |
| 0.455 | 2017 | Decoding the Dynamics of Value Cocreation in Consumer Tribes: An Agency Theory Approach (DOI) | Caputo | Dominici, Yolles |
| 0.451 | 2019 | Scheduling of mobile robots for transportation and manufacturing tasks (DOI) | Dang, Rudová | Nguyen |
| 0.45 | 2020 | Permutations with fixed pattern densities (DOI) | Kráľ | Kenyon, Radin, Winkler |
| 0.45 | 2020 | Characterization of quasirandom permutations by a pattern sum (DOI) | Kráľ, Volec | Chan, Noel, Pehova, Sharifzadeh |
| 0.45 | 2020 | Long paths and connectivity in 1-independent random graphs (DOI) | Hancock | Day, Falgas-Ravry |
| 0.45 | 2019 | Parameterized shifted combinatorial optimization (DOI) | Gajarský, Hliněný | Koutecký, Onn |
| 0.446 | 2018 | On clock-aware LTL parameter synthesis of timed automata (DOI) | Bezděk, Beneš, Černá, Barnat | |
| 0.446 | 2020 | Social environment simulation in VR elicits a distinct reaction in subjects with different levels of anxiety and somatoform dissociation (DOI) | Kerouš, Bartečků, Roman, Sojka, Bečev, Liarokapis | |
| 0.441 | 2016 | Equimatchable Graphs on Surfaces (DOI) | Kotrbčík | Eiben |
| 0.433 | 2019 | Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (DOI) | Korenčiak, Kučera, Řehák | Baier, Dubslaff |
| 0.43 | 2018 | Scaling Agile in Large Organizations: Practices, Challenges, and Success Factors (DOI) | Kalenda, Rossi | Hyna |
| 0.429 | 2020 | Bundling all shortest paths (DOI) | Debski | Junosza-Szaniawski, Lonc |
| 0.429 | 2020 | Complexity of planar signed graph homomorphisms to cycles (DOI) | Pierron | Dross, Foucaud, Mitsou, Ochem |
| 0.429 | 2020 | On colouring point visibility graphs (DOI) | Roy | Diwan |
| 0.429 | 2019 | When Lagged Fibonacci Generators jump (DOI) | Bishoi, Matyáš | Chetry |
| 0.425 | 2018 | Parameterized Extension Complexity of Independent Set and Related Problems (DOI) | Gajarský, Hliněný | Tiwary |
| 0.425 | 2018 | Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs (DOI) | Bishoi, Matyáš | |
| 0.425 | 2018 | Meta-kernelization using well-structured modulators (DOI) | Ganian | Eiben, Szeider |
| 0.425 | 2018 | On the complexity of rainbow coloring problems (DOI) | Ganian | Eiben, Lauri |
| 0.421 | 2018 | Embodied VR environment facilitates motor imagery brain–computer interface training (DOI) | Škola, Liarokapis | |
| 0.42 | 2018 | Dynamic Reconfiguration in Multigroup Multicast Routing under Uncertainty (DOI) | Troubil, Rudová, Holub | |
| 0.419 | 2020 | A hybrid augmented reality guide for underwater cultural heritage sites (DOI) | Čejka, Zsíros, Liarokapis | |
| 0.417 | 2019 | Collaborative Immersive Virtual Environments for Education in Geography (DOI) | Šašinka, Stachoň, Sedlák, Chmelík, Herman, Kubíček, Šašinková, Doležal, Tejkl, Urbánek, Svatoňová, Ugwitz, Juřík | |
| 0.407 | 2020 | The moving target of visualization software for an increasingly complex world (DOI) | Kozlíková | Reina, Childs, Matković, Bühler, Waldner, Pugmire, Ropinski, Ljung, Itoh, Gröller, Krone |
| 0.407 | 2020 | Visual exploration of large normal mode spaces to study protein flexibility (DOI) | Byška | Bedoucha, Nathalie, Hauser |
| 0.407 | 2020 | Interactive visual exploration of metabolite ratios in MR spectroscopy studies (DOI) | Vašíček | Garrison, Craven, Gruner, Smit, Bruckner |
| 0.405 | 2018 | Determinants for Value Cocreation and Collaborative Paths in Complex Service Systems: A Focus on (Smart) Cities (DOI) | Walletzký | Polese, Barile, Caputo, Carrubbo |
| 0.403 | 2019 | Fast and accurate compensation of signal offset for T2 mapping (DOI) | Michálek, Trinh | Hanzlíková, Pacík |
| 0.397 | 2020 | A New Perspective on FO Model Checking of Dense Graph Classes (DOI) | Gajarský, Hliněný, Obdržálek | Lokshtanov, Ramanujan |
| 0.393 | 2018 | Discrete and Continuous Strategies for Timed-Arc Petri Net Games (DOI) | Srba | Jensen, Larsen |
| 0.392 | 2018 | On similarity of various reactor spectra and 235U prompt fission neutron spectrum (DOI) | Matěj | Košťál, Losa, Huml, Štefánik, Cvachovec, Šulc, Jánský, Novák, Harutyunyan, Rypar |
| 0.392 | 2018 | The influence of core power distribution on neutron flux density behind a pressure vessel of a VVER-1000 Mock Up in LR-0 reactor (DOI) | Matěj | Košťál, Rypar, Losa, Harut, Schulc, Klupák, Cvachovec, Jánský, Novák, Czakoj, Juříček, Zaritsky |
| 0.392 | 2018 | Measurements of neutron transport of well defined silicon filtered beam in lead (DOI) | Matěj | Košťál, Schulc, Šoltés, Losa, Viererbl, Cvachovec, Rypra |
| 0.39 | 2017 | Polysemy and Synonymy in Syntactic Dependency Networks (DOI) | Horák | Cech, Macutek, Žabokrtský |
| 0.381 | 2019 | Cross-platform Data Analysis Reveals a Generic Gene Expression Signature for Microsatellite Instability in Colorectal Cancer (DOI) | Pačínková, Popovici | |
| 0.378 | 2020 | A Cross-domain Comparative Study of Big Data Architectures (DOI) | Macák, Ge, Bühnová | |
| 0.37 | 2020 | Taggle: Combining Overview and Details in Tabular Data Visualizations (DOI) | Furmanová, Jarešová | Gratzl, Stitz, Zichner, Lex, Streit |
| 0.369 | 2019 | Stubborn Versus Structural Reductions for Petri Nets (DOI) | Srba | Boenneland, Dyhr, Jensen, Johannsen |
| 0.369 | 2019 | Model Checking and Synthesis for Branching Multi-Weighted Logics (DOI) | Srba | Jensen, Kaufmann, Larsen, Nielsen |
| 0.365 | 2017 | Generating various composite human faces from real 3D facial images (DOI) | Chalás, Urbanová, Juřík, Ferková, Jandová, Sochor, Kozlíková | |
| 0.365 | 2017 | EEG correlates of video game experience and user profile in motor-imagery-based brain–computer interaction (DOI) | Liarokapis | Vourvopoulos, Bermudez i Badia |
| 0.358 | 2018 | A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (DOI) | Kučera | Mayr |
| 0.358 | 2018 | A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion (DOI) | Ganian | Eiben, Kwon |
| 0.34 | 2016 | Model checking C++ programs with exceptions (DOI) | Ročkai, Barnat, Brim | |
| 0.33 | 2016 | Analysing Sanity of Requirements for Avionics Systems (DOI) | Barnat, Bauch, Beneš, Brim | Beran, Kratochvíla |
| 0.328 | 2017 | Measurement and calculation of fast neutron and gamma spectra in well defined cores in LR-0 reactor (DOI) | Matěj, Mravec, Veškrna | Košťál, Cvachovec, Rypar, Losa, Rejchrt |
| 0.328 | 2017 | Measurement of Neutron Spectra in a Silicon Filtered Neutron Beam Using Stilbene Detectors at the LVR-15 Research Reactor (DOI) | Matěj | Košťál, ŠOLTÉS, VIERERBL, Cvachovec, Rypar, Losa |
| 0.327 | 2016 | From LTL to deterministic automata (A safraless compositional approach) (DOI) | Křetínský | Esparza, Sickert |
| 0.32 | 2016 | Min-Sum 2-Paths Problems (DOI) | Popa | Fenner, Lachish |
| 0.319 | 2018 | Deciding Parity of Graph Crossing Number (DOI) | Hliněný | Thomassen |
| 0.319 | 2018 | A Simpler Self-reduction Algorithm for Matroid Path-width (DOI) | Hliněný | |
| 0.319 | 2018 | The Crossing Number of the Cone of a Graph (DOI) | Derňár | Alfaro, Arroyo, Mohar |
| 0.311 | 2017 | A service research contribution to the global challenge of sustainability (DOI) | Caputo | Saviano, Barile, Spohrer |
| 0.308 | 2020 | Regular Tree Algebras (DOI) | Blumensath | |
| 0.308 | 2019 | Shrub-depth: Capturing Height of Dense Graphs (DOI) | Hliněný, Obdržálek | Ganian, Nešetřil, Ossona de Mendez |
| 0.304 | 2020 | Logical vs. behavioural specifications (DOI) | Beneš | Fahrenberg, Křetínský, Legay, Traonouez |
| 0.297 | 2019 | Assessing the perceived realism of agent grouping dynamics for adaptation and simulation (DOI) | Liarokapis | Connor, Shuttleworth, Colreavy-Donnelly |
| 0.293 | 2017 | A tighter insertion-based approximation of the crossing number (DOI) | Hliněný | Chimani |
| 0.288 | 2016 | Backdoors to q-Horn (DOI) | Ordyniak | Gaspers, Ramanujan, Saurabh, Szeider |
| 0.284 | 2018 | Solving Problems on Graphs of High Rank-Width (DOI) | Ganian | Eiben, Szeider |
| 0.283 | 2020 | In-silico generation of random bit streams (DOI) | Švenda | Caccia, Malinverno, Paolucci, Corridori, Proserpio, Abba, Cusimano, Kucewicz, Dorosz, Baszczyk, Esposito |
| 0.283 | 2019 | The methodology of characterization of neutron leakage field from PET production cyclotron for experimental purposes (DOI) | Matěj, Mravec | Košťál, Losa, Schulc, Šimon, Antoš, Vadják, Cuhra, Cvachovec, Brijar, Czakoj, Rypar |
| 0.272 | 2016 | Examining Brain Activity While Playing Computer Games (DOI) | Liarokapis | Bakaoukas, Florin |
| 0.262 | 2017 | Promise problems solved by quantum and classical finite automata (DOI) | Gruska | Qiu, Li, Zheng |
| 0.258 | 2017 | FTutor: An Interactive Guide to the Fundamentals of Frequency Analysis (DOI) | Sečkář, Svoboda | |
| 0.245 | 2019 | On Degree Properties of Crossing-Critical Families of Graphs (DOI) | Derňár, Hliněný | Bokal, Bracic |
| 0.236 | 2020 | AVOIDING MULTIPLE REPETITIONS IN EUCLIDEAN SPACES (DOI) | Debski | Grytczuk, Nayar, Pastwa, Sokół, Tuczyński, Wenus, Weͅsek |
| 0.23 | 2020 | Hyperintensional Reasoning based on Natural Language Knowledge Base (DOI) | Horák | Duží |
| 0.228 | 2017 | Analysis of Trends in Data on Transit Bus Dwell Times (DOI) | Rudová | Isaac K., Barlow, Smith |
| 0.222 | 2020 | Range assignment of base-stations maximizing coverage area without interference. (DOI) | Roy | Acharyya, De, Nandy |
| 0.222 | 2020 | Security improvements of several basic quantum private query protocols with O(log N) communication complexity (DOI) | Gruska | Yu, Qiu, Wang, Li, Li |
| 0.222 | 2020 | Bisimulation invariant monadic-second order logic in the finite (DOI) | Blumensath | Wolf |
| 0.222 | 2020 | LTL to self-loop alternating automata with generic acceptance and back (DOI) | Major, Strejček | Blahoudek |
| 0.222 | 2020 | Comparing Maintainability Index, SIG Method, and SQALE for Technical Debt Identification (DOI) | Strečanský, Chren, Rossi | |
| 0.222 | 2019 | Parameter space abstraction and unfolding semantics of discrete regulatory networks (DOI) | Kolčák, Šafránek | Haar, Paulevé |
| 0.222 | 2019 | Entangling and disentangling in Grover's search algorithm (DOI) | Gruska | Pan, Qiu, Mateus |
| 0.213 | 2020 | Joint Forces for Memory Safety Checking Revisited (DOI) | Chalupa, Strejček, Vitovská | |
| 0.206 | 2017 | Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting (DOI) | Ganian | Szeider, Ramanujan |
| 0.202 | 2016 | Quantified conjunctive queries on partially ordered sets (DOI) | Ganian | Bova, Szeider |
| 0.202 | 2016 | Expected Reachability-Time Games (DOI) | Forejt | Kwiatkowska, Norman, Trivedi |
| 0.195 | 2017 | Hematopoietic developmental potential of human pluripotent stem cell lines is accompanied by the morphology of embryoid bodies and the expression of endodermal and hematopoietic markers (DOI) | Šimara, Stejskal, Koutná | Tesařová |
| 0.169 | 2017 | Precise parameter synthesis for stochastic biochemical systems (DOI) | Brim | Češka, Dannenberg, Paoletti, Kwiatkowska |
| 0.159 | 2018 | Professionals’ Reflections About the Impact of Digital Technologies on Eating Disorders (DOI) | Čevelíček, Šmahelová, Šmahel | |
| 0.157 | 2020 | Parallel parameter synthesis algorithm for hybrid CTL (DOI) | Beneš, Brim, Pastva, Šafránek | |
| 0.148 | 2018 | On the complexity of the quantified bit-vector arithmetic with binary encoding (DOI) | Jonáš, Strejček | |
| 0.135 | 2018 | Analysis and design of mastery learning criteria (DOI) | Pelánek, Řihák | |
| 0.133 | 2020 | Embedding Small Digraphs and Permutations in Binary Trees and Split Trees (DOI) | Skerman | Albert, Holmgren, Johansson |
| 0.133 | 2019 | Parameterized Complexity of Asynchronous Border Minimization (DOI) | Ganian | Kronegger, Pfandler, Popa |
| 0.133 | 2019 | Counting Linear Extensions: Parameterizations by Treewidth (DOI) | Ganian | Eiben, Kangas, Ordyniak |
| 0.133 | 2019 | On the Complexity Landscape of Connected f-Factor Problems (DOI) | Ganian | Narayanaswamy, Ordyniak, Rahul, Ramanujan |
| 0.103 | 2019 | FO model checking on geometric graphs (DOI) | Hliněný, Pokrývka, Roy | |
| 0.089 | 2017 | When the Display Matters : A Multifaceted Perspective on 3D Geovisualizations (DOI) | Juřík, Herman, Šašinka, Stachoň, Chmelík | |
| 0.071 | 2018 | Software Tools for Big Data Resources in Family Names Dictionaries (DOI) | Rambousek, Horák | Parkin |
| 0.066 | 2016 | Assessing similarity models for human-motion retrieval applications (DOI) | Valčík, Sedmidubský, Zezula | |
| 0.055 | 2019 | A New Approach for Semi-automatic Building and Extending a Multilingual Terminology Thesaurus (DOI) | Rambousek, Horák, Baisa, Suchomel | |
| 0.051 | 2016 | Inherent Fusion: Towards Scalable Multi-Modal Similarity Search (DOI) | Budíková, Batko, Novák, Zezula | |