Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.
| celkem | A* | A | B | C | D |
|---|---|---|---|---|---|
| součet | 41 | 96 | 187 | 135 | 133 |
| 2024 | 7 | 22 | 48 | 24 | 20 |
| 2023 | 12 | 14 | 29 | 37 | 33 |
| 2022 | 3 | 23 | 45 | 28 | 36 |
| 2021 | 8 | 18 | 33 | 23 | 28 |
| 2020 | 11 | 19 | 32 | 23 | 16 |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* USENIX-Security | 2024 | “These results must be false”: A usability evaluation of constant-time analysis tools (URL) | Jančár | Fourné, De Almeida Braga, Sabt, Schwabe, Barthe, Fouque, Acar | USENIX Association | 33rd USENIX Security Symposium |
| A* AAAI | 2024 | Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes (DOI) | Klaška, Kučera, Kůr, Musil, Řehák | AAAI Press | Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024) | |
| A* CAV | 2024 | Monitizer: Automating Design and Evaluation of Neural Network Monitors (DOI) | Kanav, Křetínský, Rieder | Azeem, Grobelna, Mohr | Springer | CAV 2024, International Conference on Computer Aided Verification |
| A* LICS | 2024 | The Finite Satisfiability Problem for PCTL is Undecidable (DOI) | Chodil, Kučera | IEEE Computer Society | Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science | |
| A* ICML | 2024 | LPGD: A General Framework for Backpropagation through Embedded Optimization Layers (URL) | Musil | Paulus, Martius | ML Research Press | Proceedings of Machine Learning Research |
| A* PLDI | 2024 | Equivalence and Similarity Refutation for Probabilistic Programs (DOI) | Novotný | Chatterjee, Goharshady, Žikelić | ACM | Proceedings of the ACM on Programming Languages, Volume 8, Issue ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI 2024) |
| A* IJCAI | 2024 | Solving Long-run Average Reward Robust MDPs via Stochastic Games (DOI) | Novotný | Chatterjee, Goharshady, Karrabi, Žikelić | ijcai.org | Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9, 2024 |
| 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* 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* 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 SEAMS | 2024 | Towards Understanding Trust in Self-adaptive Systems (DOI) | Halász | Van Landuyt, Verreydt, Weyns | ACM | International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024) |
| A EACL | 2024 | Think Twice: Measuring the Efficiency of Eliminating Prediction Shortcuts of Question Answering Models (URL) | Mikula, Štefánik, Petrovič, Sojka | Association for Computational Linguistics | Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers) | |
| A CHES | 2024 | TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips (DOI) | Švenda, Dufka, Brož, Lacko, Jaroš | Zaťovič, Pospisil | Ruhr-University of Bochum | IACR Transactions on Cryptographic Hardware and Embedded Systems |
| A STACS | 2024 | Computing Twin-Width Parameterized by the Feedback Edge Number (DOI) | Balabán | Ganian, Rocton | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024) |
| A SAC | 2024 | Petri Nets for Smart Grids: The Story So Far (DOI) | Rossi | Ge, Chren, Blanco Sánchez | ACM (ACM) | The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24) |
| A FoSSaCS | 2024 | Tighter Construction of Tight Büchi Automata (DOI) | Strejček | Jankola | Springer | Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I |
| A TACAS | 2024 | Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (DOI) | Jonáš, Strejček, Trtík | Urban | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III |
| A CHES | 2024 | pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis (DOI) | Jančár, Suchánek, Švenda, Chmielewski | Sedláček | Ruhr-University of Bochum | IACR Transactions on Cryptographic Hardware and Embedded Systems |
| A DIS | 2024 | Between Two Worlds: Analysing the Effects of Immersive and Non-Immersive Prototyping for Participatory Design (DOI) | Kriglstein | Nguyen, Windisch | ACM | ACM Designing Interactive Systems Conference, DIS 2024 |
| A ECAI | 2024 | Uncertainty in real-world vehicle routing (DOI) | Sobotka, Rudová | IOS Press | Frontiers in Artificial Intelligence and Applications | |
| A AsiaCCS | 2024 | Skye: An Expanding PRF based Fast KDF and its Applications (DOI) | Dufka | Bhati, Andreeva, Roy, Preneel | ACM | Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (ASIA CCS '24) |
| A CAiSE | 2024 | The Power of Many: Securing Organisational Identity Through Distributed Key Management (DOI) | Kvapil, Švenda | Bakhtina, Matulevicius | Springer Nature Switzerland | Advanced Information Systems Engineering (CAiSE 24) |
| A MFCS | 2024 | ℋ-Clique-Width and a Hereditary Analogue of Product Structure (DOI) | Hliněný, Jedelský | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) | |
| A MFCS | 2024 | Twin-width of graphs on surfaces | Kráľ, Pekárková | Štorgel | Schloss Dagstuhl – Leibniz-Zentrum für Informatik | 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) |
| A IROS | 2024 | Tree-Based Reconfiguration of Metamorphic Robots (DOI) | Ondika, Mrázek, Barnat | IEEE | 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) | |
| A STACS | 2024 | Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs (DOI) | Filakovský | Nakajima, Oprsal, Tasinato, Wagner | SCHLOSS DAGSTUHL, LEIBNIZ CENTER INFORMATICS | 41ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2024 |
| A ECAI | 2024 | stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic (DOI) | Křetínský | Saveri, Nenzi, Bortolussi | IOS Press | ECAI 2024, 27th European Conference on Artificial Intelligence |
| A TACAS | 2024 | Learning Explainable and Better Performing Representations of POMDP Strategies (DOI) | Chakraborty, Křetínský | Bork, Grover, Mohr | Springer | TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| A GD | 2024 | Note on Min- k-Planar Drawings of Graphs (DOI) | Hliněný | Ködmön | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024) |
| A GD | 2024 | On the Uncrossed Number of Graphs (DOI) | Hliněný | Balko, Masařík, Orthaber, Vogtenhuber, Wagner | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024) |
| A ISAAC | 2024 | Crossing Number Is NP-Hard for Constant Path-Width (And Tree-Width) (DOI) | Hliněný | Khazaliya | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 35th International Symposium on Algorithms and Computation (ISAAC 2024) |
| A ICLP | 2024 | Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming (DOI) | Vojnar | Vasicek, Arias, Fiedor, Gupta, Hall, Krena, Larson, Varanasi | Cambridge University Press | Theory and Practice of Logic Programming, Volume 24 Issue 4: 40th International Conference On Logic Programming Special Issue |
| 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) |
| B INTED | 2024 | VRET Environments Architecture : Adjusting Immersive Virtual Environments For Psychotherapeutic Training (DOI) | Juřík, Kvapil Varšová, Chmelík | Janoušek | IATED Academy | INTED2024 Proceedings : 18th International Technology, Education and Development Conference |
| B NOMS | 2024 | Identification of Device Dependencies Using Link Prediction (DOI) | Sadlek, Husák, Čeleda | IEEE Xplore Digital Library | PROCEEDINGS OF 2024 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, NOMS 2024 | |
| B CARDIS | 2024 | The adoption rate of JavaCard features by certified products and open-source projects (DOI) | Dufka, Švenda | Zaoral | Springer, Cham | Smart Card Research and Advanced Applications |
| B ISBI | 2024 | Gravitational Cell Detection and Tracking in Fluorescence Microscopy Data (DOI) | Eftimiu, Kozubek | IEEE | 24 IEEE International Symposium on Biomedical Imaging (ISBI) | |
| B ACNS | 2024 | Breaking DPA-protected Kyber via the pair-pointwise multiplication (DOI) | Chmielewski, Šorf | Bock, Banegas, Brzuska, Puniamurthy | Springer | 22nd International Conference on Applied Cryptography and Network Security, ACNS 2024 |
| B ISBI | 2024 | COMPYDA: An online tool for verifying the similarity of image datasets (DOI) | Nečasová, Múčka, Svoboda | IEEE | 2024 IEEE International Symposium on Biomedical Imaging (ISBI) | |
| B ENASE | 2024 | Taxonomy of Governance Mechanisms for Trust Management in Smart Dynamic Ecosystems (DOI) | Kušniráková, Bühnová | Scitepress | Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering | |
| B ISBI | 2024 | Cell Tracking based on Integer Linear Programming and Probability Scores (DOI) | Lux, Matula | IEEE 21th International Symposium on Biomedical Imaging | Athens, Greece, IEEE 21th International Symposium on Biomedical Imaging | |
| B ITICSE | 2024 | Research and Practice of Delivering Tabletop Exercises (DOI) | Vykopal, Čeleda, Švábenský, Hofbauer, Horák | ACM | Proceedings of the 29th Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'24) | |
| B ITICSE | 2024 | From Paper to Platform: Evolution of a Novel Learning Environment for Tabletop Exercises (DOI) | Švábenský, Vykopal, Horák, Hofbauer, Čeleda | ACM | Proceedings of the 29th Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'24) | |
| B FDG | 2024 | Play and Viz: Using Entertainment Games for Exploring Data Visualizations (DOI) | Kejstová, Šťastná, Kriglstein | ACM | Proceedings of the 19th International Conference on the Foundations of Digital Games | |
| B LREC | 2024 | ShadowSense: A Multi-annotated Dataset for Evaluating Word Sense Induction | Herman, Jakubíček | European Language Resources Association (ELRA) | Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024 | |
| B ARES | 2024 | Adversary Tactic Driven Scenario and Terrain Generation with Partial Infrastructure Specification (DOI) | Ruman, Drašar, Sadlek, Čeleda | Yang | ACM | ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security |
| B AVI | 2024 | CoLEBricks: Co-Designing Virtual Reality Scenarios with Generative Building Blocks (DOI) | Kriglstein | Nguyen, Jaspaert, Murtinger, Tscheligi | ACM | 2024 International Conference on Advanced Visual Interfaces, AVI 2024 |
| B ISBI | 2024 | Brain MRI Screening Tool with Federated Learning (DOI) | Stoklasa, Kozubek | Stathopoulos, Karavasilis, Efstathopoulos, Dostál, Keřkovský, Serio | IEEE | 2024 IEEE International Symposium on Biomedical Imaging |
| B SEAA | 2024 | Incentivizing Fairness in Autonomous Ecosystems (DOI) | Halász, Kušniráková, Shandilya, Bühnová | IEEE | 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) | |
| B EDULEARN | 2024 | Discord Achievement System for Education Gamification (DOI) | Macák, Šepeľa | IATED | 16th International Conference on Education and New Learning Technologies | |
| B QEST | 2024 | QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification (DOI) | Dorfhuber, Křetínský | Eisentraut, Klioba | Springer | International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2024 |
| B SEAA | 2024 | Cybersecurity Defenses: Exploration of CVE Types through Attack Descriptions (DOI) | Rossi | Othman, Russo | IEEE | 50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) |
| B VISSOFT | 2024 | Interactive Diagrams for Software Documentation (DOI) | Štěpánek, Kuťák, Kozlíková, Byška | IEEE | IEEE Working Conference on Software Visualization (VISSOFT) | |
| B TrustBus | 2024 | What Johnny thinks about using two-factor authentication on GitHub: A survey among open-source developers (DOI) | Kružíková, Suchánek, Brož, Matyáš | Ukrop | ACM | Proceedings of the 21st International Workshop on Trust, Privacy and Security in the Digital Society |
| B IFIP SEC | 2024 | Chain of Trust: Unraveling References Among Common Criteria Certified Products (DOI) | Janovský, Chmielewski, Švenda, Jančár, Matyáš | Springer Nature Switzerland | ICT Systems Security and Privacy Protection. SEC 2024. IFIP Advances in Information and Communication Technology | |
| B TrustBus | 2024 | Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation (DOI) | Dufka, Janků, Švenda | ACM | Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES '24) | |
| B SEAA | 2024 | A Comparison of Vulnerability Feature Extraction Methods from Textual Attack Patterns (DOI) | Rossi | Othman, Russo | IEEE | 50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) |
| B ITICSE | 2024 | Catalog of Code Quality Defects in Introductory Programming (DOI) | Řechtáčková, Pelánek | Effenberger | ACM | Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1 |
| B FIE | 2024 | Detecting Unsuccessful Students in Cybersecurity Exercises in Two Different Learning Environments (DOI) | Tkáčik, Čeleda, Vykopal | Švábenský, Birdwell, Weiss, Baker, Mache, Chattopadhyay | IEEE | Proceedings of the 54th IEEE Frontiers in Education Conference (FIE 2024) |
| B TSD | 2024 | Generating High-Quality F0 Embeddings Using the Vector-Quantized Variational Autoencoder (DOI) | Porteš, Horák | Springer Nature Switzerland | Text, Speech, and Dialogue | |
| B TSD | 2024 | Bilingual Lexicon Induction From Comparable and Parallel Data: A Comparative Analysis (DOI) | Denisová, Rychlý | Springer Nature Switzerland | International Conference on Text, Speech, and Dialogue | |
| B IPEC | 2024 | Twin-Width Meets Feedback Edges and Vertex Integrity (DOI) | Balabán | Ganian, Rocton | Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik | International Symposium on Parameterized and Exact Computation (IPEC) |
| B TSD | 2024 | New Human-Annotated Dataset of Czech Health Records for Training Medical Concept Recognition Models (DOI) | Anetta, Horák | Springer Nature Switzerland | Text, Speech, and Dialogue | |
| B FedCSIS | 2024 | Digital Twin Design for Autonomous Drones (DOI) | Iqbal, Bühnová | IEEE | 19th Conference on Computer Science and Intelligence Systems, FedCSIS 2024 | |
| B SoftCOM | 2024 | Heuristic Malware Detection Method Based on Structured CTI Data: A Research Study and Proposal (DOI) | Novák, Oujezský | IEEE | 2024 International Conference on Software, Telecommunications and Computer Networks (SoftCOM) | |
| B RADIOELEKTRONIKA | 2024 | Wireless Network Simulator for Advanced LoRa Applications (DOI) | Král | Kolář, Novák, Povalač | IEEE | 34th International Conference Radioelektronika, RADIOELEKTRONIKA 2024 |
| B TSD | 2024 | Named Entity Linking in English-Czech Parallel Corpus (DOI) | Nevěřilová, Žižková | Springer International Publishing | Text, Speech, and Dialogue : 27th International Conference, TSD 2024, Brno, Czech Republic, September 9–13, 2024, Proceedings, Part I | |
| B NordiCHI | 2024 | Transforming Ideas into Tangible Artifacts: Discovering Making, Makers, and the Making Experience (DOI) | Kriglstein | Gerdenitsch, Regal, Nguyen | ACM | 13th Nordic Conference on Human-Computer Interaction, NordiCHI 2024 |
| B SemEval | 2024 | KInIT at SemEval-2024 Task 8: Fine-tuned LLMs for Multilingual Machine-Generated Text Detection (DOI) | Spiegel | Dominik | Association for Computational Linguistics | Proceedings of the 18th International Workshop on Semantic Evaluation (SemEval-2024) |
| B TSD | 2024 | Better Low-Resource Machine Translation with Smaller Vocabularies (DOI) | Signoroni, Rychlý | Springer | Text, Speech, and Dialogue | |
| B MUM | 2024 | Stories with Style: Narrative, Virtual, and Imaginary Spaces of Reading Fiction in Virtual Reality (DOI) | Kunzová, Štěpánek, Echeverri Giraldo, Langlois, Kriglstein | ACM | MUM '24: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia | |
| B TSD | 2024 | Leveraging Conceptual Similarities to Enhance Modeling of Factors Affecting Adolescents’ Well-Being (DOI) | Sotolář, Plhák, Šmahel | Springer Cham | Text, Speech, and Dialogue | |
| B CMSB | 2024 | BNClassifier: Classifying Boolean Models by Dynamic Properties (DOI) | Beneš, Brim, Pastva, Šafránek | Huvar | Springer | Computational Methods in Systems Biology |
| B MIPRO | 2024 | Service Providers’ Compliance with European Production Orders for Electronic Evidence (DOI) | Stupka, Loutocký | IEEE | MIPRO Proceedings 2024 | |
| B ICUMT | 2024 | vSafe Management Front Panel Design and Development | Novák, Oujezský, Konštanský | IEEE | 2024 16th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) | |
| B FedCSIS | 2024 | Trust Management Framework for Multi-Robot Systems (DOI) | Vojnar, Bierská, Bühnová | IEEE | Proceedings of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS) | |
| B HSCC | 2024 | MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱ (DOI) | Křetínský | Bals, Evangelidis, Waibel | ACM | Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024 |
| B FMCAD | 2024 | Combining Symbolic Execution with Predicate Abstraction and CEGAR (DOI) | Jonáš, Strejček | Griggio | TU Wien Academic Press | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| B WALCOM | 2024 | Recognition and Isomorphism of Proper H-Graphs for Unicyclic H in FPT-Time (DOI) | Agaoglu Cagirici | Zeman | Springer | 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024 |
| B IFIP SEC | 2024 | Cyber Key Terrain Identification Using Adjusted PageRank Centrality (DOI) | Sadlek, Čeleda | Springer | ICT Systems Security and Privacy Protection. SEC 2023. IFIP Advances in Information and Communication Technology, vol 679. | |
| B CNSM | 2024 | Hierarchical Modeling of Cyber Assets in Kill Chain Attack Graphs (DOI) | Sadlek, Husák, Čeleda | IFIP Open Digital Library, IEEE Xplore | 2024 20th International Conference on Network and Service Management (CNSM) | |
| 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ý, Bayarsaikhan, Schwarzová | 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 CMSB | 2022 | Variable Stabilisation in Boolean Monotonic Model Pools (DOI) | Pastva | Springer | Computational Methods in Systems Biology | |
| 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 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) |
| C ESORICS | 2024 | The Road Towards Autonomous Cybersecurity Agents: Remedies for Simulation Environments (DOI) | Drašar, Ruman, Čeleda | Yang | Springer Nature Switzerland AG | COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, CPS4CIP, PT II |
| C SESoS | 2024 | Exploring Trust Black-Swan Blindness in Social Internet of Vehicles (SIoV) (DOI) | Bangui, Bühnová, Kušniráková | ACM/IEEE | The 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS 2024) | |
| C ACNS | 2024 | CNN architecture extraction on edge GPU (DOI) | Chmielewski | Horvath, Batina, Weissbart, Yarom | Springer | Artificial Intelligence in Hardware Security (AIHWS) Workshop (Satellite Workshops held in parallel with the 22nd International Conference on Applied Cryptography and Network Security, ACNS 2024) |
| C ENASE | 2024 | Future Vision of Dynamic Certification Schemes for Autonomous Systems (DOI) | Kušniráková, Bühnová | Springer | Evaluation of Novel Approaches to Software Engineering. ENASE 2023. Communications in Computer and Information Science | |
| C ICSA | 2024 | Towards Anthropomorphic Trust Management for Digital Society (DOI) | Bangui, Bühnová | IEEE; IEEE Comp Soc | IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION, ICSA-C 2024 | |
| C RCIS | 2024 | Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design (DOI) | Daubner, Maksović, Bühnová, Sedláček | Matulevičius | Springer | International Conference on Research Challenges in Information Science (RCIS 2024) |
| C DoCEIS | 2024 | Achieving Adaptive Safety via Trust Building in Autonomous Ecosystems (DOI) | Halász, Bühnová | Springer Cham | Technological Innovation for Human-Centric Systems. DoCEIS 2024. IFIP Advances in Information and Communication Technology, vol 716. | |
| C TACAS | 2024 | Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 (DOI) | Ayaziová, Strejček | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III | |
| C TACAS | 2024 | Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution (DOI) | Jonáš, Novák, Trtík, Ayaziová, Strejček | Kumor, Sedláček, Zaoral | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III |
| C FASE | 2024 | Fizzer: New Gray-Box Fuzzer (DOI) | Jonáš, Strejček, Trtík | Urban | Springer | Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings |
| C KES | 2024 | When Trustless meets Trust: Blockchain Consensus Review and Reconsideration (DOI) | Bangui, Bühnová | Mouzhi | Elsevier | The 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES) |
| C TrustCom | 2024 | 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 BPM | 2024 | BPMS Blockchain Technology Soft Integration For Non-tamperable Logging (DOI) | Pitner | Loebbecke, van Loo, Mangler, Ma, Rinderle-Ma | Springer | Di Ciccio, C., et al. Business Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, Educators and Industry Forum. BPM 2024. Lecture Notes in Business Information Processing, vol 527 |
| C MINDTREK | 2024 | Towards a Taxonomy of In-Game User Interface Visualizations (DOI) | Masár, Kriglstein | ACM | 27th International Academic Mindtrek Conference, ACADEMIC MINDTREK 2024 | |
| C MINDTREK | 2024 | Across the Planets - Playful Approach for Learning the Shortest Path Algorithm for Graphs in Augmented Reality (DOI) | Stanko, Kriglstein | ACM | 27th International Academic Mindtrek Conference, ACADEMIC MINDTREK 2024 | |
| C CHI PLAY | 2024 | Ethics and Transparency in Game Data (DOI) | Kriglstein | Kleinman, El-Nasr, Pfau, Wallner, Melhart, Yannakakis, Zhu, Watson, Harteveld | ACM | Companion Proceedings of the 2024 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY Companion '24) |
| C ITICSE | 2024 | Developing Automatic Methods for Teaching Code Quality in Introductory Programming (DOI) | Řechtáčková | ACM | 29th Conference Innovation and Technology in Computer Science Education, ITiCSE 2024 | |
| C RoSE | 2024 | Scenarios for Trust Management in Swarm Robotics (DOI) | Vojnar, Bierská, Bühnová | ACM | 6th International Workshop on Robotics Software Engineering, RoSE 2024, co-located with the 46th International Conference on Software | |
| C HSCC | 2024 | Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱ (DOI) | Křetínský | Bals, Evangelidis, Waibel | ACM | Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024 |
| C TEI | 2024 | Puppetry in Tangible Narratives: Interactive and Collaborative Storytelling in The Non-myth of the Noble Red (DOI) | Echeverri Giraldo | ACM | Proceedings of the Eighteenth International Conference on Tangible, Embedded, and Embodied Interaction, TEI 2024 | |
| C DIS | 2024 | Searching for Us: A Pervasive Tangible Narrative About Friendship (DOI) | Echeverri Giraldo | ACM | Companion Publication of the 2024 ACM Designing Interactive Systems Conference | |
| C RP | 2024 | The Satisfiability and Validity Problems for Probabilistic CTL (DOI) | Kučera | Springer | 18th International Conference on Reachability Problems, RP 2024 | |
| C IPDPS | 2024 | Towards Dynamic Autotuning of SpMV in CUSP Library (DOI) | Demek, Filipovič | IEEE | IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) | |
| C CNSM | 2024 | The Evolution of the CRUSOE Toolset: Enhancing Decision Support in Network Security Management (DOI) | Husák, Sadlek, Hesko, Šebela, Špaček | IEEE | 2024 20th International Conference on Network and Service Management (CNSM) | |
| 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 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 CLEF | 2022 | Overview of ARQMath-3 (2022): Third CLEF Lab on Answer Retrieval for Questions on Math (DOI) | Starý Novotný | Mansouri, Agarwal, Oard, Zanibbi | Springer | Experimental IR meets Multilinguality, Multimodality, and Interaction: 13th International Conference of the Cross-Language Evaluation Forum for European Languages, CLEF 2022 |
| 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 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 |
| 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 | |
| D AsiaLex | 2024 | Dictionary Express : First Phases Rapid dictionary-making method for European, Asian and other languages (URL) | Kovařík, Jakubíček, Kovář | Blahuš, Cukr | Toyo University | AsiaLex 2024 Proceedings : Asian Lexicography - Merging cutting-edge and established approaches |
| D IDIMT | 2024 | Cyberattacks On Critical Infrastructure – A Changing Landscape (DOI) | Pitner | Ministr | Trauner Verlag | 32nd Interdisciplinary Information Management Talks: Changes to ICT, Management, and Business Processes through AI, IDIMT 2024 |
| D EuroVis | 2024 | Mapping the Landscape of Data Visualizations in Schools and Educational Resources (DOI) | Kejstová, Kriglstein | Boucher, Stoiber, Kandlhofer, Ertl, Aigner | The Eurographics Association | EuroVis 2024 - Education Papers |
| D ACL | 2024 | Concept-aware Data Construction Improves In-context Learning of Language Models (URL) | Štefánik, Kadlčík, Sojka | Association for Computational Linguistics | Findings of the Association for Computational Linguistics ACL 2024 | |
| D IESS | 2024 | Application of context-driven methodology for implementing the smart city concept in Czech republic (DOI) | Schwarzová, Walletzký, Procházka | Ge | EDP Sciences | ITM Web Conferences, Volume 62, 2024 International Conference on Exploring Service Science (IESS 2.4) |
| D AHFE | 2024 | Role of T-shape in IT academic research (DOI) | Walletzký, Schwarzová, Kubíčková | Marschalková | AHFE International, USA | The Human Side of Service Engineering |
| D IDIMT | 2024 | Academic Business Co-Operation – Cases Of Czechia And Taiwan (DOI) | Pitner | Ministr | Trauner Verlag | 32nd Interdisciplinary Information Management Talks: Changes to ICT, Management, and Business Processes through AI, IDIMT 2024 |
| D EURALEX | 2024 | The Automatic Determination of Translation Equivalents in Lexicography: What Works and What Doesn’t? (URL) | Denisová, Rychlý | de Schryver | Institut za hrvatski jezik | Proceedings of the XXI EURALEX International Congress |
| D | 2024 | XSBench on FPGAs using Intel oneAPI (DOI) | Pecák, Matěj, Přenosil | EDP Sciences | EPJ Web of Conferences | |
| D ACL | 2024 | IMGTB: A Framework for Machine-Generated Text Detection Benchmarking (DOI) | Spiegel | Dominik | Association for Computational Linguistics | Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations) |
| D EMNLP | 2024 | Self-training Language Models for Arithmetic Reasoning (DOI) | Kadlčík, Štefánik | Association for Computational Linguistics | 2024 Conference on Empirical Methods in Natural Language Processing, Findings of EMNLP 2024 | |
| D LREC | 2024 | One Year of Continuous and Automatic Data Gathering from Parliaments of European Union Member States | Mikušek | ELRA Language Resource Association | Proceedings of the IV Workshop on Creating, Analysing, and Increasing Accessibility of Parliamentary Corpora (ParlaCLARIN) @ LREC-COLING 2024 | |
| D RASLAN | 2024 | A Comparative Study of Text Retrieval Models on DaReCzech | Štefánik | Štetina, Fajčík, Hradis | Tribun EU | Recent Advances in Slavonic Natural Language Processing, RASLAN 2024 |
| D RASLAN | 2024 | Negation Disrupts Compositionality in Language Models: The Czech Usecase | Vrabcová, Sojka | Tribun EU | The Eighteenth Workshop on Recent Advances in Slavonic Natural Language Processing | |
| D RASLAN | 2024 | Fantastic Examples and Where to Find Them - Compiling Czech Dataset for Evaluating Dictionary Examples (URL) | Denisová, Rychlý | Tribun EU | Proceedings of the Eighteenth Workshop on Recent Advances in Slavonic Natural Languages Processing | |
| D RASLAN | 2024 | A New Czech Pipeline in Sketch Engine | Ohlídalová, Jakubíček | Tribun EU | Recent Advances in Slavonic Natural Language Processing, RASLAN 2024 | |
| D RASLAN | 2024 | SlamaTrain – Representative Training Dataset for Slavonic Large Language Models | Medveď, Sabol, Horák | Tribun EU | Recent Advances in Slavonic Natural Language Processing, RASLAN 2024 | |
| D RASLAN | 2024 | Quantitative Assessment of Intersectional Empathetic Bias and Understanding | Formánek, Sotolář | Tribun EU | Recent Advances in Slavonic Natural Language Processing, RASLAN 2024 | |
| D RASLAN | 2024 | From Examples to Patterns: LLM-Generated Reg-ular Expressions for Entity Extraction in Czech Clinical Texts | Zelina | Tribun EU | Proceedings of the Eighteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2024 | |
| D RASLAN | 2024 | Annotating Health Records: Does Ground Truth Even Exist? (URL) | Anetta | Tribun EU | Proceedings of the Eighteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2024 | |
| 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, Vrabcová, Horák | Luger | 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 RASLAN | 2023 | Development of the NVH Schema Format for Lexicographic Purposes (URL) | Medveď, Jakubíček, Kovář, Svoboda | Tribun EU | Recent Advances in Slavonic Natural Language Processing, RASLAN 2023 | |
| D RASLAN | 2023 | Data Gathered with Automatic Tools from European Parliamentary Chambers (URL) | Mikušek | Tribun EU | Recent Advances in Slavonic Natural Language Processing, RASLAN 2023 | |
| D eLex | 2023 | The end of lexicography? Can ChatGPT outperform current tools for post-editing lexicography? (URL) | Jakubíček | Rundell | Lexical Computing CZ s.r.o. | Electronic lexicography in the 21st century (eLex 2023): Invisible Lexicography. Proceedings of the eLex 2023 conference |
| D WMT | 2023 | MUNI-NLP Systems for Low-resource Indic Machine Translation (DOI) | Signoroni, Rychlý | Association for Computational Linguistics | Proceedings of the Eighth Conference on Machine Translation | |
| D LoResMT | 2023 | Evaluating Sentence Alignment Methods in a Low-Resource Setting: An English-YorùBá Study Case (DOI) | Signoroni, Rychlý | Association for Computational Linguistics | Proceedings of the Sixth Workshop on Technologies for Machine Translation of Low-Resource Languages (LoResMT 2023) | |
| D RASLAN | 2023 | Creating an Annotated Health Record Dataset in a Limited-Resource Environment. | Anetta | Tribun EU | Proceedings of the Seventeenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2023 | |
| 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 ACL | 2022 | A taxonomy of bias-causing ambiguities in machine translation (DOI) | Měchura | Association for Computational Linguistics (ACL) | 4th Workshop on Gender Bias in Natural Language Processing, GeBNLP 2022 | |
| 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ý, Vrabcová, Horák | Luger | 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. | Electronic lexicography in the 21st century. Proceedings of the eLex 2021 conference | |
| D eLex | 2021 | Semi-automatic building of large-scale digital dictionaries | Herman, Jakubíček, Kovář, Medveď | Blahuš, Cukr | Lexical Computing CZ s.r.o. | Electronic lexicography in the 21st century. Proceedings of the eLex 2021 conference |
| 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 |