Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.
| celkem | A* | A | B | C | D |
|---|---|---|---|---|---|
| 2023 | 12 | 14 | 29 | 38 | 27 |
| 2022 | 3 | 23 | 44 | 27 | 35 |
| 2021 | 8 | 18 | 33 | 23 | 28 |
| 2020 | 11 | 19 | 33 | 22 | 16 |
| 2019 | 8 | 32 | 34 | 36 | 30 |
| součet | 42 | 106 | 173 | 146 | 136 |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* CVPR | 2023 | Why is the winner the best? (DOI) | Kozubek | Eisenmann, Reinke, Weru, Tizabi, Isensee, Adler, Ali, Andrearczyk, Aubreville, Baid, Bakas, Balu, Bano, Bernal, Bodenstedt, Casella, Cheplygina, Daum, de Bruijne, Depeursinge, Dorent, Egger, Ellis, Engelhardt, Ganz, Ghatwary, Girard, Godau, Gupta, Hansen, Harada, Heinrich, Heller, Hering, Huaulme, Jannin, Kavur, Kodym, Li, Li, Ma, Martin-Isla, Menze, Noble, Oreiller, Padoy, Pati, Payette, Raedsch, Rafael-Patino, Bawa, Speidel, Sudre, van Wijnen, Wagner, Wei, Yamlahi, Yap, Yuan, Zenk, Zia, Zimmerer, Aydogan, Bhattarai, Bloch, Bruengel, Cho, Choi, Dou, Ezhov, Friedrich, Fuller, Gaire, Galdran, Faura, Grammatikopoulou, Hong, Jahanifar, Jang, Kadkhodamohammadi, Kang, Kofler, Kondo, Kuijf, Li, Luu, Martincic, Morais, Naser, Oliveira, Owen, Pang, Park, Park, Plotka, Puybareau, Rajpoot, Ryu, Saeed, Shephard, Shi, Stepec, Subedi, Tochon, Torres, Urien, Vilaca, Wahid, Wang, Wang, Wang, Wang, Wiestler, Wodzinski, Xia, Xie, Xiong, Yang, Yang, Zhao, Maier-Hein, Jaeger, Kopp-Schneider, Maier-Hein | IEEE COMPUTER SOC | 2023 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR) |
| A* ICRA | 2023 | Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics (DOI) | Mrázek, Ondika, Černá, Barnat | IEEE | 2023 IEEE International Conference on Robotics and Automation (ICRA) | |
| A* ACL | 2023 | Soft Alignment Objectives for Robust Adaptation of Language Generation (DOI) | Štefánik, Kadlčík, Sojka | Association for Computational Linguistics | Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) | |
| A* AAAI | 2023 | Shielding in Resource-Constrained Goal POMDPs (DOI) | Ajdarów, Brlej, Novotný | AAAI Press | Proceedings of the 37th AAAI Conference on Artificial Intelligence | |
| A* IJCAI | 2023 | Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems (DOI) | Klaška, Kučera, Kurečka, Musil, Novotný, Řehák | International Joint Conferences on Artificial Intelligence | Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, | |
| A* IJCAI | 2023 | Mean Payoff Optimization for Systems of Periodic Service and Maintenance (DOI) | Klaška, Kučera, Musil, Řehák | International Joint Conferences on Artificial Intelligence | Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, | |
| A* CCS | 2023 | Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations (DOI) | Jančár | Nassi, Vayner, Iluz, Nassi, Genkin, Tromer, Zadov, Elovici | ACM | 30th ACM Conference on Computer and Communications Security (CCS'2023) |
| A* CAV | 2023 | Guessing Winning Policies in LTL Synthesis by Semantic Learning (DOI) | Křetínský, Prokop | Meggendorfer, Rieder | Springer | Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I |
| A* EMNLP | 2023 | Calc-X and Calcformers: Empowering Arithmetical Chain-of-Thought through Interaction with Symbolic Systems (DOI) | Kadlčík, Štefánik, Martinek | Sotolář | Association for Computational Linguistics | Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: Main track |
| A* CAV | 2023 | Kratos2: An SMT-Based Model Checker for Imperative Programs (DOI) | Jonáš | Griggio | Springer | Computer Aided Verification. CAV 2023 |
| A* LICS | 2023 | Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives (DOI) | Křetínský | Meggendorfer, Weininger | IEEE | 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS |
| A* ICLR | 2023 | Backpropagation through combinatorial algorithms: identity with projection works (URL) | Musil | Subham Sekhar, Paulus, Vlastelica, Kuleshov, Martius | ||
| A* S&P | 2022 | “They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks (DOI) | Jančár | Fourné, De Almeida Braga, Sabt, Schwabe, Barthe, Fouque, Acar | IEEE | 43rd IEEE Symposium on Security and Privacy |
| A* IJCAI | 2022 | General Optimization Framework for Recurrent Reachability Objectives (DOI) | Klaška, Kučera, Musil, Řehák | ijcai.org | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022 | |
| A* CAV | 2022 | From Spot 2.0 to Spot 2.10: What's New? (DOI) | Lauko | Duret-Lutz, Renault, Colange, Renkin, Aisse, Schlehuber-Caissier, Medioni, Martin, Dubois, Gillard | Springer International Publishing | Computer Aided Verification |
| A* AAAI | 2021 | Counting Maximal Satisfiable Subsets (URL) | Bendík | Meel | AAAI | 35th AAAI Conference on Artificial Intelligence (AAAI-21) |
| A* ICLR | 2021 | Intrinsic-Extrinsic Convolution and Pooling for Learning on 3D Protein Structures (URL) | Lang, Kozlíková | Hermosilla Casajús, Schäfer, Fackelmann, Vázquez Alcocer, Krone, Ritschel, Ropinski | ||
| 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 - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II | |
| A* CAV | 2021 | Counting Minimal Unsatisfiable Subsets (DOI) | Bendík | Meel | Springer | 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 (URL) | Musil | Paulus, Rolínek, Amos, Martius | JMLR-JOURNAL MACHINE LEARNING RESEARCH | INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139 |
| 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 SAC | 2023 | Survey on Trust in Software Engineering for Autonomous Dynamic Ecosystems (DOI) | Bühnová, Halász, Iqbal, Bangui | ACM | SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing | |
| A SAC | 2023 | Source Code Metrics for Software Defects Prediction (DOI) | Rebro, Rossi, Chren | ACM (ACM) | The 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23) | |
| A ECIR | 2023 | SegmentCodeList: Unsupervised Representation Learning for Human Skeleton Data Retrieval (DOI) | Sedmidubský | Carrara, Amato | Springer | 45th European Conference on Information Retrieval (ECIR) |
| A SAC | 2023 | Deep-Learning Based Trust Management with Self-Adaptation in the Internet of Behavior (DOI) | Bangui, Bühnová | Cioroaica, Ge | ACM | The 38th ACM/SISAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied ComputingGAPP Symposium on Applied Computing (SAC '23) |
| A AISTATS | 2023 | Classification of Adolescents' Risky Behavior in Instant Messaging Conversations (URL) | Plhák, Sotolář, Šaradín Lebedíková, Šmahel | ML Research Press | 26th International Conference on Artificial Intelligence and Statistics, AISTATS 2023 | |
| A CAiSE | 2023 | A Case Study on the Impact of Forensic-Ready Information Systems on the Security Posture (DOI) | Daubner, Bühnová, Antol, Růžička, Pitner | Matulevicius | Springer Nature Switzerland | Advanced Information Systems Engineering |
| A ICALP | 2023 | Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar (DOI) | Hliněný, Jedelský | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) | |
| A MFCS | 2023 | Recognizing H-Graphs - Beyond Circular-Arc Graphs (DOI) | Agaoglu Cagirici, Hliněný | Cagirici, Derbisz, Hartmann, Kratochvíl, Krawczyk, Zeman | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) |
| A GD | 2023 | Minimizing an Uncrossed Collection of Drawings (DOI) | Hliněný | Masařík | Springer, Cham | Graph Drawing 2023 |
| A ISAAC | 2023 | Sparse Graphs of Twin-width 2 Have Bounded Tree-width (DOI) | Guspiel, Hliněný, Pokrývka | Bergougnoux, Gajarský, Sokołowski | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | ISAAC 2023 |
| A CONCUR | 2023 | Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions (DOI) | Ajdarów, Kučera | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik | 34th International Conference on Concurrency Theory (CONCUR 2023) | |
| A CHES | 2023 | SoK: SCA-secure ECC in software – mission impossible? (DOI) | Chmielewski | Batina, Haase, Samwel, Schwabe | Ruhr-University of Bochum | IACR Transactions on Cryptographic Hardware and Embedded Systems, Volume 2023, Issue 1 |
| A SAT | 2023 | Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving (DOI) | Schwarzová, Strejček, Major | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy | |
| A IJCNN | 2023 | Machine Learning Survival Models for Relapse Prediction in a Early Stage Lung Cancer Patient (DOI) | Nováček | Timilsina, Buosi, Janik, Minervini, Costabello, Torrente, Provencio, Calvo, Camps, Ortega, Massuti, Campelo, Edel, Bosch-Barrera | IEEE | 2023 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN |
| A SAC | 2022 | An Intelligent Blockchain application for Emergency Medical Services (DOI) | Mbarek, Pitner | Lavigne | ACM | The 37th ACM/SIGAPP Symposium On Applied Computing (SAC 2022) |
| A EASE | 2022 | Evaluating Code Improvements in Software Quality Course Projects (DOI) | Chren, Macák, Rossi, Bühnová | ACM (ACM) | Proceedings of The 25th International Conference on Evaluation and Assessment in Software Engineering | |
| A ITICSE | 2022 | Process Mining Analysis of Puzzle-Based Cybersecurity Training (DOI) | Macák, Ošlejšek, Bühnová | ACM | Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1 (ITiCSE '22) | |
| A ICPR | 2022 | Interpretable Gait Recognition by Granger Causality (DOI) | Balážia, Sojka | Hlaváčková-Schindler, Plant | IEEE | Proceedings of 26th International Conference on Pattern Recognition, ICPR 2022 |
| A MICCAI | 2022 | Implicit Neural Representations for Generative Modeling of Living Cell Shapes (DOI) | Wiesner, Svoboda | Suk, Dummer, Wolterink | Springer Nature Switzerland | International Conference on Medical Image Computing and Computer Assisted Intervention |
| A SMC | 2022 | Monte Carlo Methods for Industry 4.0 Applications (DOI) | Kostka, Rossi | Ge | IEEE | International Conference on Systems, Man, and Cybernetics (SMC'22) |
| A IDA | 2022 | On Usefulness of Outlier Elimination in Classification Tasks (DOI) | Hetlerović, Popelínský | Brazdil, Soares, Freaitas | Springer | International Symposium on Intelligent Data Analysis 2022 |
| A ITICSE | 2022 | Experience with Abrupt Transition to Remote Teaching of Embedded Systems (DOI) | Koniarik, Dlhopolček, Ukrop | ACM | Proceedings of the 2022 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’22) | |
| A ICALP | 2022 | Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming (DOI) | Kráľ, Pekárková | Briański, Koutecký, Schröder | Schloss Dagstuhl – Leibniz-Zentrum für Informatik | Proceedings of the 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) |
| A SMC | 2022 | Model-based Approach for Building Trust in Autonomous Drones through Digital Twins (DOI) | Iqbal, Bühnová | IEEE | 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) | |
| A SAT | 2022 | Weighted Model Counting with Twin-Width (DOI) | Pokrývka | Ganian, Schidler, Simonov, Szeider | Schloss Dagstuhl - Leibniz-Zentrum fur Informatik | 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) |
| A SEAMS | 2022 | A paradigm for safe adaptation of collaborating robots (DOI) | Bühnová | Cioroaica, Tomur | ACM | SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems |
| A SMC | 2022 | Precisional Detection Strategy for 6LoWPAN Networks in IoT (DOI) | Mbarek, Pitner | Ge | IEEE | International Conference on Systems, Man, and Cybernetics (SMC |
| A SIGCSE | 2022 | Code Quality Defects Across Introductory Programming Topics (DOI) | Effenberger, Pelánek | ACM | Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 1 | |
| A UAI | 2022 | On-the-fly Adaptation of Patrolling Strategies in Changing Environments (URL) | Brázdil, Klaška, Kučera, Musil, Novotný, Řehák | Proceedings of Machine Learning Research | Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022 | |
| A WG | 2022 | Twin-Width and Transductions of Proper k-Mixed-Thin Graphs (DOI) | Balabán, Hliněný, Jedelský | Springer Nature | WG 2022: Graph-Theoretic Concepts in Computer Science | |
| A VRST | 2022 | Marcus or Mira - Investigating the Perception of Virtual Agent Gender in Virtual Reality Role Play-Training (DOI) | Kriglstein | Regal, Uhl, Gerhardus, Suette, Frankus, Schmid, Tscheligi | ACM | 28th ACM Symposium on Virtual Reality Software and Technology (VRST '22) |
| A AMIA | 2022 | Integration of Medical and Genomic Information to Enhance Relapse Prediction in Early Stage Lung Cancer Patients (URL) | Nováček | Timilsina, Fey, Janik, Torrente, Provencio, Bermudez, Carcereny, Costabello, Abreu, Cobo, Castro, Bernabe, Guirado, Minervini | AMIA | Proceedings of the Annual Symposium of the American Medical Informatics Association |
| A SoCG | 2022 | Parameterised Partially-Predrawn Crossing Number (DOI) | Hliněný | Hamm | Schloss Dagstuhl | 38th International Symposium on Computational Geometry (SoCG 2022) |
| A ISAAC | 2022 | Graph Product Structure for h-Framed Graphs (DOI) | Hliněný | Bekos, Da Lozzo, Kaufmann | Schloss Dagstuhl | 33rd International Symposium on Algorithms and Computation (ISAAC 2022) |
| A SIGCSE | 2022 | Evaluating Two Approaches to Assessing Student Progress in Cybersecurity Exercises (DOI) | Švábenský, Vykopal, Čeleda, Chudovský | Weiss, Cook, Mache, Chattopadhyay | ACM | Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22) |
| A SIGCSE | 2022 | Preventing Cheating in Hands-on Lab Assignments (DOI) | Vykopal, Švábenský, Šeda, Čeleda | ACM | Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22) | |
| A SAC | 2022 | Improving ligand transport trajectory within flexible receptor in CaverDock (DOI) | Němcová, Hozzová, Filipovič | ACM | SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing | |
| 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 (DOI) | 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 (DOI) | 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 | IEEE | 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 | HICSS | 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 AMIA | 2021 | On Predicting Recurrence in Early Stage Non-small Cell Lung Cancer | Nováček | Mohamed, Walsh, Timilsina, Torrente, Franco, Provencio, Janik, Costabello, Minervini, Stenetorp | AMIA | Proceedings of AMIA 2021 Annual Symposium |
| A SAC | 2020 | Enhanced Network Intrusion Detection System Protocol for Internet of Things (DOI) | Mbarek, Ge, Pitner | ACM Publishing | Proceedings of the 35th ACM/SIGAPP Symposium On Applied Computing | |
| A SAC | 2020 | Comparing Maintainability Index, SIG Method, and SQALE for Technical Debt Identification (DOI) | Strečanský, Chren, Rossi | ACM | 35th ACM/SIGAPP Symposium On Applied Computing | |
| A ECIR | 2020 | Motion Words: A Text-like Representation of 3D Skeleton Sequences (DOI) | Sedmidubský, Budíková, Dohnal, Zezula | Springer | 42nd European Conference on Information Retrieval (ECIR) | |
| A TACAS | 2020 | MUST: Minimal Unsatisfiable Subsets Enumeration Tool (DOI) | Bendík, Černá | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems | |
| A SAC | 2020 | Verification of Forensic Readiness in Software Development: A Roadmap (DOI) | Daubner, Macák, Bühnová, Pitner | ACM | Proceedings of the 35th Annual ACM Symposium on Applied Computing | |
| A LPAR | 2020 | Rotation Based MSS/MCS Enumeration (DOI) | Bendík, Černá | EPiC Series in Computing | LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
| A ESORICS | 2020 | Fooling primality tests on smartcards (DOI) | Sedláček, Jančár, Švenda | Springer | 25th European Symposium on Research in Computer Security (ESORICS) 2020 | |
| A ESORICS | 2020 | Biased RSA private keys: Origin attribution of GCD-factorable keys (DOI) | Janovský, Švenda, Matyáš | Nemec, Sekan | Springer | Computer Security – ESORICS 2020 |
| A CHES | 2020 | Minerva: The curse of ECDSA nonces (DOI) | Jančár, Sedláček, Švenda, Sýs | Ruhr-University of Bochum | IACR Transactions on Cryptographic Hardware and Embedded Systems | |
| A CP | 2020 | Replication-Guided Enumeration of Minimal Unsatisfiable Subsets (DOI) | Černá | Bendík | Springer, Cham | 26th International Conference on Principles and Practice of Constraint Programming |
| A MFCS | 2020 | Isomorphism Problem for Sd-Graphs (DOI) | Agaoglu 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 ATVA | 2020 | DG: Analysis and Slicing of LLVM Bitcode (DOI) | Chalupa | Springer | The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis | |
| A ICALP | 2020 | Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming (DOI) | Cooper, Kráľ, Pekárková | Chan, Koutecký | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), p. "26:1"-"26:19", 19 pp. 2020. |
| A AIED | 2020 | Impact of Methodological Choices on the Evaluation of Student Models (DOI) | Effenberger, Pelánek | Springer | Artificial Intelligence in Education. AIED 2020. Lecture Notes in Computer Science, vol 12163. | |
| A SAT | 2020 | Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions (DOI) | Strejček | Jonáš | Springer | Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings |
| A SIGCSE | 2020 | KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems (DOI) | Čeleda, 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 ATVA | 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI) | Brázdil, Kučera, Novotný, Velan | Chatterjee | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings |
| A ATVA | 2019 | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata (DOI) | Major, Strejček, Jánošová | Zbončáková, Blahoudek | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
| A ATVA | 2019 | Generic Emptiness Check for Fun and Profit (DOI) | Strejček | Baier, Blahoudek, Duret-Lutz, Klein, Müller | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
| A GD | 2019 | Exact Crossing Number Parameterized by Vertex Cover (DOI) | Hliněný | Sankaran | Springer, Lecture Notes in Computer Science, volume 11904 | GD 2019: Graph Drawing and Network Visualization |
| A SoCG | 2019 | Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12 (DOI) | Hliněný | 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 | 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) | |
| 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) | |
| B AINA | 2023 | A Survey of Intrusion Detection-based Trust Management Approaches in IoT Networks (DOI) | Mbarek, Pitner | Soula, Meddeb | Springer | International Conference on Advanced Information Networking and Applications (AINA-2023) |
| B EvoCOP | 2023 | Real-World Vehicle Routing using Adaptive Large Neighborhood Search (DOI) | Sassmann, Rudová, Sobotka | Gabonay | Springer, Cham | Evolutionary Computation in Combinatorial Optimization |
| B FDG | 2023 | Press H to Help: The Impact of Prosocial Video Games on Prosocial Behaviors by Exposure Time (DOI) | Langlois, Kriglstein | Drury | ACM | In Foundations of Digital Games 2023 (FDG 2023) |
| B ENASE | 2023 | Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems (DOI) | Kušniráková, Bühnová | Scitepress | Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering | |
| B IoTBDS | 2023 | CopAS: A Big Data Forensic Analytics System (DOI) | Macák, Rebok, Štovčik, Rossi, Bühnová | Ge | SciTePress | Proceedings of the 8th International Conference on Internet of Things, Big Data and Security IoTBDS - Volume 1 |
| B IWCMC | 2023 | An Effective Replica Node Detection Scheme in Internet of Things Networks (DOI) | Mbarek, Pitner | Soula, Meddeb | IEEE Xplore | International Wireless Communications & Mobile Computing Conference (IWCMC 2023) |
| B ENASE | 2023 | Multi-Step Reasoning for IoT Devices (DOI) | Rossi | Blanco Sánchez | SciTePress | Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023) |
| B CSEDU | 2023 | Adapting Is Difficult! Introducing a Generic Adaptive Learning Framework for Learner Modeling and Task Recommendation Based on Dynamic Bayesian Networks (DOI) | Gnadlinger, Kriglstein | Selmanagić, Simbeck | SciTePress | Proceedings of the 15th International Conference on Computer Supported Education - Volume 1 |
| B SoCS | 2023 | Real-world Pickup and Delivery Problem with Transfers (DOI) | Sobotka, Rudová | The AAAI Press, Washington, DC, USA | Sixteenth International Symposium on Combinatorial Search | |
| B ICSOFT | 2023 | Conceptual Framework for Adaptive Safety in Autonomous Ecosystems. (DOI) | Halász, Bühnová | SciTePress | Proceedings of the 18th International Conference on Software Technologies - ICSOFT | |
| B ICSOFT | 2023 | Adopting the Actor Model for Antifragile Serverless Architectures (DOI) | Mráz, Bangui, Rossi, Bühnová | SciTePress | Proceedings of the 18th International Conference on Software Technologies - ICSOFT | |
| B LPAR | 2023 | Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties (DOI) | Tušil, Obdržálek | Serbanuta | EasyChair | Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning |
| B RCIS | 2023 | A Model of Qualitative Factors in Forensic-Ready Software Systems (DOI) | Daubner, Bühnová | Raimundas | Springer Nature Switzerland | Research Challenges in Information Science: Information Science and the Connected World |
| B ENASE | 2023 | Digital Twins for Trust Building in Autonomous Drones through Dynamic Safety Evaluation (DOI) | Iqbal, Bühnová | Cioroaica | SciTePress | 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE |
| B FedCSIS | 2023 | Towards a Definition of Complex Software System (DOI) | Žižka, Rossi, Pitner | ACSIS | Annals of Computer Science and Information Systems - 18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023) | |
| B SEAA | 2023 | Pull Requests Acceptance: A Study Across Programming Languages (DOI) | Kuhejda, Rossi | IEEE | 49th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2023) | |
| B TSP | 2023 | Data Backup System with Integrated Active Protection Against Ransomware (DOI) | Oujezský, Novák, Horváth, Holík, Jurčík | IEEE | 2023 46th International Conference on Telecommunications and Signal Processing (TSP) | |
| B INTERACT | 2023 | Through Space and Time: Spatio-Temporal Visualization of MOBA Matches (DOI) | Šufliarsky, Kriglstein | Walllner | Springer | IFIP Conference on Human-Computer Interaction (INTERACT 2023) |
| B ARES | 2023 | Enabling Efficient Threshold Signature Computation via Java Card API (DOI) | Dufka, Švenda | ACM | Proceedings of the 18th International Conference on Availability, Reliability and Security | |
| B CMSB | 2023 | Phenotype Control of Partially Specified Boolean Networks (DOI) | Beneš, Brim, Šafránek, Šmijáková | Pastva | Springer Cham | Computational Methods in Systems Biology |
| B CASE | 2023 | RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots (DOI) | Mrázek, Barnat | IEEE | 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) | |
| B CASE | 2023 | Fault-Tolerant and System-Wide Communication for Metamorphic Robots (DOI) | Mrázek, Chlup, Barnat | IEEE | 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) | |
| B ICTAC | 2023 | Interactive Matching Logic Proofs in Coq (DOI) | Tušil | Péter, Dániel | Springer Nature Switzerland AG | Theoretical Aspects of Computing (ICTAC 2023) |
| B ICIDS | 2023 | Bookwander: From Printed Fiction to Virtual Reality—Four Design Approaches for Enhanced VR Reading Experiences (DOI) | Kunzová, Echeverri Giraldo | Springer Nature Switzerland | Interactive Storytelling: 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11–15, 2023, Proceedings, Part I | |
| B EVALITA | 2023 | bot.zen at LangLearn: regressing towards interpretability (URL) | Stemle | Tebaldini, Bonanni, Pellegrino, Brasolin, Franzini, Frey, Lopopolo, Spina | CEUR.org | Proceedings of the Eighth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian |
| B ICTAC | 2023 | Learning Attack Trees by Genetic Algorithms (DOI) | Dorfhuber, Křetínský | Eisentraut | Springer | Theoretical Aspects of Computing – ICTAC 2023 |
| B ATVA | 2023 | Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks (DOI) | Křetínský | Chau, Mohr | Springer | Automated Technology for Verification and Analysis. ATVA 2023 |
| B ITICSE | 2023 | Want to Raise Cybersecurity Awareness? Start with Future IT Professionals. (DOI) | Kraus, Švábenský, Horák, Matyáš, Vykopal, Čeleda | ACM | Proceedings of the 28th Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'23) | |
| B WiMob | 2023 | Recommending Similar Devices in Close Proximity for Network Security Management (DOI) | Bouček, Husák | IEEE | 2023 19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) | |
| B SEMANTiCS | 2022 | Distinguishing the Types of Coordinated Verbs with a Shared Argument by means of New ZeugBERT Language Model and ZeugmaDataset (DOI) | Medková, Horák | IOS Press | Towards a Knowledge-Aware AI : SEMANTiCS 2022 — Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria | |
| B ADMA | 2022 | Game Achievement Analysis: Process Mining Approach (DOI) | Macák, Daubner, Jamnická, Bühnová | Springer International Publishing | Advanced Data Mining and Applications | |
| B ADMA | 2022 | Cybersecurity Analysis via Process Mining: A Systematic Literature Review (DOI) | Macák, Daubner, Bühnová | Fani Sani | Springer | Advanced Data Mining and Applications |
| B ICAART | 2022 | Comparing RNN and Transformer Context Representations in the Czech Answer Selection Task (DOI) | Medveď | Horák, Sabol | SCITEPRESS | Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART) |
| B IoTBDS | 2022 | Shifting Towards Antifragile Critical Infrastructure Systems (DOI) | Bangui, Bühnová, Rossi | Scitepress | Proceedings of the 7th International Conference on Internet of Things, Big Data and Security | |
| B CLOSER | 2022 | DISDA: Digital Service Design Architecture for Smart City Ecosystems (DOI) | Bühnová | Ge | Scitepress | Proceedings of the 12th International Conference on Cloud Computing and Services Science |
| B ENASE | 2022 | Tools for the Confluence of Semantic Web and IoT: A Survey (DOI) | Blanco Sánchez, Rossi, Pitner | SciTePress | Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022) | |
| B ICPRAM | 2022 | Nearest-neighbor Search from Large Datasets using Narrow Sketches (DOI) | Míč | Naoya, Yasunobu, Takeshi, Kouichi, Tetsuji | SciTePress | Proceedings of the 11th International Conference on Pattern Recognition Applications and Methods - ICPRAM |
| B MESAS | 2022 | Enhancing Requirements Completeness of Automated Driving System in Concept Phase (DOI) | Abbadi, Přenosil | Springer Nature Switzerland AG | International Conference on Modelling and Simulation for Autonomous Systems / MESAS 2021: Modelling and Simulation for Autonomous Systems | |
| B WALCOM | 2022 | Isomorphism Testing for T-graphs in FPT (DOI) | Agaoglu Cagirici, Hliněný | Springer, Cham | WALCOM: Algorithms and Computation | |
| B DEXA | 2022 | Towards Efficient Human Action Retrieval based on Triplet-Loss Metric Learning (DOI) | Kico, Sedmidubský, Zezula | Springer-Verlag | 33rd International Conference on Database and Expert Systems Applications (DEXA) | |
| B ENASE | 2022 | Business Process Model and Notation for Forensic-Ready Software Systems (DOI) | Daubner, Bühnová, Pitner | Matulevičius | SciTePress | Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering |
| B ICSOFT | 2022 | Timing Model for Predictive Simulation of Safety-Critical Systems (DOI) | Blanco Sánchez, Rossi | Cioroaica | SciTePress | 17th International Conference on Software Technologies (ICSOFT 2022) |
| B SEAA | 2022 | Applicability of Software Reliability Growth Models to Open Source Software (DOI) | Mičko, Chren, Rossi | IEEE | 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2022) | |
| B ICSOFT | 2022 | Blockchain Patterns in Critical Infrastructures: Limitations and Recommendations (DOI) | Bangui, Bühnová | Scitepress | The 17th International Conference on Software and Data Technologies (ICSOFT) | |
| B SECRYPT | 2022 | A Longitudinal Study of Cryptographic API: a Decade of Android Malware (DOI) | Janovský, Macko, Matyáš | Maiorca, Giacinto | SCITEPRESS | Proceedings of the 19th International Conference on Security and Cryptography |
| B SECRYPT | 2022 | SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes (DOI) | Dufka, Sedláček, Švenda | SCITEPRESS | Proceedings of the 19th International Conference on Security and Cryptography | |
| B SMARTGREENS | 2022 | Evaluation of Smart City Models: A Conceptual and Structural View. (DOI) | Walletzký, Schwarzová | Bayarsaikhan, Ge | SciTePress | Proceedings of the 11th International Conference on Smart Cities and Green ICT Systems - SMARTGREENS |
| B SISAP | 2022 | Learned Indexing in Proteins: Substituting Complex Distance Calculations with Embedding and Clustering Techniques (DOI) | Oľha, Slanináková, Gendiar, Antol, Dohnal | Springer Cham | Similarity Search and Applications, 15th International Conference, SISAP 2022, Bologna, Italy, October 5–7, 2022, Proceedings | |
| B DEXA | 2022 | Analytical Algebra: Extension of Relational Algebra (DOI) | Peschel, Batko, Zezula | Springer International Publishing | 33rd International Conference on Database and Expert Systems Applications (DEXA) | |
| B SECRYPT | 2022 | Large-scale randomness study of security margins for 100+ cryptographic functions (DOI) | Klinec, Sýs, Švenda, Matyáš | Kubíček | Scitepress | Proceedings of the 19th International Conference on Security and Cryptography |
| B CMSB | 2022 | eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems (DOI) | Troják, Šafránek, Brim | Brozmann | Springer | 20th International Conference on Computational Methods in Systems Biology |
| B IFIP SEC | 2022 | Usability Insights from Establishing TLS Connections (DOI) | Kraus, Kolouch Grabovský, Ukrop, Galanská, Matyáš | Springer Verlag | IFIP International Conference on ICT Systems Security and Privacy Protection | |
| B VCBM | 2022 | Understanding the impact of statistical and machine learning choices on predictive models for radiotherapy (DOI) | Furmanová | Böröndy, Raidou | The Eurographics Association | Eurographics Workshop on Visual Computing for Biology and Medicine |
| B KES | 2022 | Human-Generated Web Data Disentanglement for Complex Event Processing (DOI) | Blanco Sánchez, Pitner | Ge | Elsevier | 26th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2022 |
| B AFRICACRYPT | 2022 | DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits (DOI) | Sedláček, Suchánek, Dufka, Sýs, Matyáš | Springer, Cham | International Conference on Cryptology in Africa | |
| B TSD | 2022 | New Language Identification and Sentiment Analysis Modules for Social Media Communication (DOI) | Sabol, Horák | Springer | International Conference on Text, Speech, and Dialogue | |
| B ISM | 2022 | On Selection of Efficient Sequential Pattern Mining Algorithm Based on Characteristics of Data (DOI) | Peschel, Batko, Zezula | IEEE | 2022 IEEE International Symposium on Multimedia (ISM) | |
| B SISAP | 2022 | Similarity Search with the Distance Density Model (DOI) | Křenková, Míč, Zezula | Springer | Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5 - October 7, 2020, Proceedings | |
| B SISAP | 2022 | Concept of Relational Similarity Search (DOI) | Míč, Zezula | Springer | Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5 - October 7, 2022, Proceedings | |
| B ICUMT | 2022 | Comparison of Prevailing Technological Trends in Communication and Control Infrastructure (DOI) | Pitner, Oujezský, Kasl | Mamula, Střelec, Vodrážka | IEEE Computer Society | 2022 14th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) |
| B SECRYPT | 2022 | JCAlgTest: Robust identification metadata for certified smartcards (DOI) | Švenda | Kvašňovský, Nagy, Dufka | INSTICC | Proceedings of the 19th International Conference on Security and Cryptography (SECRYPT 2022) |
| B BIBM | 2022 | Unsupervised extraction, labelling and clustering of segments from clinical notes (DOI) | Zelina, Halámková, Nováček | IEEE | Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM) | |
| B ICUMT | 2022 | Requirements on Communication Technologies for Flexibility Aggregation Management (DOI) | Pitner, Kasl | Mamula, Hrycej, Střelec, Janeček | IEEE Computer Society | 2022 14th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) |
| B SAS | 2022 | Case Study on Verification-Witness Validators: Where We Are and Where We Go (DOI) | Strejček | Beyer | Springer | Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings |
| B SENSORS | 2022 | Digital Dose Rate Equivalent Meter for Neutron-Gamma Mixed Field (DOI) | Čulen, Matěj | Král, Jančář, Kopecký, Mravec | IEEE Inc. | IEEE Sensors |
| B ICIDS | 2022 | Integrating Brechtian Concepts in the Design of a Tangible Narrative: The Case of “The Non-myth of the Noble Red” (DOI) | Echeverri Giraldo | Springer International Publishing | Interactive Storytelling: 15th International Conference on Interactive Digital Storytelling, ICIDS 2022 | |
| B PATAT | 2022 | Planning for high-speed railways in the Czech Republic | Dostál, Rudová, Pařil | PATAT | Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2022, Volume III | |
| B PATAT | 2022 | Real-world university course timetabling at the International Timetabling Competition 2019 | Rudová | Müller, Müllerová | PATAT | Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2022, Volume III |
| B SISAP | 2022 | Visual Exploration of Human Motion Data (DOI) | Budíková, Klepáč, Rusnák, Slovák | Springer, Cham | 15th International Conference on Similarity Search and Applications (SISAP 2022) | |
| B NOMS | 2022 | HTTPS Event-Flow Correlation: Improving Situational Awareness in Encrypted Web Traffic (DOI) | Špaček, Velan, Čeleda, Tovarňák | IEEE Xplore Digital Library | 2022 IEEE/IFIP Network Operations and Management Symposium (NOMS 2022) | |
| B IV | 2022 | Improving Cybersecurity Incident Analysis Workflow with Analytical Provenance (DOI) | Rusňák, Janečková, Drgoň, Dombajová, Kudělková | IEEE | 2022 26th International Conference Information Visualisation (IV) | |
| B ARES | 2022 | Limiting the Size of a Predictive Blacklist While Maintaining Sufficient Accuracy (DOI) | Šuľan, Husák | ACM | The 17th International Conference on Availability, Reliability and Security (ARES 2022) | |
| B FIE | 2022 | Designing Adaptive Cybersecurity Hands-on Training (DOI) | Šeda, Vykopal, Čeleda, Ignác | IEEE | 2022 IEEE Frontiers in Education Conference (FIE) | |
| 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 IPAW | 2021 | Non-repudiable provenance for clinical decision support systems (DOI) | Holub | Wittner, Fairweather, Chapman, Curcin | Springer | Lecture Notes in Computer Science |
| 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 | IEEE | 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, Starý 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á | IEEE | Proceedings of the 16th Conference on Computer Science and Intelligence 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 | Neuveden | 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) | Starý Novotný, Lupták, Štefánik, Sojka | Ayetiran, Bačovský | 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 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 | SciTePress | The 17th International Conference on Web Information Systems and Technologies (WEBIST) | |
| B AICCSA | 2021 | A Real time Healthcare Tracking System based on Blockchain Application (DOI) | Mbarek, Pitner | Lavigne | IEEE | 18th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2021 |
| B WEBIST | 2021 | Recommendation Recovery with Adaptive Filter for Recommender Systems (DOI) | Blanco Sánchez, Pitner | Ge | SciTePress/INSTICC | Proceedings of the 17th International Conference on Web Information Systems and Technologies - WEBIST |
| B KES | 2021 | Modeling Inconsistent Data for Reasoners in Web of Things (DOI) | Blanco Sánchez, Pitner | Ge | Elsevier | Procedia Computer Science, Volume 192, 25th KES International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2021 |
| 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 CLiC-it | 2021 | Introducing a Gold Standard Corpus from Young Multilinguals for the Evaluation of Automatic UD-PoS Taggers for Italian (URL) | Stemle | Schmalz, Frey | CEUR Workshop Proceedings | 8th Italian Conference on Computational Linguistics, CLiC-it 2021 |
| 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 IoTBDS | 2021 | A Deployable Data as a Service Architecture for Enterprises (DOI) | Tóth | Ge | SCITEPRESS | PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS) |
| 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 LAK | 2020 | Exploration of the Robustness and Generalizability of the Additive Factors Model (DOI) | Effenberger, Pelánek, Čechák | ACM | Proceedings of the 10th International Conference on Learning Analytics and Knowledge | |
| B IFIP SEC | 2020 | Improving Big Data Clustering for Jamming Detection in Smart Mobility (DOI) | Bangui, Ge, Bühnová | Springer IFIP AICT series | Proceedings of the 35th International Conference on ICT Systems Security and Privacy Protection - IFIP SEC | |
| B CLOSER | 2020 | Research Challenges of Open Data as a Service for Smart Cities (DOI) | Walletzký, Romanovská, Ge | Toli | SCITEPRESS | Proceedings of the 10th International Conference on Cloud Computing and Services Science |
| B ISBI | 2020 | Image-based Simulations of Tubular Network Formation (DOI) | Svoboda, Nečasová | IEEE | 17th IEEE International Symposium on Biomedical Imaging | |
| B ICAART | 2020 | Improving RNN-based Answer Selection for Morphologically Rich Languages (DOI) | Medveď, Horák, Sabol | SCITEPRESS | Proceedings of the 12th International Conference on Agents and Artificial Intelligence | |
| B ISBI | 2020 | Condensed U-Net (CU-Net): An Improved U-Net Architecture for Cell Segmentation Powered by 4x4 Max-Pooling Layers (DOI) | Akbas, Kozubek | IEEE | IEEE 17th International Symposium on Biomedical Imaging | |
| B KES | 2020 | Developing the Quality Model for Collaborative Open Data (DOI) | Ge | Lewoniewski | Elsevier Procedia Computer Science | Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems - KES 2020 |
| B CBI | 2020 | Developing Reliable Taxonomic Features for Data Warehouse Architectures (DOI) | Ge | Yang, Helfert | IEEE | Proceedings of the 22nd IEEE International Conference on Business Informatics - CBI 2020 |
| B DEXA | 2020 | Blockchain-based Access Control for IoT in Smart Home Systems (DOI) | Mbarek, Ge, Pitner | Springer | Proceedings of the 31st International Conference on Database and Expert Systems Applications - DEXA 2020 | |
| B FIE | 2020 | How Does a Student-Centered Course on Communication and Professional Skills Impact Students in the Long Run? (DOI) | Motschnig, Švábenský | 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 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 LAK | 2020 | Learning analytics challenges: trade-offs, methodology, scalability (DOI) | Pelánek | ACM | Proceedings of the Tenth International Conference on Learning Analytics & Knowledge | |
| B QRS | 2020 | On Symbolic Execution of Decompiled Programs (DOI) | Korenčik, Ročkai, Lauko, Barnat | IEEE Computer Society | Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020 | |
| B IoTBDS | 2020 | The Suitability of Graph Databases for Big Data Analysis: A Benchmark (DOI) | Macák, Štovčik, Bühnová | SciTePress | Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS | |
| B IoTBDS | 2020 | Big Data Processing Tools Navigation Diagram (DOI) | Macák, Bangui, Bühnová | Molnár, Sidló | SciTePress | Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS |
| B FedCSIS | 2020 | How well a multi-model database performs against its single-model variants: Benchmarking OrientDB with Neo4j and MongoDB (DOI) | Macák, Štovčik, Bühnová, Merjavý | IEEE | Proceedings of the 2020 Federated Conference on Computer Science and Information Systems | |
| B VizSEC | 2020 | Exploratory Analysis of File System Metadata for Rapid Investigation of Security Incidents (DOI) | Kouřil, Ošlejšek, Pšorn 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 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) | Hajdin, Kico, Doležal, Chmelík, Liarokapis | 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, Pitner | Bühnová | 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 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 |
| 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 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 SEFM | 2019 | Local Nontermination Detection for Parallel C++ Programs (DOI) | Štill, Barnat | Springer | International Conference on Software Engineering and Formal Methods | |
| B SEFM | 2019 | Reproducible Execution of POSIX Programs with DiOS (DOI) | Ročkai, Mrázek, Barnat | Baranová, Kejstová | Springer International Publishing | Software Engineering and Formal Methods |
| B IFM | 2019 | Evaluation of Program Slicing in Software Verification (DOI) | Chalupa, Strejček | Springer | Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings | |
| B COCOA | 2019 | On conflict-free chromatic guarding of simple polygons (DOI) | Cagirici, Hliněný | Ghosh, Roy | Springer, Lecture Notes in Computer Science, volume 11949 | 13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19) |
| B ICTAC | 2019 | LTL to Smaller Self-Loop Alternating Automata and Back (DOI) | Major, Strejček | Blahoudek | Springer | Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings |
| B ICFEM | 2019 | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI) | Beneš, Brim, Pastva, Šafránek | Poláček | Springer | Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings |
| B IFM | 2019 | Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI) | Beneš, Brim, Geletka, Pastva, Šafránek | Springer International Publishing | Integrated Formal Methods | |
| 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 | |
| C ECSA | 2023 | Trust Management in the Internet of Everything (DOI) | Bühnová | Springer | ECSA 2022: Software Architecture. ECSA 2022 Tracks and Workshops | |
| C WEBIST | 2023 | A Comparative Study of Energy Domain Ontologies (DOI) | Blanco Sánchez, Rossi, Pitner | Springer, Cham. | Lecture Notes in Business Information Processing (LNBIP) | |
| C ANT | 2023 | Deep-Learning based Reputation Model for Indirect Trust Management (DOI) | Bangui, Bühnová | Ge | Elsevier | 14th International Conference on Ambient Systems, Networks and Technologies Networks (ANT 2023) |
| C ANT | 2023 | Social Internet of Things: Ethical AI Principles in Trust Management (DOI) | Bangui, Bühnová | Ge | Elsevier | The 14th International Conference on Ambient Systems, Networks and Technologies (ANT 2023) |
| C CHI | 2023 | Do you have time for a survey? Challenges and Lessons Learned from the Recruitment Process for an Online Survey (DOI) | Langlois, Kriglstein | ACM | In Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems | |
| C SIGIR | 2023 | Text-to-Motion Retrieval: Towards Joint Understanding of Human Motion Data and Natural Language (DOI) | Sedmidubský, Rebok | Messina, Fabrizio | ACM | 46th International Conference on Research and Development in Information Retrieval (SIGIR) |
| C CHI | 2023 | From Bin to Playin’: Give Vintage Objects a New Purpose as Game Controllers (DOI) | Kejstová, Rusňák, Kriglstein | Pokorný | ACM | Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems (CHI EA '23) |
| C FDG | 2023 | Designing for Playfulness in Human-AI Authoring Tools (DOI) | Kriglstein | Liapis, Guckelsberger, Zhu, Harteveld, Denisova, Gow, Preuss | ACM | Proceedings of the 18th International Conference on the Foundations of Digital Games (FDG '23) |
| C ENASE | 2023 | BPMN4FRSS: An BPMN Extension to Support Risk-Based Development of Forensic-Ready Software Systems (DOI) | Daubner, Bühnová, Pitner | Matulevičius | Springer Nature Switzerland | Evaluation of Novel Approaches to Software Engineering |
| C SPW | 2023 | Authentication of IT Professionals in The Wild -- A Survey (DOI) | Kružíková, Matyáš, Brož | Springer International Publishing | Twenty-eighth International Workshop on Security Protocols (SPW) | |
| C ARES | 2023 | Security level evaluation with F4SLE (DOI) | Stupka | Seeba, Oja, Murumaa | ACM | ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security |
| C SISAP | 2023 | CRANBERRY: Memory-Effective Search in 100M High-Dimensional CLIP Vectors (DOI) | Sedmidubský, Zezula | Míč | Springer | 16th International Conference on Similarity Search and Applications (SISAP) |
| C ARES | 2023 | The Curation Mechanism for the Czech National Qualifications Framework in Cybersecurity (DOI) | Kasl, Loutocký, Vostoupal | ACM | Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES '23) | |
| C INTERACT | 2023 | Lessons Learned from Designing and Implementing Interaction Mechanics for Viewer Participation in Game Streaming (DOI) | Mrázek, Kriglstein | Mirza-Babaei, Wallner | Springer | IFIP Conference on Human-Computer Interaction (INTERACT 2023) |
| C TrustCom | 2023 | Trustworthy Execution in Untrustworthy Autonomous Systems (DOI) | Halász, Shandilya, Bühnová | IEEE | 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) | |
| C ARES | 2023 | Fingerprint forgery training: Easy to learn, hard to perform (DOI) | Kružíková, Matyáš | ACM | Proceedings of the 18th International Conference on Availability, Reliability and Security | |
| C iMETA | 2023 | Transforming Affordable Virtual Reality Headsets into Effective Learning Environments (DOI) | Rossi | Rana, Norbisrath, Vainikko | IEEE | Proceedings of the International Conference on Intelligent Metaverse Technologies & Applications (iMETA2023) |
| C ARES | 2023 | Data Loss Prevention Solution for Linux Endpoint Devices (DOI) | Daubner, Považanec | ACM | ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security | |
| C CHIWORK | 2023 | Tracking to Success? A Critical Reflection on Workplace Quantified-Self Technologies from a Humanistic Perspective (DOI) | Kriglstein | Gerdenitsch, Bieg, Gaitsch, Schörpf, Tscheligi | ACM | Proceedings of the 2nd Annual Meeting of the Symposium on Human-Computer Interaction for Work (CHIWORK '23) |
| C SECRYPT | 2023 | Explaining the Use of Cryptographic API in Android Malware (DOI) | Janovský, Macko, Matyáš | Maiorca, Giacinto | Springer Nature Switzerland | E-Business and Telecommunications |
| C TACAS | 2023 | Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (DOI) | Ayaziová, Strejček | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II | |
| C SISAP | 2023 | SISAP 2023 Indexing Challenge – Learned Metric Index (DOI) | Slanináková, Procházka, Antol, Oľha, Dohnal | Springer | Similarity Search and Applications. SISAP 2023. Lecture Notes in Computer Science, vol 14289 | |
| C CHI PLAY | 2023 | Construct and Play: Engaging Students with Visualizations through Playful Methods. (DOI) | Kejstová, Kriglstein | Stoiber, Boucher, Kandlhofer, Aigner | ACM | In Companion Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI PLAY Companion '23) |
| C MUM | 2023 | Making A Real Connection: Pro-Social Collaborative Play in Extended Realities – Trends, Challenges and Potentials (DOI) | Kriglstein | Mittmann, Barnard, Woodcock | ACM | Proceedings of the 22nd International Conference on Mobile and Ubiquitous Multimedia (MUM '23) |
| C ICUMT | 2023 | Selected Software and Tools for Smart Grid Simulation in Research (DOI) | Oujezský, Mbarek, Kasl, Pitner | IEEE | 2023 15th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) | |
| C ICUMT | 2023 | Ransomware File Detection Using Hashes and Machine Learning (DOI) | Novák, Kaura, Oujezský, Horváth | IEEE | 2023 15th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) | |
| C ICUMT | 2023 | Technology Approaches to Metering in Flexibility Aggregation (DOI) | Pitner, Kasl | Mamula, Hrycej, Střelec, Janeček | IEEE | 2023 15th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) |
| C CHIRA | 2023 | Initial Developments of Teamwork and Mental Health Focused Minigames for the Purpose of Esports Training (DOI) | Langlois, Kriglstein | Springer | Computer-Human Interaction Research and Applications. CHIRA 2023 | |
| C CHIRA | 2023 | Using Audience Avatars to Increase Sense of Presence in Live-Streams (DOI) | Pagáč, Kriglstein | Springer | International Conference on Computer-Human Interaction Research and Applications | |
| C e-Science | 2023 | EbAcraft: Engaging Local Communities in Learning About Ecosystem-Based Adaptation for Coastal Cities in Europe (DOI) | Brůža | Sena, Cocco, Lenicolais, Crowley, Pilla | IEEE | 2023 IEEE 19th International Conference on e-Science (e-Science) |
| C BIBM | 2023 | Unsupervised extraction, classification and visualization of clinical note segments using the MIMIC-III dataset (DOI) | Zelina, Nováček | Halámková | IEEE | Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM) |
| C ARES | 2023 | A Decentralised Public Key Infrastructure for X-Road (DOI) | Švenda | Bakhtina, Leung, Matulevicius, Awad | ACM | 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023 |
| C ARES | 2023 | Enhancing Cybersecurity Education in Europe: The REWIRE's Course Selection Methodology (DOI) | Čegan | Briones Delgado, Ricci, Chatzopoulou, Dzurenda, Koutoudis | ACM | 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023 |
| C ICANN | 2023 | Novel Synthetic Data Tool for Data-Driven Cardboard Box Localization (DOI) | Kravár | Gajdosecg, Madaras | SPRINGER INTERNATIONAL PUBLISHING AG | ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING, ICANN 2023, PT I |
| C WEBIST | 2023 | An Adaptive Filter for Preference Fine-Tuning in Recommender Systems (DOI) | Blanco Sánchez, Pitner | Ge | SPRINGER INTERNATIONAL PUBLISHING AG | WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2020, WEBIST 2021 |
| C RoSE | 2023 | Towards the Concept of Trust Assurance Case (DOI) | Bühnová | Cioroaica, Schneider, Tomur, Sorokos, Kuhn | IEEE | 2023 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING, ROSE |
| C TrustCom | 2023 | Detecting Masquerading Traitors from Process Visualization of Computer (DOI) | Macák, Ošlejšek, Bühnová | IEEE | 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) | |
| C NOMS | 2023 | Event-Flow Correlation for Anomaly Detection in HTTP/3 Web Traffic (DOI) | Špaček, Velan, Plesník | Holkovič | IEEE Xplore Digital Library | 2023 IEEE/IFIP Network Operations and Management Symposium (NOMS 2023) |
| C | 2022 | Blockchain-based Real Time Healthcare Emergency (DOI) | Mbarek, Pitner | Lavigne | Springer CCIS (Communications in Computer and Information Science) | Distributed Computing for Emerging Smart Networks (DiCES-N) -- Workshop |
| C TACAS | 2022 | LART: Compiled Abstract Execution (Competition Contribution) (DOI) | Lauko, Ročkai | Springer International Publishing | TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems | |
| C EuroS&P | 2022 | Applying Process Discovery to Cybersecurity Training: An Experience Report (DOI) | Macák, Ošlejšek, Bühnová | IEEE | 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) | |
| C TACAS | 2022 | Symbiotic-Witch: A Klee-Based Violation Witness Checker (DOI) | Ayaziová, Chalupa, Strejček | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II | |
| C TACAS | 2022 | Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (DOI) | Chalupa, Mihalkovič, Řechtáčková, Strejček | Zaoral | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II |
| C SEAMS | 2022 | From Systems to Ecosystems: Rethinking Adaptive Safety (DOI) | Halász | ACM | 2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) | |
| C ITIB | 2022 | A Revealed Imperfection in Concept Drift Correction in Metabolomics Modeling (DOI) | Bajger, Jakubíková, Popelínský | Schwarzerová, Kostoval, Pierdou, Sedlář, Weckwerth | Springer | Information Technology in Biomedicine: 9th International Conference, ITIB 2022 |
| C ICSME | 2022 | A Conceptual Antifragile Microservice Framework for Reshaping Critical Infrastructures (DOI) | Bangui, Rossi, Bühnová | IEEE | The 38th IEEE International Conference on Software Maintenance and Evolution | |
| C EASE | 2022 | AI-Based Software Defect Prediction for Trustworthy Android Apps (DOI) | Iqbal, Bühnová | Sadaf | ACM | Proceedings of the International Conference on Evaluation and Assessment in Software Engineering 2022 |
| C EASE | 2022 | The Influence of Cost Drivers on Effort Estimation in Distributed Software Development (DOI) | Iqbal | ul haq, Kazim | ACM | EASE 2022: Evaluation and Assessment in Software Engineering |
| C ARES | 2022 | Scenarios for Process-Aware Insider Attack Detection in Manufacturing (DOI) | Macák, Václavek, Kušniráková, Bühnová | Raimundas | ACM | Proceedings of the 17th International Conference on Availability, Reliability and Security |
| C ARES | 2022 | The Platform for Czech National Qualifications Framework in Cybersecurity (DOI) | Vostoupal, Kasl, Loutocký, Pitner, Valo, Valalský, Paranič | ACM | Proceedings of the 17th International Conference on Availability, Reliability and Security (ARES '22) | |
| C ICSA | 2022 | Predictive Simulation within the Process of Building Trust (DOI) | Bühnová | Cioroaica, Kuhn | IEEE | IEEE International Conference on Software Architecture Workshops (ICSAW) |
| C SE4RAI | 2022 | The Concept of Ethical Digital Identities (DOI) | Bühnová | Cioroaica, Jacobi, Schneider | ACM | IEEE/ACM International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI) |
| C SE4RAI | 2022 | Towards Trusting the Ethical Evolution of Autonomous Dynamic Ecosystems (DOI) | Bühnová | Cioroaica, Tomur | ACM | IEEE/ACM International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI) |
| C EuroUSEC | 2022 | Assessing Real-World Applicability of Redesigned Developer Documentation for Certificate Validation Errors (DOI) | Ukrop, Balážová, Žáčik, Valčík, Matyáš | ACM | Proceedings of the 2022 European Symposium on Usable Security | |
| C ICEC | 2022 | Upward Influence Tactics: Playful Virtual Reality Approach for Analysing Human Multi-robot Interaction (DOI) | Kriglstein | Gerdenitsch, Weinhofer, Puthenkalam | Springer | Entertainment Computing – ICEC 2022: 21st IFIP TC 14 International Conference |
| C CHI PLAY | 2022 | More Than Just Gameplay: Making a Case for “Let’s Plays” in Education (DOI) | Kriglstein | Göbl, Jovicic, Denk, Wimmer | ACM | Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY '22) |
| C CHI PLAY | 2022 | Grow Your Plant: A Plant-Based Game For Creating Awareness About Sustainability Behaviour by Using Renewable Energy (DOI) | Kriglstein | Chisalita, Murtinger | ACM | CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play |
| C ICUMT | 2022 | Smart Grid Technologies - Key Topics in Current Discourse (DOI) | Oujezský, Novák, Kasl, Pitner | IEEE Computer Society | 2022 14th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) | |
| C | 2022 | Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge (DOI) | Chodil, Kučera, Křetínský | Springer | Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday | |
| C C&C | 2022 | The Non-Myth of the Noble Red: Exploring Brechtian Principles of Storytelling and Performance in the Authoring of a Tangible Narrative (DOI) | Echeverri Giraldo | ACM | C&C '22: Creativity and Cognition | |
| C IASDR | 2022 | Dear Design Journal: A Visual Journey and a Reflective Account of a Practice-Led Doctoral Research (DOI) | Echeverri Giraldo | Springer | [ ] With Design: Reinventing Design Modes. IASDR 2021 | |
| C SPACE | 2022 | Protecting the Most Significant Bits in Scalar Multiplication Algorithms (DOI) | Chmielewski | Bock, Miteloudi | Springer | 12th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2022 |
| C TrustCom | 2022 | Towards the Concept of Trust Assurance Case (DOI) | Bühnová | Cioroaica, Schneider, Sorokos, Kuhn, Tomur | IEEE | 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) |
| C NOMS | 2022 | Identification of Attack Paths Using Kill Chain and Attack Graphs (DOI) | Sadlek, Čeleda, Tovarňák | IEEE Xplore Digital Library | NOMS 2022 - 2022 IEEE/IFIP Network Operations and Management Symposium | |
| C ARES | 2022 | Current Challenges of Cyber Threat and Vulnerability Identification Using Public Enumerations (DOI) | Sadlek, Čeleda, Tovarňák | ACM | The 17th International Conference on Availability, Reliability and Security (ARES 2022) | |
| 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, Ge, Bühnová | 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 IPAW | 2021 | ISO 23494: Biotechnology – Provenance Information Model for Biological Specimen And Data (DOI) | Holub | Wittner, Müller, Geiger, Goble, Soiland-Reyes, Pireddu, Frexia, Mascia, Fairweather, Swedlow, Moore, Strambio, Grunwald, Nakae | Springer | Lecture Notes in Computer Science |
| C TACAS | 2021 | Symbiotic 8: Beyond Symbolic Execution (DOI) | Chalupa, Novák, Řechtáčková, Strejček | Jašek, Šoková | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 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, Part II |
| 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) | Drmola, Kasl, Loutocký, Mareš, Pitner, Vostoupal | 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 Eurocomb | 2021 | Hypergraphs with Minimum Positive Uniform Turán Density (DOI) | Garbe, Kráľ, Lamaison Vidarte | Birkhäuser | Trends in Mathematics, Volume 14, Extended Abstracts of EuroComb 2021, European Conference on Combinatorics, Graph Theory and Applications | |
| C Eurocomb | 2021 | Strong Modeling Limits of Graphs with Bounded Tree-Width (DOI) | Kráľ, Mohr | Grzesik | Birkhäuser | Trends in Mathematics, Volume 14, Extended Abstracts of EuroComb 2021, European Conference on Combinatorics, Graph Theory and Applications |
| C BIBM | 2021 | An Innovative Perspective on Metabolomics Data Analysis in Biomedical Research Using Concept Drift Detection (DOI) | Bajger, Popelínský | Schwarzerová, PIERDOU, Sedlář, WECKWERTH | IEEE | Proceedings of BIBM 2021 |
| C AHFE | 2021 | Management of Smart City in Lens of Viable System Approach (DOI) | Walletzký, Romanovská | Carrubbo | SPRINGER INTERNATIONAL PUBLISHING AG | ADVANCES IN THE HUMAN SIDE OF SERVICE ENGINEERING (AHFE 2021) |
| 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, Tomovič, Ayaziová, Strejček | Jaš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 ICETE | 2019 | BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256 (DOI) | Sýs, Klinec, Kubíček, Švenda | Springer | E-Business and Telecommunications 14th International Joint Conference, ICETE 2017 | |
| C WISTP | 2019 | Bringing kleptography to real-world TLS (DOI) | Janovský, Matyáš | Krhovják | Springer | Information Security Theory and Practice |
| C ICMR | 2019 | Similarity Search in 3D Human Motion Data (DOI) | Sedmidubský, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
| C ICMR | 2019 | Recognizing User-Defined Subsequences in Human Motion Data (DOI) | Sedmidubský, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
| C SCSP | 2019 | Smart Grids and Software Testing Process Models (DOI) | Hrabovská, Šimková, Rossi, Pitner | IEEE | 2019 Smart City Symposium Prague (SCSP) | |
| C ICSA | 2019 | PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes (DOI) | Gešvindr, Bühnová | IEEE | 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) | |
| C ICSE | 2019 | (Do not) trust in ecosystems (DOI) | Bühnová | Cioroaica, Kuhn | IEEE Press | Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results |
| C | 2019 | Women Want to Learn Tech: Lessons from the Czechitas Education Project (DOI) | Bühnová | Přikrylová | IEEE Press | Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering |
| C ECSA | 2019 | Towards Creation of a Reference Architecture for Trust-Based Digital Ecosystems (DOI) | Chren, Bühnová | Cioroaica, Kuhn, Dimitrov | ACM | Proceedings of European Conference on Software Architecture (ECSA 2019) Workshops |
| C TACAS | 2019 | Extending DIVINE with Symbolic Verification Using SMT (DOI) | Lauko, Štill, Ročkai, Barnat | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems | |
| C L@S | 2019 | Measuring Difficulty of Introductory Programming Tasks (DOI) | Effenberger, Čechák, Pelánek | ACM | Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19) | |
| C L@S | 2019 | Measuring Students’ Performance on Programming Tasks (DOI) | Effenberger, Pelánek | ACM | Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19) | |
| C AIED | 2019 | Towards Adaptive Hour of Code (DOI) | Effenberger | Springer | International Conference on Artificial Intelligence in Education | |
| C SLSP | 2019 | Word Sense Induction Using Word Sketches (DOI) | Herman | Kovář, Jakubíček, Rychlý | Springer | Proceedings of the 7th International Conference on Statistical Language and Speech Processing |
| C I-SPAN | 2019 | Exploiting Recommender Systems in Collaborative Healthcare (DOI) | Ge | D'Auria, Persia | Springer Communications in Computer and Information Science | Proceedings of the 16th International Symposium on Pervasive Systems, Algorithms and Networks |
| C CMSB | 2019 | Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI) | Šafránek, Troják, Brůža, Demko, Pastva, Brim | Vejpustek, Papoušek, Pejznoch | Springer | Computational Methods in Systems Biology (CMSB 2019) |
| C 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 SPIN | 2019 | String Abstraction for Model Checking of C Programs (DOI) | Ročkai, Lauko, Olliaro | Cortesi | Springer International Publishing | Model Checking Software |
| 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 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) |
| C HSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Nouvian, Petrov | Springer International Publishing | Hybrid Systems Biology (HSB 2019) |
| C CONFENIS | 2019 | Preventing Additive Attacks to Relational Database Watermarking (DOI) | Olliaro | Làzaro Pèrez Gort, Feregrino Uribe, Cortesi | Springer | 13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019 |
| C ECSA | 2019 | Assisting women in career change towards software engineering: experience from Czechitas NGO (DOI) | Bühnová | Jurystová, Přikrylová | ACM | Proceedings of the 13th European Conference on Software Architecture - Volume 2 |
| C CMSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Morgane, Petrov | Springer Nature | 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) |
| C IM | 2019 | Current Issues of Malicious Domains Blocking (URL) | Špaček, Laštovička, Horák, Plesní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 | |
| D SlavicNLP | 2023 | Resources and Few-shot Learners for In-context Learning in Slavic Languages (URL) | Štefánik, Kadlčík, Sojka | Gramacki | Association for Computational Linguistics | Proceedings of the 9th Workshop on Slavic Natural Language Processing 2023 (SlavicNLP 2023) |
| D ACL | 2023 | People and Places of Historical Europe: Bootstrapping Annotation Pipeline and a New Corpus of Named Entities in Late Medieval Texts (URL) | Starý Novotný, Štefánik, Horák | Luger, Vrabcová | Association for Computational Linguistics | Findings of the Association for Computational Linguistics: ACL 2023 |
| D Eurocomb | 2023 | Stack and Queue Numbers of Graphs Revisited (DOI) | Hliněný, Straka | MUNI Press | European Conference on Combinatorics, Graph Theory and Applications EUROCOMB’23 | |
| D eLex | 2023 | Evaluation of the Cross-lingual Embedding Models from the Lexicographic Perspective | Denisová, Rychlý | Lexical Computing CZ s.r.o. | Electronic lexicography in the 21st century (eLex 2023): Invisible Lexicography. Proceedings of the eLex 2023 conference | |
| D ACL | 2023 | Can In-context Learners Learn a Reasoning Concept from Demonstrations? | Štefánik, Kadlčík | The Association for Computational Linguistics | Proceedings of the 1st Workshop on Natural Language Reasoning and Structured Explanations (NLRSE) | |
| D ICIMTH | 2023 | Understanding Health Records in West Slavic Languages: Available Resources, Case Study in Oncology (DOI) | Anetta | IOS Press | Healthcare Transformation with Informatics and Artificial Intelligence | |
| D eLex | 2023 | Rapid Ukrainian-English Dictionary Creation Using Post-Edited Corpus Data (URL) | Herman, Jakubíček, Kovář, Medveď, Ohlídalová, Suchomel | Blahuš, Cukr, Kraus | Lexical Computing CZ s.r.o. | Electronic lexicography in the 21st century (eLex 2023): Invisible Lexicography. Proceedings of the eLex 2023 conference |
| D eLex | 2023 | Development of Evidence-Based Grammars for Terminology Extraction in OneClick Terms (URL) | Jakubíček, Kovář, Suchomel | Blahuš, Cukr | Lexical Computing CZ s.r.o. | Electronic lexicography in the 21st century (eLex 2023): Invisible Lexicography. Proceedings of the eLex 2023 conference |
| D Eurocomb | 2023 | Twin-width of Planar Graphs; a Short Proof (DOI) | Hliněný | MUNI Press | European Conference on Combinatorics, Graph Theory and Applications EUROCOMB’23 | |
| D IESS | 2023 | Multi-Contextual Smart City Model for Service Interconnections (DOI) | Walletzký, Schwarzová | Bayarsaikhan, Carrubbo, Ge | EDP Sciences | International Conference on Exploring Service Science (IESS 2.3) |
| D RASLAN | 2023 | Document Visual Question Answering with CIVQA: Czech Invoice Visual Question Answering Dataset (URL) | Ščavnická, Štefánik, Sojka | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2023) | |
| D RASLAN | 2023 | Towards Perfection of Machine Learning of Competing Patterns: The Use Case of Czechoslovak Patterns Development (URL) | Sojka, Sojka | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2023) | |
| D RASLAN | 2023 | Web-Based Annotation Tool for Instant Messaging Conversations (URL) | Plhák, Šaradín Lebedíková, Tkaczyk, Šmahel | Tribun EU, Brno | Recent Advances in Slavonic Natural Language Processing, RASLAN 2023 | |
| D | 2023 | MEDICAL ART AND THE PANDEMIC FROM IDENTIFYING THE ‘BIG BAD’ TO ADVANCEMENTS IN MEDICAL EDUCATION (DOI) | Pokojná | University of Krems Press. | MEDIA, ARTS AND DESIGN (MAD) ANTHOLOGY II: MAD Pandemic: Stories of Change and Continuity during the COVID-19 Crisis | |
| D RASLAN | 2023 | Can we detect ChatGPT-generated texts in Czech and Slovak languages? | Šigut, Foltýnek | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2023 | |
| D RASLAN | 2023 | Does Size Matter? - Comparing Evaluation Dataset Size for the Bilingual Lexicon Induction (URL) | Denisová, Rychlý | Tribun EU | Proceedings of the Seventeenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2023 | |
| D RASLAN | 2023 | Augmenting Stylometric Features to Improve Detection of Propaganda and Manipulation (URL) | Sabol, Horák | Tribun EU | Proceedings of the Seventeenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2023 | |
| D RASLAN | 2023 | Five Years of Language Services (URL) | Nevěřilová | Tribun EU | Proceedings of the Seventeenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2023 | |
| D RASLAN | 2023 | Reproducibility and Robustness of Authorship Identification Approaches (URL) | Karásek, Nevěřilová | Tribun EU | Proceedings of the Seventeenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2023 | |
| D IASDR | 2023 | Stories from an unfinished prototype: a seemingly never-ending loop of practice and research (DOI) | Echeverri Giraldo | Design Research Society | Proceedings of IASDR 2023: Life-changing Design Editors | |
| D Eurocomb | 2023 | The dimension of the feasible region of pattern densities (DOI) | Garbe, Kráľ | Malekshahian, Penaguiao | MUNI Press | European Conference on Combinatorics, Graph Theory and Applications |
| D Eurocomb | 2023 | Forcing Generalized Quasirandom Graphs Efficiently (DOI) | Kráľ | Grzesik, Pikhurko | MUNI Press | European Conference on Combinatorics, Graph Theory and Applications |
| D ANIMMA | 2023 | Specially developed LR-0 reactor graphite environment for gen IV reactor support and cross-section measurement (DOI) | Matěj | Peltan, Vilimová, Czakoj, Mravec, Cvachovec, Šimon, Jiříček, Košťál | EDP Sciences | ANIMMA 2023 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications |
| D ND | 2023 | Validation of calculational determination of 18O(p,n) secondary neutron field (DOI) | Matěj | Zmeškal, Košťál, Czakoj, Šimon, Zach, Lebeda | 15th International Conference on Nuclear Data for Science and Technology (ND2022) | 15th International Conference on Nuclear Data for Science and Technology (ND2022) |
| D ND | 2023 | New setup for measurement of prompt gammas from neutron interactions (DOI) | Matěj, Mravec | Czakoj, Košťál, Losa, Šimon, Cvachovec, Novák | 15th International Conference on Nuclear Data for Science and Technology (ND2022) | 15th International Conference on Nuclear Data for Science and Technology (ND2022) |
| D RAD | 2023 | FAST DIGITIZER CARD WITH INTEGRATED PEAK ANALYSIS ALGORITHM (DOI) | Čulen, Matěj | Jančář, Tesařová, Mravec | Radiation Measurements | RAD Conference Proceeding |
| D RASLAN | 2023 | Fine-Grained Language Relatedness for Zero-Shot Silesian-English Translation (URL) | Signoroni | Tribun EU | RASLAN 2023 Recent Advances in Slavonic Natural Language Processing | |
| D ACL | 2022 | AdaptOr: Objective-Centric Adaptation Framework for Language Models (DOI) | Štefánik, Starý Novotný, Sojka | Groverová | Association for Computational Linguistics, ACL | Proceedings of the 60th Conference of Association of Computational Linguistics, ACL 2022 |
| D | 2022 | Detection of Malicious Network Traffic Behavior Using JA3 Fingerprints (DOI) | Novák, Oujezský | Brno University of Technology, Faculty of Electrical Engineering and Communication | Proceedings II of the 28th Conference STUDENT EEICT 2022 | |
| D DATA | 2022 | Interoperability-oriented Quality Assessment for Czech Open Data (DOI) | Kušniráková, Walletzký, Bühnová | Ge | Scitepress | Proceedings of the 11th International Conference on Data Science, Technology and Applications |
| D FedCSIS | 2022 | An Integrated Checklist for Architecture Design of Critical Software Systems (DOI) | Bierská, Bühnová, Bangui | ACSIS | The 17th Conference on Computer Science and Intelligence Systems | |
| D NAACL | 2022 | Methods for Estimating and Improving Robustness of Language Models. (DOI) | Štefánik | Association for Computational Linguistics | Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Student Research Workshop | |
| D CLEF | 2022 | Diverse Semantics Representation is King (URL) | Geletka, Štefánik, Toma, Sojka | Kalivoda | CEUR.org | Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum |
| D CLEF | 2022 | Combining Sparse and Dense Information Retrieval: Soft Vector Space Model and MathBERTa at ARQMath-3 Task 1 (Answer Retrieval) (URL) | Starý Novotný, Štefánik | CEUR-WS | Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum | |
| D INTED | 2022 | Teaching in multicontextual envirnoment (DOI) | Walletzký, Schwarzová | IATED | INTED2022 Proceedings | |
| D FedCSIS | 2022 | Rethinking Safety in Autonomous Ecosystems (DOI) | Halász, Bühnová | ACSIS | Position Papers of the 17th Conference on Computer Science and Intelligence Systems | |
| D AAMAS | 2022 | Minimizing Expected Intrusion Detection Time in Adversarial Patrolling (DOI) | Klaška, Kučera, Musil, Řehák | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) | 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022. | |
| D IDIMT | 2022 | Multi-level cybersecurity governance frameworks for public administration (DOI) | Romanovská, Pitner | Trauner Verlag | IDIMT-2022, Digitalization of Society, Business and Management in a Pandemic | |
| D LoResMT | 2022 | HFT: High Frequency Tokens for Low-Resource NMT (URL) | Signoroni, Rychlý | Association for Computational Linguistics | Proceedings of the Fifth Workshop on Technologies for Machine Translation of Low-Resource Languages (LoResMT 2022) | |
| D RASLAN | 2022 | Information Extraction from Business Documents (URL) | Geletka, Meluš, Ščavnická, Štefánik, Sojka | Bankovič | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2022) |
| D RASLAN | 2022 | Towards General Document Understanding through Question Answering (URL) | Ščavnická, Štefánik, Kadlčík, Geletka, Sojka | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2022) | |
| D WMT | 2022 | MUNI-NLP Systems for Lower Sorbian-German and Lower Sorbian-Upper Sorbian Machine Translation @ WMT22 (URL) | Signoroni, Rychlý | Association for Computational Linguistics | Proceedings of the Seventh Conference on Machine Translation | |
| D RASLAN | 2022 | Constructing Datasets from Dialogue Data (URL) | Sotolář, Plhák, Tkaczyk, Šaradín Lebedíková, Šmahel | Tribun EU | Proceedings of the 16th Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Parallel, or Comparable? That Is the Question - The Comparison of Parallel and Comparable Data-based Methods for Bilingual Lexicon Induction (URL) | Denisová | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Automatic Identification of Speakers and Parties in Steno Protocols of the Czech Parliament (URL) | Mikušek | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022. | |
| D RASLAN | 2022 | Piötòst Ché Niènt, Mèi Piötòst - A Manually Revised Lombard-Italian Parallel Corpus (URL) | Signoroni | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | When Tesseract Meets PERO : Open-Source Optical Character Recognition of Medieval Texts (URL) | Starý Novotný, Horák | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022. | |
| D RASLAN | 2022 | Are Dictionary Definitions of Verbs in Corpora? : Discovering Dead Ends in Generating Explanations of Verbs (URL) | Stará | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Medical Knowledge Resources for Text-Mining of Health Records in Czech, Polish, and Slovak (URL) | Anetta | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Compressed FastText Models for Czech Tagger (URL) | Nevěřilová | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Blooming Onion: Efficient Deduplication through Approximate Membership Testing (URL) | Herman | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Manipulative Style Recognition of Czech News Texts using Stylometric Text Analysis (URL) | Sabol, Horák | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Pipeline Effectiveness in the Sketch Engine (URL) | Kostka | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Utok: The Fast Rule-based Tokenizer (URL) | Rychlý, Špalek | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Semi-Manual Annotation of Topics and Genres in Web Corpora : The Cheap and Fast Way (URL) | Suchomel | Kraus | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 |
| D RASLAN | 2022 | CompAn – A Tool for Quantitative Comparison of Corpus Annotation (URL) | Ohlídalová | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D RASLAN | 2022 | Using NVH as a Backbone Format in the Lexonomy Dictionary Editor (URL) | Jakubíček, Kovář, Měchura, Rambousek | Tribun EU | Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022 | |
| D CLEF | 2022 | Overview of ARQMath-3 (2022): Third CLEF Lab on Answer Retrieval for Questions on Math (Working Notes Version) (URL) | Starý Novotný | Mansouri, Agarwal, W. Oard, Zanibbi | CEUR-WS | Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum |
| D RAD | 2022 | Method of setting optimal operating voltage for radiation detectors containing thin plastic scintillators (DOI) | Čulen, Matěj | Jančář, Mravec | RAD Conference | RAD Conference proceedings |
| D ETIS | 2022 | Tangible Narrative: The Intersection of Performance, Interactivity, and Narrative—A Design Case | Echeverri Giraldo | CEUR Workshop Proceedings | Proceedings of ETIS 2022 | |
| D ICERI | 2022 | PERCEPTION OF SMART CITY IDEA IN SMALLER MUNICIPALITIES AND ITS IMPACT ON MULTIDISCIPLINARY EDUCATION (DOI) | Schwarzová, Walletzký | IATED | ICERI2022 Proceedings | |
| D ICERI | 2022 | MANAGEMENT OF SMART CITY SERVICES FROM THE PERSPECTIVE OF QUADRUPLE HELIX (DOI) | Walletzký, Schwarzová | Nencková | IATED | ICERI2022 Proceedings |
| D | 2021 | CHARACTERIZATION AND COMPARSION OF NEUTRON GENERATORS OF IEC AND LINEAR D-T BY THE SPECTROMETRIC SYSTEM NGA-01 (DOI) | Matěj, Mravec, Jančář, Přenosil | Košťál, Novák, Alexa, Uhlář, Cvachovec, Jančář | Nuclear Energy research Group | PHYSOR2020 conference proceedings |
| D COMPLEXIS | 2021 | Co-simulation of Smart Grids: Dynamically Changing Topologies in Failure Scenarios (DOI) | Gryga, Rossi | SciTePress | International Conference on Complexity, Future Information Systems and Risk (Complexis 2021) | |
| D COMPLEXIS | 2021 | Integrating Distributed Tracing into the Narayana Transaction Manager (DOI) | Žežulka, Rossi | Chaloupka | SciTePress | International Conference on Complexity, Future Information Systems and Risk (Complexis 2021) |
| D WMT | 2021 | Regressive Ensemble for Machine Translation Quality Evaluation (URL) | Štefánik, Starý Novotný, Sojka | ACL | Proceedings of EMNLP 2021 Sixth Conference on Machine Translation (WMT 21) | |
| 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) | Starý Novotný, Štefánik, Lupták, Geletka, Zelina, Sojka | M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen | CEUR Workshop Proceedings | |
| 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 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) | Starý Novotný, Sojka | Bankovič | 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, Šaradín 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) | Starý Novotný, Horák | Luger, Vrabcová | 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 | Proceedings of the Fifteenth Workshop on Recent Advances in Slavonic Natural Languages 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 IT4P | 2021 | Aspects of Forensic-Ready Software Systems in Public Service Domain | Daubner, Pitner | Ministr | VŠB - Technical University Ostrava, Centre for Information Technology | Proceedings of the 24th International Conference on Information Technology for Practice |
| D eLex | 2021 | Compiling an Estonian-Slovak Dictionary with English as a Binder | Denisová | Lexical Computing CZ s.r.o. | Proceedings of Electronic Lexicography in the 21st Century Conference (7th Biennial Conference on Electronic Lexicography, eLex 2021) | |
| D ESM | 2021 | COMPUTER-AIDED MODEL DESIGN OF EMPIRICAL METHODS FOR CALCULATING PARTIAL ATOMIC CHARGES | Raček, Schindler | EUROSIS | MODELLING AND SIMULATION 2021: 35TH ANNUAL EUROPEAN SIMULATION AND MODELLING CONFERENCE 2021 (ESM 2021) | |
| D eLex | 2021 | Identifying Metadata-Specific Collocations in Text Corpora | Herman, Jakubíček, Kovář | Lexical Computing CZ s.r.o. | Proceedings of Electronic Lexicography in the 21st Century Conference (7th Biennial Conference on Electronic Lexicography, eLex 2021) | |
| D eLex | 2021 | Semi-automatic building of large-scale digital dictionaries | Herman, Jakubíček, Kovář, Medveď | Blahuš, Cukr | Lexical Computing CZ s.r.o. | Proceedings of Electronic Lexicography in the 21st Century Conference (7th Biennial Conference on Electronic Lexicography, eLex 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) | Haji Mahmoud, Přenosil, Matěj | 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 IT4P | 2020 | Secure software modeling methods for forensic readiness | Daubner, Pitner | VŠB - Technical University Ostrava, Centre for Information Technology | Proceedings of the 22nd International Conference on Information Technology for Practice | |
| 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) | Starý 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) | Starý 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) | Starý 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) | Starý 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 ND | 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 WOSC | 2019 | How smart technologies and big data affect systems’ life? Conceptual reflections on the Smart City’ ecosystem (DOI) | Štěpánek, Walletzký | Caputo | Routledge | Cybernetics and Systems: Social and Business Decisions [WOSC 2017 Proceedings] |
| D SEBD | 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, Starý Novotný, Lupták, Štefánik | Ayetiran | 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 WOSC | 2019 | Towards a smart systems view of museum networks (DOI) | Walletzký | Caputo, Montenella, Merola | Routledge | Cybernetics and Systems: Social and Business Decisions [WOSC 2017 Proceedings] |
| 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 |