Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.
| celkem | A* | A | B | C | D |
|---|---|---|---|---|---|
| 2021 | 8 | 17 | 30 | 20 | 25 |
| 2020 | 11 | 20 | 32 | 22 | 15 |
| 2019 | 8 | 28 | 40 | 36 | 29 |
| 2018 | 12 | 18 | 38 | 33 | 34 |
| 2017 | 5 | 17 | 41 | 37 | 38 |
| součet | 44 | 100 | 181 | 148 | 141 |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* AAAI | 2021 | Counting Maximal Satisfiable Subsets | Bendík | Meel | 35th AAAI Conference on Artificial Intelligence (AAAI-21) | |
| A* ICLR | 2021 | Intrinsic-Extrinsic Convolution and Pooling for Learning on 3D Protein Structures | Lang, Kozlíková | Hermosilla Casajús, Schäfer, Fackelmann, Vázquez Alcocer, Krone, Ritschel, Ropinski | International Conference on Learning Representations (ICLR) | |
| A* CHI | 2021 | What Players Want: Information Needs of Players on Post-Game Visualizations (DOI) | Kriglstein | Wallner, Wijland, Bernhaupt | ACM | CHI Conference on Human Factors in Computing Systems (CHI '21) |
| A* CAV | 2021 | Computing Bottom SCCs Symbolically Using Transition Guided Reduction (DOI) | Beneš, Brim, Pastva, Šafránek | Springer Nature | Computer Aided Verification - 33rd International Conference, CAV 2021 | |
| A* CAV | 2021 | Fast Computation of Strong Control Dependencies (DOI) | Chalupa, Klaška, Strejček, Tomovič | Springer, Cham | Computer Aided Verification | |
| A* CAV | 2021 | Counting Minimal Unsatisfiable Subsets (DOI) | Bendík | Meel | Computer Aided Verification - 33rd International Conference | |
| A* PLDI | 2021 | Proving non-termination by program reversal (DOI) | Novotný | Chatterjee, Goharshady, Žikelić | ACM | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) |
| A* ICML | 2021 | CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints | Musil | Paulus, Rolínek, Amos, Martius | PMLR | Proceedings of the 38th International Conference on Machine Learning |
| 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 (URL) | 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 (URL) | 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 (URL) | 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 TACAS | 2021 | Timed Automata Relaxation for Reachability (DOI) | Bendík, Černá | Sencan, Gol | Springer | 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21) |
| A ITICSE | 2021 | Challenges Faced by Teaching Assistants in Computer Science Education Across Europe (DOI) | Ukrop, Effenberger | Riese, Lorås | ACM | Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’21) |
| A LAK | 2021 | Validity and Reliability of Student Models for Problem-Solving Activities (DOI) | Effenberger, Pelánek | ACM | Proceedings of the 11th International Conference on Learning Analytics and Knowledge | |
| A TACAS | 2021 | Symbolic Coloured SCC Decomposition (DOI) | Beneš, Brim, Pastva, Šafránek | Springer Nature | Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021 | |
| A ICMR | 2021 | Efficient Indexing of 3D Human Motions (DOI) | Budíková, Sedmidubský, Zezula | ACM | ACM International Conference on Multimedia Retrieval (ICMR) | |
| A AIED | 2021 | Better Model, Worse Predictions: The Dangers in Student Model Comparisons (DOI) | Čechák, Pelánek | Springer | International Conference on Artificial Intelligence in Education | |
| A AIED | 2021 | Interpretable Clustering of Students’ Solutions in Introductory Programming (DOI) | Effenberger, Pelánek | Springer | Artificial Intelligence in Education. AIED 2021. Lecture Notes in Computer Science, vol 12748 | |
| A ASIACRYPT | 2021 | A formula for disaster: a unified approach to elliptic curve special-point-based attacks (DOI) | Sedláček, Jančár | Chi-Dominguez, Brumley | Springer | Advances in Cryptology – ASIACRYPT 2021 |
| A SAT | 2021 | DQBDD: An Efficient BDD-Based DQBF Solver (DOI) | Strejček | Síč | Springer | Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings |
| A CONCUR | 2021 | Deciding Polynomial Termination Complexity for VASS Programs (DOI) | Ajdarów, Kučera | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik | 32nd International Conference on Concurrency Theory (CONCUR 2021) | |
| A UAI | 2021 | Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games | Klaška, Kučera, Řehák, Musil | AUAI Press | Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) | |
| A FM | 2021 | On Lexicographic Proof Rules for Probabilistic Termination | Novotný, Zárevúcky | Chatterjee, Goharshady, Žikelić | Springer | 24th International Symposium on Formal Methods, FM 2021 |
| A FM | 2021 | Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption | Novotný | Blahoudek, Cubuktepe, Ornik, Thangeda, Topcu | Springer | 24th International Symposium on Formal Methods, FM 2021 |
| A IROS | 2021 | Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? (DOI) | Mrázek, Jonáš, Barnat | 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) | ||
| A MFCS | 2021 | Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases (DOI) | Hliněný | Bok, Fiala, Jedličková, Kratochvíl | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) |
| A HICSS | 2021 | Modelling for Ethical Concerns for Traceability in Time of Pandemic “Do no Harm” or “Better Safe than Sorry!” (DOI) | Walletzký | Badr, Drăgoicea, Carrubbo, Toli | Proceedings of the 54th Hawaii International Conference on System Sciences | |
| A MFCS | 2021 | ω-Forest Algebras and Temporal Logics (DOI) | Blumensath, Lédl | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia | |
| 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 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 | |
| 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 Cagirici, 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 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 LAK | 2020 | Learning analytics challenges: trade-offs, methodology, scalability (DOI) | Pelánek | ACM | Proceedings of the Tenth International Conference on Learning Analytics & Knowledge | |
| A SIGCSE | 2020 | KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems (DOI) | Čeleda, Vykopal, Švábenský, Slavíček | 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ý, Vykopal, Čeleda | 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) | Vykopal, Švábenský | 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 (URL) | 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 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ý | Bokal, Dvořák, Leanos, Mohar, 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 (URL) | 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 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 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) | Vykopal, Ošlejšek, Dočkalová Burská, Zákopčanová | 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ý, Vykopal, Čermák | 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 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 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) |
| B IPAW | 2021 | Non-repudiable provenance for clinical decision support systems (DOI) | Wittner, Holub | Fairweather, Chapman, Curcin | Springer | Lecture Notes in Computer Science |
| B FTC | 2021 | Genre Annotation of Web Corpora: Scheme and Issues (DOI) | Suchomel | Springer Nature Switzerland AG | Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1 | |
| B ICAART | 2021 | Contract Metadata Identification in Czech Scanned Documents (DOI) | Ha, Horák | Minh Tuan | The SciTePress Digital Library | Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART |
| B AINA | 2021 | Trust-based Detection Strategy against Replication Attacks in IoT (DOI) | Mbarek, Pitner | Ge | Springer | The 35th International Conference on Advanced Information Networking and Applications (AINA-2021) |
| B ISBI | 2021 | Topology Preserving Segmentation Fusion for Cells with Complex Shapes (DOI) | Melnikova, Matula | IEEE | The IEEE International Symposium on Biomedical Imaging | |
| B IV | 2021 | Enhancing Situational Awareness for Tutors of Cybersecurity Capture the Flag Games (DOI) | Dočkalová Burská, Rusňák, Ošlejšek | The IEEE, Inc. | 2021 25th International Conference Information Visualisation (IV) | |
| B CICM | 2021 | WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code (DOI) | Lupták, Novotný, Štefánik, Sojka | Springer | Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings | |
| B FIE | 2021 | Reinforcing Cybersecurity Hands-on Training With Adaptive Learning (DOI) | Šeda, Vykopal, Švábenský, Čeleda | IEEE | 2021 IEEE Frontiers in Education Conference (FIE) | |
| B FIE | 2021 | Scalable Learning Environments for Teaching Cybersecurity Hands-on (DOI) | Vykopal, Čeleda, Šeda, Švábenský, Tovarňák | IEEE | 2021 IEEE Frontiers in Education Conference (FIE) | |
| B FedCSIS | 2021 | Identification of Unintentional Perpetrator Attack Vectors using Simulation Game: A Case Study (DOI) | Macák, Bojnák, Bühnová | Proceedings of the 2021 Conference on Computer Science and Intelligent Systems | ||
| B FCT | 2021 | The Satisfiability Problem for a Quantitative Fragment of PCTL (DOI) | Chodil, Kučera | Springer | Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021 | |
| B EDM | 2021 | Experimental Evaluation of Similarity Measures for Educational Items (URL) | Čechák, Pelánek | Proceedings of the 14th International Conference on Educational Data Mining | ||
| B RANLP | 2021 | One Size Does Not Fit All: Finding the Optimal Subword Sizes for FastText Models across Languages (DOI) | Novotný, Ayetiran, Bačovský, Lupták, Štefánik, Sojka | INCOMA Ltd. | Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP 2021) | |
| B SISAP | 2021 | FIMSIM: Discovering Communities By Frequent Item-Set Mining and Similarity Search (DOI) | Peschel, Batko, Sedmidubský, Zezula | Valčík | Springer International Publishing | 14th International Conference on Similarity Search and Applications (SISAP) |
| B SISAP | 2021 | Data-driven Learned Metric Index: an Unsupervised Approach (DOI) | Slanináková, Antol, Oľha, Dohnal | Springer | 14th International Conference on Similarity Search and Applications (SISAP 2021) | |
| B SISAP | 2021 | Organizing Similarity Spaces using Metric Hulls (DOI) | Jánošová, Procházka, Dohnal | Springer | 14th International Conference on Similarity Search and Applications (SISAP 2021) | |
| B WMT | 2021 | Regressive Ensemble for Machine Translation Quality Evaluation (URL) | Štefánik, Novotný, Sojka | ACL | Proceedings of EMNLP 2021 Sixth Conference on Machine Translation (WMT 21) | |
| B TSD | 2021 | Towards Personal Data Anonymization for Social Messaging (DOI) | Sotolář, Plhák, Šmahel | Springer, Cham | Text, Speech, and Dialogue | |
| B FedCSIS | 2021 | A Time-Sensitive Model for Data Tampering Detection for the Advanced Metering Infrastructure (DOI) | Blanco Sánchez, Rossi, Pitner | IEEE | Proceedings of the 16th Conference on Computer Science and Intelligence Systems (FedCSIS) | |
| B IPEC | 2021 | Twin-Width is Linear in the Poset Width (DOI) | Balabán, Hliněný | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | International Symposium on Parameterized and Exact Computation (IPEC) | |
| B SAS | 2021 | Backward Symbolic Execution with Loop Folding (DOI) | Chalupa, Strejček | Springer | Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings | |
| B SISAP | 2021 | Similarity Search for an Extreme Application: Experience and Implementation (DOI) | Míč, Raček, Křenek, Zezula | Springer | Similarity Search and Applications: 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings | |
| B WEBIST | 2021 | A Comparison of Smart Grids Domain Ontologies (DOI) | Blanco Sánchez, Rossi, Pitner | The 17th International Conference on Web Information Systems and Technologies (WEBIST) | ||
| B WEBIST | 2021 | Recommendation Recovery with Adaptive Filter for Recommender Systems (DOI) | Blanco Sánchez, Pitner | Ge | Proceedings of the 17th International Conference on Web Information Systems and Technologies - WEBIST | |
| B SPECOM | 2021 | Who is Selling to Whom – Feature Evaluation for Multi-block Classification in Invoice Information Extraction (DOI) | Ha, Horák | Springer | SPECOM 2021: 23rd International Conference on Speech and Computer | |
| B VISIGRAPP | 2021 | Fast Bridgeless Pyramid Segmentation for Organized Point Clouds (DOI) | Talčík | Madaras, Stuchlik | SCITEPRESS | VISAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 4: VISAPP |
| B CMSB | 2021 | Aeon 2021: Bifurcation Decision Trees in Boolean Networks (DOI) | Beneš, Brim, Pastva, Šafránek | Springer | International Conference on Computational Methods in Systems Biology (CMSB 2021) | |
| B VISIGRAPP | 2021 | Geovisto: A Toolkit for Generic Geospatial Data Visualization (DOI) | Hynek, Kachlík, Rusňák | SCITEPRESS – Science and Technology Publications, Lda. | Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3 IVAPP: IVAPP | |
| B IFIP SEC | 2021 | Enriching DNS Flows with Host-Based Events to Bypass Future Protocol Encryption (DOI) | Špaček, Tovarňák, Čeleda | Springer | ICT Systems Security and Privacy Protection | |
| B IFIP SEC | 2021 | How Do Users Chain Email Accounts Together? (DOI) | Kraus, Švidroňová | Stobert | Springer International Publishing | IFIP International Conference on ICT Systems Security and Privacy Protection |
| 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 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 CSR | 2020 | On Embeddability of Unit Disk Graphs onto Straight Lines (DOI) | Cagirici | Springer, Cham | International Computer Science Symposium in Russia, CSR 2020 | |
| B ATVA | 2020 | DG: Analysis and Slicing of LLVM Bitcode (DOI) | Chalupa | Springer | The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis | |
| 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 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 | |
| B 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 |
| 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 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 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) |
| 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 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 | |
| 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 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 |
| B 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 |
| 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 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 |
| 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, Geletka, Pastva, Šafránek | 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, Vykopal, Dočkalová Burská, Rusňák | 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 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} | |
| 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 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 |
| 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 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 | |
| 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 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 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 | |
| B 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 | |
| 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 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 |
| 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 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 |
| 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) | Vykopal, Ošlejšek, Čeleda, Vizváry, Tovarňák | 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) | Vykopal, Vizváry, Ošlejšek, Čeleda, Tovarňák | IEEE | 2017 IEEE Frontiers in Education Conference | |
| C IPAW | 2021 | ISO 23494: Biotechnology – Provenance Information Model for Biological Specimen And Data (DOI) | Wittner, Holub | Müller, Geiger, Goble, Soiland-Reyes, Pireddu, Frexia, Mascia, Fairweather, Swedlow, Moore, Strambio, Grunwald, Nakae | Springer | Lecture Notes in Computer Science |
| C | 2021 | Goals within Trust-based Digital Ecosystems (DOI) | Bühnová | Cioroaica, Purohit, Schneider | IEEE | SESoS/WDES 2021, the joint 9th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and the 15th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES) |
| C ANT | 2021 | A Hybrid Data-driven Model for Intrusion Detection in VANET (DOI) | Bangui, Bühnová | Ge | Elsevier Science | The 12th International Conference on Ambient Systems, Networks and Technologies (ANT 2021) |
| C ANT | 2021 | Recent Advances in Machine-Learning Driven Intrusion Detection in Transportation: Survey (DOI) | Bangui, Bühnová | Elsevier Science | The 11th International Symposium on Frontiers in Ambient and Mobile Systems | |
| C FASE | 2021 | Symbiotic 8: Parallel and Targeted Test Generation (DOI) | Chalupa, Novák, Strejček | Springer | Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings | |
| C SIGIR | 2021 | Interpretable Document Representations for Fast and Accurate Retrieval of Mathematical Information (DOI) | Novotný | ACM | SIGIR '21: Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval | |
| C TACAS | 2021 | Symbiotic 8: Beyond Symbolic Execution (DOI) | Chalupa, Jašek, Novák, Řechtáčková, Strejček | Šoková | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems |
| C SASHIMI | 2021 | Transfer Learning in Optical Microscopy (DOI) | Kozlovský, Wiesner, Svoboda | Springer | Simulation and Synthesis in Medical Imaging | |
| C ARES | 2021 | Risk-Oriented Design Approach For Forensic-Ready Software Systems (DOI) | Daubner | Matulevičius | ACM | The 16th International Conference on Availability, Reliability and Security (ARES 2021) |
| C EASE | 2021 | Fog Based Energy Efficient Process Framework for Smart Building (DOI) | Bühnová | Iqbal | ACM | EASE 2021: Evaluation and Assessment in Software Engineering |
| C FNC | 2021 | Practical approach to re-securing compromised wireless sensor networks (DOI) | Němec, Matyáš, Švenda | Ošťádal | Elsevier | Procedia Computer Science - 16th International Conference on Future Networks and Communications, FNC 2021 |
| C ARES | 2021 | The Matter of Cybersecurity Expert Workforce Scarcity in the Czech Republic and Its Alleviation through the Proposed Qualifications Framework (DOI) | Kasl, Loutocký, Mareš, Pitner, Vostoupal | Drmola | ACM | ACM International Conference Proceeding Series: ARES 2021: The 16th International Conference on Availability, Reliability and Security |
| C Eurocomb | 2021 | Unit Disk Visibility Graphs (DOI) | Agaoglu Cagirici, Cagirici | Springer International Publishing | Extended Abstracts EuroComb 2021 | |
| C Eurocomb | 2021 | A Short Proof of Euler–Poincaré Formula (DOI) | Hliněný | Birkhäuser | Extended Abstracts EuroComb 2021. Trends in Mathematics | |
| C Eurocomb | 2021 | On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees (DOI) | Hliněný, Korbela | Birkhäuser | Extended Abstracts EuroComb 2021. Trends in Mathematics | |
| C MEDI | 2021 | Bridging Trust in Runtime Open Evaluation Scenarios (DOI) | Bühnová | Cioroaica, Marchetti, Schneider, Kuhn | Springer | International Conference on Model and Data Engineering |
| C CHI PLAY | 2021 | Let’s Play - Professional Views on Barriers and Potentials in Digital Gaming and E-Sports (DOI) | Kriglstein | Göbl, Jovicic, Denk | ACM | Extended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY '21 |
| C CHI PLAY | 2021 | Rrrring & Play: Using a Rotary Dial Telephone as Game Controller (DOI) | Kriglstein | Tuyishime | ACM | Extended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play |
| C MM | 2021 | SPEED21: Speed Climbing Motion Dataset (DOI) | Eliáš, Škvarlová, Zezula | ACM | MMSports'21: Proceedings of the 4th International Workshop on Multimedia Content Analysis in Sports | |
| C EPEW | 2021 | DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications (DOI) | Hajnal, Šafránek | Petrov | Springer | Performance Engineering and Stochastic Modeling |
| 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 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 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 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 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 NSS/MIC | 2019 | Neutron Energy Mapping for Two Different D-T Generator Technologies with a Diamond Detector (DOI) | Mravec, Matěj | Philip, Shestakova, Stephenson, Janoušková Pavelková, Kynych, Marek, Novák | IEEE | 2018 IEEE Nuclear Science Symposium and Medical Imaging Conference Proceedings (NSS/MIC) |
| C IM | 2019 | Real-time Pattern Detection in IP Flow Data using Apache Spark (URL) | Č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 (URL) | Š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 (URL) | Š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 | 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 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 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 | |
| D | 2021 | CHARACTERIZATION AND COMPARSION OF NEUTRON GENERATORS OF IEC AND LINEAR D-T BY THE SPECTROMETRIC SYSTEM NGA-01 (URL) | Matěj | Košťál, Novák, Alexa, Uhlář, Mravec, Jančář, Cvachovec, Přenosil, Jančář | Nuclear Energy research Group | PHYSOR2020 conference proceedings |
| D | 2021 | Cloud platforms: An overview considering options for Digital Twin implementation | Bühnová | Hošek, Faldík, Trenz | 23rd international conference Economic Competitiveness and Sustainability (ECOS) | |
| D | 2021 | Progress towards Czech National Cybersecurity Qualifications Framework (URL) | Hajný, Kasl, Loutocký, Mareš, Pitner | Weblaw | Cybergovernance / Tagungsband des 24. Internationalen Rechtsinformatik Symposions IRIS 2021 / Proceedings of the 24th International Legal Informatics Symposium IRIS 2021 | |
| D eLex | 2021 | New developments in Lexonomy (URL) | Rambousek, Jakubíček | Kosem | Lexical Computing CZ, s.r.o. | Electronic lexicography in the 21st century. Proceedings of the eLex 2021 conference. |
| D CLEF | 2021 | Ensembling Ten Math Information Retrieval Systems: MIRMU and MSM at ARQMath 2021 (URL) | Novotný, Štefánik, Lupták, Geletka, Zelina, Sojka | M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen | CEUR Workshop Proceedings | |
| D | 2021 | OutSmart! Evaluation of a Serious Game and its Conversational Interface for Reflective Social Media Use (URL) | Kriglstein | Göbel, Hristova, Jovicic, Hlavacs | EUROSIS | Game On 2021 |
| D ANIMMA | 2021 | Measurement of prompt gamma field above the VR-1 water level (DOI) | Matěj, Mravec, Cvachovec | Czakoj, Košťál, Losa, Šimon | EDP Sciences | EPJ Web of Conferences, Volume 253, ANIMMA 2021 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications |
| D ANIMMA | 2021 | Measurement and simulation of the new liquid organic scintillator response to fast neutrons (DOI) | Matěj, Mravec | Jánský, Janda, Košťál, Cvachovec | EDP Sciences | EPJ Web of Conferences, Volume 253, 2021 ANIMMA 2021 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications |
| D ANIMMA | 2021 | Tests of Various Scintillator Detectors in Selected Mono-Energetic Neutron Beams (DOI) | Jančář, Čulen, Dlhopolček, Cvachovec, Přenosil, Matěj | Košťál, Pirovano, Nolte | EDP Sciences | EPJ Web of Conferences, Volume 253, 2021 ANIMMA 2021 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications |
| D ESM | 2021 | Computer-aided Model Design of Empirical Methods for Calculating Partial Atomic Charges (URL) | Raček, Schindler | EUROSIS-ETI | MODELLING AND SIMULATION 2021 | |
| D | 2021 | The Cybersecurity Qualifications as the Prerequisite for the Cybersecurity Certification of Entities | Vostoupal | Weblaw | Cybergovernance / Tagungsband des 24. Internationalen Rechtsinformatik Symposions IRIS 2021 / Proceedings of the 24th International Legal Informatics Symposium IRIS 2021 | |
| D RASLAN | 2021 | New Technology Platform for the Multilingual Sign Language Dictionary (URL) | Rambousek | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | Application of Super-Resolution Models in Optical Character Recognition of Czech Medieval Texts (URL) | Bankovič, Novotný, Sojka | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | Detecting Online Risks and Supportive Interaction in Instant Messenger Conversations using Czech Transformers (URL) | Sotolář, Plhák, Tkaczyk, Lebedíková, Šmahel | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | When Tesseract Brings Friends: Layout Analysis, Language Identification, and Super-Resolution in the Optical Character Recognition of Medieval Texts (URL) | Novotný, Seidlová, Vrabcová, Horák | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | Precomputed Word Embeddings for 15+ Languages (URL) | Herman | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | Evaluating Long Contexts in the Czech Answer Selection Task (URL) | Medveď, Sabol, Horák | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | Towards Domain Robustness of Neural Language Models (URL) | Štefánik, Sojka | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | Evaluating the State-of-the-Art Sentence Alignment System on Literary Texts (URL) | Signoroni | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | DMoG : A Data-Based Morphological Guesser (URL) | Kovář, Rychlý | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | When Word Pairs Matter - Analysis of the English-Slovak Evaluation Dataset (URL) | Denisová, Rychlý | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D RASLAN | 2021 | Transferability of General Polish NER to Electronic Health Records (URL) | Anetta | Arslan | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) |
| D RASLAN | 2021 | Website Properties in Relation to the Quality of Text Extracted for Web Corpora (URL) | Suchomel | Kraus | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) |
| D RASLAN | 2021 | Development of HAMOD: a High Agreement Multi-lingual Outlier Detection dataset (URL) | Jakubíček, Romani, Rychlý, Herman | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
| D IM | 2021 | Stream-Based IP Flow Analysis | Čermák, Čeleda | IFIP Open Digital Library | IFIP/IEEE International Symposium on Integrated Network Management, IM 2021 | |
| 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (DOI) | Matěj, Mravec | Košťál, Schulc, Novák, Czakoj, Cvachovec, Bohumil, Leal | EDP Sciences, 2020 | ND 2019: International Conference on Nuclear Data for Science and Technology |
| D MEDSOFT | 2019 | An overview of electronic information sources in healthcare in the Czech Republic (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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? (URL) | Š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 (URL) | 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 (URL) | Novotný, Sojka | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2018 | |
| D IT4P | 2018 | Cybersecurity Qualifications (URL) | 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 (URL) | 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 (URL) | Š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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 (URL) | 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 |