Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.
| celkem | A* | A | B | C | D |
|---|---|---|---|---|---|
| 2020 | 11 | 19 | 29 | 26 | 15 |
| 2019 | 8 | 31 | 36 | 36 | 29 |
| 2018 | 12 | 20 | 35 | 34 | 34 |
| 2017 | 5 | 19 | 38 | 39 | 38 |
| 2016 | 7 | 39 | 50 | 45 | 47 |
| součet | 43 | 128 | 188 | 180 | 163 |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* AAMAS | 2020 | Adversarial Patrolling with Drones (DOI) | Klaška, Kučera, Řehák | International Foundation for Autonomous Agents and Multiagent Systems | Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems | |
| A* SODA | 2020 | Improved bounds for centered colorings (DOI) | Debski | Felsner, Micek, Schröder | SIAM | Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms |
| A* CAV | 2020 | Approximate Counting of Minimal Unsatisfiable Subsets (DOI) | Bendík | Meel | Springer, Cham | Computer Aided Verification - 32nd International Conference, CAV 2020 |
| A* LICS | 2020 | Efficient Analysis of VASS Termination Complexity (DOI) | Kučera, Velan | Leroux | ACM | LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science |
| A* AAAI | 2020 | Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes (DOI) | Brázdil, Novotný, Vahala | Chatterjee | AAAI Press | The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020 |
| A* CAV | 2020 | AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks (DOI) | Beneš, Brim, Pastva, Šafránek | Kadlecaj | Springer, Cham | Computer Aided Verification. CAV 2020 |
| A* CAV | 2020 | Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling (DOI) | Kučera | Blondin, Esparza, Helfrich, Meyer | Springer International Publishing | Computer Aided Verification, CAV 2020 |
| A* CAV | 2020 | Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization (DOI) | Strejček | Blahoudek, Duret-Lutz | Springer | Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II |
| A* ICAPS | 2020 | Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications | Novotný | Chatterjee, Chmelík, Karkhanis, Royer | AAAI Press | Proceedings of the International Conference on Automated Planning and Scheduling |
| A* CAV | 2020 | Qualitative Controller Synthesis for Consumption Markov Decision Processes (DOI) | Brázdil, Novotný | Blahoudek, Ornik, Thangeda, Topcu | Springer | Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II} |
| A* CHI | 2020 | Would You Do It?: Enacting Moral Dilemmas in Virtual Reality for Understanding Ethical Decision-Making (DOI) | Liarokapis | Niforatos, Palma, Gluszny, Vourvopoulos | ACM | Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems |
| A* ICSE | 2019 | Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course (DOI) | Chren, Bühnová, Macák, Daubner, Rossi | IEEE Press | Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training | |
| A* S&P | 2019 | Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem (DOI) | Nemec | Calzavara, Focardi, Rabitti, Squarcina | IEEE | Proceedings of the 40th IEEE Symposium on Security and Privacy |
| A* CHI | 2019 | Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation (DOI) | Škola, Liarokapis | ACM Press | Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Paper No. 247 | |
| A* CAV | 2019 | Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (DOI) | Jonáš, Strejček | Springer | CAV 2019: Computer Aided Verification | |
| A* AAAI | 2019 | Solving Integer Quadratic Programming via Explicit and Structural Restrictions (DOI) | Ganian | Eiben, Knop, Ordyniak | AAAI Press | Proceedings of the AAAI Conference on Artificial Intelligence |
| A* NIPS | 2019 | The Parameterized Complexity of Cascading Portfolio Scheduling | Ganian | Eiben, Kanj, Szeider | Neural Information Processing Systems Foundation, Inc. | Advances in Neural Information Processing Systems 32 (NIPS 2019) |
| A* CAV | 2019 | PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (DOI) | Křetínský | Ashok, Weininger | Springer | Computer Aided Verification (CAV 2019) |
| A* AAAI | 2019 | Unbounded Orchestrations of Transducers for Manufacturing (DOI) | Brázdil | Alechina, De Giacomo, Felli, Logan, Vardi | AAAI | Proceedings of the AAAI Conference on Artificial Intelligence |
| A* POPL | 2018 | Data-centric Dynamic Partial Order Reduction (DOI) | Chalupa | Pavlogiannis, Chatterjee, Sinha, Vaidya | ACM | Proceedings of Symposium on Principles of Programming Languages 2018 |
| A* AAMAS | 2018 | Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games (DOI) | Klaška, Kučera, Lamser, Řehák | International Foundation for Autonomous Agents and Multiagent Systems | Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems | |
| A* LICS | 2018 | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (DOI) | Brázdil, Kučera, Velan | Chatterjee, Novotný, Zuleger | ACM | 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| A* IJCAI | 2018 | Solving Patrolling Problems in the Internet Environment (DOI) | Brázdil, Kučera, Řehák | International Joint Conferences on Artificial Intelligence | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. | |
| A* USENIX-Security | 2018 | The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI | Kozák | Kim, Kwon, Gates, Dumitraș | USENIX Association | 27th USENIX Security Symposium (USENIX Security 18) |
| A* INFOCOM | 2018 | Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks (DOI) | Srba | Schmid | IEEE | IEEE International Conference on Computer Communications (INFOCOM'18) |
| A* CAV | 2018 | Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (DOI) | Srba | Boenneland, Jensen, Larsen, Muniz | Springer | Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18) |
| A* IJCAI | 2018 | Unary Integer Linear Programming with Structural Restrictions (DOI) | Ganian | Eiben, Knop, Ordyniak | ijcai.org | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence |
| A* IJCAI | 2018 | A Structural Approach to Activity Selection (DOI) | Ganian | Eiben, Ordyniak | ijcai.org | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI) |
| A* ICML | 2018 | Parameterized Algorithms for the Matrix Completion Problem | Ganian | Kanj, Ordyniak, Szeider | PMLR | Proceedings of the 35th International Conference on Machine Learning (ICML) |
| A* LICS | 2018 | Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (DOI) | Křetínský | Meggendorfer | ACM | Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18) |
| A* CAV | 2018 | Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (DOI) | Křetínský | Kelmendi, Krämer, Weininger | Springer | Computer Aided Verification (CAV 2018) |
| A* CAV | 2017 | Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Computer Aided Verification. CAV 2017 | |
| A* CCS | 2017 | The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli (DOI) | Nemec, Sýs, Švenda, Klinec, Matyáš | ACM | Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security | |
| A* CCS | 2017 | A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components (DOI) | Švenda, Klinec | Mavroudis, Cerulli, Cvrček, Danezis | ACM | CCS '17: Proceedings of the 24th ACM SIGSAC Conference on Computer and Communications Security |
| A* AAAI | 2017 | Going Beyond Primal Treewidth for {(M)ILP} | Ganian | Ramanujan, Ordyniak | AAAI | Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA |
| A* IJCAI | 2017 | Solving Integer Linear Programs with a Small Number of Global Variables and Constraints (DOI) | Ganian | Dvorak, Eiben, Knop, Ordyniak | ijcai.org | Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017 |
| A* USENIX-Security | 2016 | The Million-Key Question – Investigating the Origins of RSA Public Keys | Švenda, Nemec, Sekan, Kvašňovský, Formánek, Komárek, Matyáš | USENIX Association | Proceedings of 25th USENIX Security Symposium | |
| A* CRYPTO | 2016 | Adaptive versus non-adaptive strategies in the quantum setting with applications (DOI) | Dupont Dupuis | Fehr, Lamontagne, Salvail | Springer Berlin Heidelberg | Proceedings of CRYPTO 2016 |
| A* CAV | 2016 | Limit-Deterministic Büchi Automata for Linear Temporal Logic (DOI) | Křetínský | Sickert, Esparza, Jaax | Springer | Computer Aided Verification - 28th International Conference, CAV 2016 |
| A* AAMAS | 2016 | Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems | Kučera, Lamser | ACM | Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems | |
| A* LICS | 2016 | A New Perspective on FO Model Checking of Dense Graph Classes (DOI) | Gajarský, Hliněný, Obdržálek | Lokshtanov, Ramanujan | ACM | Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016 |
| A* AAAI | 2016 | The Complexity Landscape of Decompositional Parameters for ILP | Ganian | Ordyniak | AAAI Press | Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence |
| A* AAAI | 2016 | Using Decomposition-Parameters for QBF: Mind the Prefix! | Ganian | Ordyniak, Eiben | AAAI Press | Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence |
| A SAC | 2020 | Enhanced Network Intrusion Detection System Protocol for Internet of Things (DOI) | Mbarek, Ge, Pitner | ACM Publishing | Proceedings of the 35th ACM/SIGAPP Symposium On Applied Computing | |
| A SAC | 2020 | Comparing Maintainability Index, SIG Method, and SQALE for Technical Debt Identification (DOI) | Strečanský, Chren, Rossi | ACM | 35th ACM/SIGAPP Symposium On Applied Computing | |
| A ECIR | 2020 | Motion Words: A Text-like Representation of 3D Skeleton Sequences (DOI) | Sedmidubský, Budíková, Dohnal, Zezula | Springer | 42nd European Conference on Information Retrieval (ECIR) | |
| A TACAS | 2020 | MUST: Minimal Unsatisfiable Subsets Enumeration Tool (DOI) | Bendík, Černá | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems | |
| A SAC | 2020 | Verification of Forensic Readiness in Software Development: A Roadmap (DOI) | Daubner, Macák, Bühnová, Pitner | ACM | Proceedings of the 35th Annual ACM Symposium on Applied Computing | |
| A LPAR | 2020 | Rotation Based MSS/MCS Enumeration (DOI) | Bendík, Černá | EPiC Series in Computing | LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
| A ESORICS | 2020 | Fooling primality tests on smartcards (DOI) | Sedláček, Jančár, Švenda | Springer | 25th European Symposium on Research in Computer Security (ESORICS) 2020 | |
| A ESORICS | 2020 | Biased RSA private keys: Origin attribution of GCD-factorable keys (DOI) | Janovský, Švenda, Matyáš | Nemec, Sekan | Springer | Computer Security – ESORICS 2020 |
| A CHES | 2020 | Minerva: The curse of ECDSA nonces (DOI) | Jančár, Sedláček, Švenda, Sýs | Ruhr-University of Bochum | IACR Transactions on Cryptographic Hardware and Embedded Systems | |
| A CP | 2020 | Replication-Guided Enumeration of Minimal Unsatisfiable Subsets (DOI) | Černá | Bendík | Springer, Cham | 26th International Conference on Principles and Practice of Constraint Programming |
| A MFCS | 2020 | Isomorphism Problem for Sd-Graphs (DOI) | Agaoglu, Hliněný | Schloss Dagstuhl - Leibniz-Zentrum fur Informatik | 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) | |
| A WG | 2020 | Clique-Width of Point Configurations (DOI) | Cagirici, Hliněný, Pokrývka | Sankaran | Springer, Lecture Notes in Computer Science | Graph-Theoretic Concepts in Computer Science, WG 2020 |
| A ATVA | 2020 | DG: Analysis and Slicing of LLVM Bitcode (DOI) | Chalupa | Springer | The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis | |
| A ICALP | 2020 | Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming (DOI) | Cooper, Kráľ, Pekárková | Chan, Koutecký | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), p. "26:1"-"26:19", 19 pp. 2020. |
| A AIED | 2020 | Impact of Methodological Choices on the Evaluation of Student Models (DOI) | Effenberger, Pelánek | Springer | Artificial Intelligence in Education. AIED 2020. Lecture Notes in Computer Science, vol 12163. | |
| A SAT | 2020 | Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions (DOI) | Strejček | Jonáš | Springer | Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings |
| A SIGCSE | 2020 | KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems (DOI) | Čeleda, Švábenský, Slavíček | Vykopal | ACM | Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20) |
| A SIGCSE | 2020 | What Are Cybersecurity Education Papers About? A Systematic Literature Review of SIGCSE and ITiCSE Conferences (DOI) | Švábenský, Čeleda | Vykopal | ACM | Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20) |
| A SIGCSE | 2020 | Benefits and Pitfalls of Using Capture The Flag Games in University Courses (DOI) | Švábenský | Vykopal, Chang | ACM | Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20) |
| A HICSS | 2019 | Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance (DOI) | Spurný, Kopeček, Ošlejšek, Plhák | University of Hawaii at Manoa | Proceedings of the 52nd Hawaii International Conference on System Sciences | |
| A SIGCSE | 2019 | Reflective Diary for Professional Development of Novice Teachers (DOI) | Ukrop, Švábenský, Nehyba | ACM | Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE’19) | |
| A GECCO | 2019 | Adaptive Large Neighborhood Search for Scheduling of Mobile Robots (DOI) | Dang, Rudová | Nguyen | ACM | The Genetic and Evolutionary Computation Conference (GECCO) |
| A MSR | 2019 | STRAIT: A Tool for Automated Software Reliability Growth Analysis (DOI) | Chren, Mičko, Bühnová, Rossi | ACM | Proceedings of the 16th International Conference on Mining Software Repositories | |
| A TACAS | 2019 | Digital Bifurcation Analysis of TCP Dynamics (DOI) | Beneš, Brim, Pastva, Šafránek | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019 | |
| A ICMR | 2019 | Benchmarking Search and Annotation in Continuous Human Skeleton Sequences (DOI) | Sedmidubský, Eliáš, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
| A ICIP | 2019 | Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy (DOI) | Maška, Nečasová, Wiesner, Peterlík, Svoboda | Sorokin, Ulman | IEEE | 26th IEEE International Conference on Image Processing |
| A ISD | 2019 | Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course | Chren, Rossi, Bühnová, Ge, Pitner | AIS | Proceedings of 28th International Conference on Information Systems Development | |
| A CP | 2019 | Scheduling of Mobile Robots Using Constraint Programming (DOI) | Murín, Rudová | Springer International Publishing | Principles and Practice of Constraint Programming | |
| A ICIP | 2019 | Multimodal Point Distribution Model for Anthropological Landmark Detection (DOI) | Ferková, Matula | Springer | 26th IEEE International Conference on Image Processing (ICIP2019) | |
| A AIED | 2019 | Item Ordering Biases in Educational Data (DOI) | Čechák, Pelánek | Springer | International Conference on Artificial Intelligence in Education | |
| A ICALP | 2019 | On the Complexity of Value Iteration (DOI) | Novotný | Balaji, Kiefer, Pérez, Shirmohammadi | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) |
| A IROS | 2019 | RoFICoM - First Open-Hardware Connector for Metamorphic Robots (DOI) | Mrázek, Barnat | IEEE | 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) | |
| A ACSAC | 2019 | Will You Trust This TLS Certificate? Perceptions of People Working in IT (DOI) | Ukrop, Kraus, Matyáš | Wahsheh | ACM | Proceedings of the 35rd Annual Computer Security Applications Conference |
| A ATVA | 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI) | Brázdil, Kučera, Novotný, Velan | Chatterjee | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings |
| A ATVA | 2019 | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata (DOI) | Major, Strejček, Jánošová | Zbončáková, Blahoudek | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
| A ATVA | 2019 | Generic Emptiness Check for Fun and Profit (DOI) | Strejček | Baier, Blahoudek, Duret-Lutz, Klein, Müller | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
| A GD | 2019 | Exact Crossing Number Parameterized by Vertex Cover (DOI) | Hliněný | Sankaran | Springer, Lecture Notes in Computer Science, volume 11904 | GD 2019: Graph Drawing and Network Visualization |
| A SoCG | 2019 | Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12 (DOI) | Hliněný | Dvořák, Mohar, Bokal, Leanos, Wiedera | Leibniz International Proceedings in Informatics, LIPIcs | 35th International Symposium on Computational Geometry, SoCG 2019 |
| A TACAS | 2019 | Abstract Dependency Graphs and Their Application to Model Checking (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) |
| A CONCUR | 2019 | Partial Order Reduction for Reachability Games (DOI) | Srba | Boenneland, Jensen, Larsen, Muniz | Dagstuhl Publishing | Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19) |
| A ALENEX | 2019 | SAT-Encodings for Treecut Width and Treedepth (DOI) | Ganian | Lodha, Ordyniak, Szeider | SIAM | ALENEX 2019 |
| A CP | 2019 | A Join-Based Hybrid Parameter for Constraint Satisfaction (DOI) | Ganian | Ordyniak, Szeider | Springer | Principles and Practice of Constraint Programming - 25th International Conference |
| A ESA | 2019 | Group Activity Selection with Few Agent Types (DOI) | Ganian | Ordyniak, Rahul | Dagstuhl | 27th Annual European Symposium on Algorithms (ESA 2019) |
| A GD | 2019 | On Strict (Outer-)Confluent Graphs (DOI) | Ganian | Forster, Klute, Nollenburg | Springer | Graph Drawing and Network Visualization - 27th International Symposium, GD 2019 |
| A GD | 2019 | Parameterized Algorithms for Book Embedding Problems (DOI) | Ganian | Bhore, Montecchiani, Nollenburg | Springer | Graph Drawing and Network Visualization - 27th International Symposium, GD 2019 |
| A IPCO | 2019 | Integer Programming and Incidence Treedepth (DOI) | Ganian | Eiben, Knop, Ordyniak, Pilipczuk, Wrochna | Springer | Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019 |
| A MFCS | 2019 | Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth (DOI) | Ganian | Eiben, Hamm, Kwon | Dagstuhl | 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) |
| A WG | 2019 | The Power of Cut-Based Parameters for Computing Edge Disjoint Paths (DOI) | Ganian | Ordyniak | Springer | WG 2019: Graph-Theoretic Concepts in Computer Science |
| A CONCUR | 2019 | Of Cores: A Partial-Exploration Framework for Markov Decision Processes (DOI) | Křetínský | Meggendorfer | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 30th International Conference on Concurrency Theory (CONCUR 2019) |
| A IM | 2019 | Quality of Service Forecasting with LSTM Neural Network | Jirsík, Trčka, Čeleda | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
| A SIGCSE | 2018 | Challenges Arising from Prerequisite Testing in Cybersecurity Games (DOI) | Švábenský | Vykopal | ACM | Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE’18) |
| A ICASSP | 2018 | ON THE USE OF GRAPHEME MODELS FOR SEARCHING IN LARGE SPOKEN ARCHIVES (DOI) | Sedmidubský | Svec, Psutka, Trmal, Smidl, Ircing | IEEE Computer Society | 43rd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2018) |
| A ICALP | 2018 | Bisimulation Invariant Monadic-Second Order Logic in the Finite (DOI) | Blumensath | Wolf | Schloss Dagstuhl | 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic |
| A GECCO | 2018 | Evolving boolean functions for fast and efficient randomness testing (DOI) | Sýs, Matyáš | Mrázek, Vasicek, Sekanina | ACM | Proceedings of the Genetic and Evolutionary Computation Conference 2018 |
| A ATVA | 2018 | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (DOI) | Bendík, Černá, Beneš | Springer | Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings} | |
| A CIKM | 2018 | Implementation Notes for the Soft Cosine Measure (DOI) | Novotný | ACM | Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18) | |
| A AIED | 2018 | Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge (DOI) | Pelánek | Springer | Artificial Intelligence in Education | |
| A LPAR | 2018 | Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (DOI) | Bendík, Černá | EPiC Series in Computing | LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
| A MICCAI | 2018 | How to Exploit Weaknesses in Biomedical Challenge Design and Organization (DOI) | Kozubek | Reinke, Eisenmann, Onogur, Stankovic, Scholz, Full, Bogunovic, Landman, Maier, Menze, Sharp, Sirinukunwattana, Speidel, van der Sommen, Zheng, Müller, Arbel, Bradley, Jannin, Kopp-Schneider, Maier-Hein | Springer | Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 |
| A LPAR | 2018 | Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (DOI) | Jonáš, Strejček | EasyChair | LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
| A SoCG | 2018 | Structure and generation of crossing-critical graphs (DOI) | Hliněný | Dvořák, Mohar | Leibniz International Proceedings in Informatics, LIPIcs | 34th International Symposium on Computational Geometry, SoCG 2018 |
| A CoNEXT | 2018 | P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures (DOI) | Srba | Jensen, Kroegh, Madsen, Schmid, Thorgersen | ACM | Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18) |
| A STACS | 2018 | On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem (DOI) | Ganian | Klute, Ordyniak | Dagstuhl | STACS 2018 |
| A STACS | 2018 | Small Resolution Proofs for QBF using Dependency Treewidth (DOI) | Ganian | Eiben, Ordyniak | Dagstuhl | STACS 2018 |
| A ATVA | 2018 | Continuous-Time Markov Decisions Based on Partial Exploration (DOI) | Křetínský | Ashok, Butkova, Hermanns | Springer | Automated Technology for Verification and Analysis. ATVA 2018 |
| A CONCUR | 2018 | Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (DOI) | Křetínský | Perez, Raskin | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 29th International Conference on Concurrency Theory (CONCUR 2018) |
| A TACAS | 2018 | Strategy Representation by Decision Trees in Reactive Synthesis (DOI) | Brázdil | Chatterjee, Křetínský, Toman | Springer | 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) |
| A TCC | 2018 | Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation (DOI) | Dupont Dupuis | Fehr, Lamontagne, Salvail | Springer | 16th International Theory of Cryptography Conference (TCC 2018) |
| A SIGCSE | 2018 | Timely Feedback in Unstructured Cybersecurity Exercises (DOI) | Ošlejšek, Dočkalová Burská, Zákopčanová | Vykopal | ACM | Proceedings of Special Interest Group on Computer Science Education, Baltimore, Maryland, USA, February 21–24, 2018(SIGCSE’18) |
| A ITICSE | 2018 | Enhancing Cybersecurity Skills by Creating Serious Games (DOI) | Švábenský, Čermák | Vykopal, Laštovička | ACM | Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'18) |
| A JSSPP | 2017 | Real-life Experience with Major Reconfiguration of Job Scheduling System (DOI) | Klusáček, Tóth, Podolníková | Springer | 20th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2016 | |
| A LPAR | 2017 | Seminator: A Tool for Semi-Determinization of Omega-Automata (DOI) | Blahoudek, Klokočka, Křetínský, Strejček | Duret-Lutz | EasyChair | Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017) |
| A ICSA | 2017 | Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes (DOI) | Gešvindr, Bühnová, Gasior | IEEE | 2017 IEEE International Conference on Software Architecture (ICSA) | |
| A ACSAC | 2017 | Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans (DOI) | Nemec, Klinec, Švenda, Sekan, Matyáš | ACM | Proceedings of the 33rd Annual Computer Security Applications Conference | |
| A MICCAI | 2017 | Image-driven Stochastic Identification of Boundary Conditions for Predictive Simulation (DOI) | Ručka | Peterlík, Haouchine, Cotin | Springer | Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II |
| A ATVA | 2017 | Synthesis of Optimal Resilient Control Strategies (DOI) | Korenčiak, Kučera, Řehák | Baier, Dubslaff | Springer International Publishing | Automated Technology for Verification and Analysis |
| A COCOON | 2017 | Parameterized Shifted Combinatorial Optimization (DOI) | Gajarský, Hliněný | Koutecký, Onn | Springer International Publishing AG | International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392) |
| A SAT | 2017 | On Simplification of Formulas with Unconstrained Variables and Quantifiers (DOI) | Jonáš, Strejček | Springer | Theory and Applications of Satisfiability Testing – SAT 2017 | |
| A ATVA | 2017 | Model Checking of C and C++ with DIVINE 4 (DOI) | Barnat, Lauko, Mrázek, Ročkai, Štill | Baranová, Kejstová, Kučera | Springer International Publishing | Automated Technology for Verification and Analysis |
| A ICMR | 2017 | Visual Descriptors in Methods for Video Hyperlinking (DOI) | Batko, Novák | Galuščáková, Čech, Matas, Pecina | ACM | Proceedings of the 2017 ACM on International Conference on Multimedia Retrieval |
| A ISAAC | 2017 | On Structural Parameterizations of the Edge Disjoint Paths Problem (DOI) | Ganian | Ordyniak, Ramanujan | LIPIcs | 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand |
| A MFCS | 2017 | Towards a Polynomial Kernel for Directed Feedback Vertex Set (DOI) | Ganian | Eiben, Ordyniak, Ramanujan, Bergougnoux | LIPIcs | 42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark |
| A SAT | 2017 | Backdoor Treewidth for SAT (DOI) | Ganian | Ramanujan, Szeider | Springer | Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings |
| A SAT | 2017 | New Width Parameters for Model Counting (DOI) | Ganian | Szeider | Springer | Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings |
| A STACS | 2017 | Combining Treewidth and Backdoors for CSP (DOI) | Ganian | Ramanujan, Szeider | Dagstuhl-LIPIcs | 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany |
| A Euro-Par | 2017 | Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components (DOI) | Barnat | Aldegheri, Bombieri, Busato, Češka | Springer Verlag | 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016 |
| A ICPR | 2017 | Automatic detection of laser-induced structures in live cell fluorescent microscopy images using snakes with geometric constraints (DOI) | Sorokin | Kondratěv | IEEE Inc. | 23rd International Conference on Pattern Recognition, ICPR 2016 |
| A IM | 2017 | Exchanging Security Events: Which And How Many Alerts Can We Aggregate? (DOI) | Husák, Čermák, Laštovička | Vykopal | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
| A IM | 2017 | Network Defence Strategy Evaluation: Simulation vs. Live Network (DOI) | Komárková, Husák | Drašar | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
| A VMCAI | 2016 | From Low-Level Pointers to High-Level Containers (DOI) | Trtík | Dudka, Holík, Peringer, Vojnar | Springer, Switzerland | Verification, Model Checking, and Abstract Interpretation |
| A ICIP | 2016 | Vascular Network Formation in Silico Using the Extended Cellular Potts Model (DOI) | Svoboda, Ulman, Kováč, Šalingová, Koutná, Matula | Tesařová | IEEE Signal Processing Society | 2016 IEEE International Conference on Image Processing |
| A ICPR | 2016 | Learning Robust Features for Gait Recognition by Maximum Margin Criterion (DOI) | Balážia, Sojka | IEEE | Proceedings of the 23rd IEEE/IAPR International Conference on Pattern Recognition (ICPR 2016) | |
| A SMC | 2016 | Local Load Optimization in Smart Grids with Bayesian Networks (DOI) | Chren, Bühnová | IEEE | The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016) | |
| A SMC | 2016 | Anomaly Detection in Smart Grid Data: An Experience Report (DOI) | Rossi, Chren, Bühnová, Pitner | IEEE | The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016) | |
| A ITS | 2016 | Impact of Question Difficulty on Engagement and Learning (DOI) | Papoušek, Stanislav, Pelánek | Springer International Publishing | Intelligent Tutoring Systems: 13th International Conference | |
| A SAC | 2016 | On verifying C++ programs with probabilities (DOI) | Barnat, Černá, Ročkai, Štill, Zákopčanová | ACM New York, NY, USA | Proceedings of the 31st Annual ACM Symposium on Applied Computing | |
| A TACAS | 2016 | Complementing Semi-deterministic Büchi Automata (DOI) | Blahoudek, Strejček | Heizmann, Schewe, Tsai | Springer Berlin Heidelberg | Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016 |
| A ICSA | 2016 | Architectural Tactics for the Design of Efficient PaaS Cloud Applications (DOI) | Gešvindr, Bühnová | IEEE | 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) | |
| A ICPR | 2016 | Automatic Detection of Laser-Induced Structures in Live Cell Fluorescent Microscopy Images Using Snakes with Geometric Constraints (DOI) | Sorokin | Kondrat'ev | IEEE | IEEE 23rd International Conference on Pattern Recognition (ICPR) |
| A ATVA | 2016 | Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Automated Technology for Verification and Analysis. ATVA 2016 | |
| A S+SSPR | 2016 | Walker-Independent Features for Gait Recognition from Motion Capture Data (DOI) | Balážia, Sojka | Springer International Publishing AG | Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016) | |
| A TACAS | 2016 | PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems (DOI) | Pilař, Brim | Češka, Paoletti, Kwiatkowska | Springer International Publishing | 22nd International Conference, TACAS 2016 |
| A SAT | 2016 | Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (DOI) | Jonáš, Strejček | Springer | Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference | |
| A ATVA | 2016 | Tighter Loop Bound Analysis (DOI) | Strejček | Čadek, Trtík | Springer | Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016 |
| A ACC | 2016 | Optimal observation mode scheduling for systems under temporal constraints (DOI) | Tesařová, Svoreňová, Barnat, Černá | IEEE Conference Publications | 2016 American Control Conference (ACC) | |
| A IDA | 2016 | DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs (DOI) | Vaculík, Popelínský | LNCS 9897, Springer | Advances in Intelligent Data Analysis XV - 15th International Symposium, IDA 2016 | |
| A FM | 2016 | A Model Checking Approach to Discrete Bifurcation Analysis (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Formal Methods. FM 2016 | |
| A TACAS | 2016 | Faster Statistical Model Checking for Unbounded Temporal Properties (DOI) | Křetínský | Daca, Henzinger, Petrov | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 |
| A CONCUR | 2016 | Linear Distances between Markov Chains (DOI) | Křetínský | Daca, Henzinger, Petrov | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 27th International Conference on Concurrency Theory, CONCUR 2016 |
| A ATVA | 2016 | MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata (DOI) | Křetínský | Sickert | Springer | Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016 |
| A MASCOTS | 2016 | Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration (DOI) | Korenčiak, Kučera, Řehák | IEEE Computer Society | 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems | |
| A ATVA | 2016 | Optimizing the Expected Mean Payoff in Energy Markov Decision Processes (DOI) | Brázdil, Kučera | Novotný | Springer | Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016 |
| A CONCUR | 2016 | Stability in Graphs and Games (DOI) | Brázdil, Forejt, Kučera | Novotný | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 27th International Conference on Concurrency Theory, CONCUR 2016 |
| A SoCG | 2016 | Inserting Multiple Edges into a Planar Graph (DOI) | Hliněný | Chimani | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 32nd International Symposium on Computational Geometry (SoCG 2016) |
| A STACS | 2016 | On a Fragment of AMSO and Tiling Systems (DOI) | Blumensath | Colcombet, Parys | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orleans, France |
| A SoCG | 2016 | Crossing Number is Hard for Kernelization (DOI) | Derňár, Hliněný | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 32nd International Symposium on Computational Geometry (SoCG 2016) | |
| A GD | 2016 | The Crossing Number of the Cone of a Graph (DOI) | Derňár | Alfaro, Arroyo, Mohar | Springer Verlag | Graph Drawing and Network Visualization - 24th International Symposium, GD 2016 |
| A CP | 2016 | Backdoors to Tractable Valued CSP (DOI) | Ganian | Ramanujan, Szeider | SPRINGER INT PUBLISHING AG | PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016 |
| A ESA | 2016 | Counting Linear Extensions: Parameterizations by Treewidth (DOI) | Ganian | Ordyniak, Eiben, Kustaa | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 24th Annual European Symposium on Algorithms, {ESA} 2016, August 22-24, 2016, Aarhus, Denmark |
| A IPDPS | 2016 | Polynomial-time Construction of Optimal MPI Derived Datatype Trees (DOI) | Ganian | Kalany, Szeider, Traff | IEEE | 2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016) |
| A MFCS | 2016 | A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion (DOI) | Ganian | Eiben, Kwon | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland |
| A MFCS | 2016 | On the Complexity Landscape of Connected f-Factor Problems (DOI) | Ganian | Narayanaswamy, Ordyniak, Rahul, Ramanujan | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26 |
| A MFCS | 2016 | On Existential MSO and its Relation to ETH (DOI) | Ganian | de Haan, Szeider, Kanj | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26 |
| A TACAS | 2016 | Online and Compositional Learning of Controllers with Application to Floor Heating (DOI) | Srba | Larsen, Mikucionis, Muniz, Taankvist | Springer | Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16) |
| A FM | 2016 | Battery-Aware Scheduling in Low Orbit: The GomX–3 Case (DOI) | Krčál | Bisgaard, Gerhardt, Hermanns, Nies, Stenger | Springer International Publishing. | FM 2016: Formal Methods: 21st International Symposium |
| A CIKM | 2016 | Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search (DOI) | Novák | Boytsov, Malkov, Nyberg | ACM | CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT |
| A FoSSaCS | 2016 | Distributed synthesis in continuous time. (DOI) | Krčál | Hermanns, Vester | Springer | International Conference on Foundations of Software Science and Computation Structures. |
| A ATVA | 2016 | Decidability Results for Multi-objective Stochastic Games (DOI) | Forejt | Brenguier | Springer | International Symposium on Automated Technology for Verification and Analysis |
| B AINA | 2020 | Self-adaptive RFID Authentication for Internet of Things (DOI) | Mbarek, Ge, Pitner | Springer, Advances in Intelligent Systems and Computing | Proceedings of the 33rd International Conference on Advanced Information Networking and Applications (AINA-2019) | |
| B AINA | 2020 | Detection of Algorithmically Generated Domain Names in Botnets (DOI) | Říha | Vishwakarma, Bhatia | Springer Nature Switzerland | Advanced Information Networking and Applications, AINA 2019 |
| B ICSC | 2020 | Improving Learning System Performance with Multimedia Semantics (DOI) | Ge | Persia, D'Auria | IEEE | Proceedings of the 14th IEEE International Conference on Semantic Computing |
| B PacificVis | 2020 | PINGU: Principles of Interactive Navigation for Geospatial Understanding (DOI) | Orémuš, Chmelík, Kňažková, Byška, Kozlíková | Akram Hassan, Raidou | IEEE PacificVis 2020 | 2020 IEEE Pacific Visualization Symposium (PacificVis) |
| B LAK | 2020 | Exploration of the Robustness and Generalizability of the Additive Factors Model (DOI) | Effenberger, Pelánek, Čechák | ACM | Proceedings of the 10th International Conference on Learning Analytics and Knowledge | |
| B IFIP SEC | 2020 | Improving Big Data Clustering for Jamming Detection in Smart Mobility (DOI) | Bangui, Ge, Bühnová | Springer IFIP AICT series | Proceedings of the 35th International Conference on ICT Systems Security and Privacy Protection - IFIP SEC | |
| B CLOSER | 2020 | Research Challenges of Open Data as a Service for Smart Cities (DOI) | Walletzký, Romanovská, Ge | Toli | SCITEPRESS | Proceedings of the 10th International Conference on Cloud Computing and Services Science |
| B ISBI | 2020 | Image-based Simulations of Tubular Network Formation (DOI) | Svoboda, Nečasová | IEEE | 17th IEEE International Symposium on Biomedical Imaging | |
| B ICAART | 2020 | Improving RNN-based Answer Selection for Morphologically Rich Languages (DOI) | Medveď, Horák, Sabol | SCITEPRESS | Proceedings of the 12th International Conference on Agents and Artificial Intelligence | |
| B ISBI | 2020 | Condensed U-Net (CU-Net): An Improved U-Net Architecture for Cell Segmentation Powered by 4x4 Max-Pooling Layers (DOI) | Akbas, Kozubek | IEEE | IEEE 17th International Symposium on Biomedical Imaging | |
| B KES | 2020 | Developing the Quality Model for Collaborative Open Data (DOI) | Ge | Lewoniewski | Elsevier Procedia Computer Science | Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems - KES 2020 |
| B CBI | 2020 | Developing Reliable Taxonomic Features for Data Warehouse Architectures (DOI) | Ge | Yang, Helfert | IEEE | Proceedings of the 22nd IEEE International Conference on Business Informatics - CBI 2020 |
| B DEXA | 2020 | Blockchain-based Access Control for IoT in Smart Home Systems (DOI) | Mbarek, Ge, Pitner | Springer | Proceedings of the 31st International Conference on Database and Expert Systems Applications - DEXA 2020 | |
| B FIE | 2020 | How Does a Student-Centered Course on Communication and Professional Skills Impact Students in the Long Run? (DOI) | Švábenský | Motschnig, Silber | IEEE | 2020 IEEE Frontiers in Education Conference (FIE) |
| B NFM | 2020 | Parameter Synthesis and Robustness Analysis of Rule-Based Models (DOI) | Troják, Šafránek, Brim | Mertová | Springer | 12th International Symposium on NASA Formal Methods, NFM 2020 |
| B SoftCOM | 2020 | Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation (DOI) | Chren | Cioroaica, Aktouf, Larsson, Chillarege, Kuhn, Schneider, Wolschke | IEEE | Proceedings of 28th International Conference on Software, Telecommunications and Computer Networks (SoftCom 2020) |
| B DEXA | 2020 | Algebra for Complex Analysis of Data (DOI) | Peschel | Batko, Zezula | Springer International Publishing | International Conference on Database and Expert Systems Applications |
| B ISM | 2020 | Towards Scalable Retrieval of Human Motion Episodes (DOI) | Budíková, Sedmidubský, Horváth, Zezula | IEEE Computer Society | 22nd IEEE International Symposium on Multimedia (ISM) | |
| B IFIP SEC | 2020 | Privacy-Friendly Monero Transaction Signing on a Hardware Wallet (DOI) | Klinec, Matyáš | Springer International Publishing | ICT Systems Security and Privacy Protection | |
| B CMSB | 2020 | Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. (DOI) | Šmijáková, Pastva, Šafránek, Brim | Springer, Cham | Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314 | |
| B CMSB | 2020 | eBCSgen: A Software Tool for Biochemical Space Language (DOI) | Troják, Šafránek, Brim | Mertová | Springer | 18th International Conference on Computational Methods in Systems Biology, CMSB 2020 |
| B IV | 2020 | Assessing the Learning of Folk Dance Movements Using Immersive Virtual Reality (DOI) | Kico, Zelníček | Liarokapis | IEEE | 2020 24th International Conference on Information Visualisation (IV) |
| B TSD | 2020 | Employing Sentence Context in Czech Answer Selection (DOI) | Medveď, Horák, Sabol | Springer, Cham | Text, Speech, and Dialogue. TSD 2020 | |
| B LAK | 2020 | Learning analytics challenges: trade-offs, methodology, scalability (DOI) | Pelánek | ACM | Proceedings of the Tenth International Conference on Learning Analytics & Knowledge | |
| B QRS | 2020 | On Symbolic Execution of Decompiled Programs (DOI) | Korenčik, Ročkai, Lauko, Barnat | IEEE Computer Society | Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020 | |
| B IoTBDS | 2020 | The Suitability of Graph Databases for Big Data Analysis: A Benchmark (DOI) | Macák, Štovčik, Bühnová | SciTePress | Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS | |
| B IoTBDS | 2020 | Big Data Processing Tools Navigation Diagram (DOI) | Macák, Bangui, Bühnová | Molnár, Sidló | SciTePress | Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS |
| B FedCSIS | 2020 | How well a multi-model database performs against its single-model variants: Benchmarking OrientDB with Neo4j and MongoDB (DOI) | Macák, Štovčik, Bühnová, Merjavý | IEEE | Proceedings of the 2020 Federated Conference on Computer Science and Information Systems | |
| B VizSEC | 2020 | Exploratory Analysis of File System Metadata for Rapid Investigation of Security Incidents (DOI) | Kouřil, Ošlejšek, Zákopčanová | Beran, Hrdina | IEEE | 2020 IEEE Symposium on Visualization for Cyber Security (VizSec) |
| B ICSC | 2019 | Factoring Personalization in Social Media Recommendations (DOI) | Ge | Persia | IEEE | Proceedings of the 13th IEEE International Conference on Semantic Computing |
| B PacificVis | 2019 | Visual Analysis of Ligand Trajectories in Molecular Dynamics (DOI) | Jurčík, Furmanová, Byška, Vávra, Ulbrich, Kozlíková | Vonásek, Hauser | IEEE | IEEE Pacific Visualization Symposium 2019 |
| B ISBI | 2019 | DIC Image Segmentation of Dense Cell Populations by Combining Deep Learning and Watershed (DOI) | Lux, Matula | IEEE 16th International Symposium on Biomedical Imaging | IEEE 16th International Symposium on Biomedical Imaging | |
| B ICEIS | 2019 | Analysis of Data Warehouse Architectures: Modeling and Classification (DOI) | Ge | Qishan, Helfert | SciTePress | Proceedings of the 21st International Conference on Enterprise Information Systems |
| B BIS | 2019 | Data Quality Management Framework for Smart Grid Systems (DOI) | Ge, Chren, Rossi, Pitner | Springer | Proceedings of the 22nd International Conference on Business Information Systems | |
| B ICL | 2019 | Digitization and Visualization of Movements of Slovak Folk Dances (DOI) | Kico, Doležal, Chmelík, Liarokapis | Hajdin, Doulamis | Springer International Publishing | The Challenges of the Digital Transformation in Education |
| B HS | 2019 | Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (DOI) | Beneš, Brim, Dražanová, Pastva, Šafránek | ACM | Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control | |
| B ICAART | 2019 | Question and Answer Classification in Czech Question Answering Benchmark Dataset (DOI) | Medveď | Horák, Kušniráková | SCITEPRESS | Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Volume 2 |
| B IWCMC | 2019 | SeMLAS: An Efficient Secure Multi-Level Authentication Scheme for IoT-Based Smart Home Systems (DOI) | Mbarek, Bühnová, Pitner | IEEE | The 15th International Wireless Communications & Mobile Computing Conference (IWCMC 2019) | |
| B PETRA | 2019 | Investigating motion sickness techniques for immersive virtual environments (DOI) | Lukš, Liarokapis | ACM | Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments, ACM Press, 280-288, 2019. | |
| B ADBIS | 2019 | BM-index: Balanced Metric Space Index based on Weighted Voronoi Partitioning (DOI) | Antol, Dohnal | Springer International Publishing | Advances in Databases and Information Systems, 23th East European Conference, ADBIS 2019 | |
| B SECRYPT | 2019 | I want to break square-free: The 4p - 1 factorization method and its RSA backdoor viability (DOI) | Sedláček, Klinec, Sýs, Švenda, Matyáš | SCITEPRESS | Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT | |
| B ICIAP | 2019 | On Generative Modeling of Cell Shape Using 3D GANs (DOI) | Wiesner, Nečasová, Svoboda | Springer | Image Analysis and Processing – ICIAP 2019 | |
| B ICSOFT | 2019 | The Saga Pattern in a Reactive Microservices Environment (DOI) | Štefanko, Rossi | Chaloupka | SciTePress | 14th International Conference on Software Technologies (ICSOFT 2019) |
| B VizSEC | 2019 | Visual Feedback for Players of Multi-Level Capture the Flag Games: Field Usability Study (DOI) | Ošlejšek, Rusňák, Dočkalová Burská, Švábenský | Vykopal | IEEE | 2019 IEEE Symposium on Visualization for Cyber Security (VizSec) |
| B ICAR | 2019 | Computing multiple guiding paths for sampling-based motion planning (DOI) | Kozlíková | Vonásek, Pěnička | Neuveden | Proceedings of the 19th International Conference on Advanced Robotics, ICAR 2019 |
| B WSCG | 2019 | Tools for development of interactive web-based maps: application in healthcare (DOI) | Karolyi, Krejčí, Ščavnický, Vyškovský, Komenda | Vaclav Skala - UNION Agency | WSCG'2019 - 27. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2019 | |
| B ICSOFT | 2019 | Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud (DOI) | Gešvindr, Bühnová, Davídek | SciTePress | Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT | |
| B ISM | 2019 | Augmenting Spatio-Temporal Human Motion Data for Effective 3D Action Recognition (DOI) | Sedmidubský, Zezula | IEEE Computer Society | 21st IEEE International Symposium on Multimedia (ISM) | |
| B ISM | 2019 | Understanding the Gap between 2D and 3D Skeleton-Based Action Recognition (DOI) | Eliáš, Sedmidubský, Zezula | IEEE Computer Society | 21st IEEE International Symposium on Multimedia (ISM) | |
| B SPIN | 2019 | String Abstraction for Model Checking of C Programs (DOI) | Ročkai, Lauko, Olliaro | Cortesi | Springer International Publishing | Model Checking Software |
| B SEFM | 2019 | Local Nontermination Detection for Parallel C++ Programs (DOI) | Štill, Barnat | Springer | International Conference on Software Engineering and Formal Methods | |
| B SEFM | 2019 | Reproducible Execution of POSIX Programs with DiOS (DOI) | Ročkai, Mrázek, Barnat | Baranová, Kejstová | Springer International Publishing | Software Engineering and Formal Methods |
| B IFM | 2019 | Evaluation of Program Slicing in Software Verification (DOI) | Chalupa, Strejček | Springer | Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings | |
| B COCOA | 2019 | On conflict-free chromatic guarding of simple polygons (DOI) | Cagirici, Hliněný | Ghosh, Roy | Springer, Lecture Notes in Computer Science, volume 11949 | 13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19) |
| B ICTAC | 2019 | LTL to Smaller Self-Loop Alternating Automata and Back (DOI) | Major, Strejček | Blahoudek | Springer | Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings |
| B ICFEM | 2019 | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI) | Beneš, Brim, Pastva, Šafránek | Poláček | Springer | Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings |
| B IFM | 2019 | Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI) | Beneš, Brim, Pastva, Šafránek | Geletka | Springer International Publishing | Integrated Formal Methods |
| B SPIN | 2019 | Model Verification Through Dependency Graphs (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19) |
| B QEST | 2019 | Strategy Representation by Decision Trees with Linear Classifiers (DOI) | Brázdil, Křetínský | Toman, Ashok, Chatterjee, Lampert | Springer | Quantitative Evaluation of Systems (QEST 2019) |
| B VLSID | 2019 | Parallelization of brute-force attack on MD5 hash algorithm on FPGA (DOI) | Přenosil | Gillela, Reddy | IEEE | 32nd International Conference on VLSI Design, VLSID 2019 |
| B ICSTCC | 2019 | Modelling Service Design and Complexity for Multi-contextual Applications in Smart Cities (DOI) | Walletzký, Ge | Carubbo | IEEE | 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC) |
| B ICTAC | 2019 | Completeness of Abstract Domains for String Analysis of JavaScript Programs (DOI) | Olliaro | Arceri, Cortesi, Mastroeni | Springer | Theoretical Aspects of Computing – ICTAC 2019 |
| B IPEC | 2019 | Parameterized complexity of edge-coloured and signed graph homomorphism problems (DOI) | Pierron | Foucaud, Hocquard, Lajou, Mitsou | Dagstuhl | 14th International Symposium on Parameterized and Exact Computation (IPEC 2019) |
| B IoTBDS | 2019 | Quality Management for Big 3D Data Analytics: A Case Study of Protein Data Bank (DOI) | Bangui, Ge, Bühnová | SciTePress | Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - Volume 1 | |
| B FedCSIS | 2019 | Big Data Platform for Smart Grids Power Consumption Anomaly Detection (DOI) | Lipčák, Macák, Rossi | IEEE | Proceedings of the 2019 Federated Conference on Computer Science and Information Systems | |
| B IPEC | 2018 | FO model checking of geometric graphs (DOI) | Hliněný, Pokrývka, Roy | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 12th International Symposium on Parameterized and Exact Computation (IPEC 2017) | |
| B FSTTCS | 2018 | On Colourability of Polygon Visibility Graphs (DOI) | Cagirici, Hliněný, Roy | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) | |
| B ICAART | 2018 | Sentence and Word Embedding Employed in Open Question-Answering | Medveď, Horák | SCITEPRESS - Science and Technology Publications | Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018) | |
| B ICEIS | 2018 | Validation and Extension of the Smart City Ontology (DOI) | Štěpánek, Ge | SciTePress | Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS | |
| B ICSC | 2018 | Evaluation in Multimedia Recommender Systems: A Practical Guide (DOI) | Ge | Persia | IEEE | Proceedings of the 12th IEEE International Conference on Semantic Computing |
| B ICEIS | 2018 | The Social Media Perception and Reality -Possible Data Quality Deficiencies between Social Media and ERP (DOI) | Ge | Popescu, Helfert | SCITEPRESS | Proceedings of the 20th International Conference on Enterprise Information Systems |
| B ISBI | 2018 | Segmentation of Actin-Stained 3D Fluorescent Cells with Filopodial Protrusions using Convolutional Neural Networks (DOI) | Maška, Sorokin | Castilla, Meijering, Ortiz-de-Solorzano | IEEE | 15th IEEE International Symposium on Biomedical Imaging |
| B ICCHP | 2018 | DysHelper – The Dyslexia Assistive Approach User Study (DOI) | Pařilová | Springer International Publishing | Computers Helping People with Special Needs:16th International Conference, ICCHP 2018. LNCS | |
| B DEXA | 2018 | Probabilistic Classification of Skeleton Sequences (DOI) | Sedmidubský, Zezula | Springer | 29th International Conference on Database and Expert Systems Applications (DEXA 2018) | |
| B IDEAS | 2018 | Continuous Time-Dependent kNN Join by Binary Sketches (DOI) | Nálepa, Batko, Zezula | ACM | IDEAS 2018 : 22nd International Database Engineering & Applications Symposium, June 18-20, 2018, Villa San Giovanni, Italy | |
| B ADBIS | 2018 | Selecting Sketches for Similarity Search (DOI) | Míč, Novák, Zezula | Vadicamo | Springer International Publishing | Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018. |
| B TSD | 2018 | Recognition of OCR Invoice Metadata Block Types (DOI) | Ha, Horák, Medveď, Nevěřilová | Springer International Publishing | Text, Speech, and Dialogue, 21st International Conference, TSD 2018 | |
| B SEFM | 2018 | Online Enumeration of All Minimal Inductive Validity Cores (DOI) | Bendík, Černá | Ghassabani, Whalen | Springer International Publishing | Software Engineering and Formal Methods - 16th International Conference |
| B ICSOFT | 2018 | Finding Regressions in Projects under Version Control Systems (DOI) | Bendík, Beneš, Černá | SciTePress | 13th International Conference on Software Technologies | |
| B FIE | 2018 | Evaluation of Cyber Defense Exercises Using Visual Analytics Process (DOI) | Ošlejšek, Dočkalová Burská, Rusňák | Vykopal | IEEE | Proceedings of the 48th IEEE Frontiers in Education Conference (FIE'18) |
| B SPIN | 2018 | Joint Forces for Memory Safety Checking (DOI) | Chalupa, Strejček, Vitovská | Springer | Model Checking Software. SPIN 2018 | |
| B IDEAS | 2018 | WalDis: Mining Discriminative Patterns within Dynamic Graphs (DOI) | Vaculík, Popelínský | ACM New York | IDEAS '18 Proceedings of the 22nd International Database Engineering & Applications Symposium | |
| B ICNC-FSKD | 2018 | Combining Cache and Priority Queue to Enhance Evaluation of Similarity Search Queries (DOI) | Nálepa, Batko, Zezula | IEEE | 2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery | |
| B DCOSS | 2018 | Adaptive Secrecy Amplification with Radio Channel Key Extraction (DOI) | Němec, Ošťádal, Matyáš, Švenda | IEEE | 2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS) | |
| B IFIP SEC | 2018 | Practical Cryptographic Data Integrity Protection with Full Disk Encryption (DOI) | Brož, Matyáš | Patočka | Springer | 2018 IFIP International Conference on ICT Systems Security and Privacy Protection |
| B ICSTCC | 2018 | Fully Automated Attractor Analysis of Cyanobacteria Models (DOI) | Beneš, Brim, Pastva, Šafránek, Troják | Červený, Šalagovič | IEEE | 22nd International Conference on System Theory, Control and Computing |
| B ICTAC | 2018 | Symbolic Computation via Program Transformation (DOI) | Barnat | Lauko, Ročkai | Springer | Theoretical Aspects of Computing – ICTAC 2018 |
| B ICTAC | 2018 | Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers (DOI) | Jonáš, Strejček | Springer | Theoretical Aspects of Computing – ICTAC 2018 | |
| B FedCSIS | 2018 | Agile to Lean Software Development Transformation: A Systematic Literature Review (DOI) | Kišš, Rossi | IEEE | 2018 Federated Conference on Computer Science and Information Systems (FedCSIS) | |
| B TSD | 2018 | Corpus Annotation Pipeline for Non-standard Texts (DOI) | Pelikánová, Nevěřilová | Springer International Publishing | Text, Speech, and Dialogue, 21st International Conference, TSD 2018 | |
| B ICFEM | 2018 | Model Checking of C++ Programs Under the x86-TSO Memory Model (DOI) | Štill, Barnat | Springer | Formal Methods and Software Engineering | |
| B ICATPN | 2018 | Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (DOI) | Srba | Boenneland, Dyhr, Jensen, Johannsen | Springer-Verlag | Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18) |
| B QEST | 2018 | Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (DOI) | Srba | Ivanov, Larsen, Schupp | Springer | Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18) |
| B ICTAI | 2018 | Sum-of-Products with Default Values: Algorithms and Complexity Results (DOI) | Ganian | Kim, Slivovsky, Szeider | IEEE | IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) |
| B ISM | 2018 | Multi-modal Image Retrieval for Search-based Image Annotation with RF (DOI) | Budíková, Batko, Zezula | IEEE | 2018 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM 2018) | |
| B IEEE IS | 2018 | Investigating Body Transfer Illusion from Human to Monkey Body (DOI) | Javorský, Škola, Liarokapis | Sylaiou, Martins | IEEE Computer Society | 2018 International Conference on Intelligent Systems (IS 2018) |
| B NOMS | 2018 | Passive OS Fingerprinting Methods in the Jungle of Wireless Networks (DOI) | Laštovička, Jirsík, Čeleda, Špaček, Filakovský | IEEE Xplore Digital Library | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
| B IoTBDS | 2018 | Exploring Big Data Clustering Algorithms for Internet of Things Applications (DOI) | Bangui, Ge, Bühnová | SCITEPRESS | Proceedings of the 3rd International Conference on Internet of Things, Big Data and Security | |
| B IWCMC | 2018 | Towards Predicting Cyber Attacks Using Information Exchange and Data Mining (DOI) | Husák, Kašpar | IEEE | 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC) | |
| B IWCMC | 2018 | Machine Learning Fingerprinting Methods in Cyber Security Domain: Which one to Use? (DOI) | Laštovička, Dufka, Komárková | IEEE Xplore Digital Library | Proceedings of the 14th International Wireless Communications and Mobile Computing Conference | |
| B ISBI | 2017 | Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Motile Cells with Growing Filopodia (DOI) | Sorokin, Peterlík, Ulman, Svoboda, Maška | IEEE | 14th IEEE International Symposium on Biomedical Imaging | |
| B ICSC | 2017 | Research Challenges in Multimedia Recommender Systems (DOI) | Ge | Persia | IEEE | Proceedings of the IEEE International Conference on Semantic Computing |
| B ICEIS | 2017 | Guildlines of Data Quality Issues for Data Integration in the Context of the TPC-DI Benchmark (DOI) | Ge | Yang, Helfert | SciTePress | Proceedings of the 19th International Conference on Enterprise Information Systems |
| B BIR | 2017 | Predicting Data Quality Success - The Bullwhip Effect in Data Quality (DOI) | Ge | Helfert, O'Brien | Springer | Proceedings of the 16th International Conference on Perspectives in Business Informatics Research |
| B ADBIS | 2017 | Assessing the Quality of Spatio-textual Datasets in the Absence of Ground Truth (DOI) | Ge | Chondrogiannis | Springer | Proceedings of the 21st European Conference on Advances in Databases and Information Systems |
| B ADBIS | 2017 | Fast Subsequence Matching in Motion Capture Data (DOI) | Sedmidubský, Zezula | Švec | Springer | 21st European Conference on Advances in Databases and Information Systems |
| B ICNC-FSKD | 2017 | Designing Fuzzy Apparatus to Model Dyslexic Individual Symptoms for Clinical Use (DOI) | Pařilová, Hladká, Říha | IEEE Inc. | 2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD) | |
| B EMCIS | 2017 | IT-enabled Digital Service Design Principles - Lessons Learned from Digital Cities (DOI) | Štěpánek, Ge, Walletzký | Springer | Proceedings of the 14th European Mediterranean & Middle Eastern Conference on Information Systems | |
| B ICCSA | 2017 | Document-Oriented Middleware: The Way to High-Quality Software (DOI) | Král, Pitner | Žemlička | Springer, Cham | International Conference on Computational Science and Its Applications |
| B ISBI | 2017 | Fast reconstruction of image deformation field using radial basis function (DOI) | Ručka, Peterlík | IEEE | 2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI) | |
| B EDM | 2017 | Measuring Similarity of Educational Items Using Data on Learners’ Performance | Řihák, Pelánek | International Educational Data Mining Society | Proceedings of the 10th International Conference on Educational Data Mining | |
| B CMSB | 2017 | Detecting Attractors in Biological Models with Uncertain Parameters (DOI) | Brim, Barnat, Šafránek, Beneš, Demko, Pastva, Hajnal | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2017 | |
| B ICATPN | 2017 | Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (DOI) | Pastva, Srba | Dalsgaard, Enevoldsen, Fogh, Jensen, Jepsen, Kaufmann, Larsen, Nielsen, Olesen | Springer International Publishing | Petri Nets 2017 |
| B SENSORS | 2017 | Fast Digital Spectrometer for Mixed Radiation Fields (DOI) | Pavelek, Matěj, Herman, Mravec, Veškrna, Přenosil | Cvachovec, Košťál | IEEE | 2017 IEEE SENSORS Proceedings |
| B ISESS | 2017 | Planning and Scheduling for Optimizing Communication in Smart Grids (DOI) | Kadlec, Bühnová, Pitner | Springer New York LLC | 12th International Symposium on Environmental Software Systems, ISESS 2017; | |
| B ADBIS | 2017 | Towards High Similarity Search Throughput by Dynamic Query Reordering and Parallel Processing (DOI) | Nálepa, Batko, Zezula | Springer International Publishing | Advances in Databases and Information Systems : 21st European Conference, ADBIS 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings | |
| B ISM | 2017 | A Real-Time Annotation of Motion Data Streams (DOI) | Eliáš, Zezula | Sedmidubský | IEEE Computer Society | 19th IEEE International Symposium on Multimedia |
| B ISM | 2017 | Enhancing Effectiveness of Descriptors for Searching and Recognition in Motion Capture Data (DOI) | Sedmidubský, Eliáš, Zezula | IEEE Computer Society | 19th IEEE International Symposium on Multimedia | |
| B EUSIPCO | 2017 | The Impact of Diverse Preprocessing Pipelines on Brain Functional Connectivity (DOI) | Výtvarová, Fousek, Bartoň, Mareček, Gajdoš, Lamoš, Nováková, Slavíček, Peterlík, Mikl | IEEE | 25th European Signal Processing Conference (EUSIPCO), Kos, Greece. | |
| B VS-Games | 2017 | Investigating the Effect of User Profile during Training for BCI-based Games (DOI) | Škola, Liarokapis | Vourvopoulos, Niforatos, Hlinka | IEEE Computer Society | Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017), IEEE Computer Society, Athens, Greece, 6-8 September |
| B VS-Games | 2017 | A Serious Game for Understanding Ancient Seafaring in the Mediterranean Sea (DOI) | Liarokapis | Philbin-Briscoe, Simon, Mudur, Poullis, Rizvic, Boskovic, Katsouri, Demesticha, Skarlatos | IEEE Computer Society | Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017) |
| B UMAP | 2017 | Experimental Analysis of Mastery Learning Criteria (DOI) | Pelánek, Řihák | ACM | Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization | |
| B VS-Games | 2017 | Single image reconstruction of human faces using database of depth images (DOI) | Ferková, Žuži, Urbanová, Matula | IEEE Computer Society | 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017) | |
| B QEST | 2017 | Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (DOI) | Korenčiak, Kučera, Řehák | Baier, Dubslaff | Springer | Quantitative Evaluation of Systems |
| B TSD | 2017 | Text Punctuation: An Inter-annotator Agreement Study (DOI) | Kovář | Boháč, Rott | Springer International Publishing | Text, Speech, and Dialogue: 20th International Conference, TSD 2017 |
| B QRS | 2017 | Using Off-the-Shelf Exception Support Components in C++ Verification (DOI) | Štill, Ročkai, Barnat | IEEE | IEEE International Conference on Software Quality, Reliability and Security - QRS 2017 | |
| B SECRYPT | 2017 | The Efficient Randomness Testing using Boolean Functions (DOI) | Sýs, Klinec, Švenda | SCITEPRESS | Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 4: SECRYPT, Madrid, Spain, July 24-26, 2017 | |
| B IDEAS | 2017 | Rapid automatic vehicle manufacturer recognition using Random forest (DOI) | Sedlák, Popelínský | ACM | Proceedings of the 21st International Database Engineering Applications Symposium, IDEAS | |
| B SEAA | 2017 | Cost-Sensitive Strategies for Data Imbalance in Bug Severity Classification: Experimental Results (DOI) | Rossi | Singha Roy | IEEE | 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017 |
| B SEAA | 2017 | Smart Grids Co-Simulations with Low-Cost Hardware (DOI) | Schvarcbacher, Rossi | IEEE | 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017 | |
| B ICTAC | 2017 | PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (DOI) | Srba | Jensen, Larsen | Springer | Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17) |
| B ISESS | 2017 | Semantic BMS: Ontology for Analysis of Building Operation Efficiency (DOI) | Kučera, Pitner | Springer | Environmental Software Systems. Computer Science for Environmental Protection. | |
| B ICCSA | 2017 | A system based on intelligent documents: A case study (DOI) | Král | Novák, Žemlička | Springer Verlag | 17th International Conference on Computational Science and Its Applications, ICCSA 2017 |
| B SOCA | 2017 | P2P Web Browser Middleware to Enhance Service Oriented Computing - Analysis and Evaluation (DOI) | Ge | Kobusińska, Wolski, Brzeziński | IEEE | 10th IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2017) |
| B UCC | 2017 | Scheduling Scientific Workloads in Private Cloud: Problems and Approaches (DOI) | Podolníková, Ürge | Klusáček, Parák | ACM | 10th International Conference on Utility and Cloud Computing (UCC 2017) |
| B ARES | 2017 | On the Sequential Pattern and Rule Mining in the Analysis of Cyber Security Alerts (DOI) | Husák, Kašpar, Čeleda | Bou-Harb | ACM | Proceedings of the 12th International Conference on Availability, Reliability and Security |
| B ICSOFT | 2017 | KYPO Cyber Range: Design and Use Cases (DOI) | Ošlejšek, Čeleda, Vizváry, Tovarňák | Vykopal | SciTePress | Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT |
| B FIE | 2017 | Lessons Learned From Complex Hands-on Defence Exercises in a Cyber Range (DOI) | Vizváry, Ošlejšek, Čeleda, Tovarňák | Vykopal | IEEE | 2017 IEEE Frontiers in Education Conference |
| B FedCSIS | 2016 | Automatic Keyword Extraction from Medical and Healthcare Curriculum (DOI) | Komenda, Karolyi, Pokorná, Víta | Kríž | Polskie Towarzystwo Informatyczne; IEEE | Annals of Computer Science and Information Systems, Volume 8 : Proceedings of the 2016 Federated Conference on Computer Science and Information Systems |
| B TSD | 2016 | Evaluation and Improvements in Punctuation Detection for Czech (DOI) | Kovář, Machura, Zemková | Rott | Springer | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings |
| B ISBI | 2016 | Texture Analysis of 3D Fluorescence Microscopy Images Using RSurf 3D Features (DOI) | Stoklasa, Majtner | IEEE Computer Society | International Symposium on Biomedical Imaging (ISBI'16) | |
| B ICAART | 2016 | On Evaluation of Natural Language Processing Tasks: Is Gold Standard Evaluation Methodology a Good Solution? | Kovář, Jakubíček, Horák | SCITEPRESS | Proceedings of the 8th International Conference on Agents and Artificial Intelligence | |
| B PacificVis | 2016 | Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics (DOI) | Jurčík, Sochor, Kozlíková | Parulek | IEEE | IEEE Pacific Visualization Symposium 2016 |
| B EDM | 2016 | A Comparative Analysis of Techniques for Predicting Student Performance | Bydžovská | International Educational Data Mining Society | Proceedings of the 9th International Conference on Educational Data Mining | |
| B EDM | 2016 | Course Enrollment Recommender System | Bydžovská | International Educational Data Mining Society | Proceedings of the 9th International Conference on Educational Data Mining | |
| B LREC | 2016 | European Union Language Resources in Sketch Engine | Baisa, Michelfeit, Medveď, Jakubíček | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) | |
| B LREC | 2016 | Graded and Word-Sense-Disambiguation Decisions in Corpus Pattern Analysis: a Pilot Study | Baisa | Cinkova, Krejčová, Vernerová | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) |
| B ADBIS | 2016 | Optimizing Query Performance with Inverted Cache in Metric Spaces (DOI) | Antol, Dohnal | Springer | Advances in Databases and Information Systems, 20th East European Conference, ADBIS 2016 | |
| B NTCIR | 2016 | Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies | Růžička, Sojka, Líška | National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan | Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies | |
| B LREC | 2016 | VPS-GradeUp: Graded Decisions on Usage Patterns | Baisa | Cinkova, Krejčová, Vernerová | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) |
| B ICNSC | 2016 | Towards better selective forwarding and delay attacks detection in wireless sensor networks (DOI) | Stehlík, Matyáš, Stecko | IEEE Computer Society | 2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC) | |
| B ITHET | 2016 | CoUnSiL: A Videoconferencing Environment for Interpretation of Sign Language (DOI) | Rusňák, Troubil, Hladká, Daxnerová, Kajaba, Minárik, Ondra, Sklenák | IEEE | 2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET) | |
| B SEAA | 2016 | Automated Bug Triaging in an Industrial Context (DOI) | Dedík, Rossi | IEEE | 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2016 | |
| B LAK | 2016 | Evaluation of an Adaptive Practice System for Learning Geography Facts (DOI) | Papoušek, Stanislav, Pelánek | ACM | Proceedings of the Sixth International Conference on Learning Analytics & Knowledge | |
| B LAK | 2016 | Impact of Data Collection on Interpretation and Evaluation of Student Models (DOI) | Pelánek, Řihák, Papoušek | ACM | Proceedings of the Sixth International Conference on Learning Analytics & Knowledge | |
| B SEFM | 2016 | Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (DOI) | Bendík, Beneš, Barnat, Černá | Lecture Notes in Computer Sciences in Computer Science, 9763 | Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 | |
| B SEFM | 2016 | LTL Parameter Synthesis of Parametric Timed Automata (DOI) | Bezděk, Beneš, Barnat, Černá | Lecture Notes in Computer Sciences in Computer Science, 9763 | Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. | |
| B IFM | 2016 | Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC (DOI) | Korenčiak, Řehák, Farmadin | Springer International Publishing | Integrated Formal Methods | |
| B EDM | 2016 | Properties and Applications of Wrong Answers in Online Educational Systems | Pelánek, Řihák | International Educational Data Mining Society | Proceedings of the 9th International Conference on Educational Data Mining | |
| B MMAR | 2016 | Application of Sampling-based Path Planning for Tunnel Detection in Dynamic Protein Structures (DOI) | Kozlíková | Vonásek | IEEE | MMAR: 21st International Conference on Methods and Models in Automation and Robotics |
| B SPIN | 2016 | SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI) | Mrázek, Bauch, Lauko, Barnat | Springer International Publishing | Model Checking Software | |
| B CMSB | 2016 | High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI) | Demko, Beneš, Brim, Pastva, Šafránek | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2016. | |
| B DEXA | 2016 | Enhancing Similarity Search Throughput by Dynamic Query Reordering (DOI) | Nálepa, Batko, Zezula | Springer International Publishing | Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II | |
| B HPCS | 2016 | Cryptography Enhanced Ad-Hoc Approach to P2P Overlays (DOI) | Zima, Hladká | IEEE | Proceedings of the 2016 International Conference on High Performance Computing & Simulation | |
| B TSD | 2016 | Annotated Amharic Corpora (DOI) | Rychlý, Suchomel | Springer International Publishing | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings | |
| B TSD | 2016 | AQA: Automatic Question Answering System for Czech (DOI) | Medveď | Horák | Springer International Publishing | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings |
| B FiCloud | 2016 | Social Engineering Attack Strategies and Defence Approaches (DOI) | Ghafir, Přenosil | Alhejailan, Hammoudeh | IEEE Xplore Digital Library | Proceedings of International Conference on Future Internet of Things and Cloud |
| B TSD | 2016 | Building Corpora for Stylometric Research (DOI) | Švec, Rygl | Springer International Publishing | Text, Speech, and Dialogue - 19th International Conference | |
| B ICSOFT | 2016 | Practical Multi-pattern Matching Approach for Fast and Scalable Log Abstraction (DOI) | Tovarňák | SCITEPRESS | ICSOFT-EA 2016 - Proceedings of the 11th International Joint Conference on Software Technologies | |
| B VS-Games | 2016 | Procedural Modeling in Archaeology: Approximating Ionic Style Columns for Games (DOI) | Liarokapis | Konecny, Sylaiou | IEEE | Proc. of the 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2016) |
| B TSD | 2016 | Annotation of Czech Texts with Language Mixing (DOI) | Nevěřilová | Springer International Publishing | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings | |
| B FSTTCS | 2016 | Tunable Online MUS/MSS Enumeration (DOI) | Beneš, Černá, Barnat | Bendík | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016 |
| B ESM | 2016 | Guided Optimization Method for Fast and Accurate Atomic Charges Computation | Hozzová, Křenek, Matyska | EUROSIS - ETI | Proceedings of the 2016 European Simulation and Modelling Conference | |
| B LREC | 2016 | Finding Definitions in Large Corpora with Sketch Engine | Kovář, Močiariková, Rychlý | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) | |
| B CANS | 2016 | Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping – Secrecy Amplification Case (DOI) | Ošťádal, Švenda, Matyáš | Springer International Publishing | International Conference on Cryptology and Network Security | |
| B PETRA | 2016 | Examining User Experiences in a Mobile Augmented Reality Tourist Guide (DOI) | Škola, Liarokapis | Střelák | ACM Press | Proc. of the 9th International Conference on PErvasive Technologies Related to Assistive Environments (Petra 2016), ACM Press, Corfu Island, Greece, 29 June - 1 July |
| B CMSB | 2016 | E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria (DOI) | Troják, Šafránek, Romanovská | Hrabec, Šalagovič, Červený | Springer | Computational Methods in Systems Biology. CMSB 2016. |
| B QEST | 2016 | Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent (DOI) | Brázdil | Bartocci, Milios, Sanguinetti, Bortolussi | Springer | Proceedings of QEST 2016 |
| B SPIN | 2016 | Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (DOI) | Srba | Jensen, Larsen | Springer | Proceedings of the 23rd International SPIN Symposium on Model Checking of Software (SPIN'16) |
| B PATAT | 2016 | Teacher-oriented Fairness in Course Timetabling | Rudová | Burget | PATAT | Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016) |
| B PATAT | 2016 | Online Problems in Timetabling: Bus Priority at Signalised Junctions | Rudová | Cogill, Mareček, Mevissen | PATAT | Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016) |
| B FedCSIS | 2016 | Word2vec Based System for Recognizing Partial Textual Entailment (DOI) | Víta | Kríž | IEEE | PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS) |
| B ICCSA | 2016 | Software Architecture and Software Quality (DOI) | Král | Žemlička | Springer | Computational Science and Its Applications – ICCSA 2016 |
| B ICCSA | 2016 | Confederative ERP Systems for Small-to-Medium Enterprises (DOI) | Král | Žemlička | Springer | Computational Science and Its Applications – ICCSA 2016 |
| B PROFES | 2016 | Is Mutation Testing Ready to Be Adopted Industry-Wide? (DOI) | Rossi | Možucha | Springer International Publishing | Product-Focused Software Process Improvement (PROFES) |
| B SAFECOMP | 2016 | Effective static and dynamic fault tree analysis. (DOI) | Krčál | Bäckström, Butkova, Hermanns, Krčál | Springer | In International Conference on Computer Safety, Reliability, and Security |
| B LATIN | 2016 | Edge-Editing to a Dense and a Sparse Graph Class (DOI) | Kotrbčík | Královič, Ordyniak | Springer | LATIN 2016: Latin American Symposium on Theoretical Informatics |
| B ICCHP | 2016 | CoUnSiL: Collaborative Universe for Remote Interpreting of Sign Language in Higher Education (DOI) | Rusňák, Troubil, Ondra, Sklenák, Daxnerová, Hladká, Kajaba, Minárik, Novák, Damm, Kala | Springer International Publishing | Computers Helping People with Special Needs: 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part II | |
| C SASB | 2020 | Toward Model Selection by Formal Methods (DOI) | Hajnal, Pastva | Elsevier | Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350 | |
| C FM | 2020 | Compiling C and C++ Programs for Dynamic White-Box Analysis (DOI) | Ročkai | Baranová | Springer International Publishing | Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019) |
| C SPW | 2020 | Evolution of SSL/TLS Indicators and Warnings in Web Browsers (DOI) | Kraus, Ukrop, Matyáš | Fiebig | Springer International Publishing | 27th International Workshop on Security Protocols (SPW 2019) |
| C AINA | 2020 | An Enhanced Blockchain-Based Data Management Scheme for Microgrids (DOI) | Mbarek, Chren, Rossi, Pitner | Springer International Publishing | Web, Artificial Intelligence and Network Applications (WAINA 2020) | |
| C AINA | 2020 | Toward Enforcing Security in Smart Homes Using a Trust-Based Scheme (DOI) | Mbarek, Pitner | Nafaa | Springer | AINA Workshops 2020 |
| C ICSIMAT | 2020 | Visualization of Folk-Dances in Virtual Reality Environments (DOI) | Doležal, Liarokapis | Kico, Grammalidis | Springer, Cham | Strategic Innovative Marketing and Tourism |
| C ICSIMAT | 2020 | Analysis of Human Motion Based on AI Technologies: Applications for Safeguarding Folk Dance Performances (DOI) | Kico, Liarokapis | Grammalidis | Springer, Cham | Strategic Innovative Marketing and Tourism |
| C ICSE | 2020 | Simulation Games Platform for Unintentional Perpetrator Attack Vector Identification (DOI) | Macák, Kružíková, Daubner, Bühnová | ACM | ICSEW'20: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops | |
| C TACAS | 2020 | Symbiotic 7: Integration of Predator and More (Competition Contribution) (DOI) | Chalupa, Jašek, Tomovič, Ayaziová, Strejček | Hruška, Šoková, Vojnar | Springer | Tools and Algorithms for the Construction and Analysis of Systems |
| C UMAP | 2020 | Exploring Personalized University Ranking and Recommendation (DOI) | Ge | Elahi, El Ioini, Lambrix | ACM | Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization - UMAP 2020 |
| C ICSA | 2020 | Reference Architecture for Trust-Based Digital Ecosystems (DOI) | Chren, Bühnová | Cioroaica, Kuhn, Dimtrov | IEEE Press | 2020 IEEE International Conference on Software Architecture Companion (ICSA-C) |
| C PRIS | 2020 | Techniques for Complex Analysis of Contemporary Data (DOI) | Peschel | Batko, Zezula | ACM | Proceedings of the 2020 International Conference on Pattern Recognition and Intelligent Systems |
| C SASB | 2020 | Executable Biochemical Space for Specification and Analysis of Biochemical Systems (DOI) | Troják, Šafránek, Brim | Šalagovič, Červený | Elsevier | 9th International Workshop on Static Analysis and Systems Biology (SASB) |
| C CSR | 2020 | On Embeddability of Unit Disk Graphs onto Straight Lines (DOI) | Cagirici | Springer, Cham | International Computer Science Symposium in Russia, CSR 2020 | |
| C AHFE | 2020 | Multi-contextual View to Smart City Architecture (DOI) | Walletzký, Ge, Romanovská | Carrubbo, Toli | Springer | AHFE Virtual Conference on the Human Side of Service Engineering |
| C ICSE | 2020 | Building trust in the untrustable (DOI) | Bühnová | Cioroaica, Kuhn, Schneider | ACM | Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society |
| C SISAP | 2020 | Accelerating Metric Filtering by Improving Bounds on Estimated Distances (DOI) | Míč, Zezula | Springer | Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings | |
| C SISAP | 2020 | Pivot Selection for Narrow Sketches by Optimization Algorithms (DOI) | Míč | Naoya, Yasunobu, Takeshi, Kouichi, Tetsuji | Springer | Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings |
| C FM | 2020 | Model checking in a development workflow: A study on a concurrent C++ hash table (DOI) | Ročkai | Springer International Publishing | Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019) | |
| C ECSA | 2020 | Girl-Friendly Computer Science Classroom: Czechitas Experience Report (DOI) | Bühnová | Happe | Springer | European Conference on Software Architecture |
| C EuroS&P | 2020 | JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets (DOI) | Švenda | Mavroudis | IEEE | 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) |
| C Big Data | 2020 | Towards verifiable evidence generation in forensic-ready systems (DOI) | Daubner, Macák, Bühnová, Pitner | IEEE | 2020 IEEE International Conference on Big Data (Big Data) | |
| C HCII | 2020 | Underwater Search and Discovery: From Serious Games to Virtual Reality (DOI) | Vidová | Liarokapis, Rizvić, Demesticha, Skarlatos | Springer | 22nd International Conference on Human-Computer Interaction, HCII 2020 |
| C NOMS | 2020 | Using TLS Fingerprints for OS Identification in Encrypted Traffic (DOI) | Laštovička, Špaček, Velan, Čeleda | IEEE Xplore Digital Library | 2020 IEEE/IFIP Network Operations and Management Symposium (NOMS 2020) | |
| C NOMS | 2020 | Network Monitoring and Enumerating Vulnerabilities in Large Heterogeneous Networks (DOI) | Laštovička, Husák, Sadlek | IEEE Xplore Digital Library | NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium | |
| C SNAMS | 2020 | Towards Process Mining Utilization in Insider Threat Detection from Audit Logs (DOI) | Macák, Merjavý, Jevočin, Bühnová | Vanát | IEEE | 2020 Seventh International Conference on Social Networks Analysis, Management and Security (SNAMS) |
| C ECCV | 2019 | Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data (DOI) | Nečasová, Svoboda | Springer | Computer Vision – ECCV 2018 Workshops | |
| C ECCV | 2019 | Automatic Fusion of Segmentation and Tracking Labels (DOI) | Akbas, Ulman, Maška, Kozubek | Jug | Springer Nature | Computer Vision – ECCV 2018 Workshops |
| C ICETE | 2019 | BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256 (DOI) | Sýs, Klinec, Kubíček, Švenda | Springer | E-Business and Telecommunications 14th International Joint Conference, ICETE 2017 | |
| C WISTP | 2019 | Bringing kleptography to real-world TLS (DOI) | Janovský, Matyáš | Krhovják | Springer | Information Security Theory and Practice |
| C ICMR | 2019 | Similarity Search in 3D Human Motion Data (DOI) | Sedmidubský, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
| C ICMR | 2019 | Recognizing User-Defined Subsequences in Human Motion Data (DOI) | Sedmidubský, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
| C SCSP | 2019 | Smart Grids and Software Testing Process Models (DOI) | Hrabovská, Šimková, Rossi, Pitner | IEEE | 2019 Smart City Symposium Prague (SCSP) | |
| C ICSA | 2019 | PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes (DOI) | Gešvindr, Bühnová | IEEE | 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) | |
| C ICSE | 2019 | (Do not) trust in ecosystems (DOI) | Bühnová | Cioroaica, Kuhn | IEEE Press | Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results |
| C | 2019 | Women Want to Learn Tech: Lessons from the Czechitas Education Project (DOI) | Bühnová | Přikrylová | IEEE Press | Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering |
| C ECSA | 2019 | Towards Creation of a Reference Architecture for Trust-Based Digital Ecosystems (DOI) | Chren, Bühnová | Cioroaica, Kuhn, Dimitrov | ACM | Proceedings of European Conference on Software Architecture (ECSA 2019) Workshops |
| C TACAS | 2019 | Extending DIVINE with Symbolic Verification Using SMT (DOI) | Lauko, Štill, Ročkai, Barnat | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems | |
| C L@S | 2019 | Measuring Difficulty of Introductory Programming Tasks (DOI) | Effenberger, Čechák, Pelánek | ACM | Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19) | |
| C L@S | 2019 | Measuring Students’ Performance on Programming Tasks (DOI) | Effenberger, Pelánek | ACM | Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19) | |
| C AIED | 2019 | Towards Adaptive Hour of Code (DOI) | Effenberger | Springer | International Conference on Artificial Intelligence in Education | |
| C SLSP | 2019 | Word Sense Induction Using Word Sketches (DOI) | Herman | Kovář, Jakubíček, Rychlý | Springer | Proceedings of the 7th International Conference on Statistical Language and Speech Processing |
| C I-SPAN | 2019 | Exploiting Recommender Systems in Collaborative Healthcare (DOI) | Ge | D'Auria, Persia | Springer Communications in Computer and Information Science | Proceedings of the 16th International Symposium on Pervasive Systems, Algorithms and Networks |
| C CMSB | 2019 | Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI) | Šafránek, Troják, Brůža, Demko, Pastva, Brim | Vejpustek, Papoušek, Pejznoch | Springer | Computational Methods in Systems Biology (CMSB 2019) |
| C SISAP | 2019 | Metric Embedding into the Hamming Space with the n-Simplex Projection (DOI) | Míč, Zezula | Vadicamo, Fabrizio | Springer International Publishing | Similarity Search and Applications: 12th International Conference, SISAP 2019, Newark, New Jersey, USA, October 2-4, 2019, Proceedings |
| C IDEAS | 2019 | A genetic algorithm for discriminative graph pattern mining (DOI) | Vaculík, Popelínský | ACM | Proceedings of the 23rd International Database Applications & Engineering Symposium, IDEAS 2019, Athens, Greece | |
| C VS-Games | 2019 | Comparison of Trajectories and Quaternions of Folk Dance Movements Using Dynamic Time Warping (DOI) | Kico, Liarokapis | IEEE | 2019 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games) | |
| C SISAP | 2019 | ADAMiSS: Advanced Data Analysis, Mining and Search, System (DOI) | Peschel, Zezula | Springer International Publishing | Similarity Search and Applications: 12th International conference, SISAP 2019, Newark, New Jersey, USA, October 2-4, 2019, Proceedings | |
| C FMICS | 2019 | A Simulator for LLVM Bitcode (DOI) | Ročkai, Barnat | Springer Verlag | 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 | |
| C VRST | 2019 | A Mobile Augmented Reality Interface for Teaching Folk Dances (DOI) | Kico, Liarokapis | ACM New York, NY, USA | Proceeding VRST '19 25th ACM Symposium on Virtual Reality Software and Technology Article No. 47 | |
| C RP | 2019 | Bidding Games on Markov Decision Processes (DOI) | Novotný | Avni, Henzinger, Ibsen-Jensen | Springer | Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. |
| C | 2019 | Advanced Recommender Systems by Exploiting Social Networks (DOI) | Ge | Persia, D'Auria | IEEE | Proceedings of the IEEE International Conference on Humanized Computing and Communication |
| C CALDAM | 2019 | Drawing Bipartite Graphs in Two Layers with Specified Crossings (DOI) | Roy | Diwan, Ghosh | Springer | 5th International Conference of Algorithms and Discrete Applied Mathematics (CALDAM 2019) |
| C RSSRail | 2019 | Safe and Time-Optimal Control for Railway Games (DOI) | Srba | Karra, Larsen, Lorber | Springer | RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification |
| C HSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Nouvian, Petrov | Springer International Publishing | Hybrid Systems Biology (HSB 2019) |
| C CONFENIS | 2019 | Preventing Additive Attacks to Relational Database Watermarking (DOI) | Olliaro | Làzaro Pèrez Gort, Feregrino Uribe, Cortesi | Springer | 13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019 |
| C ECSA | 2019 | Assisting women in career change towards software engineering: experience from Czechitas NGO (DOI) | Bühnová | Jurystová, Přikrylová | ACM | Proceedings of the 13th European Conference on Software Architecture - Volume 2 |
| C CMSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Morgane, Petrov | Springer Nature | 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) |
| C IM | 2019 | Real-time Pattern Detection in IP Flow Data using Apache Spark | Čermák, Laštovička, Jirsík | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
| C IM | 2019 | Current Issues of Malicious Domains Blocking | Špaček, Laštovička, Plesník | Horák | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
| C IM | 2019 | DNS Firewall Data Visualization | Špaček, Rusňák, Dombajová | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
| C HeteroPar | 2019 | Exploiting historical data: pruning autotuning spaces and estimating the number of tuning steps (DOI) | Oľha, Hozzová, Fousek, Filipovič | Springer, Cham | Lecture Notes in Computer Science | |
| C BSLab | 2018 | Towards Discovering the Limits of Smart Grid Communication Infrastructure (DOI) | Kadlec, Bühnová, Pitner | Rosecký, Procházka | Springer | Governing Business Systems |
| C CT-RSA | 2018 | Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability (DOI) | Ukrop, Matyáš | Springer International Publishing | Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018 | |
| C SPW | 2018 | Entropy crowdsourcing - protocols for link key updates in wireless sensor networks (DOI) | Němec, Ošťádal, Matyáš, Švenda | Springer International Publishing | Security Protocols XXVI: 26th International Workshop | |
| C W4A | 2018 | DysHelper – The Dyslexia Assistive User Experience (DOI) | Pařilová | Remšíková | ACM New York, USA | W4A 15th International Cross-Disciplinary Conference on Web Accessibility |
| C CALDAM | 2018 | Consistent Subset Problem with Two Labels. (DOI) | Roy | Khodamoradi, Krishnamurti | Springer | Algorithms and Discrete Applied Mathematics, CALDAM 2018 |
| C TACAS | 2018 | Symbiotic 5: Boosted Instrumentation (Competition Contribution) (DOI) | Chalupa, Vitovská, Strejček | Springer | Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II | |
| C SCSP | 2018 | Reliability Data for Smart Grids: Where the Real Data can be Found (DOI) | Chren, Rossi, Bühnová, Pitner | IEEE | 2018 Smart City Symposium Prague (SCSP) | |
| C IndCDM | 2018 | Speeding up Continuous kNN Join by Binary Sketches (DOI) | Nálepa, Batko, Zezula | Springer | Advances in Data Mining | |
| C ICFNDS | 2018 | Disguised Executable Files in Spear-Phishing Emails: Detecting the Point of Entry in Advanced Persistent Threat (DOI) | Ghafir, Přenosil | Hammoudeh, Aparicio-Navarro, Rabie, Jabban | ACM Digital Library | Proceedings of International Conference on Future Networks and Distributed Systems |
| C IRI | 2018 | How to exploit Recommender Systems in Social Media (DOI) | Ge | Persia, D'Auria | IEEE | Proceedings of the IEEE 19th International Conference on Information Reuse and Integration for Data Science |
| C ICDE | 2018 | Towards Artificial Priority Queues for Similarity Query Execution (DOI) | Antol, Dohnal | IEEE | 2018 IEEE 34th International Conference on Data Engineering Workshops (ICDEW) | |
| C LICS | 2018 | Black Ninjas in the Dark: Formal Analysis of Population Protocols (DOI) | Kučera | Blondin, Esparza, Jaax | ACM | 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| C SASHIMI | 2018 | Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Multiple Mutually Interacting Motile Cells with Filopodia (DOI) | Peterlík, Svoboda, Maška | Ulman, Sorokin | Springer | Simulation and Synthesis in Medical Imaging |
| C MM | 2018 | Similarity-Based Processing of Motion Capture Data (DOI) | Sedmidubský, Zezula | ACM | Proceedings of the ACM Conference on Multimedia (MM 2018) | |
| C SASHIMI | 2018 | Tubular Network Formation Process Using 3D Cellular Potts Model (DOI) | Svoboda, Nečasová, Šimara | Tesařová | Springer | Simulation and Synthesis in Medical Imaging |
| C DEXA | 2018 | Towards Faster Similarity Search by Dynamic Reordering of Streamed Queries (DOI) | Nálepa, Batko, Zezula | Springer | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII | |
| C CIKM | 2018 | MIaS: Math-Aware Retrieval in Digital Mathematical Libraries (DOI) | Sojka, Růžička, Novotný | ACM | Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18) | |
| C VS-Games | 2018 | A Model for Eye and Head Motion for Virtual Agents (DOI) | Krejsa, Kerouš, Liarokapis | IEEE | Proc. of the 10th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2018) | |
| C CVCBT | 2018 | Inputs Reduction for More Space in Bitcoin Blocks (DOI) | Zima | IEEE | 2018 Crypto Valley Conference on Blockchain Technology (CVCBT) | |
| C SSCI | 2018 | Enhanced Scheduling for Real-Time Traffic Control (DOI) | Dang, Rudová | IEEE | 2018 IEEE Symposium Series on Computational Intelligence (SSCI) | |
| C ICDM | 2018 | Modifying Hamming Spaces for Efficient Search (DOI) | Míč, Novák, Zezula | IEEE | 18th International Conference on Data Mining Workshops (ICDMW), Singapore, November 17-21, 2018 | |
| C L@S | 2018 | Exploring the Utility of Response Times and Wrong Answers for Adaptive Learning (DOI) | Pelánek | ACM | Learning @ Scale | |
| C L@S | 2018 | Measuring Item Similarity in Introductory Programming (DOI) | Pelánek, Effenberger, Vaněk, Sassmann, Gmiterko | ACM | Proceedings of the Fifth Annual ACM Conference on Learning at Scale | |
| C L@S | 2018 | Towards making block-based programming activities adaptive (DOI) | Effenberger, Pelánek | ACM | Learning @ Scale | |
| C ICATPN | 2018 | MCC'2017 - The Seventh Model Checking Contest (DOI) | Srba | Kordon, Garavel, Hillah, Paviot-Adet, Jezequel, Hulin-Hubard, Amparore, Beccuti, Bertomieu, Evrard, Jensen, Le Botlan, Liebke, Meijer, Thierry-Mieg, Pol, Wolf | Springer | Transactions on Petri Nets and Other Models of Concurrency XIII |
| C | 2018 | Improving the Success Probability for Shor’s Factorization Algorithm (DOI) | Gruska | Xu, Qiu, Zou | Springer | Reversibility and Universality |
| C BIBM | 2018 | TE-nester: a recursive software tool for structure-based discovery of nested transposable elements (DOI) | Lexa, Lapár | Vanát, Jedlička, Červeňanský, Kejnovský | IEEE | Proceedings 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) |
| C ISoLA | 2018 | Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes (DOI) | Brázdil, Křetínský | Slámečka, Ashok | Springer | Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) |
| C NOMS | 2018 | Passive OS Fingerprinting Prototype Demonstration (DOI) | Laštovička, Filakovský | IEEE Xplore Digital Library | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
| C NOMS | 2018 | Community Based Platform for Vulnerability Categorization (DOI) | Komárková, Sadlek, Laštovička | IEEE Xplore Digital Library | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
| C ARES | 2018 | CRUSOE: Data Model for Cyber Situation Awareness (DOI) | Komárková, Husák, Laštovička, Tovarňák | ACM | Proceedings of the 13th International Conference on Availability, Reliability and Security | |
| C NOMS | 2018 | Toward Real-time Network-wide Cyber Situational Awareness (DOI) | Jirsík, Čeleda | IEEE | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
| C NOMS | 2018 | Stream4Flow: Real-time IP Flow Host Monitoring using Apache Spark (DOI) | Jirsík | IEEE | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
| C FIE | 2018 | Gathering Insights from Teenagers' Hacking Experience with Authentic Cybersecurity Tools (DOI) | Švábenský | Vykopal | IEEE | 2018 IEEE Frontiers in Education Conference (FIE) |
| C RRPR | 2017 | An Evaluation Framework and Database for MoCap-Based Gait Recognition Methods (DOI) | Balážia, Sojka | Springer International Publishing AG | Proceedings of the 1st IAPR Workshop on Reproducible Research in Pattern Recognition (RRPR 2016) | |
| C UMAP | 2017 | Item Contents Good, User Tags Better: Empirical Evaluation of a Food Recommender System (DOI) | Ge | Massimo, Elahi, Ricci | ACM | Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization |
| C ICFNDS | 2017 | Malicious SSL Certificate Detection: A Step Towards Advanced Persistent Threat Defence (DOI) | Ghafir, Přenosil | Hammoudeh, Han, Umar | ACM Digital Library | Proceedings of International Conference on Future Networks and Distributed Systems |
| C SCCG | 2017 | AnthroVis: Visual Analysis of 3D Mesh Ensembles for Forensic Anthropology (DOI) | Furmanová, Urbanová, Kozlíková | ACM | Proceedings of the 33rd Spring Conference on Computer Graphics | |
| C AIMS | 2017 | Visual Analytics for Network Security and Critical Infrastructures (DOI) | Dočkalová Burská, Ošlejšek | Springer | AIMS 2017 - 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security | |
| C ISSTA | 2017 | Consistency Checking in Requirements Analysis (DOI) | Bendík | ACM New York | Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017 | |
| C SPW | 2017 | Reconsidering Attacker Models in Ad-Hoc Networks (DOI) | Ošťádal, Švenda, Matyáš | Springer International Publishing AG | Security Protocols XXIV - 24th International Workshop | |
| C OCEANSE | 2017 | Development and integration of digital technologies addressed to raise awareness and access to European underwater cultural heritage. An overview of the H2020 i-MARECULTURE project (DOI) | Čejka, Kouřil, Liarokapis | Bruno, Lagudi, Ritacco, Agrafiotis, Skarlatos, Philpin-Briscoe, Poullis, Mudur, Simon | IEEE | Proc. of OCEANS 2017 |
| C ICSA | 2017 | System for Collection and Processing of Smart Home Sensor Data (DOI) | Gešvindr, Bühnová, Michálková | IEEE | 2017 IEEE International Conference on Software Architecture Workshops (ICSAW) | |
| C SCSP | 2017 | Weather forecast based scheduling for demand response optimization in smart grids (DOI) | Kadlec, Bühnová | Tomšík, Herman, Družbíková | IEEE | Smart City Symposium Prague (SCSP), 2017 |
| C RoMoCo | 2017 | Tunnel detection in protein structures using sampling-based motion planning (DOI) | Kozlíková | Vonásek | IEEE | Robot Motion and Control (RoMoCo), 2017 11th International Workshop on |
| C | 2017 | Fusion Strategies for Large-Scale Multi-modal Image Retrieval (DOI) | Budíková, Batko, Zezula | Springer | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII | |
| C ISM | 2017 | A Web Application for Subsequence Matching in 3D Human Motion Data (DOI) | Sedmidubský, Zezula | IEEE Computer Society | 19th IEEE International Symposium on Multimedia | |
| C IJCB | 2017 | You Are How You Walk: Uncooperative MoCap Gait Identification for Video Surveillance with Incomplete and Noisy Data (DOI) | Balážia, Sojka | IEEE | Proceedings of the 3rd IEEE/IAPR International Joint Conference on Biometrics (IJCB 2017) | |
| C SISAP | 2017 | Cache and Priority Queue Based Approximation Technique for a Stream of Similarity Search Queries (DOI) | Nálepa, Batko, Zezula | Springer, Cham | Similarity Search and Applications : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings | |
| C SASHIMI | 2017 | Multimodal Simulations in Live Cell Imaging (DOI) | Svoboda, Kozubek | Springer | Simulation and Synthesis in Medical Imaging | |
| C VS-Games | 2017 | An Immersive Virtual Environment for Collaborative Geovisualization (DOI) | Doležal, Chmelík, Liarokapis | IEEE Computer Society | 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017) | |
| C SISAP | 2017 | Sketches with Unbalanced Bits for Similarity Search (DOI) | Míč, Novák, Zezula | Springer International Publishing | Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings | |
| C NSS | 2017 | Coincer: Decentralised Trustless Platform for Exchanging Decentralised Cryptocurrencies (DOI) | Zima | Springer International Publishing | Network and System Security: 11th International Conference, NSS 2017, Helsinki, Finland, August 21--23, 2017, Proceedings | |
| C TACAS | 2017 | Symbiotic 4: Beyond Reachability (Competition Contribution) (DOI) | Chalupa, Vitovská, Jonáš, Slabý, Strejček | Springer Berlin Heidelberg | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference | |
| C ISMAR | 2017 | BrainChat - A Collaborative Augmented Reality Brain Interface for Message Communication (DOI) | Kerouš, Liarokapis | IEEE Computer Society | Proc. of the International Symposium on Mixed and Augmented Reality (ISMAR 2017) - Adjunct Proceedings | |
| C ICFNDS | 2017 | An IoT and Business Processes Based Approach for the Monitoring and Control of High Value-Added Manufacturing Processes (DOI) | Ghafir | Raza, Lomax, Kharel, Whiteside | ACM Digital Library | Proceedings of International Conference on Future Networks and Distributed Systems |
| C ISSRE | 2017 | Towards Multi-layered Reliability Analysis in Smart Grids (DOI) | Chren | IEEE | Proceedings of International Symposium on Software Reliability Engineering (ISSRE) Workshops | |
| C TACAS | 2017 | Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (DOI) | Mrázek, Jonáš, Štill, Lauko, Barnat | Springer | Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II | |
| C CMSB | 2017 | Discrete Bifurcation Analysis with Pithya | Beneš, Brim, Demko, Hajnal, Pastva, Šafránek | Springer | 15th International Conference on Computational Methods in Systems Biology (CMSB) | |
| C RV | 2017 | From Model Checking to Runtime Verification and Back (DOI) | Ročkai, Barnat | Kejstová | Springer | Runtime Verification - 17th International Conference, RV 2017 |
| C ICCV | 2017 | Particle Tracking Accuracy Measurement Based on Comparison of Linear Oriented Forests (DOI) | Maška, Matula | IEEE | 16th IEEE International Conference on Computer Vision Workshops | |
| C SPW | 2017 | Extending Full Disk Encryption for the Future (DOI) | Brož | Springer International Publishing | Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers | |
| C ICMT | 2017 | Indirect method to estimate distance measurement based on single visual cameras (DOI) | Ha | Bui, Doskočil, Krivanek, Bergeon, Kutilek | IEEE | 2017 International Conference on Military Technologies (ICMT) |
| C IPTA | 2017 | Correlation-based 2D Registration Method for Single Particle Cryo-EM Images (DOI) | Sorokin | Anoshina, Krylov | IEEE | Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), 2017 |
| C SCSP | 2017 | Smart mobile technologies for the city of the future (DOI) | Bangui, Bühnová | Rakrak, Raghay | IEEE | Smart City Symposium Prague (SCSP), 2017 |
| C UMAP | 2017 | Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts (DOI) | Papoušek, Pelánek | ACM | Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization | |
| C UMAP | 2017 | Should We Give Learners Control Over Item Difficulty? (DOI) | Papoušek, Pelánek | ACM | Personalization Approaches in Learning Environments, Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization | |
| C UMAP | 2017 | Measuring predictive performance of user models: The details matter (DOI) | Pelánek | ACM | Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization | |
| C | 2017 | Time-space complexity advantages for quantum computing (DOI) | Gruska | Springer | Lecture Notes in Computer Science, Volume 10687: 6th International Conference on Theory and Practice of Natural Computing, TPNC 2017 | |
| C VRST | 2017 | VEAAR - Virtual Environment for Archaeological Artefacts Restoration (DOI) | Chmelík, Jurda | ACM | VRST'17: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY | |
| C IM | 2017 | A Graph-based Representation of Relations in Network Security Alert Sharing Platforms (DOI) | Husák, Čermák | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
| C IM | 2017 | Honeypot Testbed for Network Defence Strategy Evaluation (DOI) | Komárková, Husák, Vizváry, Čeleda | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
| C AIMS | 2017 | Situational Awareness: Detecting Critical Dependencies and Devices in a Network (DOI) | Laštovička, Čeleda | Springer | AIMS 2017 - 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security | |
| C IC3T | 2016 | Malicious File Hash Detection and Drive-by Download Attacks (DOI) | Ghafir, Přenosil | Springer | Proceedings of the Second International Conference on Computer and Communication Technologies, series Advances in Intelligent Systems and Computing | |
| C MEMICS | 2016 | Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs (DOI) | Hliněný | Slámečka | Springer | Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548 |
| C ICOCOE | 2016 | Proposed Approach for Targeted Attacks Detection (DOI) | Ghafir, Přenosil | Springer International Publishing | Advanced Computer and Communication Engineering Technology, Lecture Notes in Electrical Engineering | |
| C MEMICS | 2016 | Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets (DOI) | Nálepa, Batko, Zezula | Springer International Publishing | Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers | |
| C MEMICS | 2016 | The Challenge of Increasing Safe Response of Antivirus Software Users (DOI) | Šťavová, Matyáš, Malinka | Springer International Publishing, | Mathematical and Engineering Methods in Computer Science | |
| C | 2016 | Randomness Testing: Result Interpretation and Speed (DOI) | Sýs, Matyáš | Springer-Verlag Berlin Heidelberg | The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday | |
| C | 2016 | Performance Challenges, Current Bad Practices, and Hints in PaaS Cloud Application Design (DOI) | Gešvindr, Bühnová | ACM | Performance Evaluation Review Volume 43, Issue 4 | |
| C DEXA | 2016 | PPP-Codes for Large-Scale Similarity Searching (DOI) | Novák, Zezula | Springer | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV | |
| C SISAP | 2016 | Similarity Searching in Long Sequences of Motion Capture Data (DOI) | Sedmidubský, Eliáš, Zezula | Springer International Publishing AG | Proceedings of 9th International Conference on Similarity Search and Applications (SISAP 2016), LNCS 9939 | |
| C SCSP | 2016 | Smart grids deployments within EU projects: The role of smart meters (DOI) | Chren, Rossi, Pitner | IEEE | 2016 Smart Cities Symposium Prague (SCSP) | |
| C SCSP | 2016 | ICT architecture for the Smart Grid: Concept overview (DOI) | Kazičková, Bühnová | IEEE | 2016 Smart Cities Symposium Prague (SCSP) | |
| C DoCEIS | 2016 | Semantic BMS: Ontology for Analysis of Building Automation Systems Data (DOI) | Kučera, Pitner | Springer International Publishing | DoCEIS 2016: Technological Innovation for Cyber-Physical Systems | |
| C DiVAI | 2016 | Putting learners’ experience at the center of technology enhanced learning, or how students can learn more while enjoying their classes | Pitner | Motschnig | Wolters Kluwer | DIVAI - 11th International Scientific Conference on Distance Learning in Applied Informatics |
| C ITS | 2016 | What is More Important for Student Modeling: Domain Structure or Response Times? (DOI) | Řihák, Pelánek | Springer International Publishing | Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings | |
| C TACAS | 2016 | DIVINE: Explicit-State LTL Model Checker (DOI) | Štill, Ročkai, Barnat | Springer-Verlag New York, Inc. | Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
| C MEMICS | 2016 | Weak Memory Models as LLVM-to-LLVM Transformations (DOI) | Štill, Ročkai, Barnat | Springer | Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop | |
| C HSB | 2016 | Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (DOI) | Hajnal, Šafránek, Demko, Pastva, Brim | Krejčí | Springer International Publishing | Hybrid Systems Biology. HSB 2016 |
| C FiCloud | 2016 | A Survey on Network Security Monitoring Systems (DOI) | Ghafir, Přenosil | Svoboda, Hammoudeh | IEEE Xplore Digital Library | Proceedings of International Conference on Future Internet of Things and Cloud |
| C AIMSA | 2016 | Visual Anomaly Detection in Educational Data (DOI) | Géryk, Popelínský, Triščík | Springer International Publishing | Artificial Intelligence: Methodology, Systems, and Applications: 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings | |
| C WISTP | 2016 | Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms (DOI) | Šťavová, Matyáš | Just | Springer | Information Security Theory and Practice: 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26--27, 2016, Proceedings |
| C SISAP | 2016 | Speeding up Similarity Search by Sketches (DOI) | Míč, Novák, Zezula | Springer | Similarity Search and Applications (SISAP 2016) | |
| C TACAS | 2016 | Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution) (DOI) | Chalupa, Jonáš, Slabý, Strejček, Vitovská | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 | |
| C VS-Games | 2016 | Brain-Computer Interfaces - A Survey on Interactive Virtual Environments (DOI) | Kerouš, Liarokapis | IEEE | Proc. of the 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2016) | |
| C S+SSPR | 2016 | Learning Robust Features for Gait Recognition by Maximum Margin Criterion (DOI) | Balážia, Sojka | Springer International Publishing AG | Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016) | |
| C ECCV | 2016 | Automatic Detection and Segmentation of Exosomes in Transmission Electron Microscopy (DOI) | Štěpka, Maška, Pálenik, Pospíchalová, Ilkovics, Klemová, Hampl, Bryja, Matula | Kotrbová | Springer International Publishing | Computer Vision -- ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I |
| C SCCG | 2016 | Evaluation of Continuous Collision Detection Accelerated with Tetrahedral Structures (DOI) | Čejka | ACM | Proceedings of the 32nd Spring Conference on Computer Graphics (SCCG '16) | |
| C ISoLA | 2016 | Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances (DOI) | Křetínský | Springer | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016 | |
| C ICCABS | 2016 | Semi-automatic mining of correlated data from a complex database: Correlation network visualization (DOI) | Lexa, Lapár | IEEE | Computational Advances in Bio and Medical Sciences (ICCABS), 2016 IEEE 6th International Conference on | |
| C AAMAS | 2016 | Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract) | Brázdil | Novotný, Chatterjee, Chmelík, Gupta | ACM | Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems |
| C ICDM | 2016 | Designing Sketches for Similarity Filtering (DOI) | Míč, Novák, Zezula | IEEE | 2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW) | |
| C ADBIS | 2016 | Similarity searching for Database Applications (DOI) | Zezula | Springer | Advances in Databases and Information Systems | |
| C IECON | 2016 | Toolchain for User-Centered Intelligent Floor Heating Control (DOI) | Srba | Agesen, Larsen, Mikucionis, Muniz, Olsen, Pedersen, Skou | IEEE | Proceedings of the 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON'16) |
| C SETTA | 2016 | Distributed Computation of Fixed Points on Dependency Graphs (DOI) | Srba | Dalsgaard, Enevoldsen, Larsen | Springer | Proceedings of Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'16) |
| C | 2016 | TAPAAL and Reachability Analysis of P/T Nets (DOI) | Srba | Jensen, Nielsen, Oestergaard | Springer | TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI |
| C | 2016 | Schedulers are no Prophets (DOI) | Krčál | Hartmanns, Hermanns | Springer International Publishing | Semantics, Logics, and Calculi |
| C SSCI | 2016 | Network Flows for Data Distribution and Computation (DOI) | Rudová | Makatun, Lauret, Šumbera | IEEE | 2016 IEEE Symposium Series on Computational Intelligence (SSCI) |
| C SASB | 2016 | Formal Biochemical Space with Semantics in Kappa and BNGL (DOI) | Šafránek, Troják, Klement, Brim | Děd, Šalagovič | Elsevier | The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015 |
| C POST | 2016 | The value of attack-defence diagrams. (DOI) | Krčál | Hermanns, Krämer, Stoelinga | Springer | In International Conference on Principles of Security and Trust |
| C ANIMMA | 2016 | Neutron/gamma-ray discrimination through measures of fit (DOI) | Amiri, Přenosil, Cvachovec | IEEE | 2015 4th International Conference on Advancements in Nuclear Instrumentation Measurement Methods and their Applications (ANIMMA) | |
| C ANIMMA | 2016 | Optimum filter-based discrimination of neutrons and gamma rays (DOI) | Amiri, Přenosil, Cvachovec | IEEE | 2015 4th International Conference on Advancements in Nuclear Instrumentation Measurement Methods and their Applications (ANIMMA) | |
| C ISAT | 2016 | Method of Solving the Volume Between Triangulated Mesh Surfaces (DOI) | Sehnal | Tengler | SPRINGER-VERLAG BERLIN | INFORMATION SYSTEMS ARCHITECTURE AND TECHNOLOGY, ISAT 2015, PT III |
| C AIMS | 2016 | Detecting Advanced Network Threats Using a Similarity Search (DOI) | Čermák, Čeleda | Springer International Publishing | Management and Security in the Age of Hyperconnectivity | |
| C NOMS | 2016 | Network Traffic Characterisation Using Flow-Based Statistics (DOI) | Velan, Komárková, Jirsík, Čeleda | IEEE Xplore Digital Library | IEEE/IFIP Network Operations and Management Symposium 2016 (NOMS 2016) | |
| C AIMS | 2016 | Network Defence Using Attacker-Defender Interaction Modelling (DOI) | Komárková, Čeleda | Springer International Publishing | IFIP International Conference on Autonomous Infrastructure, Management and Security | |
| C ICITCS | 2016 | On Information Value of Top N Statistics (DOI) | Jirsík, Čermák, Čeleda | IEEE | 2016 6th International Conference on IT Convergence and Security (ICITCS) | |
| D ANIMMA | 2020 | Perspective liquid scintillators for spectrometry of neutron and gamma radiation (DOI) | Přenosil, Matěj | Haji Mahmoud, Cvachovec, Vališ, Kučera, Košťál, Mravec | EPJ Web of Conferences | ANIMMA 2019 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications |
| D ANIMMA | 2020 | Comparison of neutron/gamma separation qualities of various organic scintillation materials (DOI) | Matěj, Přenosil, Čulen | Mravec, Jančář, Košťál, Kučera, Cvachovec, Kopecký | EPJ Web of Conferences | ANIMMA 2019 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications |
| D LREC | 2020 | Current Challenges in Web Corpus Building | Jakubíček, Kovář, Rychlý, Suchomel | European Language Resources Association | Proceedings of the 12th Web as Corpus Workshop | |
| D | 2020 | Characterization of neutron leakage field coming from 18O(p,n)18F reaction in PET production cyclotron (DOI) | Matěj, Mravec | Schulc, Košťál, Losa, Simon, Brijar, Cyakoj, Rypar, Antoš, Vadjak, Cuhra, Cvachovec | The Joint Accelerator Conferences | Cyclotrons2019 - Proceedings |
| D | 2020 | A Report on the 2020 VUA and TOEFL Metaphor Detection Shared Task (DOI) | Stemle | Leong, Beigman Klebanov, Hamill, Ubale, Chen | Association for Computational Linguistics | Proceedings of the Second Workshop on Figurative Language Processing |
| D | 2020 | Testing the role of metadata in metaphor identification (DOI) | Stemle | Onysko | Association for Computational Linguistics | Proceedings of the Second Workshop on Figurative Language Processing (FigLang2020) |
| D RASLAN | 2020 | When Tesseract Does It Alone: Optical Character Recognition of Medieval Texts | Novotný | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
| D RASLAN | 2020 | Towards Useful Word Embeddings: Evaluation on Information Retrieval, Text Classification, and Language Modeling | Novotný, Štefánik, Lupták, Sojka | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
| D RASLAN | 2020 | The Art of Reproducible Machine Learning: A Survey of Methodology in Word Vector Experiments | Novotný | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
| D RASLAN | 2020 | Cthulhu Hails from Wales: N-gram Frequency Analysis of R'lyehian | Novotný, Stará | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
| D RASLAN | 2020 | Efficient Management and Optimization of Very Large Machine Learning Dataset for Question Answering | Medveď, Sabol, Horák | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
| D RASLAN | 2020 | Multilingual Recognition of Temporal Expressions | Starý, Nevěřilová | Valčík | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 |
| D RASLAN | 2020 | Removing Spam from Web Corpora Through Supervised Learning and Semi-manual Classification of Web Sites | Suchomel | Tribun 2020 | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
| D RASLAN | 2020 | Data Mining from Free-Text Health Records : State of the Art, New Polish Corpus | Anetta | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
| D | 2020 | Validation of heavy water cross section using AmBe neutron source | Matěj, Mravec | Košťál, Schulc, Novák, Czakoj, Cvachovec, Bohumil, Leal | EDP Sciences, 2020 | EPJ Web of Conferences |
| D MEDSOFT | 2019 | An overview of electronic information sources in healthcare in the Czech Republic | Karolyi | Komenda | Creative Connections s. r. o | Seminář MEDSOFT 2019 |
| D | 2019 | Similarity Management of Data: The DISA Experience | Zezula | CEUR workshop proceedings | Proceedings of the 27th Italian Symposium on Advanced Database Systems | |
| D VCBM | 2019 | DockVis: Visual Analysis of Molecular Docking Data (DOI) | Furmanová, Kozlíková, Byška | Vonásek | The Eurographics Association | Eurographics Workshop on Visual Computing for Biology and Medicine |
| D SMSIS | 2019 | Cybersecurity Qualifications for Industry 4.0 Era | Pitner, Šimková | Jan | VŠB – Technical University of Ostrava | Proceedings of the 13th International Conference on Strategic Management and its Support by Information Systems 2019 |
| D eLex | 2019 | Automating dictionary production: a Tagalog-English-Korean dictionary from scratch | Baisa, Herman, Jakubíček, Kovář, Medveď, Měchura, Rychlý, Suchomel | Blahuš, Cukr | Lexical Computing CZ s.r.o. | Proceedings of the 6th Biennial Conference on Electronic Lexicography |
| D RANLP | 2019 | Benchmark Dataset for Propaganda Detection in Czech Newspaper Texts (DOI) | Horák, Baisa, Herman | INCOMA Ltd. | Proceedings of Recent Advances in Natural Language Processing, RANLP 2019 | |
| D LTC | 2019 | First Steps in Recognizing Relational Entailment – Experimental Corpus and Baselines | Víta | Klímek | Wydawnictwo Nauka i Innowacje | Human Language Technologies as a Challenge for Computer Science and Linguistics – 2019 |
| D RANLP | 2019 | Exploiting Open IE for Deriving Multiple Premises Entailment Corpus (DOI) | Víta | Klímek | 2019 | Proceedings of Recent Advances in Natural Language Processing |
| D | 2019 | History Conception in the History of Last Two Centuries and Its Philosophical Reflection | Dokulil | Filosofický ústav AV ČR | Idea dějin a Palacký jako myslitel | |
| D DaZ | 2019 | Filtering outliers to improve classification. First results | Hetlerović, Popelínský | Fakulta elektrotechniky a informatiky - Technická univerzita v Košiciach | Data a Znalosti & WIKT 2019 | |
| D eLex | 2019 | SkELL Corpora as a Part of the Language Portal Sonaveeb: Problems and Perspectives | Suchomel, Baisa, Michelfeit | Koppel, Kallas, Khokhlová | Lexical Computing CZ s.r.o. | Proceedings of the 6th Biennial Conference on Electronic Lexicography |
| D RASLAN | 2019 | Quo Vadis, Math Information Retrieval | Sojka, Novotný, Ayetiran, Lupták, Štefánik | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Towards Universal Hyphenation Patterns | Sojka, Sojka | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Neural Tagger for Czech Language: Capturing Linguistic Phenomena in Web Corpora | Nevěřilová, Stará | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Evaluation and Error Analysis of Rule-based Paraphrase Generation for Czech | Burgerová, Horák | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Structured Information Extraction from Pharmaceutical Records | Bamburová, Nevěřilová | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Automatically Created Noun Explanations for English | Stará | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Czech Question Answering with Extended SQAD v3.0 Benchmark Dataset | Sabol, Medveď, Horák | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
| D RASLAN | 2019 | SiLi Index: Data Structure for Fast Vector Space Searching | Herman, Rychlý | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Discriminating Between Similar Languages Using Large Web Corpora | Suchomel | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
| D RASLAN | 2019 | Evaluation of Czech Distributional Thesauri | Rychlý | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
| D RASLAN | 2019 | A Distributional Multi-word Thesaurus in Sketch Engine | Jakubíček, Rychlý | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
| D | 2019 | Do we need formal language when starting a logical system? | Materna | Tribun EU | Slavonic Natural Language Processing in the 21st Century | |
| D | 2019 | Understanding Underwater Photogrammetry for Maritime Archaeology Through Immersive Virtual Reality (DOI) | Doležal, Liarokapis | Vlachos, Secci, Demestiha, Skarlatos | ISPRS | Proc. of the Underwater 3D Recording & Modelling: A tool for modern applications and CH recording, Limassol, Int. Arch. Photogramm. Remote Sens. Spatial Inf. Sci., XLII-2/W10 |
| D | 2019 | Analytic representations of large graphs (DOI) | Kráľ | Grzesik | Cambridge University Press | Surveys in Combinatorics 2019 |
| D RASLAN | 2019 | Approximate String Matching for Detecting Keywords in Scanned Business Documents | Ha | NLP Consulting | Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
| D CHEP | 2019 | Anomaly detection using Deep Autoencoders for the assessment of the quality of the data acquired by the CMS experiment (DOI) | Široký, Pol, Azzolini, Cerminara, De Guio, Franzoni, Pierini, Vlimant | EDP Sciences | 23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2019) | |
| D VCBM | 2019 | SpectraMosaic: An exploratory tool for the interactive visual analysis of magnetic resonance spectroscopy data (DOI) | Vašíček | Garrison, Grüner, Smit, Bruckner | Eurographics Association | Eurographics Workshop on Visual Computing for Biology and Medicine, VCBM 2019 |
| D DATA | 2019 | Scaling Big Data Applications in Smart City with Coresets (DOI) | Bangui, Ge, Bühnová | Trang | SciTePress | Proceedings of the 8th International Conference on Data Science, Technology and Applications - Volume 1 |
| D | 2018 | Interaction with 3D environment : exploring sensory-motor to cognition | Juřík, Šašinka, Herman, Stachoň, Kubíček, Ugwitz, Doležal | Masarykova univerzita | Kognice a umělý život 2018 : sborník příspěvků | |
| D | 2018 | Behavior Analysis in Virtual Geovisualizations : Towards Ecological Validity | Juřík, Herman, Šašinka, Stachoň, Chmelík, Šašinková, Kubíček | Bulgarian Cartographic Association | 7th International Conference on Cartography and GIS : Proceedings, Vol. 1 and Vol. 2 | |
| D ISRD | 2018 | Fast Two Parametric Spectrometric System For Experimental MSR/FHR Reactor Dosimetry | Matěj | Košťál, Cvachovec, Mravec, Pavelek, Herman, Veškrna, Přenosil, Losa | STP: Selected Technical Papers | Reactor Dosimetry - 16th international Symposium |
| D FSDM | 2018 | Determining Dyslexic User Model Membership Using Fuzzy Approach (DOI) | Pařilová | IOS Press | Fuzzy Systems and Data Mining IV | |
| D CMLC | 2018 | Distributed Corpus Search | Rychlý, Rábara, Herman | European Language Resource Association | 6th Workshop on the Challenges in the Management of Large Corpora | |
| D FedCSIS | 2018 | From Building Corpora for Recognizing Faceted Entailment to Recognizing Relational Entailment (DOI) | Víta | Polish Information Processing Society | Position Papers of the Federated Conference on Computer Science and Information Systems | |
| D PATAT | 2018 | University course timetabling and International Timetabling Competition 2019 | Rudová, Müllerová | Müller | PATAT | Proceedings of the 12th International Conference on the Practice and Theory of Automated Timetabling |
| D IDIMT | 2018 | Innovation of the Information System in the Field of Data Archiving | Pitner, Tomášek | Ministr, Lhoták, Chaplyha | Johannes Kepler Universität Linz | 26th Interdisciplinary Information Management Talks (IDIMT) 2018 Strategic Modeling in Management, Economy and Society |
| D IDIMT | 2018 | How to Make Academic-Industrial Collaboration More Effective? | Šteruská, Šimková, Pitner | Ministr | Trauner Verlag | 26th Interdisciplinary Information Management Talks (IDIMT) 2018 Strategic Modeling in Management, Economy and Society |
| D EURALEX | 2018 | Shareable subentries in Lexonomy as a solution to the problem of multiword item placement | Měchura | Ljubljana University Press | Proceedings of the XVIII EURALEX International Congress: Lexicography in Global Contexts | |
| D EURALEX | 2018 | Wordnet Consistency Checking via Crowdsourcing | Rambousek, Horák | Ljubljana University Press | Proceedings of the XVIII EURALEX International Congress: Lexicography in Global Contexts | |
| D DaZ | 2018 | Siamese Convolutional Neural Networks for Recognizing Partial Entailment | Víta | Vysoké učení technické v Brně | Siamese Convolutional Neural Networks for Recognizing Partial Entailment | |
| D | 2018 | Improving Marker-Based Tracking for Augmented Reality in Underwater Environments (DOI) | Čejka, Liarokapis | Agrafiotis, Bruno, Skarlatos | The Eurographics Association | Proc. of the Eurographics Workshop on Graphics and Cultural Heritage, The Eurographics Association, Vienna, Austria, 21-30, 2018 |
| D RASLAN | 2018 | Weighting of Passages in Question Answering | Novotný, Sojka | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2018 | |
| D IT4P | 2018 | Cybersecurity Qualifications | Pitner, Šimková | Ministr | VŠB-Technical University of Ostrava | Proceedings of the 21st International Conference on Information Technology for Practice |
| D RASLAN | 2018 | Comments on Czech Morphological Tagset | Pala | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
| D RASLAN | 2018 | csTenTen17, a Recent Czech Web Corpus | Suchomel | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
| D RASLAN | 2018 | Towards Czech Answer Type Analysis | Kušniráková, Medveď | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
| D RASLAN | 2018 | Recurrent Networks in AQA Answer Selection | Medveď, Horák | Sabol | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 |
| D RASLAN | 2018 | An Update of the Manually Annotated Amharic Corpus | Rychlý | Lemma | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 |
| D IT4P | 2018 | Modeling and Simulating Cooperation in Organizations | Spurný, Ráček | VŠB | Proceedings of the 21 stInternational Conference on Information Technology for Practice | |
| D DaZ | 2018 | Autoencoders vs. others for anomaly detection | Popelínský | Miklášová, Lomič, Císar, Krejčířová | Vysoké učení technické v Brně | DATA A ZNALOSTI & WIKT 2018, sborník konference |
| D ITAT | 2018 | To text summarization by dynamic graph mining | Gallo, Popelínský, Vaculík | Safarik University, Faculty of Science, Kosice, Slovakia | ITAT 2018 Proceedings, | |
| D IT4P | 2018 | TEVOGS – Vehicle Onboard Guidance System | Mühlpachr, Ráček | Fibich | VŠB | Proceedings of the 21 stInternational Conference on Information Technology for Practice |
| D | 2018 | Linearized and compensated interferometric system for high-velocity traceable length calibration on a metre scale (DOI) | Matěj, Herman | Řeřucha, Mikel, Hola, Jelinek, Jedlicka, Cip, Lazar | SPIE | Proceedings Volume 10976, 21st Czech-Polish-Slovak Optical Conference on Wave and Quantum Aspects of Contemporary Optics |
| D DaZ | 2018 | Performing Feature Selection Before Removing Outliers To Increase Classfier's Accuracy | Petliak, Tmenova, Námešný, Bončo, Popelínský | VUT Brno | DATA A ZNALOSTI & WIKT 2018, sborník konference | |
| D RASLAN | 2018 | Multiple Instance Terminological Thesaurus with Central Management | Rambousek | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
| D ACAT | 2018 | Machine Learning in High Energy Physics Community White Paper (DOI) | Široký, Albertsson, Altoe, Anderson, Andrews, Espinosa, Aurisano, Basara, Bevan, Bhimji, Bonacorsi, Calafiura, Campanelli, Capps, Carminati, Carrazza, Childers, Coniavitis, Cranmer, David, Davis, Duarte, Erdmann, Eschle, Farbin, Feickert, Castro, Fitzpatrick, Floris, Forti, Garra-Tico, Gemmler, Girone, Glaysher, Gleyzer, Gligorov, Golling, Graw, Gray, Greenwood, Hacker, Harvey, Hegner, Heinrich, Hooberman, Junggeburth, Kagan, Kane, Kanishchev, ski, Kassabov, Kaul, Kcira, Keck, Klimentov, Kowalkowski, Kreczko, Kurepin, Kutschke, Kuznetsov, Köhler, Lakomov, Lannon, Lassnig, Limosani, Louppe, Mangu, Mato, Meinhard, Menasce, Moneta, Moortgat, Narain, Neubauer, Newman, Pabst, Paganini, Paulini, Perdue, Perez, Picazio, Pivarski, Prosper, Psihas, Radovic, Reece, Rinkevicius, Rodrigues, Rorie, Rousseau, Sauers, Schramm, Schwartzman, Severini, Seyfert, Skazytkin, Sokoloff, Stewart, Stienen, Stockdale, Strong, Thais, Tomko, Upfal, Usai, Ustyuzhanin, Vala, Vallecorsa, Vasel, Verzetti, Vilasis-Cardona, Vlimant, Vukotic, Wang, Watts, Williams, Wu, Wunsch, Zapata | Institute of Physics Publishing | Journal of Physics: Conference Series Volume 1085, Issue 4, 18th International Workshop on Advanced Computing and Analysis Techniques in Physics Research, ACAT 2017 | |
| D ACAT | 2018 | Deep learning for inferring cause of data anomalies (DOI) | Široký, Azzolini, Borisyak, Cerminara, Derkach, Franzoni, De Guio, Guio, Koval, Pierini, Pol, Ratnikov, Ustyuzhanin, Vlimant | Institute of Physics Publishing | Journal of Physics: Conference Series Volume 1085, Issue 4, 18th International Workshop on Advanced Computing and Analysis Techniques in Physics Research, ACAT 2017 | |
| D RASLAN | 2018 | Understanding Search Queries in Natural Language | Nevěřilová | Kvaššay | Tribun EU | Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2018 |
| D CNL | 2018 | Editing with Search and Exploration for Controlled Languages (DOI) | Měchura | Angelova | IOS PRESS | CONTROLLED NATURAL LANGUAGE (CNL 2018) |
| D RASLAN | 2018 | Document Functional Type Classification | Němcová | Tribun EU | 12th Workshop on Recent Advances in Slavonic Natural Language Processing (RASLAN 2018) | |
| D ICERI | 2018 | MULTIDISCIPLINARY EDUCATION INFLUENCED BY COMPLEX SERVICES | Walletzký, Ge | IATED | 11th Annual International Conference of Education, Research and Innovation (ICERI 2018) | |
| D AIMS | 2018 | Threat Detection Through Correlation of Network Flows and Logs | Špaček, Čeleda | IFIP | Proceedings of the 12th International Conference on Autonomous Infrastructure, Management and Security (AIMS 2018) | |
| D 3D ARCH | 2017 | 3D Modelling and Mapping For Virtual Exploration of Underwater Archaeology Assets (DOI) | Liarokapis, Kouřil, Chmelík | Agrafiotis, Demesticha, Skarlatos | International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS) | Proc. of the International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS), XLII-2/W3 |
| D Eurographics | 2017 | Using Activity Led Learning for Teaching Computer Graphics Principles Through Augmented Reality (DOI) | Liarokapis | The Eurographics Association | Proc of the 38th Annual Conference of the European Association for Computer (Eurographics 2017), Education Program, Lyon, France | |
| D Eurographics | 2017 | The New CGEMS - Preparing the Computer Graphics Educational Materials Source to Meet the Needs of Educators (DOI) | Liarokapis | Anderson, Duchowski, Redford | The Eurographics Association | Proc of the 38th Annual Conference of the European Association for Computer (Eurographics 2017), Education Program, Lyon, France |
| D | 2017 | Institutional Repository Driven by Access Rights as a Part of Plagiarism Detection Systems | Jakubík, Suchomel, Lunter, Brandejs | Mendel University in Brno | Plagiarism Across Europe And Beyond 2017 | |
| D IDIMT | 2017 | Modelling the Service Value Chain for Smart City | Ge, Walletzký | Caputo | Trauner Verlag | Proceedings of the 25th Interdisciplinary Information Management Talks |
| D IDIMT | 2017 | Developing an Enterprise Architecture Framework and Services for Smart Cities | Ge | Helfert | Trauner Verlag | Proceedings of the 25th Interdisciplinary Information Management Talks |
| D ECCWS | 2017 | Towards a Unified Data Storage and Generic Visualizations in Cyber Ranges | Ošlejšek, Toth, Eichler, Dočkalová Burská | Academic Conferences and Publishing International Limited | Proceedings of the 16th European Conference on Cyber Warfare and Security ECCWS 2017 | |
| D SMSIS | 2017 | Satisfaction Assessment with the Process and Result of Online Dispute Resolution in B2B Relationships | Šimková | Smutný | VŠB - Technical University of Ostrava | Strategic Management and its Support by Information Systems (SMSIS) |
| D ACL | 2017 | Semantic Vector Encoding and Similarity Search Using Fulltext Search Engines (DOI) | Růžička, Novotný, Sojka | Rygl, Pomikálek, Řehůřek | Association for Computational Linguistics, ACL | Proceedings of the 2nd Workshop on Representation Learning for NLP, RepL4NLP 2017 c/o ACL 2017 |
| D | 2017 | Using Markdown Inside TeX Documents | Novotný | Polska Grupa Użytkowników systemu TeX – GUST | XXV Międzynarodowa Konferencja Użytkowników Systemu TeX, Materiały konferencyjne | |
| D eLex | 2017 | Introducing Lexonomy: an open-source dictionary writing and publishing system | Měchura | Lexical Computing | Electronic lexicography in the 21st century: Proceedings of eLex 2017 conference | |
| D IDIMT | 2017 | Innovation and diversity | Pitner | Ministr, Pucihar | Johannes Kepler Universität Linz | 25th Interdisciplinary Information Management Talks (IDIMT) 2017 Digitalization in Management, Society and Economy |
| D IDIMT | 2017 | Innovation Of The Information Management In Compliance Management Area | Pitner | Ministr | Johannes Kepler Universität Linz | 25th Interdisciplinary Information Management Talks (IDIMT) 2017 Digitalization in Management, Society and Economy |
| D VCBM | 2017 | Watergate: Visual Exploration of Water Trajectories in Protein Dynamics | Jurčík, Marques, Kozlíková | Damborský, Vad, Byška, Viola, Gröller, Hauser | Eurographics Workshop on Visual Computing for Biology and Medicine | Eurographics Workshop on Visual Computing for Biology and Medicine |
| D VCBM | 2017 | Protein Tunnel Reprojection for Physico-Chemical Property Analysis | Kozlíková | Malzahn, Ropinski | Eurographics Workshop on Visual Computing for Biology and Medicine | Eurographics Workshop on Visual Computing for Biology and Medicine |
| D SMSIS | 2017 | Process Support of Information Security according to COBIT® 5 | Pitner | Ministr | VŠB – Technical University of Ostrava, Faculty of Economics | Proceedings of the 12 th International Conference on Strategic Management and its Support by Information Systems 2017 |
| D SMSIS | 2017 | Towards a Common Logging and Monitoring Framework for Critical Infrastructures | Pitner, Tovarňák, Kšenzuliak, Kučera | Ministr | VŠB - Technical University of Ostrava | Strategic Management and its Support by Information Systems (SMSIS) |
| D ISWC | 2017 | Flexible Similarity Search of Semantic Vectors Using Fulltext Search Engines | Růžička, Novotný, Sojka | Pomikálek, Řehůřek | Neuveden | CEUR Workshop Proceedings, Vol. 1923 |
| D | 2017 | Overview and Future of Czech Wordnet | Rambousek, Pala, Tukačová | CEUR-WS.org | LDK Workshops: OntoLex, TIAD and Challenges for Wordnets | |
| D eLex | 2017 | Automated Identification of Domain Preferences of Collocations | Suchomel | Kallas, Khokhlova | Lexical Computing CZ s.r.o. | Electronic Lexicography in the 21st Century. Proceedings of Elex 2017 Conference. |
| D ISGC | 2017 | Investigating Community Detection Algorithms and their Capacity as Markers of Brain Diseases (DOI) | Výtvarová, Fousek, Mikl, Rektorová, Hladká | Sissa Medialab Srl | International Symposium on Grids and Clouds (ISGC) 2017. Academia Sinica, Taipei, Taiwan: Proceedings of Science | |
| D CHEP | 2017 | Provenance-aware optimization of workload for distributed data production (DOI) | Rudová | Makatun, Lauret, Šumbera | Institute of Physics Publishing | Journal of Physics: Conference Series, vol. 898 |
| D RASLAN | 2017 | Semantic Similarities between Locations based on Ontology | Sherwani, Sojka | Calimeri | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D RASLAN | 2017 | Manipulative Propaganda Techniques: Technical Report | Baisa, Herman, Horák | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 | |
| D | 2017 | Annual Assessment of the Online Dispute Resolution Platform in the EU | Šimková | Masaryk University | Cofola International 2017: Resolution of International Disputes: Conference Proceedings | |
| D | 2017 | Science and Technology Parks as opportunity to increase competitiveness of companies in the Czech Republic? | Šimková | College of Polytechnics Jihlava | Proceedings of 9th annual international scientific conference COMPETITION | |
| D RASLAN | 2017 | Idiomatic Expressions in VerbaLex | Nevěřilová | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 | |
| D RASLAN | 2017 | Recognition of Invoices from Scanned Documents | Ha | NLP Consulting | RASLAN 2017 Recent Advances in Slavonic Natural Language Processing | |
| D RASLAN | 2017 | New features in DEBVisDic for WordNet Visualization and User Feedback | Rambousek, Horák, Klement, Kletečka | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 | |
| D RASLAN | 2017 | Preliminary Thoughts on Issues of Modeling Japanese Dictionaries Using the OntoLex Model | Lecailliez | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 | |
| D RASLAN | 2017 | The Ordered-triple Theory of Language: Its History and the Current Context | Horák, Pala | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 | |
| D RASLAN | 2017 | Multilinguality Adaptations of Natural Language Logical Analyzer | Medveď, Bucková, Horák | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 | |
| D RASLAN | 2017 | Enlargement of the Czech Question-Answering Dataset to SQAD v2.0 | Bucková, Medveď | Horák | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D RASLAN | 2017 | KernelTagger – a PoS Tagger for Very Small Amount of Training Data | Rychlý | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 | |
| D IT4P | 2017 | Expert System for Insurance Data Fraud Detection | Spurný | Ráček | VŠB - Technical University Ostrava | Proeceedings of the 20th International Conference on Information Technology for Practice |
| D | 2017 | Modelling System of Systems Interface Contract Behaviour (DOI) | Bühnová | Faldík, Payne, Fitzgerald | EPTCS | Proceedings FESCA 2017 |
| D | 2017 | Is There a Satisfactory `Czech´ Response Today to a `Czech Question´? | Dokulil | Filosofický ústav AV ČR | „Česká otázka“ a dnešní doba | |
| D | 2017 | Knowledge-based System for Assessing Vitality of Family Businesses in the Czech Republic | Popelínský | Antlová, Rydvalová | Technical University of Liberec | Proceedings of 13th Liberec Economic Forum |
| D | 2016 | Effect of 3D geovisualization on the cognitive processing of the information | Juřík, Šašinka, Chmelařová, Herman, Štěrba, Stachoň, Chmelík, Kozlíková | Univerzita Komenského v Bratislave | Kognicia a umelý život XV, 2015 | |
| D ISGC | 2016 | Agent-Based Modelling And Simulation For The Geospatial Network Model Of The Roman World | Fousek, Výtvarová, Mertel, Chalupa, Hladká | Proceedings of Science | International Symposium on Grids and Clouds (ISGC) 2016 | |
| D ISRD | 2016 | Digital spectrometric system for characterization of mixed neutron – gamma field in the experimental reactor LR-0 (DOI) | Mravec, Matěj, Veškrna, Přenosil | Cvachovec, Košťál | EDP Sciences | 15th International Symposium on Reactor Dosimetry, ISRD 2014 |
| D iEMSs | 2016 | Bluetooth Beacon Network Suitability for Crisis Management | Ševčík | International Environmental Modelling and Software Society (iEMSs) | 8th International Congress on Environmental Modelling and Software (iEMSs), Volume 4 | |
| D GWC | 2016 | DEBVisDic: Instant Wordnet Building | Rambousek, Horák | Romanian Academy | Proceedings of the Eighth Global WordNet Conference | |
| D CICLing | 2016 | Emerging Technology Enabling Dyslexia Users To Read and Perceive Written Text Correctly | Pařilová, Mrváň, Mižík, Hladká | Instituto Politécnico Nacional | Research in Computer Science | |
| D VCBM | 2016 | Unfolding and Interactive Exploration of Protein Tunnels and their Dynamics. (DOI) | Byška, Kozlíková | Kolesár, Parulek, Hauser | The Eurographics Association | EG VCBM 2016 Eurographics Workshop on Visual Computing for Biology and Medicine |
| D EURALEX | 2016 | RuSkELL: Online Language Learning Tool for Russian Language | Baisa | Apresjan, Buivolova, Kultepina | Ivane Javakhishvili Tbilisi State University | Proceedings of the XVII EURALEX International congress |
| D EURALEX | 2016 | What Do Graded Decisions Tell Us about Verb Uses | Baisa | Cinková, Krejčová, Vernerová | Ivane Javakhishvili Tbilisi State University | Proceedings of the XVII EURALEX International congress |
| D EURALEX | 2016 | Multilingual CPA: Linking Verb Patterns across Languages | Baisa | Može, Renau | Ivane Javakhishvili Tbilisi State University | Proceedings of the XVII EURALEX International congress |
| D WMT | 2016 | English-French Document Alignment Based on Keywords and Statistical Translation | Medveď, Kovář, Jakubíček | Association for Computational Linguistics | Proceedings of the First Conference on Machine Translation, Volume 2: Shared Task Papers | |
| D IDIMT | 2016 | The Academic-Industrial Collaboration As An Innovation Instrument | Pitner | Ministr | Trauner Verlag | IDIMT-2016 Information Technology, Society and Economy Strategic Cross-Influence |
| D DaZ | 2016 | Course Similarity Analysis | Bydžovská | WIKT & DaZ 2016 | Proceedings in Informatics and Information Technologies | |
| D EuroUSEC | 2016 | On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications (DOI) | Šťavová, Matyáš | Just | Internet Society | Euro Usable Security (EuroUSEC) Workshop Programme |
| D | 2016 | Beyond the Digital Ecosystems view: insights from Smart Communities | Walletzký, Caputo, Bühnová | Vincenzo | EuroMed Press | 9th Annual Conference of the EuroMed-Academy-of-Business |
| D IT4P | 2016 | Tools for Fraud Detection in Insurance Image Data | Ráček, Spurný | VŠB – Technical University of Ostrava | Proceedings of the 19th International Conference on Information Technology for Practice | |
| D DaZ | 2016 | Machine learning for family business analysis | Michálik, Popelínský | Antlová, Rydvalová | Nakladatel’stvo STU | Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ |
| D DaZ | 2016 | Graph Mining: Applications (invited talk) | Vaculík | Nakladatel’stvo STU | Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ | |
| D DaZ | 2016 | Anomaly detection for aircraft engine fault prediction | Rudolecký | Nakladatel’stvo STU | Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ | |
| D MEMICS | 2016 | Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities (DOI) | Zima | Open Publishing Association | Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016 | |
| D | 2016 | Compact hybrid real-time hyperspectral imaging system with high effective spatial, spectral, and temporal resolution (DOI) | Roth, Abbadi, Herman, Pavelek, Přenosil | SPIE Proceedings | Optics in Health Care and Biomedical Optics VII | |
| D RASLAN | 2016 | ScaleText: The Design of a Scalable, Adaptable and User-Friendly Document System for Similarity Searches : Digging for Nuggets of Wisdom in Text | Sojka, Růžička | Rygl, Řehůřek | Tribun EU | Proceedings of the Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D RASLAN | 2016 | Between Comparable and Parallel: English-Czech Corpus from Wikipedia | Štromajerová, Baisa, Blahuš | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing | |
| D RASLAN | 2016 | Czech Grammar Agreement Dataset for Evaluation of Language Models | Baisa | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing | |
| D RASLAN | 2016 | Pre-processing Large Resources for Family Names Research | Rambousek | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing | |
| D RASLAN | 2016 | How to Present NLP Topics to Children? | Rambousek, Nevěřilová | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing | |
| D RASLAN | 2016 | Data Structures in Lexicography: from Trees to Graphs | Měchura | Tribun EU | Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 | |
| D RASLAN | 2016 | Bilingual Logical Analysis of Natural Language Sentences | Medveď, Horák, Kovář | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 | |
| D RASLAN | 2016 | Options for Automatic Creation of Dictionary Definitions from Corpora | Stará, Kovář | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 | |
| D RASLAN | 2016 | Evaluating Natural Language Processing Tasks with Low Inter-Annotator Agreement: The Case of Corpus Applications | Kovář | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 | |
| D RASLAN | 2016 | Terminology Extraction for Academic Slovene Using Sketch Engine | Suchomel, Jakubíček | Fišer | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D RASLAN | 2016 | Large Scale Keyword Extraction using a Finite State Backend | Jakubíček, Šmerk | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 | |
| D RASLAN | 2016 | Evaluation of the Sketch Engine Thesaurus on Analogy Queries | Rychlý | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 | |
| D MEMICS | 2016 | Avalanche Effect in Improperly Initialized CAESAR Candidates (DOI) | Ukrop, Švenda | Open Publishing Association | Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016 | |
| D VarDial | 2016 | DSL Shared task 2016: Perfect Is The Enemy of Good Language Discrimination Through Expectation-Maximization and Chunk-based Language Model | Herman, Suchomel, Baisa, Rychlý | Association for Natural Language Processing (ANLP), Osaka, Japan | Proceedings of the Third Workshop on NLP for Similar Languages, Varieties and Dialects (VarDial3) | |
| D ICERI | 2016 | Innovation Based Learning | Walletzký | Chodák | IATED | ICERI2016: 9TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION |
| D CGW | 2016 | Scheduling hybrid workloads in shared cloud infrastructures | Podolníková | Klusáček | Cyfronet AGH | Cracow Grid Workshop |
| D SimuTools | 2016 | Complex Job Scheduling Simulations with Alea 4 (DOI) | Podolníková | Klusáček, Tóth | ICST | Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques (SimuTools) |
| D | 2016 | A healthy life as an appeal to our brain? (DOI) | Dokulil | Masarykova univerzita | 70 ve zdraví. Soubor příspěvků z mezinárodní konference konané dne 8.–9. září 2016 | |
| D ACAT | 2016 | Simulations and study of a new scheduling approach for distributed data production (DOI) | Rudová | Makatun, Lauret, Šumbera | Institute of Physics Publishing | Journal of Physics: Conference Series, vol. 762 |
| D EISIC | 2016 | A T-shaped model for rethinking higher education programs | Caputo, Walletzký | Saviano, Polese | University of Huelva | 19th Toulon-Verona International Conference Excellence in Services |
| D | 2016 | A FOCUS ON COMPANY-STAKEHOLDER RELATIONSHIPS IN THE LIGHT OF THE STAKEHOLDER ENGAGEMENT FRAMEWORK | Caputo | EUROMED PRESS | INNOVATION, ENTREPRENEURSHIP AND DIGITAL ECOSYSTEMS | |
| D MEMICS | 2016 | Characterizing DAG-depth of Directed Graphs (DOI) | Bezek | OPEN PUBL ASSOC | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | |
| D | 2016 | Benchmarking of the graphite and fluoride insertions in LR-0 reactor | Veškrna, Mravec, Matěj | Losa, Košťál, Rypar, Schulc, Novák, Jánský, Cvachovec | American Nuclear Society | Physics of Reactors 2016, PHYSOR 2016: Unifying Theory and Experiments in the 21st Century |
| D RASLAN | 2016 | Automatic Identification of Valency Frames in Free Text | Wörgötter | Tribun EU | Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 | |
| D | 2016 | INFORMATION SHARING AND COMMUNICATION STRATEGIES: A STAKEHOLDER ENGAGEMENT VIEW | Caputo | Evangelista, Russo | Euromed Press | INNOVATION, ENTREPRENEURSHIP AND DIGITAL ECOSYSTEMS |
| D ESM | 2016 | Accelerated RMSD Calculation for Molecular Metadynamics | Filipovič, Hozzová, Křenek | Spiwok | EUROSIS - ETI | Proceedings of the 2016 European Simulation and Modelling Conference |