Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.
celkem | A* | A | B | C | D |
---|---|---|---|---|---|
2022 | 2 | 21 | 45 | 25 | 37 |
2021 | 8 | 18 | 30 | 16 | 23 |
2020 | 11 | 19 | 33 | 22 | 16 |
2019 | 8 | 32 | 36 | 34 | 29 |
2018 | 12 | 20 | 36 | 34 | 33 |
součet | 41 | 110 | 180 | 131 | 138 |
rank | rok | title | započítaní | ostatní | nakladatel | sborník |
---|---|---|---|---|---|---|
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* 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 | Musil | Paulus, Rolínek, Amos, Martius | PMLR | Proceedings of the 38th International Conference on Machine Learning |
A* AAMAS | 2020 | Adversarial Patrolling with Drones (DOI) | Klaška, Kučera, Řehák | International Foundation for Autonomous Agents and Multiagent Systems | Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems | |
A* SODA | 2020 | Improved bounds for centered colorings (DOI) | Debski | Felsner, Micek, Schröder | SIAM | Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms |
A* CAV | 2020 | Approximate Counting of Minimal Unsatisfiable Subsets (DOI) | Bendík | Meel | Springer, Cham | Computer Aided Verification - 32nd International Conference, CAV 2020 |
A* LICS | 2020 | Efficient Analysis of VASS Termination Complexity (DOI) | Kučera, Velan | Leroux | ACM | LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science |
A* AAAI | 2020 | Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes (DOI) | Brázdil, Novotný, Vahala | Chatterjee | AAAI Press | The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020 |
A* CAV | 2020 | AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks (DOI) | Beneš, Brim, Pastva, Šafránek | Kadlecaj | Springer, Cham | Computer Aided Verification. CAV 2020 |
A* CAV | 2020 | Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling (DOI) | Kučera | Blondin, Esparza, Helfrich, Meyer | Springer International Publishing | Computer Aided Verification, CAV 2020 |
A* CAV | 2020 | Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization (DOI) | Strejček | Blahoudek, Duret-Lutz | Springer | Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II |
A* ICAPS | 2020 | Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications (URL) | Novotný | Chatterjee, Chmelík, Karkhanis, Royer | AAAI Press | Proceedings of the International Conference on Automated Planning and Scheduling |
A* CAV | 2020 | Qualitative Controller Synthesis for Consumption Markov Decision Processes (DOI) | Brázdil, Novotný | Blahoudek, Ornik, Thangeda, Topcu | Springer | Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II} |
A* CHI | 2020 | Would You Do It?: Enacting Moral Dilemmas in Virtual Reality for Understanding Ethical Decision-Making (DOI) | Liarokapis | Niforatos, Palma, Gluszny, Vourvopoulos | ACM | Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems |
A* ICSE | 2019 | Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course (DOI) | Chren, Bühnová, Macák, Daubner, Rossi | IEEE Press | Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training | |
A* S&P | 2019 | Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem (DOI) | Nemec | Calzavara, Focardi, Rabitti, Squarcina | IEEE | Proceedings of the 40th IEEE Symposium on Security and Privacy |
A* CHI | 2019 | Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation (DOI) | Škola, Liarokapis | ACM Press | Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Paper No. 247 | |
A* CAV | 2019 | Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (DOI) | Jonáš, Strejček | Springer | CAV 2019: Computer Aided Verification | |
A* AAAI | 2019 | Solving Integer Quadratic Programming via Explicit and Structural Restrictions (DOI) | Ganian | Eiben, Knop, Ordyniak | AAAI Press | Proceedings of the AAAI Conference on Artificial Intelligence |
A* NIPS | 2019 | The Parameterized Complexity of Cascading Portfolio Scheduling (URL) | Ganian | Eiben, Kanj, Szeider | Neural Information Processing Systems Foundation, Inc. | Advances in Neural Information Processing Systems 32 (NIPS 2019) |
A* CAV | 2019 | PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (DOI) | Křetínský | Ashok, Weininger | Springer | Computer Aided Verification (CAV 2019) |
A* AAAI | 2019 | Unbounded Orchestrations of Transducers for Manufacturing (DOI) | Brázdil | Alechina, De Giacomo, Felli, Logan, Vardi | AAAI | Proceedings of the AAAI Conference on Artificial Intelligence |
A* POPL | 2018 | Data-centric Dynamic Partial Order Reduction (DOI) | Chalupa | Chatterjee, Pavlogiannis, Sinha, Vaidya | ACM | Proceedings of Symposium on Principles of Programming Languages 2018 |
A* AAMAS | 2018 | Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games (DOI) | Klaška, Kučera, Lamser, Řehák | International Foundation for Autonomous Agents and Multiagent Systems | Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems | |
A* LICS | 2018 | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (DOI) | Brázdil, Kučera, Velan | Chatterjee, Novotný, Zuleger | ACM | 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
A* IJCAI | 2018 | Solving Patrolling Problems in the Internet Environment (DOI) | Brázdil, Kučera, Řehák | International Joint Conferences on Artificial Intelligence | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. | |
A* USENIX-Security | 2018 | The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI | Kozák | Kim, Kwon, Gates, Dumitraș | USENIX Association | 27th USENIX Security Symposium (USENIX Security 18) |
A* INFOCOM | 2018 | Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks (DOI) | Srba | Schmid | IEEE | IEEE International Conference on Computer Communications (INFOCOM'18) |
A* CAV | 2018 | Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (DOI) | Srba | Boenneland, Jensen, Larsen, Muniz | Springer | Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18) |
A* IJCAI | 2018 | Unary Integer Linear Programming with Structural Restrictions (DOI) | Ganian | Eiben, Knop, Ordyniak | ijcai.org | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence |
A* IJCAI | 2018 | A Structural Approach to Activity Selection (DOI) | Ganian | Eiben, Ordyniak | ijcai.org | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI) |
A* ICML | 2018 | Parameterized Algorithms for the Matrix Completion Problem (URL) | Ganian | Kanj, Ordyniak, Szeider | PMLR | Proceedings of the 35th International Conference on Machine Learning (ICML) |
A* LICS | 2018 | Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (DOI) | Křetínský | Meggendorfer | ACM | Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18) |
A* CAV | 2018 | Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (DOI) | Křetínský | Kelmendi, Krämer, Weininger | Springer | Computer Aided Verification (CAV 2018) |
A 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 | 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 | IEEE SMC 2022, Prague | |
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 SMC | 2022 | Precisional Detection Strategy for 6LoWPAN Networks in IoT (DOI) | Mbarek, Pitner | Ge | IEEE | International Conference on Systems, Man, and Cybernetics (SMC |
A SIGCSE | 2022 | Code Quality Defects Across Introductory Programming Topics (DOI) | Effenberger, Pelánek | ACM | Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 1 | |
A UAI | 2022 | On-the-fly Adaptation of Patrolling Strategies in Changing Environments (URL) | Brázdil, Klaška, Kučera, Musil, Novotný, Řehák | Proceedings of Machine Learning Research | Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022 | |
A WG | 2022 | Twin-Width and Transductions of Proper k-Mixed-Thin Graphs (DOI) | Balabán, Hliněný, Jedelský | Springer Nature | WG 2022: Graph-Theoretic Concepts in Computer Science | |
A VRST | 2022 | Marcus or Mira - Investigating the Perception of Virtual Agent Gender in Virtual Reality Role Play-Training (DOI) | Kriglstein | Regal, Uhl, Gerhardus, Suette, Frankus, Schmid, Tscheligi | ACM | 28th ACM Symposium on Virtual Reality Software and Technology (VRST '22) |
A AMIA | 2022 | Integration of Medical and Genomic Information to Enhance Relapse Prediction in Early Stage Lung Cancer Patients (URL) | Nováček | Timilsina, Fey, Janik, Torrente, Provencio, Bermudez, Carcereny, Costabello, Abreu, Cobo, Castro, Bernabe, Guirado, Minervini | AMIA | Proceedings of the Annual Symposium of the American Medical Informatics Association |
A SoCG | 2022 | Parameterised Partially-Predrawn Crossing Number (DOI) | Hliněný | Hamm | Schloss Dagstuhl | 38th International Symposium on Computational Geometry (SoCG 2022) |
A ISAAC | 2022 | Graph Product Structure for h-Framed Graphs (DOI) | Hliněný | Bekos, Da Lozzo, Kaufmann | Schloss Dagstuhl | 33rd International Symposium on Algorithms and Computation (ISAAC 2022) |
A SIGCSE | 2022 | Evaluating Two Approaches to Assessing Student Progress in Cybersecurity Exercises (DOI) | Švábenský, Vykopal, Čeleda, Chudovský | Weiss, Cook, Mache, Chattopadhyay | ACM | Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22) |
A SIGCSE | 2022 | Preventing Cheating in Hands-on Lab Assignments (DOI) | Vykopal, Švábenský, Šeda, Čeleda | ACM | Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22) | |
A SAC | 2022 | Improving ligand transport trajectory within flexible receptor in CaverDock (DOI) | Němcová, Hozzová, Filipovič | ACM | SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing | |
A TACAS | 2021 | Timed Automata Relaxation for Reachability (DOI) | Bendík, Černá | Sencan, Gol | Springer | 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21) |
A ITICSE | 2021 | Challenges Faced by Teaching Assistants in Computer Science Education Across Europe (DOI) | Ukrop, Effenberger | Riese, Lorås | ACM | Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’21) |
A LAK | 2021 | Validity and Reliability of Student Models for Problem-Solving Activities (DOI) | Effenberger, Pelánek | ACM | Proceedings of the 11th International Conference on Learning Analytics and Knowledge | |
A TACAS | 2021 | Symbolic Coloured SCC Decomposition (DOI) | Beneš, Brim, Pastva, Šafránek | Springer Nature | Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021 | |
A ICMR | 2021 | Efficient Indexing of 3D Human Motions (DOI) | Budíková, Sedmidubský, Zezula | ACM | ACM International Conference on Multimedia Retrieval (ICMR) | |
A AIED | 2021 | Better Model, Worse Predictions: The Dangers in Student Model Comparisons (DOI) | Čechák, Pelánek | Springer | International Conference on Artificial Intelligence in Education | |
A AIED | 2021 | Interpretable Clustering of Students’ Solutions in Introductory Programming (DOI) | Effenberger, Pelánek | Springer | Artificial Intelligence in Education. AIED 2021. Lecture Notes in Computer Science, vol 12748 | |
A ASIACRYPT | 2021 | A formula for disaster: a unified approach to elliptic curve special-point-based attacks (DOI) | Sedláček, Jančár | Chi-Dominguez, Brumley | Springer | Advances in Cryptology – ASIACRYPT 2021 |
A SAT | 2021 | DQBDD: An Efficient BDD-Based DQBF Solver (DOI) | Strejček | Síč | Springer | Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings |
A CONCUR | 2021 | Deciding Polynomial Termination Complexity for VASS Programs (DOI) | Ajdarów, Kučera | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik | 32nd International Conference on Concurrency Theory (CONCUR 2021) | |
A UAI | 2021 | Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games | Klaška, Kučera, Řehák, Musil | AUAI Press | Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) | |
A FM | 2021 | On Lexicographic Proof Rules for Probabilistic Termination (DOI) | Novotný, Zárevúcky | Chatterjee, Goharshady, Žikelić | Springer | 24th International Symposium on Formal Methods, FM 2021 |
A FM | 2021 | Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption (DOI) | Novotný | Blahoudek, Cubuktepe, Ornik, Thangeda, Topcu | Springer | 24th International Symposium on Formal Methods, FM 2021 |
A IROS | 2021 | Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? (DOI) | Mrázek, Jonáš, Barnat | IEEE | 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) | |
A MFCS | 2021 | Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases (DOI) | Hliněný | Bok, Fiala, Jedličková, Kratochvíl | Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik | 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) |
A HICSS | 2021 | Modelling for Ethical Concerns for Traceability in Time of Pandemic “Do no Harm” or “Better Safe than Sorry!” (DOI) | Walletzký | Badr, Drăgoicea, Carrubbo, Toli | HICSS | Proceedings of the 54th Hawaii International Conference on System Sciences |
A MFCS | 2021 | ω-Forest Algebras and Temporal Logics (DOI) | Blumensath, Lédl | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia | |
A AMIA | 2021 | On Predicting Recurrence in Early Stage Non-small Cell Lung Cancer | Nováček | Mohamed, Walsh, Timilsina, Torrente, Franco, Provencio, Janik, Costabello, Minervini, Stenetorp | AMIA | Proceedings of AMIA 2021 Annual Symposium |
A SAC | 2020 | Enhanced Network Intrusion Detection System Protocol for Internet of Things (DOI) | Mbarek, Ge, Pitner | ACM Publishing | Proceedings of the 35th ACM/SIGAPP Symposium On Applied Computing | |
A SAC | 2020 | Comparing Maintainability Index, SIG Method, and SQALE for Technical Debt Identification (DOI) | Strečanský, Chren, Rossi | ACM | 35th ACM/SIGAPP Symposium On Applied Computing | |
A ECIR | 2020 | Motion Words: A Text-like Representation of 3D Skeleton Sequences (DOI) | Sedmidubský, Budíková, Dohnal, Zezula | Springer | 42nd European Conference on Information Retrieval (ECIR) | |
A TACAS | 2020 | MUST: Minimal Unsatisfiable Subsets Enumeration Tool (DOI) | Bendík, Černá | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems | |
A SAC | 2020 | Verification of Forensic Readiness in Software Development: A Roadmap (DOI) | Daubner, Macák, Bühnová, Pitner | ACM | Proceedings of the 35th Annual ACM Symposium on Applied Computing | |
A LPAR | 2020 | Rotation Based MSS/MCS Enumeration (DOI) | Bendík, Černá | EPiC Series in Computing | LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
A ESORICS | 2020 | Fooling primality tests on smartcards (DOI) | Sedláček, Jančár, Švenda | Springer | 25th European Symposium on Research in Computer Security (ESORICS) 2020 | |
A ESORICS | 2020 | Biased RSA private keys: Origin attribution of GCD-factorable keys (DOI) | Janovský, Švenda, Matyáš | Nemec, Sekan | Springer | Computer Security – ESORICS 2020 |
A CHES | 2020 | Minerva: The curse of ECDSA nonces (DOI) | Jančár, Sedláček, Švenda, Sýs | Ruhr-University of Bochum | IACR Transactions on Cryptographic Hardware and Embedded Systems | |
A CP | 2020 | Replication-Guided Enumeration of Minimal Unsatisfiable Subsets (DOI) | Černá | Bendík | Springer, Cham | 26th International Conference on Principles and Practice of Constraint Programming |
A MFCS | 2020 | Isomorphism Problem for Sd-Graphs (DOI) | Agaoglu Cagirici, Hliněný | Schloss Dagstuhl - Leibniz-Zentrum fur Informatik | 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) | |
A WG | 2020 | Clique-Width of Point Configurations (DOI) | Cagirici, Hliněný, Pokrývka | Sankaran | Springer, Lecture Notes in Computer Science | Graph-Theoretic Concepts in Computer Science, WG 2020 |
A ATVA | 2020 | DG: Analysis and Slicing of LLVM Bitcode (DOI) | Chalupa | Springer | The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis | |
A ICALP | 2020 | Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming (DOI) | Cooper, Kráľ, Pekárková | Chan, Koutecký | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), p. "26:1"-"26:19", 19 pp. 2020. |
A AIED | 2020 | Impact of Methodological Choices on the Evaluation of Student Models (DOI) | Effenberger, Pelánek | Springer | Artificial Intelligence in Education. AIED 2020. Lecture Notes in Computer Science, vol 12163. | |
A SAT | 2020 | Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions (DOI) | Strejček | Jonáš | Springer | Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings |
A SIGCSE | 2020 | KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems (DOI) | Čeleda, Vykopal, Švábenský, Slavíček | ACM | Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20) | |
A SIGCSE | 2020 | What Are Cybersecurity Education Papers About? A Systematic Literature Review of SIGCSE and ITiCSE Conferences (DOI) | Švábenský, Vykopal, Čeleda | ACM | Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20) | |
A SIGCSE | 2020 | Benefits and Pitfalls of Using Capture The Flag Games in University Courses (DOI) | Vykopal, Švábenský | Chang | ACM | Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20) |
A HICSS | 2019 | Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance (DOI) | Spurný, Kopeček, Ošlejšek, Plhák | University of Hawaii at Manoa | Proceedings of the 52nd Hawaii International Conference on System Sciences | |
A SIGCSE | 2019 | Reflective Diary for Professional Development of Novice Teachers (DOI) | Ukrop, Švábenský | Nehyba | ACM | Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE’19) |
A GECCO | 2019 | Adaptive Large Neighborhood Search for Scheduling of Mobile Robots (DOI) | Dang, Rudová | Nguyen | ACM | The Genetic and Evolutionary Computation Conference (GECCO) |
A MSR | 2019 | STRAIT: A Tool for Automated Software Reliability Growth Analysis (DOI) | Chren, Mičko, Bühnová, Rossi | ACM | Proceedings of the 16th International Conference on Mining Software Repositories | |
A TACAS | 2019 | Digital Bifurcation Analysis of TCP Dynamics (DOI) | Beneš, Brim, Pastva, Šafránek | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019 | |
A ICMR | 2019 | Benchmarking Search and Annotation in Continuous Human Skeleton Sequences (DOI) | Sedmidubský, Eliáš, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
A ICIP | 2019 | Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy (DOI) | Maška, Nečasová, Wiesner, Peterlík, Svoboda | Sorokin, Ulman | IEEE | 26th IEEE International Conference on Image Processing |
A ISD | 2019 | Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course (URL) | Chren, Rossi, Bühnová, Ge, Pitner | AIS | Proceedings of 28th International Conference on Information Systems Development | |
A CP | 2019 | Scheduling of Mobile Robots Using Constraint Programming (DOI) | Murín, Rudová | Springer International Publishing | Principles and Practice of Constraint Programming | |
A ICIP | 2019 | Multimodal Point Distribution Model for Anthropological Landmark Detection (DOI) | Ferková, Matula | Springer | 26th IEEE International Conference on Image Processing (ICIP2019) | |
A AIED | 2019 | Item Ordering Biases in Educational Data (DOI) | Čechák, Pelánek | Springer | International Conference on Artificial Intelligence in Education | |
A ICALP | 2019 | On the Complexity of Value Iteration (DOI) | Novotný | Balaji, Kiefer, Pérez, Shirmohammadi | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) |
A IROS | 2019 | RoFICoM - First Open-Hardware Connector for Metamorphic Robots (DOI) | Mrázek, Barnat | IEEE | 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) | |
A ACSAC | 2019 | Will You Trust This TLS Certificate? Perceptions of People Working in IT (DOI) | Ukrop, Kraus, Matyáš | Wahsheh | ACM | Proceedings of the 35rd Annual Computer Security Applications Conference |
A ATVA | 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI) | Brázdil, Kučera, Novotný, Velan | Chatterjee | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings |
A ATVA | 2019 | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata (DOI) | Major, Strejček, Jánošová | Zbončáková, Blahoudek | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
A ATVA | 2019 | Generic Emptiness Check for Fun and Profit (DOI) | Strejček | Baier, Blahoudek, Duret-Lutz, Klein, Müller | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
A GD | 2019 | Exact Crossing Number Parameterized by Vertex Cover (DOI) | Hliněný | Sankaran | Springer, Lecture Notes in Computer Science, volume 11904 | GD 2019: Graph Drawing and Network Visualization |
A SoCG | 2019 | Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12 (DOI) | Hliněný | Bokal, Dvořák, Leanos, Mohar, Wiedera | Leibniz International Proceedings in Informatics, LIPIcs | 35th International Symposium on Computational Geometry, SoCG 2019 |
A TACAS | 2019 | Abstract Dependency Graphs and Their Application to Model Checking (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) |
A CONCUR | 2019 | Partial Order Reduction for Reachability Games (DOI) | Srba | Boenneland, Jensen, Larsen, Muniz | Dagstuhl Publishing | Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19) |
A ALENEX | 2019 | SAT-Encodings for Treecut Width and Treedepth (DOI) | Ganian | Lodha, Ordyniak, Szeider | SIAM | ALENEX 2019 |
A CP | 2019 | A Join-Based Hybrid Parameter for Constraint Satisfaction (DOI) | Ganian | Ordyniak, Szeider | Springer | Principles and Practice of Constraint Programming - 25th International Conference |
A ESA | 2019 | Group Activity Selection with Few Agent Types (DOI) | Ganian | Ordyniak, Rahul | Dagstuhl | 27th Annual European Symposium on Algorithms (ESA 2019) |
A GD | 2019 | On Strict (Outer-)Confluent Graphs (DOI) | Ganian | Forster, Klute, Nollenburg | Springer | Graph Drawing and Network Visualization - 27th International Symposium, GD 2019 |
A GD | 2019 | Parameterized Algorithms for Book Embedding Problems (DOI) | Ganian | Bhore, Montecchiani, Nollenburg | Springer | Graph Drawing and Network Visualization - 27th International Symposium, GD 2019 |
A IPCO | 2019 | Integer Programming and Incidence Treedepth (DOI) | Ganian | Eiben, Knop, Ordyniak, Pilipczuk, Wrochna | Springer | Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019 |
A MFCS | 2019 | Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth (DOI) | Ganian | Eiben, Hamm, Kwon | Dagstuhl | 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) |
A WG | 2019 | The Power of Cut-Based Parameters for Computing Edge Disjoint Paths (DOI) | Ganian | Ordyniak | Springer | WG 2019: Graph-Theoretic Concepts in Computer Science |
A CONCUR | 2019 | Of Cores: A Partial-Exploration Framework for Markov Decision Processes (DOI) | Křetínský | Meggendorfer | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 30th International Conference on Concurrency Theory (CONCUR 2019) |
A IM | 2019 | Real-time Pattern Detection in IP Flow Data using Apache Spark (URL) | Čermák, Laštovička, Jirsík | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
A IM | 2019 | Quality of Service Forecasting with LSTM Neural Network (URL) | Jirsík, Trčka, Čeleda | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
A SIGCSE | 2018 | Challenges Arising from Prerequisite Testing in Cybersecurity Games (DOI) | Švábenský, Vykopal | ACM | Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE’18) | |
A ICASSP | 2018 | ON THE USE OF GRAPHEME MODELS FOR SEARCHING IN LARGE SPOKEN ARCHIVES (DOI) | Sedmidubský | Svec, Psutka, Trmal, Smidl, Ircing | IEEE Computer Society | 43rd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2018) |
A ICALP | 2018 | Bisimulation Invariant Monadic-Second Order Logic in the Finite (DOI) | Blumensath | Wolf | Schloss Dagstuhl | 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic |
A GECCO | 2018 | Evolving boolean functions for fast and efficient randomness testing (DOI) | Sýs, Matyáš | Mrázek, Vasicek, Sekanina | ACM | Proceedings of the Genetic and Evolutionary Computation Conference 2018 |
A ATVA | 2018 | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (DOI) | Bendík, Černá, Beneš | Springer | Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings} | |
A CIKM | 2018 | Implementation Notes for the Soft Cosine Measure (DOI) | Novotný | ACM | Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18) | |
A AIED | 2018 | Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge (DOI) | Pelánek | Springer | Artificial Intelligence in Education | |
A LPAR | 2018 | Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (DOI) | Bendík, Černá | EPiC Series in Computing | LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
A MICCAI | 2018 | How to Exploit Weaknesses in Biomedical Challenge Design and Organization (DOI) | Kozubek | Reinke, Eisenmann, Onogur, Stankovic, Scholz, Full, Bogunovic, Landman, Maier, Menze, Sharp, Sirinukunwattana, Speidel, van der Sommen, Zheng, Müller, Arbel, Bradley, Jannin, Kopp-Schneider, Maier-Hein | Springer | Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 |
A LPAR | 2018 | Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (DOI) | Jonáš, Strejček | EasyChair | LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | |
A SoCG | 2018 | Structure and generation of crossing-critical graphs (DOI) | Hliněný | Dvořák, Mohar | Leibniz International Proceedings in Informatics, LIPIcs | 34th International Symposium on Computational Geometry, SoCG 2018 |
A CoNEXT | 2018 | P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures (DOI) | Srba | Jensen, Kroegh, Madsen, Schmid, Thorgersen | ACM | Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18) |
A STACS | 2018 | On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem (DOI) | Ganian | Klute, Ordyniak | Dagstuhl | STACS 2018 |
A STACS | 2018 | Small Resolution Proofs for QBF using Dependency Treewidth (DOI) | Ganian | Eiben, Ordyniak | Dagstuhl | STACS 2018 |
A ATVA | 2018 | Continuous-Time Markov Decisions Based on Partial Exploration (DOI) | Křetínský | Ashok, Butkova, Hermanns | Springer | Automated Technology for Verification and Analysis. ATVA 2018 |
A CONCUR | 2018 | Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (DOI) | Křetínský | Perez, Raskin | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 29th International Conference on Concurrency Theory (CONCUR 2018) |
A TACAS | 2018 | Strategy Representation by Decision Trees in Reactive Synthesis (DOI) | Brázdil | Chatterjee, Křetínský, Toman | Springer | 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) |
A TCC | 2018 | Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation (DOI) | Dupont Dupuis | Fehr, Lamontagne, Salvail | Springer | 16th International Theory of Cryptography Conference (TCC 2018) |
A SIGCSE | 2018 | Timely Feedback in Unstructured Cybersecurity Exercises (DOI) | Vykopal, Ošlejšek, Dočkalová Burská, Zákopčanová | ACM | Proceedings of Special Interest Group on Computer Science Education, Baltimore, Maryland, USA, February 21–24, 2018(SIGCSE’18) | |
A ITICSE | 2018 | Enhancing Cybersecurity Skills by Creating Serious Games (DOI) | Švábenský, Vykopal, Čermák | Laštovička | ACM | Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'18) |
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 International Publishing | Advanced Data Mining and Applications |
B AICCSA | 2022 | 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 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 CLiC-it | 2022 | Introducing a Gold Standard Corpus from Young Multilinguals for the Evaluation of Automatic UD-PoS Taggers for Italian (URL) | Stemle | Schmalz, Frey | Proceedings of the Eighth Italian Conference on Computational Linguistics | |
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 | Bühnová | Ge | Proceedings of the 12th International Conference on Cloud Computing and Services Science | |
B ENASE | 2022 | Tools for the Confluence of Semantic Web and IoT: A Survey (DOI) | Blanco Sánchez, Rossi, Pitner | SciTePress | Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022) | |
B ICPRAM | 2022 | Nearest-neighbor Search from Large Datasets using Narrow Sketches (DOI) | Míč | Naoya, Yasunobu, Takeshi, Kouichi, Tetsuji | SciTePress | Proceedings of the 11th International Conference on Pattern Recognition Applications and Methods - ICPRAM |
B MESAS | 2022 | Enhancing Requirements Completeness of Automated Driving System in Concept Phase (DOI) | Abbadi, Přenosil | Springer Nature Switzerland AG | International Conference on Modelling and Simulation for Autonomous Systems / MESAS 2021: Modelling and Simulation for Autonomous Systems | |
B WALCOM | 2022 | Isomorphism Testing for T-graphs in FPT (DOI) | Agaoglu Cagirici, Hliněný | Springer, Cham | WALCOM: Algorithms and Computation | |
B DEXA | 2022 | Towards Efficient Human Action Retrieval based on Triplet-Loss Metric Learning (DOI) | Kico, Sedmidubský, Zezula | Springer-Verlag | 33rd International Conference on Database and Expert Systems Applications (DEXA) | |
B ENASE | 2022 | Business Process Model and Notation for Forensic-Ready Software Systems (DOI) | Daubner, Bühnová, Pitner | Matulevičius | SciTePress | Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering |
B ICSOFT | 2022 | Timing Model for Predictive Simulation of Safety-Critical Systems (DOI) | Blanco Sánchez, Rossi | Cioroaica | SciTePress | 17th International Conference on Software Technologies (ICSOFT 2022) |
B SEAA | 2022 | Applicability of Software Reliability Growth Models to Open Source Software (DOI) | Mičko, Chren, Rossi | IEEE | 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2022) | |
B ICSOFT | 2022 | Blockchain Patterns in Critical Infrastructures: Limitations and Recommendations (DOI) | Bangui, Bühnová | SCITEPRESS | The 17th International Conference on Software and Data Technologies (ICSOFT) | |
B SECRYPT | 2022 | A Longitudinal Study of Cryptographic API: a Decade of Android Malware (DOI) | Janovský, Macko, Matyáš | Maiorca, Giacinto | SCITEPRESS | Proceedings of the 19th International Conference on Security and Cryptography |
B SECRYPT | 2022 | SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes (DOI) | Dufka, Sedláček, Švenda | SCITEPRESS | Proceedings of the 19th International Conference on Security and Cryptography | |
B SMARTGREENS | 2022 | Evaluation of Smart City Models: A Conceptual and Structural View. (DOI) | Walletzký, Schwarzová | Bayarsaikhan, Ge | 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á, Antol, Dohnal | Gendiar | 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, Kubíček, Švenda, Matyáš | 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, 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 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, 2020, Proceedings | |
B 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) | |
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 (URL) | Š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 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, 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) | 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 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 CMSB | 2021 | Aeon 2021: Bifurcation Decision Trees in Boolean Networks (DOI) | Beneš, Brim, Pastva, Šafránek | Springer | International Conference on Computational Methods in Systems Biology (CMSB 2021) | |
B VISIGRAPP | 2021 | Geovisto: A Toolkit for Generic Geospatial Data Visualization (DOI) | Hynek, Kachlík, Rusňák | SCITEPRESS – Science and Technology Publications, Lda. | Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3 IVAPP: IVAPP | |
B IFIP SEC | 2021 | Enriching DNS Flows with Host-Based Events to Bypass Future Protocol Encryption (DOI) | Špaček, Tovarňák, Čeleda | Springer | ICT Systems Security and Privacy Protection | |
B IFIP SEC | 2021 | How Do Users Chain Email Accounts Together? (DOI) | Kraus | Švidroňová, Stobert | Springer International Publishing | IFIP International Conference on ICT Systems Security and Privacy Protection |
B AINA | 2020 | Self-adaptive RFID Authentication for Internet of Things (DOI) | Mbarek, Ge, Pitner | Springer, Advances in Intelligent Systems and Computing | Proceedings of the 33rd International Conference on Advanced Information Networking and Applications (AINA-2019) | |
B AINA | 2020 | Detection of Algorithmically Generated Domain Names in Botnets (DOI) | Říha | Vishwakarma, Bhatia | Springer Nature Switzerland | Advanced Information Networking and Applications, AINA 2019 |
B ICSC | 2020 | Improving Learning System Performance with Multimedia Semantics (DOI) | Ge | Persia, D'Auria | IEEE | Proceedings of the 14th IEEE International Conference on Semantic Computing |
B PacificVis | 2020 | PINGU: Principles of Interactive Navigation for Geospatial Understanding (DOI) | Orémuš, Chmelík, Kňažková, Byška, Kozlíková | Akram Hassan, Raidou | IEEE PacificVis 2020 | 2020 IEEE Pacific Visualization Symposium (PacificVis) |
B LAK | 2020 | Exploration of the Robustness and Generalizability of the Additive Factors Model (DOI) | Effenberger, Pelánek, Čechák | ACM | Proceedings of the 10th International Conference on Learning Analytics and Knowledge | |
B IFIP SEC | 2020 | Improving Big Data Clustering for Jamming Detection in Smart Mobility (DOI) | Bangui, Ge, Bühnová | Springer IFIP AICT series | Proceedings of the 35th International Conference on ICT Systems Security and Privacy Protection - IFIP SEC | |
B CLOSER | 2020 | Research Challenges of Open Data as a Service for Smart Cities (DOI) | Walletzký, Romanovská, Ge | Toli | SCITEPRESS | Proceedings of the 10th International Conference on Cloud Computing and Services Science |
B ISBI | 2020 | Image-based Simulations of Tubular Network Formation (DOI) | Svoboda, Nečasová | IEEE | 17th IEEE International Symposium on Biomedical Imaging | |
B ICAART | 2020 | Improving RNN-based Answer Selection for Morphologically Rich Languages (DOI) | Medveď, Horák, Sabol | SCITEPRESS | Proceedings of the 12th International Conference on Agents and Artificial Intelligence | |
B ISBI | 2020 | Condensed U-Net (CU-Net): An Improved U-Net Architecture for Cell Segmentation Powered by 4x4 Max-Pooling Layers (DOI) | Akbas, Kozubek | IEEE | IEEE 17th International Symposium on Biomedical Imaging | |
B KES | 2020 | Developing the Quality Model for Collaborative Open Data (DOI) | Ge | Lewoniewski | Elsevier Procedia Computer Science | Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems - KES 2020 |
B CBI | 2020 | Developing Reliable Taxonomic Features for Data Warehouse Architectures (DOI) | Ge | Yang, Helfert | IEEE | Proceedings of the 22nd IEEE International Conference on Business Informatics - CBI 2020 |
B DEXA | 2020 | Blockchain-based Access Control for IoT in Smart Home Systems (DOI) | Mbarek, Ge, Pitner | Springer | Proceedings of the 31st International Conference on Database and Expert Systems Applications - DEXA 2020 | |
B FIE | 2020 | How Does a Student-Centered Course on Communication and Professional Skills Impact Students in the Long Run? (DOI) | Švábenský | Motschnig, Silber | IEEE | 2020 IEEE Frontiers in Education Conference (FIE) |
B NFM | 2020 | Parameter Synthesis and Robustness Analysis of Rule-Based Models (DOI) | Troják, Šafránek, Brim | Mertová | Springer | 12th International Symposium on NASA Formal Methods, NFM 2020 |
B SoftCOM | 2020 | Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation (DOI) | Chren | Cioroaica, Aktouf, Larsson, Chillarege, Kuhn, Schneider, Wolschke | IEEE | Proceedings of 28th International Conference on Software, Telecommunications and Computer Networks (SoftCom 2020) |
B 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, Zákopčanová | Beran, Hrdina | IEEE | 2020 IEEE Symposium on Visualization for Cyber Security (VizSec) |
B SNAMS | 2020 | Towards Process Mining Utilization in Insider Threat Detection from Audit Logs (DOI) | Macák, Merjavý, Jevočin, Bühnová | Vanát | IEEE | 2020 Seventh International Conference on Social Networks Analysis, Management and Security (SNAMS) |
B ICSC | 2019 | Factoring Personalization in Social Media Recommendations (DOI) | Ge | Persia | IEEE | Proceedings of the 13th IEEE International Conference on Semantic Computing |
B PacificVis | 2019 | Visual Analysis of Ligand Trajectories in Molecular Dynamics (DOI) | Jurčík, Furmanová, Byška, Vávra, Ulbrich, Kozlíková | Vonásek, Hauser | IEEE | IEEE Pacific Visualization Symposium 2019 |
B ISBI | 2019 | DIC Image Segmentation of Dense Cell Populations by Combining Deep Learning and Watershed (DOI) | Lux, Matula | IEEE 16th International Symposium on Biomedical Imaging | IEEE 16th International Symposium on Biomedical Imaging | |
B ICEIS | 2019 | Analysis of Data Warehouse Architectures: Modeling and Classification (DOI) | Ge | Qishan, Helfert | SciTePress | Proceedings of the 21st International Conference on Enterprise Information Systems |
B BIS | 2019 | Data Quality Management Framework for Smart Grid Systems (DOI) | Ge, Chren, Rossi, Pitner | Springer | Proceedings of the 22nd International Conference on Business Information Systems | |
B ICL | 2019 | Digitization and Visualization of Movements of Slovak Folk Dances (DOI) | Hajdin, Kico, Doležal, Chmelík, Liarokapis | Doulamis | Springer International Publishing | The Challenges of the Digital Transformation in Education |
B HS | 2019 | Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (DOI) | Beneš, Brim, Dražanová, Pastva, Šafránek | ACM | Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control | |
B ICAART | 2019 | Question and Answer Classification in Czech Question Answering Benchmark Dataset (DOI) | Medveď | Horák, Kušniráková | SCITEPRESS | Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Volume 2 |
B IWCMC | 2019 | SeMLAS: An Efficient Secure Multi-Level Authentication Scheme for IoT-Based Smart Home Systems (DOI) | Mbarek, Pitner | Bühnová | IEEE | The 15th International Wireless Communications & Mobile Computing Conference (IWCMC 2019) |
B PETRA | 2019 | Investigating motion sickness techniques for immersive virtual environments (DOI) | Lukš, Liarokapis | ACM | Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments, ACM Press, 280-288, 2019. | |
B ADBIS | 2019 | BM-index: Balanced Metric Space Index based on Weighted Voronoi Partitioning (DOI) | Antol, Dohnal | Springer International Publishing | Advances in Databases and Information Systems, 23th East European Conference, ADBIS 2019 | |
B SECRYPT | 2019 | I want to break square-free: The 4p - 1 factorization method and its RSA backdoor viability (DOI) | Sedláček, Klinec, Sýs, Švenda, Matyáš | SCITEPRESS | Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT | |
B ICIAP | 2019 | On Generative Modeling of Cell Shape Using 3D GANs (DOI) | Wiesner, Nečasová, Svoboda | Springer | Image Analysis and Processing – ICIAP 2019 | |
B ICSOFT | 2019 | The Saga Pattern in a Reactive Microservices Environment (DOI) | Štefanko, Rossi | Chaloupka | SciTePress | 14th International Conference on Software Technologies (ICSOFT 2019) |
B VizSEC | 2019 | Visual Feedback for Players of Multi-Level Capture the Flag Games: Field Usability Study (DOI) | Ošlejšek, Rusňák, Dočkalová Burská, Švábenský, Vykopal | IEEE | 2019 IEEE Symposium on Visualization for Cyber Security (VizSec) | |
B SISAP | 2019 | Metric Embedding into the Hamming Space with the n-Simplex Projection (DOI) | Míč, Zezula | Vadicamo, Fabrizio | Springer International Publishing | Similarity Search and Applications: 12th International Conference, SISAP 2019, Newark, New Jersey, USA, October 2-4, 2019, Proceedings |
B ICAR | 2019 | Computing multiple guiding paths for sampling-based motion planning (DOI) | Kozlíková | Vonásek, Pěnička | Neuveden | Proceedings of the 19th International Conference on Advanced Robotics, ICAR 2019 |
B ICSOFT | 2019 | Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud (DOI) | Gešvindr, Bühnová, Davídek | SciTePress | Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT | |
B ISM | 2019 | Augmenting Spatio-Temporal Human Motion Data for Effective 3D Action Recognition (DOI) | Sedmidubský, Zezula | IEEE Computer Society | 21st IEEE International Symposium on Multimedia (ISM) | |
B ISM | 2019 | Understanding the Gap between 2D and 3D Skeleton-Based Action Recognition (DOI) | Eliáš, Sedmidubský, Zezula | IEEE Computer Society | 21st IEEE International Symposium on Multimedia (ISM) | |
B SPIN | 2019 | String Abstraction for Model Checking of C Programs (DOI) | Ročkai, Lauko, Olliaro | Cortesi | Springer International Publishing | Model Checking Software |
B SEFM | 2019 | Local Nontermination Detection for Parallel C++ Programs (DOI) | Štill, Barnat | Springer | International Conference on Software Engineering and Formal Methods | |
B SEFM | 2019 | Reproducible Execution of POSIX Programs with DiOS (DOI) | Ročkai, Mrázek, Barnat | Baranová, Kejstová | Springer International Publishing | Software Engineering and Formal Methods |
B IFM | 2019 | Evaluation of Program Slicing in Software Verification (DOI) | Chalupa, Strejček | Springer | Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings | |
B COCOA | 2019 | On conflict-free chromatic guarding of simple polygons (DOI) | Cagirici, Hliněný | Ghosh, Roy | Springer, Lecture Notes in Computer Science, volume 11949 | 13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19) |
B ICTAC | 2019 | LTL to Smaller Self-Loop Alternating Automata and Back (DOI) | Major, Strejček | Blahoudek | Springer | Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings |
B ICFEM | 2019 | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI) | Beneš, Brim, Pastva, Šafránek | Poláček | Springer | Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings |
B IFM | 2019 | Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI) | Beneš, Brim, Geletka, Pastva, Šafránek | Springer International Publishing | Integrated Formal Methods | |
B SPIN | 2019 | Model Verification Through Dependency Graphs (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19) |
B QEST | 2019 | Strategy Representation by Decision Trees with Linear Classifiers (DOI) | Brázdil, Křetínský | Toman, Ashok, Chatterjee, Lampert | Springer | Quantitative Evaluation of Systems (QEST 2019) |
B VLSID | 2019 | Parallelization of brute-force attack on MD5 hash algorithm on FPGA (DOI) | Přenosil | Gillela, Reddy | IEEE | 32nd International Conference on VLSI Design, VLSID 2019 |
B ICSTCC | 2019 | Modelling Service Design and Complexity for Multi-contextual Applications in Smart Cities (DOI) | Walletzký, Ge | Carubbo | IEEE | 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC) |
B ICTAC | 2019 | Completeness of Abstract Domains for String Analysis of JavaScript Programs (DOI) | Olliaro | Arceri, Cortesi, Mastroeni | Springer | Theoretical Aspects of Computing – ICTAC 2019 |
B IPEC | 2019 | Parameterized complexity of edge-coloured and signed graph homomorphism problems (DOI) | Pierron | Foucaud, Hocquard, Lajou, Mitsou | Dagstuhl | 14th International Symposium on Parameterized and Exact Computation (IPEC 2019) |
B IoTBDS | 2019 | Quality Management for Big 3D Data Analytics: A Case Study of Protein Data Bank (DOI) | Bangui, Ge, Bühnová | SciTePress | Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - Volume 1 | |
B FedCSIS | 2019 | Big Data Platform for Smart Grids Power Consumption Anomaly Detection (DOI) | Lipčák, Macák, Rossi | IEEE | Proceedings of the 2019 Federated Conference on Computer Science and Information Systems | |
B IPEC | 2018 | FO model checking of geometric graphs (DOI) | Hliněný, Pokrývka, Roy | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 12th International Symposium on Parameterized and Exact Computation (IPEC 2017) | |
B FSTTCS | 2018 | On Colourability of Polygon Visibility Graphs (DOI) | Cagirici, Hliněný, Roy | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) | |
B ICAART | 2018 | Sentence and Word Embedding Employed in Open Question-Answering | Medveď, Horák | SCITEPRESS - Science and Technology Publications | Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018) | |
B ICEIS | 2018 | Validation and Extension of the Smart City Ontology (DOI) | Štěpánek, Ge | SciTePress | Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS | |
B ICSC | 2018 | Evaluation in Multimedia Recommender Systems: A Practical Guide (DOI) | Ge | Persia | IEEE | Proceedings of the 12th IEEE International Conference on Semantic Computing |
B ICEIS | 2018 | The Social Media Perception and Reality -Possible Data Quality Deficiencies between Social Media and ERP (DOI) | Ge | Popescu, Helfert | SCITEPRESS | Proceedings of the 20th International Conference on Enterprise Information Systems |
B ISBI | 2018 | Segmentation of Actin-Stained 3D Fluorescent Cells with Filopodial Protrusions using Convolutional Neural Networks (DOI) | Maška, Sorokin | Castilla, Meijering, Ortiz-de-Solorzano | IEEE | 15th IEEE International Symposium on Biomedical Imaging |
B ICCHP | 2018 | DysHelper – The Dyslexia Assistive Approach User Study (DOI) | Pařilová | Springer International Publishing | Computers Helping People with Special Needs:16th International Conference, ICCHP 2018. LNCS | |
B DEXA | 2018 | Probabilistic Classification of Skeleton Sequences (DOI) | Sedmidubský, Zezula | Springer | 29th International Conference on Database and Expert Systems Applications (DEXA 2018) | |
B IDEAS | 2018 | Continuous Time-Dependent kNN Join by Binary Sketches (DOI) | Nálepa, Batko, Zezula | ACM | IDEAS 2018 : 22nd International Database Engineering & Applications Symposium, June 18-20, 2018, Villa San Giovanni, Italy | |
B ADBIS | 2018 | Selecting Sketches for Similarity Search (DOI) | Míč, Novák, Zezula | Vadicamo | Springer International Publishing | Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018. |
B TSD | 2018 | Recognition of OCR Invoice Metadata Block Types (DOI) | Ha, Horák, Medveď, Nevěřilová | Springer International Publishing | Text, Speech, and Dialogue, 21st International Conference, TSD 2018 | |
B SEFM | 2018 | Online Enumeration of All Minimal Inductive Validity Cores (DOI) | Bendík, Černá | Ghassabani, Whalen | Springer International Publishing | Software Engineering and Formal Methods - 16th International Conference |
B ICSOFT | 2018 | Finding Regressions in Projects under Version Control Systems (DOI) | Bendík, Beneš, Černá | SciTePress | 13th International Conference on Software Technologies | |
B FIE | 2018 | Evaluation of Cyber Defense Exercises Using Visual Analytics Process (DOI) | Ošlejšek, Vykopal, Dočkalová Burská, Rusňák | IEEE | Proceedings of the 48th IEEE Frontiers in Education Conference (FIE'18) | |
B SPIN | 2018 | Joint Forces for Memory Safety Checking (DOI) | Chalupa, Strejček, Vitovská | Springer | Model Checking Software. SPIN 2018 | |
B IDEAS | 2018 | WalDis: Mining Discriminative Patterns within Dynamic Graphs (DOI) | Vaculík, Popelínský | ACM New York | IDEAS '18 Proceedings of the 22nd International Database Engineering & Applications Symposium | |
B ICNC-FSKD | 2018 | Combining Cache and Priority Queue to Enhance Evaluation of Similarity Search Queries (DOI) | Nálepa, Batko, Zezula | IEEE | 2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery | |
B DCOSS | 2018 | Adaptive Secrecy Amplification with Radio Channel Key Extraction (DOI) | Němec, Ošťádal, Matyáš, Švenda | IEEE | 2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS) | |
B IFIP SEC | 2018 | Practical Cryptographic Data Integrity Protection with Full Disk Encryption (DOI) | Brož, Matyáš | Patočka | Springer | 2018 IFIP International Conference on ICT Systems Security and Privacy Protection |
B ICSTCC | 2018 | Fully Automated Attractor Analysis of Cyanobacteria Models (DOI) | Beneš, Brim, Pastva, Šafránek, Troják | Červený, Šalagovič | IEEE | 22nd International Conference on System Theory, Control and Computing |
B ICTAC | 2018 | Symbolic Computation via Program Transformation (DOI) | Lauko, Ročkai, Barnat | Springer | Theoretical Aspects of Computing – ICTAC 2018 | |
B ICTAC | 2018 | Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers (DOI) | Jonáš, Strejček | Springer | Theoretical Aspects of Computing – ICTAC 2018 | |
B FedCSIS | 2018 | Agile to Lean Software Development Transformation: A Systematic Literature Review (DOI) | Kišš, Rossi | IEEE | 2018 Federated Conference on Computer Science and Information Systems (FedCSIS) | |
B TSD | 2018 | Corpus Annotation Pipeline for Non-standard Texts (DOI) | Pelikánová, Nevěřilová | Springer International Publishing | Text, Speech, and Dialogue, 21st International Conference, TSD 2018 | |
B ICFEM | 2018 | Model Checking of C++ Programs Under the x86-TSO Memory Model (DOI) | Štill, Barnat | Springer | Formal Methods and Software Engineering | |
B ICATPN | 2018 | Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (DOI) | Srba | Boenneland, Dyhr, Jensen, Johannsen | Springer-Verlag | Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18) |
B QEST | 2018 | Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (DOI) | Srba | Ivanov, Larsen, Schupp | Springer | Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18) |
B ICTAI | 2018 | Sum-of-Products with Default Values: Algorithms and Complexity Results (DOI) | Ganian | Kim, Slivovsky, Szeider | IEEE | IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) |
B ISM | 2018 | Multi-modal Image Retrieval for Search-based Image Annotation with RF (DOI) | Budíková, Batko, Zezula | IEEE | 2018 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM 2018) | |
B IEEE IS | 2018 | Investigating Body Transfer Illusion from Human to Monkey Body (DOI) | Javorský, Škola, Liarokapis | Sylaiou, Martins | IEEE Computer Society | 2018 International Conference on Intelligent Systems (IS 2018) |
B NOMS | 2018 | Passive OS Fingerprinting Methods in the Jungle of Wireless Networks (DOI) | Laštovička, Jirsík, Čeleda, Špaček, Filakovský | IEEE Xplore Digital Library | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
B IoTBDS | 2018 | Exploring Big Data Clustering Algorithms for Internet of Things Applications (DOI) | Bangui, Ge, Bühnová | SCITEPRESS | Proceedings of the 3rd International Conference on Internet of Things, Big Data and Security | |
B IWCMC | 2018 | Towards Predicting Cyber Attacks Using Information Exchange and Data Mining (DOI) | Husák, Kašpar | IEEE | 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC) | |
B IWCMC | 2018 | Machine Learning Fingerprinting Methods in Cyber Security Domain: Which one to Use? (DOI) | Laštovička, Dufka, Komárková | IEEE Xplore Digital Library | Proceedings of the 14th International Wireless Communications and Mobile Computing Conference | |
B NOMS | 2018 | Toward Real-time Network-wide Cyber Situational Awareness (DOI) | Jirsík, Čeleda | IEEE | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
C 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) |
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 | ||
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á, Zaoral, 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 SEAMS | 2022 | From Systems to Ecosystems: Rethinking Adaptive Safety (DOI) | Halász | IEEE | 2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) | |
C CHI | 2022 | Exploring Hybrid: A (hybrid) SIG to discuss hybrid conferences (DOI) | Kriglstein | SIGCHI Executive, Vivacqua, Kun, Passmore, Mentis, Andres, Todi, Russis, Jones, Yamashita, Kumar, Bidwell, Mirza-Babaei, Kumar, Bardzell, Branham, Dray, Boll, Clegg | ACM | CHI Conference on Human Factors in Computing Systems Extended Abstracts (CHI EA '22) |
C CHI | 2022 | SIGCHI Turns 40: Honoring the Past, Celebrating the Present, and Envisioning the Next 40 (DOI) | Kriglstein | SIGCHI Executive, Vivacqua, Kun, Passmore, Mentis, Andres, Todi, Russis, Jones, Yamashita, Kumar, Bidwell, Mirza-Babaei, Kumar, Bardzell, Branham, Dray, Boll, Clegg | ACM | CHI Conference on Human Factors in Computing Systems Extended Abstracts (CHI EA '22) |
C CHI | 2022 | Equity Talks @SIGCHI (DOI) | Kriglstein | SIGCHI Executive, Vivacqua, Kun, Passmore, Mentis, Andres, Todi, Jones, Russis, Yamashita, Kumar, Bidwell, Mirza-Babaei, Kumar, Bardzell, Dray, Boll, Branham, Clegg | ACM | CHI Conference on Human Factors in Computing Systems Extended Abstracts (CHI EA '22) |
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 | EASE 2022: Evaluation and Assessment in Software Engineering |
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 | Bühnová | Cioroaica, Jacobi, Schneider | IEEE | IEEE/ACM International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI) |
C SE4RAI | 2022 | Towards Trusting the Ethical Evolution of Autonomous Dynamic Ecosystems | Bühnová | Cioroaica, Tomur | IEEE | IEEE/ACM International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI) |
C SEAMS | 2022 | A paradigm for safe adaptation of collaborating robots (DOI) | Bühnová | Cioroaica, Tomur | IEEE | SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems |
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 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 | Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY '22) |
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 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 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 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, Jašek, Novák, Řechtáčková, Strejč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 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 | 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 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 | Bajger, Popelínský | Schwarzerová, PIERDOU, Sedlář, WECKWERTH | IEEE | Proceedings of BIBM 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, Jašek, Tomovič, Ayaziová, Strejček | Hruška, Šoková, Vojnar | Springer | Tools and Algorithms for the Construction and Analysis of Systems |
C UMAP | 2020 | Exploring Personalized University Ranking and Recommendation (DOI) | Ge | Elahi, El Ioini, Lambrix | ACM | Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization - UMAP 2020 |
C ICSA | 2020 | Reference Architecture for Trust-Based Digital Ecosystems (DOI) | Chren, Bühnová | Cioroaica, Kuhn, Dimtrov | IEEE Press | 2020 IEEE International Conference on Software Architecture Companion (ICSA-C) |
C PRIS | 2020 | Techniques for Complex Analysis of Contemporary Data (DOI) | Peschel | Batko, Zezula | ACM | Proceedings of the 2020 International Conference on Pattern Recognition and Intelligent Systems |
C SASB | 2020 | Executable Biochemical Space for Specification and Analysis of Biochemical Systems (DOI) | Troják, Šafránek, Brim | Šalagovič, Červený | Elsevier | 9th International Workshop on Static Analysis and Systems Biology (SASB) |
C AHFE | 2020 | Multi-contextual View to Smart City Architecture (DOI) | Walletzký, Ge, Romanovská | Carrubbo, Toli | Springer | AHFE Virtual Conference on the Human Side of Service Engineering |
C ICSE | 2020 | Building trust in the untrustable (DOI) | Bühnová | Cioroaica, Kuhn, Schneider | ACM | Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society |
C FM | 2020 | Model checking in a development workflow: A study on a concurrent C++ hash table (DOI) | Ročkai | Springer International Publishing | Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019) | |
C ECSA | 2020 | Girl-Friendly Computer Science Classroom: Czechitas Experience Report (DOI) | Bühnová | Happe | Springer | European Conference on Software Architecture |
C EuroS&P | 2020 | JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets (DOI) | Švenda | Mavroudis | IEEE | 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) |
C Big Data | 2020 | Towards verifiable evidence generation in forensic-ready systems (DOI) | Daubner, Macák, Bühnová, Pitner | IEEE | 2020 IEEE International Conference on Big Data (Big Data) | |
C HCII | 2020 | Underwater Search and Discovery: From Serious Games to Virtual Reality (DOI) | Vidová | Liarokapis, Rizvić, Demesticha, Skarlatos | Springer | 22nd International Conference on Human-Computer Interaction, HCII 2020 |
C NOMS | 2020 | Using TLS Fingerprints for OS Identification in Encrypted Traffic (DOI) | Laštovička, Špaček, Velan, Čeleda | IEEE Xplore Digital Library | 2020 IEEE/IFIP Network Operations and Management Symposium (NOMS 2020) | |
C NOMS | 2020 | Network Monitoring and Enumerating Vulnerabilities in Large Heterogeneous Networks (DOI) | Laštovička, Husák, Sadlek | IEEE Xplore Digital Library | NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium | |
C ECCV | 2019 | Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data (DOI) | Nečasová, Svoboda | Springer | Computer Vision – ECCV 2018 Workshops | |
C ECCV | 2019 | Automatic Fusion of Segmentation and Tracking Labels (DOI) | Akbas, Ulman, Maška, Kozubek | Jug | Springer Nature | Computer Vision – ECCV 2018 Workshops |
C ICETE | 2019 | BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256 (DOI) | Sýs, Klinec, Kubíček, Švenda | Springer | E-Business and Telecommunications 14th International Joint Conference, ICETE 2017 | |
C WISTP | 2019 | Bringing kleptography to real-world TLS (DOI) | Janovský, Matyáš | Krhovják | Springer | Information Security Theory and Practice |
C ICMR | 2019 | Similarity Search in 3D Human Motion Data (DOI) | Sedmidubský, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
C ICMR | 2019 | Recognizing User-Defined Subsequences in Human Motion Data (DOI) | Sedmidubský, Zezula | ACM | International Conference on Multimedia Retrieval (ICMR) | |
C SCSP | 2019 | Smart Grids and Software Testing Process Models (DOI) | Hrabovská, Šimková, Rossi, Pitner | IEEE | 2019 Smart City Symposium Prague (SCSP) | |
C ICSA | 2019 | PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes (DOI) | Gešvindr, Bühnová | IEEE | 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) | |
C ICSE | 2019 | (Do not) trust in ecosystems (DOI) | Bühnová | Cioroaica, Kuhn | IEEE Press | Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results |
C | 2019 | Women Want to Learn Tech: Lessons from the Czechitas Education Project (DOI) | Bühnová | Přikrylová | IEEE Press | Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering |
C ECSA | 2019 | Towards Creation of a Reference Architecture for Trust-Based Digital Ecosystems (DOI) | Chren, Bühnová | Cioroaica, Kuhn, Dimitrov | ACM | Proceedings of European Conference on Software Architecture (ECSA 2019) Workshops |
C TACAS | 2019 | Extending DIVINE with Symbolic Verification Using SMT (DOI) | Lauko, Štill, Ročkai, Barnat | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems | |
C L@S | 2019 | Measuring Difficulty of Introductory Programming Tasks (DOI) | Effenberger, Čechák, Pelánek | ACM | Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19) | |
C L@S | 2019 | Measuring Students’ Performance on Programming Tasks (DOI) | Effenberger, Pelánek | ACM | Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19) | |
C AIED | 2019 | Towards Adaptive Hour of Code (DOI) | Effenberger | Springer | International Conference on Artificial Intelligence in Education | |
C SLSP | 2019 | Word Sense Induction Using Word Sketches (DOI) | Herman | Kovář, Jakubíček, Rychlý | Springer | Proceedings of the 7th International Conference on Statistical Language and Speech Processing |
C I-SPAN | 2019 | Exploiting Recommender Systems in Collaborative Healthcare (DOI) | Ge | D'Auria, Persia | Springer Communications in Computer and Information Science | Proceedings of the 16th International Symposium on Pervasive Systems, Algorithms and Networks |
C CMSB | 2019 | Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI) | Šafránek, Troják, Brůža, Demko, Pastva, Brim | Vejpustek, Papoušek, Pejznoch | Springer | Computational Methods in Systems Biology (CMSB 2019) |
C IDEAS | 2019 | A genetic algorithm for discriminative graph pattern mining (DOI) | Vaculík, Popelínský | ACM | Proceedings of the 23rd International Database Applications & Engineering Symposium, IDEAS 2019, Athens, Greece | |
C VS-Games | 2019 | Comparison of Trajectories and Quaternions of Folk Dance Movements Using Dynamic Time Warping (DOI) | Kico, Liarokapis | IEEE | 2019 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games) | |
C SISAP | 2019 | ADAMiSS: Advanced Data Analysis, Mining and Search, System (DOI) | Peschel, Zezula | Springer International Publishing | Similarity Search and Applications: 12th International conference, SISAP 2019, Newark, New Jersey, USA, October 2-4, 2019, Proceedings | |
C FMICS | 2019 | A Simulator for LLVM Bitcode (DOI) | Ročkai, Barnat | Springer Verlag | 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019 | |
C VRST | 2019 | A Mobile Augmented Reality Interface for Teaching Folk Dances (DOI) | Kico, Liarokapis | ACM New York, NY, USA | Proceeding VRST '19 25th ACM Symposium on Virtual Reality Software and Technology Article No. 47 | |
C RP | 2019 | Bidding Games on Markov Decision Processes (DOI) | Novotný | Avni, Henzinger, Ibsen-Jensen | Springer | Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. |
C | 2019 | Advanced Recommender Systems by Exploiting Social Networks (DOI) | Ge | Persia, D'Auria | IEEE | Proceedings of the IEEE International Conference on Humanized Computing and Communication |
C CALDAM | 2019 | Drawing Bipartite Graphs in Two Layers with Specified Crossings (DOI) | Roy | Diwan, Ghosh | Springer | 5th International Conference of Algorithms and Discrete Applied Mathematics (CALDAM 2019) |
C RSSRail | 2019 | Safe and Time-Optimal Control for Railway Games (DOI) | Srba | Karra, Larsen, Lorber | Springer | RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification |
C HSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Nouvian, Petrov | Springer International Publishing | Hybrid Systems Biology (HSB 2019) |
C CONFENIS | 2019 | Preventing Additive Attacks to Relational Database Watermarking (DOI) | Olliaro | Làzaro Pèrez Gort, Feregrino Uribe, Cortesi | Springer | 13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019 |
C ECSA | 2019 | Assisting women in career change towards software engineering: experience from Czechitas NGO (DOI) | Bühnová | Jurystová, Přikrylová | ACM | Proceedings of the 13th European Conference on Software Architecture - Volume 2 |
C CMSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Morgane, Petrov | Springer Nature | 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) |
C IM | 2019 | Current Issues of Malicious Domains Blocking (URL) | Špaček, Laštovička, Plesník | Horák | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
C IM | 2019 | DNS Firewall Data Visualization (URL) | Špaček, Rusňák, Dombajová | IEEE | 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) | |
C HeteroPar | 2019 | Exploiting historical data: pruning autotuning spaces and estimating the number of tuning steps (DOI) | Oľha, Hozzová, Fousek, Filipovič | Springer, Cham | Lecture Notes in Computer Science | |
C BSLab | 2018 | Towards Discovering the Limits of Smart Grid Communication Infrastructure (DOI) | Kadlec, Bühnová, Pitner | Rosecký, Procházka | Springer | Governing Business Systems |
C CT-RSA | 2018 | Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability (DOI) | Ukrop, Matyáš | Springer International Publishing | Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018 | |
C SPW | 2018 | Entropy crowdsourcing - protocols for link key updates in wireless sensor networks (DOI) | Němec, Ošťádal, Matyáš, Švenda | Springer International Publishing | Security Protocols XXVI: 26th International Workshop | |
C W4A | 2018 | DysHelper – The Dyslexia Assistive User Experience (DOI) | Pařilová | Remšíková | ACM New York, USA | W4A 15th International Cross-Disciplinary Conference on Web Accessibility |
C CALDAM | 2018 | Consistent Subset Problem with Two Labels. (DOI) | Roy | Khodamoradi, Krishnamurti | Springer | Algorithms and Discrete Applied Mathematics, CALDAM 2018 |
C TACAS | 2018 | Symbiotic 5: Boosted Instrumentation (Competition Contribution) (DOI) | Chalupa, Vitovská, Strejček | Springer | Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II | |
C SCSP | 2018 | Reliability Data for Smart Grids: Where the Real Data can be Found (DOI) | Chren, Rossi, Bühnová, Pitner | IEEE | 2018 Smart City Symposium Prague (SCSP) | |
C IndCDM | 2018 | Speeding up Continuous kNN Join by Binary Sketches (DOI) | Nálepa, Batko, Zezula | Springer | Advances in Data Mining | |
C ICFNDS | 2018 | Disguised Executable Files in Spear-Phishing Emails: Detecting the Point of Entry in Advanced Persistent Threat (DOI) | Ghafir, Přenosil | Hammoudeh, Aparicio-Navarro, Rabie, Jabban | ACM Digital Library | Proceedings of International Conference on Future Networks and Distributed Systems |
C IRI | 2018 | How to exploit Recommender Systems in Social Media (DOI) | Ge | Persia, D'Auria | IEEE | Proceedings of the IEEE 19th International Conference on Information Reuse and Integration for Data Science |
C ICDE | 2018 | Towards Artificial Priority Queues for Similarity Query Execution (DOI) | Antol, Dohnal | IEEE | 2018 IEEE 34th International Conference on Data Engineering Workshops (ICDEW) | |
C LICS | 2018 | Black Ninjas in the Dark: Formal Analysis of Population Protocols (DOI) | Kučera | Blondin, Esparza, Jaax | ACM | 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
C SASHIMI | 2018 | Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Multiple Mutually Interacting Motile Cells with Filopodia (DOI) | Peterlík, Svoboda, Maška | Ulman, Sorokin | Springer | Simulation and Synthesis in Medical Imaging |
C MM | 2018 | Similarity-Based Processing of Motion Capture Data (DOI) | Sedmidubský, Zezula | ACM | Proceedings of the ACM Conference on Multimedia (MM 2018) | |
C SASHIMI | 2018 | Tubular Network Formation Process Using 3D Cellular Potts Model (DOI) | Svoboda, Nečasová, Šimara | Tesařová | Springer | Simulation and Synthesis in Medical Imaging |
C DEXA | 2018 | Towards Faster Similarity Search by Dynamic Reordering of Streamed Queries (DOI) | Nálepa, Batko, Zezula | Springer | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII | |
C CIKM | 2018 | MIaS: Math-Aware Retrieval in Digital Mathematical Libraries (DOI) | Sojka, Růžička, Novotný | ACM | Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18) | |
C VS-Games | 2018 | A Model for Eye and Head Motion for Virtual Agents (DOI) | Krejsa, Kerouš, Liarokapis | IEEE | Proc. of the 10th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2018) | |
C CVCBT | 2018 | Inputs Reduction for More Space in Bitcoin Blocks (DOI) | Zima | IEEE | 2018 Crypto Valley Conference on Blockchain Technology (CVCBT) | |
C SSCI | 2018 | Enhanced Scheduling for Real-Time Traffic Control (DOI) | Dang, Rudová | IEEE | 2018 IEEE Symposium Series on Computational Intelligence (SSCI) | |
C ICDM | 2018 | Modifying Hamming Spaces for Efficient Search (DOI) | Míč, Novák, Zezula | IEEE | 18th International Conference on Data Mining Workshops (ICDMW), Singapore, November 17-21, 2018 | |
C L@S | 2018 | Exploring the Utility of Response Times and Wrong Answers for Adaptive Learning (DOI) | Pelánek | ACM | Learning @ Scale | |
C L@S | 2018 | Measuring Item Similarity in Introductory Programming (DOI) | Pelánek, Effenberger, Vaněk, Sassmann, Gmiterko | ACM | Proceedings of the Fifth Annual ACM Conference on Learning at Scale | |
C L@S | 2018 | Towards making block-based programming activities adaptive (DOI) | Effenberger, Pelánek | ACM | Learning @ Scale | |
C ICATPN | 2018 | MCC'2017 - The Seventh Model Checking Contest (DOI) | Srba | Kordon, Garavel, Hillah, Paviot-Adet, Jezequel, Hulin-Hubard, Amparore, Beccuti, Bertomieu, Evrard, Jensen, Le Botlan, Liebke, Meijer, Thierry-Mieg, Pol, Wolf | Springer | Transactions on Petri Nets and Other Models of Concurrency XIII |
C | 2018 | Improving the Success Probability for Shor’s Factorization Algorithm (DOI) | Gruska | Xu, Qiu, Zou | Springer | Reversibility and Universality |
C BIBM | 2018 | TE-nester: a recursive software tool for structure-based discovery of nested transposable elements (DOI) | Lexa, Lapár | Vanát, Jedlička, Červeňanský, Kejnovský | IEEE | Proceedings 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) |
C ISoLA | 2018 | Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes (DOI) | Brázdil, Křetínský | Slámečka, Ashok | Springer | Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) |
C NSS/MIC | 2018 | Neutron Energy Mapping for Two Different D-T Generator Technologies with a Diamond Detector (DOI) | Mravec, Matěj | Philip, Shestakova, Stephenson, Janoušková Pavelková, Kynych, Marek, Novák | IEEE | 2018 IEEE Nuclear Science Symposium and Medical Imaging Conference Proceedings (NSS/MIC) |
C NOMS | 2018 | Passive OS Fingerprinting Prototype Demonstration (DOI) | Laštovička, Filakovský | IEEE Xplore Digital Library | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
C NOMS | 2018 | Community Based Platform for Vulnerability Categorization (DOI) | Komárková, Sadlek, Laštovička | IEEE Xplore Digital Library | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
C ARES | 2018 | CRUSOE: Data Model for Cyber Situation Awareness (DOI) | Komárková, Husák, Laštovička, Tovarňák | ACM | Proceedings of the 13th International Conference on Availability, Reliability and Security | |
C NOMS | 2018 | Stream4Flow: Real-time IP Flow Host Monitoring using Apache Spark (DOI) | Jirsík | IEEE | NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium | |
C FIE | 2018 | Gathering Insights from Teenagers' Hacking Experience with Authentic Cybersecurity Tools (DOI) | Švábenský, Vykopal | IEEE | 2018 IEEE Frontiers in Education Conference (FIE) | |
D ACL | 2022 | AdaptOr: Objective-Centric Adaptation Framework for Language Models (DOI) | Štefánik, Novotný, Sojka | Groverová | Association for Computational Linguistics, ACL | Proceedings of the 60th Conference of Association of Computational Linguistics, ACL 2022 |
D | 2022 | Aspects of Forensic-Ready Software Systems in Public Service Domain | Daubner, Pitner | VŠB - Technical University Ostrava, Centre for Information Technology | ||
D | 2022 | Detection of Malicious Network Traffic Behavior Using JA3 Fingerprints (URL) | 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 ITIB | 2022 | A Revealed Imperfection in Concept Drift Correction in Metabolomics Modeling | Bajger, Jakubíková, Popelínský | Schwarzerová, Kostoval, Pierdou, Sedlář, Weckwerth | Information Technology in Biomedicine: 9th International Conference, ITIB 2022 | Information Technology in Biomedicine |
D FedCSIS | 2022 | An Integrated Checklist for Architecture Design of Critical Software Systems | Bierská, Bühnová, Bangui | IEEE | The 17th CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENCE SYSTEMS-FedCSIS | |
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, Kalivoda, Štefánik, Toma, Sojka | 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) | 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á | 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 ICEC | 2022 | Upward Influence Tactics: Playful Virtual Reality Approach for Analysing Human Multi-robot Interaction (DOI) | Kriglstein | Gerdenitsch, Weinhofer, Puthenkalam | Entertainment Computing – ICEC 2022: 21st IFIP TC 14 International Conference | |
D CHI PLAY | 2022 | More Than Just Gameplay: Making a Case for “Let’s Plays” in Education (DOI) | Kriglstein | Göbl, Jovicic, Denk, Wimmer | Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY '22) | |
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, 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) | 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) | Novotný | Mansouri, Agarwal, W. Oard, Zanibbi | CEUR-WS | Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum |
D | 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 | 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, 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) | 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) | 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, Lebedíková, Šmahel | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | When Tesseract Brings Friends: Layout Analysis, Language Identification, and Super-Resolution in the Optical Character Recognition of Medieval Texts (URL) | Novotný, Luger, Vrabcová, Horák | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | Precomputed Word Embeddings for 15+ Languages (URL) | Herman | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | Evaluating Long Contexts in the Czech Answer Selection Task (URL) | Medveď, Sabol, Horák | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | Towards Domain Robustness of Neural Language Models (URL) | Štefánik, Sojka | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | Evaluating the State-of-the-Art Sentence Alignment System on Literary Texts (URL) | Signoroni | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | DMoG : A Data-Based Morphological Guesser (URL) | Kovář, Rychlý | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | When Word Pairs Matter - Analysis of the English-Slovak Evaluation Dataset (URL) | Denisová, Rychlý | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D RASLAN | 2021 | Transferability of General Polish NER to Electronic Health Records (URL) | Anetta | Arslan | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) |
D RASLAN | 2021 | Website Properties in Relation to the Quality of Text Extracted for Web Corpora (URL) | Suchomel | Kraus | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) |
D RASLAN | 2021 | Development of HAMOD: a High Agreement Multi-lingual Outlier Detection dataset (URL) | Jakubíček, Romani, Rychlý, Herman | Tribun EU | Recent Advances in Slavonic Natural Language Processing (RASLAN 2021) | |
D IM | 2021 | Stream-Based IP Flow Analysis | Čermák, Čeleda | IFIP Open Digital Library | IFIP/IEEE International Symposium on Integrated Network Management, IM 2021 | |
D ANIMMA | 2020 | Perspective liquid scintillators for spectrometry of neutron and gamma radiation (DOI) | 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) | Novotný | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
D RASLAN | 2020 | Towards Useful Word Embeddings: Evaluation on Information Retrieval, Text Classification, and Language Modeling (URL) | Novotný, Štefánik, Lupták, Sojka | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
D RASLAN | 2020 | The Art of Reproducible Machine Learning: A Survey of Methodology in Word Vector Experiments (URL) | Novotný | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
D RASLAN | 2020 | Cthulhu Hails from Wales: N-gram Frequency Analysis of R'lyehian (URL) | Novotný, Stará | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
D RASLAN | 2020 | Efficient Management and Optimization of Very Large Machine Learning Dataset for Question Answering (URL) | Medveď, Sabol, Horák | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
D RASLAN | 2020 | Multilingual Recognition of Temporal Expressions | Starý, Nevěřilová | Valčík | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 |
D RASLAN | 2020 | Removing Spam from Web Corpora Through Supervised Learning and Semi-manual Classification of Web Sites (URL) | Suchomel | Tribun 2020 | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
D RASLAN | 2020 | Data Mining from Free-Text Health Records : State of the Art, New Polish Corpus (URL) | Anetta | Tribun EU | Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020 | |
D | 2020 | Validation of heavy water cross section using AmBe neutron source (DOI) | Matěj, Mravec | Košťál, Schulc, Novák, Czakoj, Cvachovec, Bohumil, Leal | EDP Sciences, 2020 | ND 2019: International Conference on Nuclear Data for Science and Technology |
D WOSC | 2019 | How smart technologies and big data affect systems’ life? Conceptual reflections on the Smart City’ ecosystem (DOI) | Štěpánek, Walletzký | Caputo | Routledge | Cybernetics and Systems: Social and Business Decisions [WOSC 2017 Proceedings] |
D SEBD | 2019 | Similarity Management of Data: The DISA Experience | Zezula | CEUR workshop proceedings | Proceedings of the 27th Italian Symposium on Advanced Database Systems | |
D VCBM | 2019 | DockVis: Visual Analysis of Molecular Docking Data (DOI) | Furmanová, Kozlíková, Byška | Vonásek | The Eurographics Association | Eurographics Workshop on Visual Computing for Biology and Medicine |
D SMSIS | 2019 | Cybersecurity Qualifications for Industry 4.0 Era | Pitner, Šimková | Jan | VŠB – Technical University of Ostrava | Proceedings of the 13th International Conference on Strategic Management and its Support by Information Systems 2019 |
D eLex | 2019 | Automating dictionary production: a Tagalog-English-Korean dictionary from scratch | Baisa, Herman, Jakubíček, Kovář, Medveď, Měchura, Rychlý, Suchomel | Blahuš, Cukr | Lexical Computing CZ s.r.o. | Proceedings of the 6th Biennial Conference on Electronic Lexicography |
D RANLP | 2019 | Benchmark Dataset for Propaganda Detection in Czech Newspaper Texts (DOI) | Horák, Baisa, Herman | INCOMA Ltd. | Proceedings of Recent Advances in Natural Language Processing, RANLP 2019 | |
D LTC | 2019 | First Steps in Recognizing Relational Entailment – Experimental Corpus and Baselines | Víta | Klímek | Wydawnictwo Nauka i Innowacje | Human Language Technologies as a Challenge for Computer Science and Linguistics – 2019 |
D RANLP | 2019 | Exploiting Open IE for Deriving Multiple Premises Entailment Corpus (DOI) | Víta | Klímek | 2019 | Proceedings of Recent Advances in Natural Language Processing |
D | 2019 | History Conception in the History of Last Two Centuries and Its Philosophical Reflection | Dokulil | Filosofický ústav AV ČR | Idea dějin a Palacký jako myslitel | |
D DaZ | 2019 | Filtering outliers to improve classification. First results (URL) | Hetlerović, Popelínský | Fakulta elektrotechniky a informatiky - Technická univerzita v Košiciach | Data a Znalosti & WIKT 2019 | |
D eLex | 2019 | SkELL Corpora as a Part of the Language Portal Sonaveeb: Problems and Perspectives (URL) | Suchomel, Baisa, Michelfeit | Koppel, Kallas, Khokhlová | Lexical Computing CZ s.r.o. | Proceedings of the 6th Biennial Conference on Electronic Lexicography |
D RASLAN | 2019 | Quo Vadis, Math Information Retrieval (URL) | Sojka, Novotný, Lupták, Štefánik | Ayetiran | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 |
D RASLAN | 2019 | Neural Tagger for Czech Language: Capturing Linguistic Phenomena in Web Corpora (URL) | Nevěřilová, Stará | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
D RASLAN | 2019 | Evaluation and Error Analysis of Rule-based Paraphrase Generation for Czech | Burgerová, Horák | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
D RASLAN | 2019 | Structured Information Extraction from Pharmaceutical Records | Bamburová, Nevěřilová | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
D RASLAN | 2019 | Automatically Created Noun Explanations for English | Stará | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
D RASLAN | 2019 | Czech Question Answering with Extended SQAD v3.0 Benchmark Dataset | Sabol, Medveď, Horák | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
D RASLAN | 2019 | SiLi Index: Data Structure for Fast Vector Space Searching (URL) | Herman, Rychlý | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
D RASLAN | 2019 | Discriminating Between Similar Languages Using Large Web Corpora | Suchomel | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
D RASLAN | 2019 | Evaluation of Czech Distributional Thesauri (URL) | Rychlý | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
D RASLAN | 2019 | A Distributional Multi-word Thesaurus in Sketch Engine (URL) | Jakubíček, Rychlý | Tribun EU | Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019 | |
D | 2019 | Do we need formal language when starting a logical system? | Materna | Tribun EU | Slavonic Natural Language Processing in the 21st Century | |
D | 2019 | Understanding Underwater Photogrammetry for Maritime Archaeology Through Immersive Virtual Reality (DOI) | Doležal, Liarokapis | Vlachos, Secci, Demestiha, Skarlatos | ISPRS | Proc. of the Underwater 3D Recording & Modelling: A tool for modern applications and CH recording, Limassol, Int. Arch. Photogramm. Remote Sens. Spatial Inf. Sci., XLII-2/W10 |
D | 2019 | Analytic representations of large graphs (DOI) | Kráľ | Grzesik | Cambridge University Press | Surveys in Combinatorics 2019 |
D RASLAN | 2019 | Approximate String Matching for Detecting Keywords in Scanned Business Documents (URL) | Ha | NLP Consulting | Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2019 | |
D WOSC | 2019 | Towards a smart systems view of museum networks (DOI) | Walletzký | Caputo, Montenella, Merola | Routledge | Cybernetics and Systems: Social and Business Decisions [WOSC 2017 Proceedings] |
D CHEP | 2019 | Anomaly detection using Deep Autoencoders for the assessment of the quality of the data acquired by the CMS experiment (DOI) | Široký | Pol, Azzolini, Cerminara, De Guio, Franzoni, Pierini, Vlimant | EDP Sciences | 23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2019) |
D VCBM | 2019 | SpectraMosaic: An exploratory tool for the interactive visual analysis of magnetic resonance spectroscopy data (DOI) | Vašíček | Garrison, Grüner, Smit, Bruckner | Eurographics Association | Eurographics Workshop on Visual Computing for Biology and Medicine, VCBM 2019 |
D DATA | 2019 | Scaling Big Data Applications in Smart City with Coresets (DOI) | Bangui, Ge, Bühnová | Trang | SciTePress | Proceedings of the 8th International Conference on Data Science, Technology and Applications - Volume 1 |
D | 2018 | Interaction with 3D environment : exploring sensory-motor to cognition | Juřík, Šašinka, Herman, Stachoň, Kubíček, Ugwitz, Doležal | Masarykova univerzita | Kognice a umělý život 2018 : sborník příspěvků | |
D | 2018 | Behavior Analysis in Virtual Geovisualizations : Towards Ecological Validity (URL) | Juřík, Herman, Šašinka, Stachoň, Chmelík, Šašinková, Kubíček | Bulgarian Cartographic Association | 7th International Conference on Cartography and GIS : Proceedings, Vol. 1 and Vol. 2 | |
D ISRD | 2018 | Fast Two Parametric Spectrometric System For Experimental MSR/FHR Reactor Dosimetry | Matěj | Košťál, Cvachovec, Mravec, Pavelek, Herman, Veškrna, Přenosil, Losa | STP: Selected Technical Papers | Reactor Dosimetry - 16th international Symposium |
D FSDM | 2018 | Determining Dyslexic User Model Membership Using Fuzzy Approach (DOI) | Pařilová | IOS Press | Fuzzy Systems and Data Mining IV | |
D CMLC | 2018 | Distributed Corpus Search (URL) | Rychlý, Rábara, Herman | European Language Resource Association | 6th Workshop on the Challenges in the Management of Large Corpora | |
D FedCSIS | 2018 | From Building Corpora for Recognizing Faceted Entailment to Recognizing Relational Entailment (DOI) | Víta | Polish Information Processing Society | Position Papers of the Federated Conference on Computer Science and Information Systems | |
D PATAT | 2018 | University course timetabling and International Timetabling Competition 2019 | Rudová, Müllerová | Müller | PATAT | Proceedings of the 12th International Conference on the Practice and Theory of Automated Timetabling |
D IDIMT | 2018 | Innovation of the Information System in the Field of Data Archiving | Pitner, Tomášek | Ministr, Lhoták, Chaplyha | Johannes Kepler Universität Linz | 26th Interdisciplinary Information Management Talks (IDIMT) 2018 Strategic Modeling in Management, Economy and Society |
D IDIMT | 2018 | How to Make Academic-Industrial Collaboration More Effective? (URL) | Šteruská, Šimková, Pitner | Ministr | Trauner Verlag | 26th Interdisciplinary Information Management Talks (IDIMT) 2018 Strategic Modeling in Management, Economy and Society |
D EURALEX | 2018 | Shareable subentries in Lexonomy as a solution to the problem of multiword item placement | Měchura | Ljubljana University Press | Proceedings of the XVIII EURALEX International Congress: Lexicography in Global Contexts | |
D EURALEX | 2018 | Wordnet Consistency Checking via Crowdsourcing | Rambousek, Horák | Ljubljana University Press | Proceedings of the XVIII EURALEX International Congress: Lexicography in Global Contexts | |
D DaZ | 2018 | Siamese Convolutional Neural Networks for Recognizing Partial Entailment (URL) | Víta | Vysoké učení technické v Brně | Siamese Convolutional Neural Networks for Recognizing Partial Entailment | |
D | 2018 | Improving Marker-Based Tracking for Augmented Reality in Underwater Environments (DOI) | Čejka, Liarokapis | Agrafiotis, Bruno, Skarlatos | The Eurographics Association | Proc. of the Eurographics Workshop on Graphics and Cultural Heritage, The Eurographics Association, Vienna, Austria, 21-30, 2018 |
D RASLAN | 2018 | Weighting of Passages in Question Answering (URL) | Novotný, Sojka | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2018 | |
D IT4P | 2018 | Cybersecurity Qualifications (URL) | Pitner, Šimková | Ministr | VŠB-Technical University of Ostrava | Proceedings of the 21st International Conference on Information Technology for Practice |
D RASLAN | 2018 | Comments on Czech Morphological Tagset | Pala | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
D RASLAN | 2018 | csTenTen17, a Recent Czech Web Corpus | Suchomel | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
D RASLAN | 2018 | Towards Czech Answer Type Analysis | Kušniráková, Medveď | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
D RASLAN | 2018 | Recurrent Networks in AQA Answer Selection | Sabol, Medveď, Horák | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
D RASLAN | 2018 | An Update of the Manually Annotated Amharic Corpus | Rychlý | Lemma | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 |
D IT4P | 2018 | Modeling and Simulating Cooperation in Organizations | Spurný, Ráček | VŠB | Proceedings of the 21 stInternational Conference on Information Technology for Practice | |
D DaZ | 2018 | Autoencoders vs. others for anomaly detection | Popelínský | Miklášová, Lomič, Císar, Krejčířová | Vysoké učení technické v Brně | DATA A ZNALOSTI & WIKT 2018, sborník konference |
D ITAT | 2018 | To text summarization by dynamic graph mining | Gallo, Popelínský, Vaculík | Safarik University, Faculty of Science, Kosice, Slovakia | ITAT 2018 Proceedings, | |
D IT4P | 2018 | TEVOGS – Vehicle Onboard Guidance System | Mühlpachr, Ráček | Fibich | VŠB | Proceedings of the 21 stInternational Conference on Information Technology for Practice |
D DaZ | 2018 | Performing Feature Selection Before Removing Outliers To Increase Classfier's Accuracy | Petliak, Tmenova, Námešný, Bončo, Popelínský | VUT Brno | DATA A ZNALOSTI & WIKT 2018, sborník konference | |
D RASLAN | 2018 | Multiple Instance Terminological Thesaurus with Central Management | Rambousek | Tribun EU | Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018 | |
D ACAT | 2018 | Machine Learning in High Energy Physics Community White Paper (DOI) | Široký | Albertsson, Altoe, Anderson, Andrews, Espinosa, Aurisano, Basara, Bevan, Bhimji, Bonacorsi, Calafiura, Campanelli, Capps, Carminati, Carrazza, Childers, Coniavitis, Cranmer, David, Davis, Duarte, Erdmann, Eschle, Farbin, Feickert, Castro, Fitzpatrick, Floris, Forti, Garra-Tico, Gemmler, Girone, Glaysher, Gleyzer, Gligorov, Golling, Graw, Gray, Greenwood, Hacker, Harvey, Hegner, Heinrich, Hooberman, Junggeburth, Kagan, Kane, Kanishchev, ski, Kassabov, Kaul, Kcira, Keck, Klimentov, Kowalkowski, Kreczko, Kurepin, Kutschke, Kuznetsov, Köhler, Lakomov, Lannon, Lassnig, Limosani, Louppe, Mangu, Mato, Meinhard, Menasce, Moneta, Moortgat, Narain, Neubauer, Newman, Pabst, Paganini, Paulini, Perdue, Perez, Picazio, Pivarski, Prosper, Psihas, Radovic, Reece, Rinkevicius, Rodrigues, Rorie, Rousseau, Sauers, Schramm, Schwartzman, Severini, Seyfert, Skazytkin, Sokoloff, Stewart, Stienen, Stockdale, Strong, Thais, Tomko, Upfal, Usai, Ustyuzhanin, Vala, Vallecorsa, Vasel, Verzetti, Vilasis-Cardona, Vlimant, Vukotic, Wang, Watts, Williams, Wu, Wunsch, Zapata | Institute of Physics Publishing | Journal of Physics: Conference Series Volume 1085, Issue 4, 18th International Workshop on Advanced Computing and Analysis Techniques in Physics Research, ACAT 2017 |
D ACAT | 2018 | Deep learning for inferring cause of data anomalies (DOI) | Široký | Azzolini, Borisyak, Cerminara, Derkach, Franzoni, De Guio, Guio, Koval, Pierini, Pol, Ratnikov, Ustyuzhanin, Vlimant | Institute of Physics Publishing | Journal of Physics: Conference Series Volume 1085, Issue 4, 18th International Workshop on Advanced Computing and Analysis Techniques in Physics Research, ACAT 2017 |
D RASLAN | 2018 | Understanding Search Queries in Natural Language (URL) | Nevěřilová | Kvaššay | Tribun EU | Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2018 |
D CNL | 2018 | Editing with Search and Exploration for Controlled Languages (DOI) | Měchura | Angelova | IOS PRESS | CONTROLLED NATURAL LANGUAGE (CNL 2018) |
D RASLAN | 2018 | Document Functional Type Classification | Němcová | Tribun EU | 12th Workshop on Recent Advances in Slavonic Natural Language Processing (RASLAN 2018) | |
D ICERI | 2018 | MULTIDISCIPLINARY EDUCATION INFLUENCED BY COMPLEX SERVICES | Walletzký, Ge | IATED | 11th Annual International Conference of Education, Research and Innovation (ICERI 2018) | |
D AIMS | 2018 | Threat Detection Through Correlation of Network Flows and Logs (URL) | Špaček, Čeleda | IFIP | Proceedings of the 12th International Conference on Autonomous Infrastructure, Management and Security (AIMS 2018) |