Publication Records

DENISOVÁ, Michaela and Pavel RYCHLÝ. Bilingual Lexicon Induction From Comparable and Parallel Data: A Comparative Analysis. Online. In Nöth, E., Horák, A., Sojka, P. International Conference on Text, Speech, and Dialogue. Cham: Springer Nature Switzerland, 2024, p. 30-42, 12 pp. ISBN 978-3-031-70563-2. Available from: https://dx.doi.org/10.1007/978-3-031-70563-2_3.

DAUBNER, Lukáš, Matulevičius RAIMUNDAS and Barbora BÜHNOVÁ. A Model of Qualitative Factors in Forensic-Ready Software Systems. Online. In Research Challenges in Information Science: Information Science and the Connected World. Cham: Springer Nature Switzerland, 2023, p. 308-324. ISBN 978-3-031-33079-7. Available from: https://dx.doi.org/10.1007/978-3-031-33080-3_19.

SOULA, Meriem, Bacem MBAREK, Aref MEDDEB and Tomáš PITNER. A Survey of Intrusion Detection-based Trust Management Approaches in IoT Networks. Online. In Leonard Barolli. International Conference on Advanced Information Networking and Applications (AINA-2023). 37th ed. Brazil: Springer, 2023, p. 504-517. ISBN 978-3-031-28693-3. Available from: https://dx.doi.org/10.1007/978-3-031-28694-0_48.

GNADLINGER, Florian, André SELMANAGIĆ, Katharina SIMBECK and Simone KRIGLSTEIN. Adapting Is Difficult! Introducing a Generic Adaptive Learning Framework for Learner Modeling and Task Recommendation Based on Dynamic Bayesian Networks. Online. In Jelena Jovanovic, Irene-Angelica Chounta, James Uhomoibhi and Bruce McLaren. Proceedings of the 15th International Conference on Computer Supported Education - Volume 1. Prague: SciTePress, 2023, p. 272-280. ISBN 978-989-758-641-5. Available from: https://dx.doi.org/10.5220/0011964700003470.

MRÁZ, Marcel, Hind BANGUI, Bruno ROSSI and Barbora BÜHNOVÁ. Adopting the Actor Model for Antifragile Serverless Architectures. Online. In Proceedings of the 18th International Conference on Software Technologies - ICSOFT. Neuveden: SciTePress, 2023, p. 612-619. ISBN 978-989-758-665-1. Available from: https://dx.doi.org/10.5220/0012130700003538.

MBAREK, Bacem, Meriem SOULA, Tomáš PITNER and Aref MEDDEB. An Effective Replica Node Detection Scheme in Internet of Things Networks. Online. In International Wireless Communications & Mobile Computing Conference (IWCMC 2023). 19th. Marrakech,Grand Mogador Menara Hotel: IEEE Xplore, 2023, p. 608-613. ISBN 979-8-3503-3339-8. Available from: https://dx.doi.org/10.1109/IWCMC58020.2023.10182793.

KUNZOVÁ, Nikola and Daniel Ricardo ECHEVERRI GIRALDO. Bookwander: From Printed Fiction to Virtual Reality—Four Design Approaches for Enhanced VR Reading Experiences. Online. In Lissa Holloway-Attaway, John T. Murray. Interactive Storytelling: 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11–15, 2023, Proceedings, Part I. Cham (Switzerland): Springer Nature Switzerland, 2023, p. 309-328. ISBN 978-3-031-47654-9. Available from: https://dx.doi.org/10.1007/978-3-031-47655-6_19.

STEMLE, Egon, Martina TEBALDINI, Francesca BONANNI, Filippo PELLEGRINO, Paolo BRASOLIN, Greta H. FRANZINI, Jennifer-Carmen FREY, Olga LOPOPOLO and Stefania SPINA. bot.zen at LangLearn: regressing towards interpretability. Online. In M. Lai, S. Menini, M. Polignano,V. Russo, R. Sprugnoli, G. Venturi. Proceedings of the Eighth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Parma: CEUR.org, 2023, p. 1-5. ISSN 1613-0073.

TUŠIL, Jan, Traian SERBANUTA and Jan OBDRŽÁLEK. Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. Online. In Ruzica Piskac and Andrei Voronkov. Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair, 2023, p. 405-456. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/1874.

HALÁSZ, Dávid and Barbora BÜHNOVÁ. Conceptual Framework for Adaptive Safety in Autonomous Ecosystems. Online. In Hans-Georg Fill, Francisco José Domínguez Mayo, Marten van Sinderen, Leszek Maciaszek. Proceedings of the 18th International Conference on Software Technologies - ICSOFT. Neuveden: SciTePress, 2023, p. 393-403. ISBN 978-989-758-665-1. Available from: https://dx.doi.org/10.5220/0012086600003538.

MACÁK, Martin, Tomáš REBOK, Matúš ŠTOVČIK, Mouzhi GE, Bruno ROSSI and Barbora BÜHNOVÁ. CopAS: A Big Data Forensic Analytics System. Online. In Proceedings of the 8th International Conference on Internet of Things, Big Data and Security IoTBDS - Volume 1. Setubal, Portugal: SciTePress, 2023, p. 150-161. ISBN 978-989-758-643-9. Available from: https://dx.doi.org/10.5220/0011929000003482.

OUJEZSKÝ, Václav, Pavel NOVÁK, Tomáš HORVÁTH, Martin HOLÍK and Michal JURČÍK. Data Backup System with Integrated Active Protection Against Ransomware. Online. In 2023 46th International Conference on Telecommunications and Signal Processing (TSP). Prague: IEEE, 2023, p. 65-69. ISBN 979-8-3503-0397-1. Available from: https://dx.doi.org/10.1109/TSP59544.2023.10197687.

IQBAL, Danish, Barbora BÜHNOVÁ and Emilia CIOROAICA. Digital Twins for Trust Building in Autonomous Drones through Dynamic Safety Evaluation. Online. In 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE. Neuveden: SciTePress, 2023, p. 629-639. ISBN 978-989-758-647-7. Available from: https://dx.doi.org/10.5220/0011986900003464.

DUFKA, Antonín and Petr ŠVENDA. Enabling Efficient Threshold Signature Computation via Java Card API. Online. In Proceedings of the 18th International Conference on Availability, Reliability and Security. Benevento, Italy: Association for Computing Machinery, 2023, p. 1-10. ISBN 979-8-4007-0772-8. Available from: https://dx.doi.org/10.1145/3600160.3600180.

MRÁZEK, Jan, Vladimír CHLUP and Jiří BARNAT. Fault-Tolerant and System-Wide Communication for Metamorphic Robots. Online. In 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE). Auckland, New Zealand: IEEE, 2023, p. 1-8. ISBN 979-8-3503-2069-5. Available from: https://dx.doi.org/10.1109/CASE56687.2023.10260364.

TUŠIL, Jan, Bereczky PÉTER and Horpácsi DÁNIEL. Interactive Matching Logic Proofs in Coq. Online. In Erika Abraham, Clemens Dubslaff, and Lizeth Tarifa. Theoretical Aspects of Computing (ICTAC 2023). Lima, Peru: Springer Nature Switzerland AG, 2023, p. 139-157. ISBN 978-3-031-47962-5. Available from: https://dx.doi.org/10.1007/978-3-031-47963-2_10.

DORFHUBER, Florian Sebastian, Julia EISENTRAUT and Jan KŘETÍNSKÝ. Learning Attack Trees by Genetic Algorithms. Online. In Theoretical Aspects of Computing – ICTAC 2023. Lima: Springer, 2023, p. 55-73. ISBN 978-3-031-47962-5. Available from: https://dx.doi.org/10.1007/978-3-031-47963-2_5.

BLANCO SÁNCHEZ, José Miguel and Bruno ROSSI. Multi-Step Reasoning for IoT Devices. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023). Not specified: SciTePress, 2023, p. 330-337. ISBN 978-989-758-647-7. Available from: https://dx.doi.org/10.5220/0011772700003464.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. Phenotype Control of Partially Specified Boolean Networks. In Jun Pang, Joachim Niehren. Computational Methods in Systems Biology. Luxembourg City, Luxembourg: Springer Cham, 2023, p. 18-35. ISBN 978-3-031-42696-4. Available from: https://dx.doi.org/10.1007/978-3-031-42697-1_2.

LANGLOIS, Danielle Kathryn, Scott DRURY and Simone KRIGLSTEIN. Press H to Help: The Impact of Prosocial Video Games on Prosocial Behaviors by Exposure Time. Online. In In Foundations of Digital Games 2023 (FDG 2023). Lisbon, Portugal: ACM, 2023, p. 1-10. ISBN 978-1-4503-9856-5. Available from: https://dx.doi.org/10.1145/3582437.3582459.

KUHEJDA, Ondřej and Bruno ROSSI. Pull Requests Acceptance: A Study Across Programming Languages. Online. In 49th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2023). Not specified: IEEE, 2023, p. 378-385. ISBN 979-8-3503-4235-2. Available from: https://dx.doi.org/10.1109/SEAA60479.2023.00064.

SOBOTKA, Václav and Hana RUDOVÁ. Real-world Pickup and Delivery Problem with Transfers. Online. In Roman Barták, Wheeler Ruml, Oren Salzman. Sixteenth International Symposium on Combinatorial Search. Washington DC, USA: The AAAI Press, Washington, DC, USA, 2023, p. 83-91. ISBN 978-1-57735-882-4. Available from: https://dx.doi.org/10.1609/socs.v16i1.27286.

SASSMANN, Vojtěch, Hana RUDOVÁ, Michal GABONAY and Václav SOBOTKA. Real-World Vehicle Routing using Adaptive Large Neighborhood Search. In Leslie Pérez Cáceres, Thomas Stützle. Evolutionary Computation in Combinatorial Optimization. New York City, USA: Springer, Cham, 2023, p. 34-49. ISBN 978-3-031-30034-9. Available from: https://dx.doi.org/10.1007/978-3-031-30035-6_3.

BOUČEK, Vladimír and Martin HUSÁK. Recommending Similar Devices in Close Proximity for Network Security Management. Online. In 2023 19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). Montreal: IEEE, 2023, p. 481-484. ISBN 979-8-3503-3667-2. Available from: https://dx.doi.org/10.1109/WiMob58348.2023.10187729.

KUŠNIRÁKOVÁ, Daša and Barbora BÜHNOVÁ. Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems. Online. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering. Setubal, Portugal: Scitepress, 2023, p. 158-169. ISBN 978-989-758-647-7. Available from: https://dx.doi.org/10.5220/0011971500003464.

MRÁZEK, Jan and Jiří BARNAT. RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots. Online. In 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE). Auckland, New Zealand: IEEE, 2023, p. 1-8. ISBN 979-8-3503-2069-5. Available from: https://dx.doi.org/10.1109/CASE56687.2023.10260586.

CHAU, Calvin, Jan KŘETÍNSKÝ and Stefanie MOHR. Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. Online. In Automated Technology for Verification and Analysis. ATVA 2023. Singapore: Springer, 2023, p. 401-421. ISBN 978-3-031-45328-1. Available from: https://dx.doi.org/10.1007/978-3-031-45329-8_19.

ŠUFLIARSKY, Adam, Günter WALLLNER and Simone KRIGLSTEIN. Through Space and Time: Spatio-Temporal Visualization of MOBA Matches. Online. In Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A., Winckler, M. IFIP Conference on Human-Computer Interaction (INTERACT 2023). York, UK: Springer, 2023, p. 167-189. ISBN 978-3-031-42282-9. Available from: https://dx.doi.org/10.1007/978-3-031-42283-6_9.

ŽIŽKA, Jan, Bruno ROSSI and Tomáš PITNER. Towards a Definition of Complex Software System. Online. In M. Ganzha, L. Maciaszek, M. Paprzycki, D. Ślęzak. Annals of Computer Science and Information Systems - 18th Conference on Computer Science and Intelligence Systems (FedCSIS 2023). 2023rd ed. Neuveden: ACSIS, 2023, p. 119-126. ISBN 978-83-969601-1-5. Available from: https://dx.doi.org/10.15439/2023F2898.

JANOVSKÝ, Adam, Davide MAIORCA, Dominik MACKO, Václav MATYÁŠ and Giorgio GIACINTO. A Longitudinal Study of Cryptographic API: a Decade of Android Malware. In Sabrina De Capitani di Vimercati and Pierangela Samarati. Proceedings of the 19th International Conference on Security and Cryptography. Portugal: SCITEPRESS, 2022, p. 121-133. ISBN 978-989-758-590-6. Available from: https://dx.doi.org/10.5220/0011265300003283.

PESCHEL, Jakub, Michal BATKO and Pavel ZEZULA. Analytical Algebra: Extension of Relational Algebra. Online. In Strauss, C., Cuzzocrea, A., Kotsis, G., Tjoa, A.M., Khalil, I. 33rd International Conference on Database and Expert Systems Applications (DEXA). Cham: Springer International Publishing, 2022, p. 284-290. ISBN 978-3-031-12425-9. Available from: https://dx.doi.org/10.1007/978-3-031-12426-6_25.

MIČKO, Radoslav, Stanislav CHREN and Bruno ROSSI. Applicability of Software Reliability Growth Models to Open Source Software. Online. In 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2022). Not specified: IEEE, 2022, p. 255-262. ISBN 978-1-6654-6152-8. Available from: https://dx.doi.org/10.1109/SEAA56994.2022.00047.

BANGUI, Hind and Barbora BÜHNOVÁ. Blockchain Patterns in Critical Infrastructures: Limitations and Recommendations. Online. In The 17th International Conference on Software and Data Technologies (ICSOFT). Lisbon, Portugal: Scitepress, 2022, p. 457-468. ISBN 978-989-758-588-3. Available from: https://dx.doi.org/10.5220/0011278500003266.

DAUBNER, Lukáš, Raimundas MATULEVIČIUS, Barbora BÜHNOVÁ and Tomáš PITNER. Business Process Model and Notation for Forensic-Ready Software Systems. Online. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering. Setúbal, Portugal: SciTePress, 2022, p. 95-106. ISBN 978-989-758-568-5. Available from: https://dx.doi.org/10.5220/0011041000003176.

BEYER, Dirk and Jan STREJČEK. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Online. In Gagandeep Singh, Caterina Urban. Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings. Cham (Switzerland): Springer, 2022, p. 160-174. ISBN 978-3-031-22307-5. Available from: https://dx.doi.org/10.1007/978-3-031-22308-2_8.

MEDVEĎ, Marek, Aleš HORÁK and Radoslav SABOL. Comparing RNN and Transformer Context Representations in the Czech Answer Selection Task. Online. In Ana Paula Rocha, Luc Steels, Jaap van den Herik. Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART). Portugal: SCITEPRESS, 2022, p. 388-394. ISBN 978-989-758-547-0. Available from: https://dx.doi.org/10.5220/0010827000003116.

PITNER, Tomáš, Václav OUJEZSKÝ, Ondřej MAMULA, František KASL, Martin STŘELEC and Jiří VODRÁŽKA. Comparison of Prevailing Technological Trends in Communication and Control Infrastructure. Online. In 2022 14th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Spain: IEEE Computer Society, 2022, p. 159-164. ISBN 979-8-3503-9866-3. Available from: https://dx.doi.org/10.1109/ICUMT57764.2022.9943366.

MÍČ, Vladimír and Pavel ZEZULA. Concept of Relational Similarity Search. In Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella. Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5 - October 7, 2022, Proceedings. Cham: Springer, 2022, p. 89-103. ISBN 978-3-031-17848-1. Available from: https://dx.doi.org/10.1007/978-3-031-17849-8_8.

MACÁK, Martin, Lukáš DAUBNER, Mohammadreza FANI SANI and Barbora BÜHNOVÁ. Cybersecurity Analysis via Process Mining: A Systematic Literature Review. Online. In Advanced Data Mining and Applications. Cham, Switzerland: Springer, 2022, p. 393-407. ISBN 978-3-030-95404-8. Available from: https://dx.doi.org/10.1007/978-3-030-95405-5_28.

ŠEDA, Pavel, Jan VYKOPAL, Pavel ČELEDA and Igor IGNÁC. Designing Adaptive Cybersecurity Hands-on Training. Online. In 2022 IEEE Frontiers in Education Conference (FIE). Uppsala, Sweden: IEEE, 2022, p. 1-8. ISBN 978-1-6654-6244-0. Available from: https://dx.doi.org/10.1109/FIE56618.2022.9962663.

ČULEN, Jiří, Jan KRÁL, Aleš JANČÁŘ, Zdeněk KOPECKÝ, Filip MRAVEC and Zdeněk MATĚJ. Digital Dose Rate Equivalent Meter for Neutron-Gamma Mixed Field. Online. In IEEE Sensors. Dallas: Institute of Electrical and Electronics Engineers Inc., 2022, p. 1-4. ISBN 978-1-6654-8464-0. Available from: https://dx.doi.org/10.1109/SENSORS52175.2022.9967214.

GE, Mouzhi and Barbora BÜHNOVÁ. DISDA: Digital Service Design Architecture for Smart City Ecosystems. Online. In Proceedings of the 12th International Conference on Cloud Computing and Services Science. Lisbon, Portugal: Scitepress, 2022, p. 207-214. ISBN 978-989-758-570-8. Available from: https://dx.doi.org/10.5220/0011056100003200.

SEDLÁČEK, Vladimír, Vojtěch SUCHÁNEK, Antonín DUFKA, Marek SÝS and Václav MATYÁŠ. DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits. Online. In Batina, L., Daemen, J. International Conference on Cryptology in Africa. (Švýcarsko): Springer, Cham, 2022, p. 493-517. ISBN 978-3-031-17432-2. Available from: https://dx.doi.org/10.1007/978-3-031-17433-9_21.

MEDKOVÁ, Helena and Aleš HORÁK. Distinguishing the Types of Coordinated Verbs with a Shared Argument by means of New ZeugBERT Language Model and ZeugmaDataset. In Dimou, Anastasia; Neumaier, Sebastian; Pellegrini, Tassilo; Vahdati, Sahar. Towards a Knowledge-Aware AI : SEMANTiCS 2022 — Proceedings of the 18th International Conference on Semantic Systems, 13-15 September 2022, Vienna, Austria. Amsterdam: IOS Press, 2022, p. 206-218. ISBN 978-1-64368-320-1. Available from: https://dx.doi.org/10.3233/SSW220022.

TROJÁK, Matej, David ŠAFRÁNEK, Branislav BROZMANN and Luboš BRIM. eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. Online. In I. Petre, A. Păun. 20th International Conference on Computational Methods in Systems Biology. LNBI 13447. Neuveden: Springer, 2022, p. 302-309. ISBN 978-3-031-15033-3. Available from: https://dx.doi.org/10.1007/978-3-031-15034-0_17.

ABBADI, Ahmad and Václav PŘENOSIL. Enhancing Requirements Completeness of Automated Driving System in Concept Phase. In Mazal. International Conference on Modelling and Simulation for Autonomous Systems / MESAS 2021: Modelling and Simulation for Autonomous Systems. 1st. Switzerland: Springer Nature Switzerland AG, 2022, p. 377-396. ISBN 978-3-030-98259-1. Available from: https://dx.doi.org/10.1007/978-3-030-98260-7_24.

WALLETZKÝ, Leonard, Odonchimeg BAYARSAIKHAN, Mouzhi GE and Zuzana SCHWARZOVÁ. Evaluation of Smart City Models: A Conceptual and Structural View. Online. In Proceedings of the 11th International Conference on Smart Cities and Green ICT Systems - SMARTGREENS. Setúbal, Portugalsko: SciTePress, 2022, p. 56-65. ISBN 978-989-758-572-2. Available from: https://dx.doi.org/10.5220/0011074900003203.

MACÁK, Martin, Lukáš DAUBNER, Júlia JAMNICKÁ and Barbora BÜHNOVÁ. Game Achievement Analysis: Process Mining Approach. Online. In Advanced Data Mining and Applications. Cham: Springer International Publishing, 2022, p. 68-82. ISBN 978-3-030-95407-9. Available from: https://dx.doi.org/10.1007/978-3-030-95408-6_6.

ŠPAČEK, Stanislav, Petr VELAN, Pavel ČELEDA and Daniel TOVARŇÁK. HTTPS Event-Flow Correlation: Improving Situational Awareness in Encrypted Web Traffic. Online. In 2022 IEEE/IFIP Network Operations and Management Symposium (NOMS 2022). Budapešť, Maďarsko: IEEE Xplore Digital Library, 2022, p. 1-6. ISBN 978-1-6654-0601-7. Available from: https://dx.doi.org/10.1109/NOMS54207.2022.9789877.

BLANCO SÁNCHEZ, José Miguel, Mouzhi GE and Tomáš PITNER. Human-Generated Web Data Disentanglement for Complex Event Processing. In 26th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2022. Verona, Italy: Elsevier, 2022, p. 1341-1349. ISSN 1877-0509. Available from: https://dx.doi.org/10.1016/j.procs.2022.09.190.

RUSŇÁK, Vít, Lenka JANEČKOVÁ, Filip DRGOŇ, Anna-Marie DOMBAJOVÁ and Veronika KUDĚLKOVÁ. Improving Cybersecurity Incident Analysis Workflow with Analytical Provenance. Online. In Ebad Banissi, Anna Ursyn, Mark W. McK. Bannatyne, et al. 2022 26th International Conference Information Visualisation (IV). Vienna, Austria: IEEE, 2022, p. 300-306. ISBN 978-1-6654-9007-8. Available from: https://dx.doi.org/10.1109/IV56949.2022.00058.

ECHEVERRI GIRALDO, Daniel Ricardo. Integrating Brechtian Concepts in the Design of a Tangible Narrative: The Case of “The Non-myth of the Noble Red”. Online. In Interactive Storytelling: 15th International Conference on Interactive Digital Storytelling, ICIDS 2022. Santa Cruz, CA, USA: Springer International Publishing, 2022, p. 383-394. ISBN 978-3-031-22297-9. Available from: https://dx.doi.org/10.1007/978-3-031-22298-6_23.

AGAOGLU CAGIRICI, Deniz and Petr HLINĚNÝ. Isomorphism Testing for T-graphs in FPT. In Mutzel, P., Rahman, M.S., Slamin. WALCOM: Algorithms and Computation. LNCS 13174. Cham: Springer, Cham, 2022, p. 239-250. ISBN 978-3-030-96730-7. Available from: https://dx.doi.org/10.1007/978-3-030-96731-4_20.

ŠVENDA, Petr, Rudolf KVAŠŇOVSKÝ, Imrich NAGY and Antonín DUFKA. JCAlgTest: Robust identification metadata for certified smartcards. Online. In Sabrina De Capitani di Vimercati. Proceedings of the 19th International Conference on Security and Cryptography (SECRYPT 2022). Portugal: INSTICC, 2022, p. 597-604. ISBN 978-989-758-590-6. Available from: https://dx.doi.org/10.5220/0011294000003283.

KLINEC, Dušan, Marek SÝS, Karel KUBÍČEK, Petr ŠVENDA and Václav MATYÁŠ. Large-scale randomness study of security margins for 100+ cryptographic functions. In Sabrina De Capitani di Vimercati, Pierangela Samarati. Proceedings of the 19th International Conference on Security and Cryptography. Lisbon, Portugal: Scitepress, 2022, p. 134-146. ISBN 978-989-758-590-6. Available from: https://dx.doi.org/10.5220/0011267600003283.

OĽHA, Jaroslav, Terézia SLANINÁKOVÁ, Martin GENDIAR, Matej ANTOL and Vlastislav DOHNAL. Learned Indexing in Proteins: Substituting Complex Distance Calculations with Embedding and Clustering Techniques. In Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella. Similarity Search and Applications, 15th International Conference, SISAP 2022, Bologna, Italy, October 5–7, 2022, Proceedings. 1st ed. Cham: Springer Cham, 2022, p. 274-282. ISBN 978-3-031-17848-1. Available from: https://dx.doi.org/10.1007/978-3-031-17849-8_22.

ŠUĽAN, Samuel and Martin HUSÁK. Limiting the Size of a Predictive Blacklist While Maintaining Sufficient Accuracy. Online. In The 17th International Conference on Availability, Reliability and Security (ARES 2022). Vienna: ACM, 2022, p. "22:1"-"22:6", 6 pp. ISBN 978-1-4503-9670-7. Available from: https://dx.doi.org/10.1145/3538969.3539007.

NAOYA, Higuchi, Imamura YASUNOBU, Vladimír MÍČ, Shinohara TAKESHI, Hirata KOUICHI and Kuboyama TETSUJI. Nearest-neighbor Search from Large Datasets using Narrow Sketches. In Proceedings of the 11th International Conference on Pattern Recognition Applications and Methods - ICPRAM. Portugal: SciTePress, 2022, p. 401-410. ISBN 978-989-758-549-4. Available from: https://dx.doi.org/10.5220/0010817600003122.

SABOL, Radoslav and Aleš HORÁK. New Language Identification and Sentiment Analysis Modules for Social Media Communication. Online. In International Conference on Text, Speech, and Dialogue. Cham: Springer, 2022, p. 89-101. ISBN 978-3-031-16269-5. Available from: https://dx.doi.org/10.1007/978-3-031-16270-1_8.

PESCHEL, Jakub, Michal BATKO and Pavel ZEZULA. On Selection of Efficient Sequential Pattern Mining Algorithm Based on Characteristics of Data. Online. In 2022 IEEE International Symposium on Multimedia (ISM). Neuveden: IEEE, 2022, p. 202-205. ISBN 978-1-6654-7173-2. Available from: https://dx.doi.org/10.1109/ISM55400.2022.00044.

DOSTÁL, Pavel, Hana RUDOVÁ and Vilém PAŘIL. Planning for high-speed railways in the Czech Republic. Online. In Patrick De Causmaecker, Ender Özcan, Greet Vanden Bergh. Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2022, Volume III. Leuven, Belgium: PATAT, 2022, p. 182-187. ISBN 978-0-9929984-5-5.

RUDOVÁ, Hana, Tomáš MÜLLER and Zuzana MÜLLEROVÁ. Real-world university course timetabling at the International Timetabling Competition 2019. Online. In Patrick De Causmaecker, Ender Özcan, Greet Vanden Bergh. Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2022, Volume III. Leuven, Belgium: PATAT, 2022, p. 234-238. ISBN 978-0-9929984-5-5.

PITNER, Tomáš, František KASL, Ondřej MAMULA, David HRYCEJ, Martin STŘELEC and Petr JANEČEK. Requirements on Communication Technologies for Flexibility Aggregation Management. Online. In 2022 14th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Spain: IEEE Computer Society, 2022, p. 153-158. ISBN 979-8-3503-9866-3. Available from: https://dx.doi.org/10.1109/ICUMT57764.2022.9943406.

BANGUI, Hind, Barbora BÜHNOVÁ and Bruno ROSSI. Shifting Towards Antifragile Critical Infrastructure Systems. Online. In Proceedings of the 7th International Conference on Internet of Things, Big Data and Security. Madeira, Portugal: Scitepress, 2022, p. 78-87. ISBN 978-989-758-564-7. Available from: https://dx.doi.org/10.5220/0011086400003194.

DUFKA, Antonín, Vladimír SEDLÁČEK and Petr ŠVENDA. SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes. Online. In Proceedings of the 19th International Conference on Security and Cryptography. Lisbon, Portugal: SCITEPRESS, 2022, p. 305-316. ISBN 978-989-758-590-6. Available from: https://dx.doi.org/10.5220/0011145600003283.

KŘENKOVÁ, Markéta, Vladimír MÍČ and Pavel ZEZULA. Similarity Search with the Distance Density Model. In Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella. Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5 - October 7, 2020, Proceedings. Cham: Springer, 2022, p. 118-132. ISBN 978-3-031-17848-1. Available from: https://dx.doi.org/10.1007/978-3-031-17849-8_10.

CIOROAICA, Emilia, José Miguel BLANCO SÁNCHEZ and Bruno ROSSI. Timing Model for Predictive Simulation of Safety-Critical Systems. Online. In 17th International Conference on Software Technologies (ICSOFT 2022). Not specified: SciTePress, 2022, p. 331-339. ISBN 978-989-758-588-3. Available from: https://dx.doi.org/10.5220/0011317000003266.

BLANCO SÁNCHEZ, José Miguel, Bruno ROSSI and Tomáš PITNER. Tools for the Confluence of Semantic Web and IoT: A Survey. Online. In Hermann Kaindl, Mike Mannion and Leszek Maciaszek. Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022). Not specified: SciTePress, 2022, p. 150-161. ISBN 978-989-758-568-5. Available from: https://dx.doi.org/10.5220/0011064100003176.

KICO, Iris, Jan SEDMIDUBSKÝ and Pavel ZEZULA. Towards Efficient Human Action Retrieval based on Triplet-Loss Metric Learning. Online. In Strauss, C., Cuzzocrea, A., Kotsis, G., Tjoa, A.M., Khalil, I. 33rd International Conference on Database and Expert Systems Applications (DEXA). Berlin, Heidelberg: Springer-Verlag, 2022, p. 234-247. ISBN 978-3-031-12422-8. Available from: https://dx.doi.org/10.1007/978-3-031-12423-5_18.

BÖRÖNDY, Ádám, Katarína FURMANOVÁ and Renata Georgia RAIDOU. Understanding the impact of statistical and machine learning choices on predictive models for radiotherapy. Online. In Renata G. Raidou, Björn Sommer, Torsten W. Kuhlen, Michael Krone, Thomas Schultz, Hsiang-Yun Wu. Eurographics Workshop on Visual Computing for Biology and Medicine. Neuveden: The Eurographics Association, 2022, p. 65-69. ISBN 978-3-03868-177-9. Available from: https://dx.doi.org/10.2312/vcbm.20221188.

ZELINA, Petr, Jana HALÁMKOVÁ and Vít NOVÁČEK. Unsupervised extraction, labelling and clustering of segments from clinical notes. Online. In Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM). USA: IEEE, 2022, p. 1362-1368. ISBN 978-1-6654-6820-6. Available from: https://dx.doi.org/10.1109/BIBM55620.2022.9995229.

KRAUS, Lydia, Matěj GRABOVSKÝ, Martin UKROP, Katarína GALANSKÁ and Václav MATYÁŠ. Usability Insights from Establishing TLS Connections. In IFIP International Conference on ICT Systems Security and Privacy Protection. Cham, Germany: Springer Verlag, 2022, p. 289-305. ISBN 978-3-031-06974-1. Available from: https://dx.doi.org/10.1007/978-3-031-06975-8_17.

BUDÍKOVÁ, Petra, Daniel KLEPÁČ, Dávid RUSNÁK and Milan SLOVÁK. Visual Exploration of Human Motion Data. Online. In Skopal, T., Falchi, F., Lokoč, J., Sapino, M.L., Bartolini, I., Patella, M. 15th International Conference on Similarity Search and Applications (SISAP 2022). Neuveden: Springer, Cham, 2022, p. 64-71. ISBN 978-3-031-17848-1. Available from: https://dx.doi.org/10.1007/978-3-031-17849-8_6.

BLANCO SÁNCHEZ, José Miguel, Bruno ROSSI and Tomáš PITNER. A Comparison of Smart Grids Domain Ontologies. Online. In The 17th International Conference on Web Information Systems and Technologies (WEBIST). Setúbal, Portugal: SciTePress, 2021, p. 115-123. ISBN 978-989-758-536-4. Available from: https://dx.doi.org/10.5220/0010710000003058.

TÓTH, Adrián and Mouzhi GE. A Deployable Data as a Service Architecture for Enterprises. Online. In 978-989-758-504-3. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS). SETUBAL: SCITEPRESS, 2021, p. 278-285. ISBN 978-989-758-504-3. Available from: https://dx.doi.org/10.5220/0010470702780285.

LAVIGNE, Thomas, Bacem MBAREK and Tomáš PITNER. A Real time Healthcare Tracking System based on Blockchain Application. Online. In Nadia KABACHI, University of Lyon, France ; Jaime Lloret, Universitat Politecnica de Valencia, Spain. 18th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2021. IEEE Xplore: IEEE, 2021, p. 1-8. ISBN 978-1-6654-0969-8. Available from: https://dx.doi.org/10.1109/AICCSA53542.2021.9686880.

BLANCO SÁNCHEZ, José Miguel, Bruno ROSSI and Tomáš PITNER. A Time-Sensitive Model for Data Tampering Detection for the Advanced Metering Infrastructure. Online. In Proceedings of the 16th Conference on Computer Science and Intelligence Systems (FedCSIS). New York, USA: IEEE, 2021, p. 511-519. ISBN 978-1-6654-2942-9. Available from: https://dx.doi.org/10.15439/2021F106.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Aeon 2021: Bifurcation Decision Trees in Boolean Networks. In Cinquemani et al. International Conference on Computational Methods in Systems Biology (CMSB 2021). Cham: Springer, 2021, p. 230-237. ISBN 978-3-030-85632-8. Available from: https://dx.doi.org/10.1007/978-3-030-85633-5_14.

CHALUPA, Marek and Jan STREJČEK. Backward Symbolic Execution with Loop Folding. Online. In Cezara Dragoi, Suvam Mukherjee, and Kedar S. Namjoshi. Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 49-76. ISBN 978-3-030-88805-3. Available from: https://dx.doi.org/10.1007/978-3-030-88806-0_3.

HA, Hien Thi, Aleš HORÁK and BUi MINH TUAN. Contract Metadata Identification in Czech Scanned Documents. Online. In Ana Paula Rocha ; Luc Steels and Jaap van den Herik. Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. Portugal: The SciTePress Digital Library, 2021, p. 795-802. ISBN 978-989-758-484-8. Available from: https://dx.doi.org/10.5220/0010243807950802.

SLANINÁKOVÁ, Terézia, Matej ANTOL, Jaroslav OĽHA and Vlastislav DOHNAL. Data-driven Learned Metric Index: an Unsupervised Approach. In 14th International Conference on Similarity Search and Applications (SISAP 2021). Cham: Springer, 2021, p. 81-94. ISBN 978-3-030-89656-0. Available from: https://dx.doi.org/10.1007/978-3-030-89657-7_7.

DOČKALOVÁ BURSKÁ, Karolína, Vít RUSŇÁK and Radek OŠLEJŠEK. Enhancing Situational Awareness for Tutors of Cybersecurity Capture the Flag Games. Online. In Ebad Banissi, Anna Ursyn, et al. 2021 25th International Conference Information Visualisation (IV). United States of America: IEEE, 2021, p. 235-242. ISBN 978-1-6654-3827-8. Available from: https://dx.doi.org/10.1109/IV53921.2021.00045.

ŠPAČEK, Stanislav, Daniel TOVARŇÁK and Pavel ČELEDA. Enriching DNS Flows with Host-Based Events to Bypass Future Protocol Encryption. In Audun Jøsang, Lynn Futcher, Janne Hagen. ICT Systems Security and Privacy Protection. 1st ed. Oslo: Springer, 2021, p. 302-316. ISBN 978-3-030-78119-4. Available from: https://dx.doi.org/10.1007/978-3-030-78120-0_20.

ČECHÁK, Jaroslav and Radek PELÁNEK. Experimental Evaluation of Similarity Measures for Educational Items. Online. In I-Han Hsiao, Shaghayegh Sahebi, François Bouchet, Jill-Jênn Vie. Proceedings of the 14th International Conference on Educational Data Mining. Neuveden: Neuveden, 2021, p. 553-558. ISBN 978-1-7336736-2-4.

MADARAS, Martin, Martin STUCHLIK and Matúš TALČÍK. Fast Bridgeless Pyramid Segmentation for Organized Point Clouds. Online. In Farinella, GM Radeva, P Braz, J Bouatouch, K. VISAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 4: VISAPP. SETUBAL: SCITEPRESS, 2021, p. 205-210. ISBN 978-989-758-488-6. Available from: https://dx.doi.org/10.5220/0010163802050210.

PESCHEL, Jakub, Michal BATKO, Jakub VALČÍK, Jan SEDMIDUBSKÝ and Pavel ZEZULA. FIMSIM: Discovering Communities By Frequent Item-Set Mining and Similarity Search. In 14th International Conference on Similarity Search and Applications (SISAP). Cham: Springer International Publishing, 2021, p. 372-383. ISBN 978-3-030-89656-0. Available from: https://dx.doi.org/10.1007/978-3-030-89657-7_28.

SUCHOMEL, Vít. Genre Annotation of Web Corpora: Scheme and Issues. In Kohei Arai, Supriya Kapoor, Rahul Bhatia. Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1. Vancouver, Canada: Springer Nature Switzerland AG, 2021, p. 738-754. ISBN 978-3-030-63127-7. Available from: https://dx.doi.org/10.1007/978-3-030-63128-4_55.

HYNEK, Jiří, Jakub KACHLÍK and Vít RUSŇÁK. Geovisto: A Toolkit for Generic Geospatial Data Visualization. Online. In Christophe Hurter, Helen Purchase, Jose Braz, Kadi Bouatouch. Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3 IVAPP: IVAPP. Portugal: SCITEPRESS – Science and Technology Publications, Lda., 2021, p. 101-111. ISBN 978-989-758-488-6. Available from: https://dx.doi.org/10.5220/0010260401010111.

KRAUS, Lydia, Mária ŠVIDROŇOVÁ and Elizabeth STOBERT. How Do Users Chain Email Accounts Together? In Jøsang A., Futcher L., Hagen J. IFIP International Conference on ICT Systems Security and Privacy Protection. Switzerland: Springer International Publishing, 2021, p. 416-429. ISBN 978-3-030-78119-4. Available from: https://dx.doi.org/10.1007/978-3-030-78120-0_27.

MACÁK, Martin, Štefan BOJNÁK and Barbora BÜHNOVÁ. Identification of Unintentional Perpetrator Attack Vectors using Simulation Game: A Case Study. Online. In Proceedings of the 16th Conference on Computer Science and Intelligence Systems. New York: IEEE, 2021, p. 349-356. ISBN 978-83-959183-8-4. Available from: https://dx.doi.org/10.15439/2021F85.

SCHMALZ, Verena, Jennifer-Carmen FREY and Egon STEMLE. Introducing a Gold Standard Corpus from Young Multilinguals for the Evaluation of Automatic UD-PoS Taggers for Italian. Online. In E. Fersini, M. Passarotti, V. Patti. 8th Italian Conference on Computational Linguistics, CLiC-it 2021. Milan, Italy: CEUR Workshop Proceedings, 2021, p. 1-7. ISSN 1613-0073.

BLANCO SÁNCHEZ, José Miguel, Mouzhi GE and Tomáš PITNER. Modeling Inconsistent Data for Reasoners in Web of Things. Online. In Procedia Computer Science, Volume 192, 25th KES International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2021. Szczecin: Elsevier, 2021, p. 1265-1273. ISSN 1877-0509. Available from: https://dx.doi.org/10.1016/j.procs.2021.08.130.

FAIRWEATHER, Elliot, Rudolf WITTNER, Martin CHAPMAN, Petr HOLUB and Vasa CURCIN. Non-repudiable provenance for clinical decision support systems. In Lecture Notes in Computer Science. Cham: Springer, 2021, p. 165-182. ISBN 978-3-030-80959-1. Available from: https://dx.doi.org/10.1007/978-3-030-80960-7_10.

NOVOTNÝ, Vít, Eniafe Festus AYETIRAN, Dalibor BAČOVSKÝ, Dávid LUPTÁK, Michal ŠTEFÁNIK and Petr SOJKA. One Size Does Not Fit All: Finding the Optimal Subword Sizes for FastText Models across Languages. In Mitkov, Ruslan and Angelova, Galia. Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP 2021). Varna, Bulgaria: INCOMA Ltd., 2021, p. 1068-1074. ISBN 978-954-452-072-4. Available from: https://dx.doi.org/10.26615/978-954-452-072-4_120.

JÁNOŠOVÁ, Miriama, David PROCHÁZKA and Vlastislav DOHNAL. Organizing Similarity Spaces using Metric Hulls. In 14th International Conference on Similarity Search and Applications (SISAP 2021). Cham: Springer, 2021, p. 3-16. ISBN 978-3-030-89656-0. Available from: https://dx.doi.org/10.1007/978-3-030-89657-7_1.

BLANCO SÁNCHEZ, José Miguel, Mouzhi GE and Tomáš PITNER. Recommendation Recovery with Adaptive Filter for Recommender Systems. Online. In Proceedings of the 17th International Conference on Web Information Systems and Technologies - WEBIST. Setúbal, Portugal: SciTePress/INSTICC, 2021, p. 283-290. ISBN 978-989-758-536-4. Available from: https://dx.doi.org/10.5220/0010653600003058.

ŠEDA, Pavel, Jan VYKOPAL, Valdemar ŠVÁBENSKÝ and Pavel ČELEDA. Reinforcing Cybersecurity Hands-on Training With Adaptive Learning. Online. In 2021 IEEE Frontiers in Education Conference (FIE). New York, NY, USA: IEEE, 2021, p. 1-9. ISBN 978-1-6654-3851-3. Available from: https://dx.doi.org/10.1109/FIE49875.2021.9637252.

VYKOPAL, Jan, Pavel ČELEDA, Pavel ŠEDA, Valdemar ŠVÁBENSKÝ and Daniel TOVARŇÁK. Scalable Learning Environments for Teaching Cybersecurity Hands-on. Online. In 2021 IEEE Frontiers in Education Conference (FIE). New York, NY, USA: IEEE, 2021, p. 1-9. ISBN 978-1-6654-3851-3. Available from: https://dx.doi.org/10.1109/FIE49875.2021.9637180.

MÍČ, Vladimír, Tomáš RAČEK, Aleš KŘENEK and Pavel ZEZULA. Similarity Search for an Extreme Application: Experience and Implementation. In Nora Reyes, Richard Connor, Nils Kriege, Daniyal Kazempour, Ilaria Bartolini, Erich Schubert, Jian-Jia Chen. Similarity Search and Applications: 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings. Cham: Springer, 2021, p. 265-279. ISBN 978-3-030-89656-0. Available from: https://dx.doi.org/10.1007/978-3-030-89657-7_20.

CHODIL, Miroslav and Antonín KUČERA. The Satisfiability Problem for a Quantitative Fragment of PCTL. In Evripidis Bampis and Aris Pagourtzis. Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021. Německo: Springer, 2021, p. 149-161. ISBN 978-3-030-86592-4. Available from: https://dx.doi.org/10.1007/978-3-030-86593-1_10.

MELNIKOVA, Aleksandra and Petr MATULA. Topology Preserving Segmentation Fusion for Cells with Complex Shapes. Online. In The IEEE International Symposium on Biomedical Imaging. Nice: IEEE, 2021, p. 204-207. ISBN 978-1-6654-1246-9. Available from: https://dx.doi.org/10.1109/ISBI48211.2021.9433867.

SOTOLÁŘ, Ondřej, Jaromír PLHÁK and David ŠMAHEL. Towards Personal Data Anonymization for Social Messaging. In Kamil Ekštein, František Pártl, Miloslav Konopík. Text, Speech, and Dialogue. Cham: Springer, Cham, 2021, p. 281-292. ISBN 978-3-030-83526-2. Available from: https://dx.doi.org/10.1007/978-3-030-83527-9_24.

MBAREK, Bacem, Mouzhi GE and Tomáš PITNER. Trust-based Detection Strategy against Replication Attacks in IoT. Online. In Makoto Takizawa, Leonard Barolli, Donald Elmazi. The 35th International Conference on Advanced Information Networking and Applications (AINA-2021). Springer International Publi. Toronto, Canada: Springer, 2021, p. 646-656. ISBN 978-3-030-75074-9. Available from: https://dx.doi.org/10.1007/978-3-030-75075-6_53.

BALABÁN, Jakub and Petr HLINĚNÝ. Twin-Width is Linear in the Poset Width. Online. In Golovach, Petr A. and Zehavi, Meirav. International Symposium on Parameterized and Exact Computation (IPEC). 214th ed. Dagstuhl: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2021, p. "6:1"-"6:13", 13 pp. ISBN 978-3-95977-216-7. Available from: https://dx.doi.org/10.4230/LIPIcs.IPEC.2021.6.

LUPTÁK, Dávid, Vít NOVOTNÝ, Michal ŠTEFÁNIK and Petr SOJKA. WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code. In Fairouz Kamareddine and Claudio Sacerdotti-Coen. Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings. LNAI 12833. Timisoara, Romania: Springer, 2021, p. 159-164. ISBN 978-3-030-81096-2. Available from: https://dx.doi.org/10.1007/978-3-030-81097-9_13.

HA, Hien Thi and Aleš HORÁK. Who is Selling to Whom – Feature Evaluation for Multi-block Classification in Invoice Information Extraction. Online. In Karpov A., Potapova R. SPECOM 2021: 23rd International Conference on Speech and Computer. St. Petersburg, Russia: Springer, 2021, p. 250-261. ISBN 978-3-030-87801-6. Available from: https://dx.doi.org/10.1007/978-3-030-87802-3_23.

MÍČ, Vladimír and Pavel ZEZULA. Accelerating Metric Filtering by Improving Bounds on Estimated Distances. In Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór JónssonRasmus Pagh. Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings. Cham: Springer, 2020, p. 3-17. ISBN 978-3-030-60935-1. Available from: https://dx.doi.org/10.1007/978-3-030-60936-8_1.

PESCHEL, Jakub, Michal BATKO and Pavel ZEZULA. Algebra for Complex Analysis of Data. Online. In Hartmann S., Küng J., Kotsis G., Tjoa A.M., Khalil I. International Conference on Database and Expert Systems Applications. Cham: Springer International Publishing, 2020, p. 177-187. ISBN 978-3-030-59002-4. Available from: https://dx.doi.org/10.1007/978-3-030-59003-1_12.

KICO, Iris, David ZELNÍČEK and Fotios LIAROKAPIS. Assessing the Learning of Folk Dance Movements Using Immersive Virtual Reality. Online. In Juan Guerrero. 2020 24th International Conference on Information Visualisation (IV). Melbourne: IEEE, 2020, p. 587-592. ISBN 978-1-7281-9134-8. Available from: https://dx.doi.org/10.1109/IV51561.2020.00100.

MACÁK, Martin, Hind BANGUI, Barbora BÜHNOVÁ, András J. MOLNÁR and Csaba István SIDLÓ. Big Data Processing Tools Navigation Diagram. Online. In Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS. Setubal, Portugal: SciTePress, 2020, p. 304-312. ISBN 978-989-758-426-8. Available from: https://dx.doi.org/10.5220/0009406403040312.

MBAREK, Bacem, Mouzhi GE and Tomáš PITNER. Blockchain-based Access Control for IoT in Smart Home Systems. Online. In Proceedings of the 31st International Conference on Database and Expert Systems Applications - DEXA 2020. Bratislava, Slovakia: Springer, 2020, p. 17-32. ISBN 978-3-030-59050-5. Available from: https://dx.doi.org/10.1007/978-3-030-59051-2_2.

AKBAS, Cem Emre and Michal KOZUBEK. Condensed U-Net (CU-Net): An Improved U-Net Architecture for Cell Segmentation Powered by 4x4 Max-Pooling Layers. Online. In IEEE 17th International Symposium on Biomedical Imaging. Iowa: IEEE, 2020, p. 446-450. ISBN 978-1-5386-9330-8. Available from: https://dx.doi.org/10.1109/ISBI45749.2020.9098351.

VISHWAKARMA, Deepak Kumar, Ashutosh BHATIA and Zdeněk ŘÍHA. Detection of Algorithmically Generated Domain Names in Botnets. In Leonard Barolli, Makoto Takizawa, Fatos Xhafa, Tomoya Enokido. Advanced Information Networking and Applications, AINA 2019. Cham, Switzerland: Springer Nature Switzerland, 2020, p. 1279-1290. ISBN 978-3-030-15031-0. Available from: https://dx.doi.org/10.1007/978-3-030-15032-7_107.

YANG, Qishan, Mouzhi GE and Markus HELFERT. Developing Reliable Taxonomic Features for Data Warehouse Architectures. Online. In Proceedings of the 22nd IEEE International Conference on Business Informatics - CBI 2020. Antwerp, Belgium: IEEE, 2020, p. 241-249. ISBN 978-1-7281-9926-9. Available from: https://dx.doi.org/10.1109/CBI49978.2020.00033.

GE, Mouzhi and Wlodzimierz LEWONIEWSKI. Developing the Quality Model for Collaborative Open Data. Online. In Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems - KES 2020. 176th ed. Verona, Italy: Elsevier Procedia Computer Science, 2020, p. 1883-1892. ISSN 1877-0509. Available from: https://dx.doi.org/10.1016/j.procs.2020.09.228.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. eBCSgen: A Software Tool for Biochemical Space Language. Online. In Abate A., Petrov T., Wolf V. 18th International Conference on Computational Methods in Systems Biology, CMSB 2020. LNBI 12314. Neuveden: Springer, 2020, p. 356-361. ISBN 978-3-030-60326-7. Available from: https://dx.doi.org/10.1007/978-3-030-60327-4_20.

MEDVEĎ, Marek, Aleš HORÁK and Radoslav SABOL. Employing Sentence Context in Czech Answer Selection. In Sojka P., Kopeček I., Pala K., Horák A. Text, Speech, and Dialogue. TSD 2020. Switzerland: Springer, Cham, 2020, p. 112-121. ISBN 978-3-030-58322-4. Available from: https://dx.doi.org/10.1007/978-3-030-58323-1_12.

EFFENBERGER, Tomáš, Radek PELÁNEK and Jaroslav ČECHÁK. Exploration of the Robustness and Generalizability of the Additive Factors Model. Online. In Proceedings of the 10th International Conference on Learning Analytics and Knowledge. New York, NY, USA: Association for Computing Machinery, 2020, p. 472-479. ISBN 978-1-4503-7712-6. Available from: https://dx.doi.org/10.1145/3375462.3375491.

BERAN, Michal, František HRDINA, Daniel KOUŘIL, Radek OŠLEJŠEK and Kristína ZÁKOPČANOVÁ. Exploratory Analysis of File System Metadata for Rapid Investigation of Security Incidents. Online. In 2020 IEEE Symposium on Visualization for Cyber Security (VizSec). Salt Lake City, US: IEEE, 2020, p. 11-20. ISBN 978-1-7281-8262-9. Available from: https://dx.doi.org/10.1109/VizSec51108.2020.00008.

MOTSCHNIG, Renate, Michael SILBER and Valdemar ŠVÁBENSKÝ. How Does a Student-Centered Course on Communication and Professional Skills Impact Students in the Long Run?. Online. In 2020 IEEE Frontiers in Education Conference (FIE). New York, NY, USA: IEEE, 2020, p. 1-9. ISBN 978-1-7281-8961-1. Available from: https://dx.doi.org/10.1109/FIE44824.2020.9273962.

MACÁK, Martin, Matúš ŠTOVČIK, Barbora BÜHNOVÁ and Michal MERJAVÝ. How well a multi-model database performs against its single-model variants: Benchmarking OrientDB with Neo4j and MongoDB. Online. In Proceedings of the 2020 Federated Conference on Computer Science and Information Systems. New York: IEEE, 2020, p. 463-470. ISBN 978-83-955416-7-4. Available from: https://dx.doi.org/10.15439/2020F76.

SVOBODA, David and Tereza NEČASOVÁ. Image-based Simulations of Tubular Network Formation. Online. In 17th IEEE International Symposium on Biomedical Imaging. Neuveden: IEEE, 2020, p. 1608-1612. ISBN 978-1-5386-9330-8. Available from: https://dx.doi.org/10.1109/ISBI45749.2020.9098736.

BANGUI, Hind, Mouzhi GE and Barbora BÜHNOVÁ. Improving Big Data Clustering for Jamming Detection in Smart Mobility. Online. In Proceedings of the 35th International Conference on ICT Systems Security and Privacy Protection - IFIP SEC. Maribor, Slovenia: Springer IFIP AICT series, 2020, p. 78-91. ISBN 978-3-030-58200-5. Available from: https://dx.doi.org/10.1007/978-3-030-58201-2_6.

PERSIA, Fabio, Daniela D'AURIA and Mouzhi GE. Improving Learning System Performance with Multimedia Semantics. Online. In Proceedings of the 14th IEEE International Conference on Semantic Computing. San Diego, California, USA: IEEE, 2020, p. 238-241. ISBN 978-1-7281-6332-1. Available from: https://dx.doi.org/10.1109/ICSC.2020.00050.

MEDVEĎ, Marek, Aleš HORÁK and Radoslav SABOL. Improving RNN-based Answer Selection for Morphologically Rich Languages. Online. In Ana Rocha, Luc Steels, Jaap van den Herik. Proceedings of the 12th International Conference on Agents and Artificial Intelligence. Portugal: SCITEPRESS, 2020, p. 644-651. ISBN 978-989-758-395-7. Available from: https://dx.doi.org/10.5220/0008979206440651.

PELÁNEK, Radek. Learning analytics challenges: trade-offs, methodology, scalability. Online. In Christoph Rensing, Hendrik Drachsler. Proceedings of the Tenth International Conference on Learning Analytics & Knowledge. New York, NY, United States: Association for Computing Machinery, 2020, p. 554-558. ISBN 978-1-4503-7712-6. Available from: https://dx.doi.org/10.1145/3375462.3375463.

CAGIRICI, Onur. On Embeddability of Unit Disk Graphs onto Straight Lines. Online. In Fernau, Henning. International Computer Science Symposium in Russia, CSR 2020. Yekaterinburg, Russia: Springer, Cham, 2020, p. 184-197. ISBN 978-3-030-50025-2. Available from: https://dx.doi.org/10.1007/978-3-030-50026-9_13.

KORENČIK, Lukáš, Petr ROČKAI, Henrich LAUKO and Jiří BARNAT. On Symbolic Execution of Decompiled Programs. In Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Neuveden: IEEE Computer Society, 2020, p. 265-272. ISBN 978-1-7281-8914-7. Available from: https://dx.doi.org/10.1109/QRS51102.2020.00044.

ŠMIJÁKOVÁ, Eva, Samuel PASTVA, David ŠAFRÁNEK and Luboš BRIM. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. (Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications). Online. In Abate A., Petrov T., Wolf V. Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314. Cham: Springer, Cham, 2020, p. 280-297. ISBN 978-3-030-60326-7. Available from: https://dx.doi.org/10.1007/978-3-030-60327-4_15.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. Parameter Synthesis and Robustness Analysis of Rule-Based Models. In Ritchie Lee, Susmit Jha, Anastasia Mavridou. 12th International Symposium on NASA Formal Methods, NFM 2020. LNCS 12229. Moffett Field, CA, USA: Springer, 2020, p. 41-59. ISBN 978-3-030-55753-9. Available from: https://dx.doi.org/10.1007/978-3-030-55754-6_3.

ORÉMUŠ, Zoltán, Kahin AKRAM HASSAN, Jiří CHMELÍK, Michaela KŇAŽKOVÁ, Jan BYŠKA, Renata Georgia RAIDOU and Barbora KOZLÍKOVÁ. PINGU: Principles of Interactive Navigation for Geospatial Understanding. Online. In IEEE. 2020 IEEE Pacific Visualization Symposium (PacificVis). Tianjin, China: IEEE PacificVis 2020, 2020, p. 216-225. ISBN 978-1-7281-5697-2. Available from: https://dx.doi.org/10.1109/PacificVis48177.2020.7567.

NAOYA, Higuchi, Imamura YASUNOBU, Vladimír MÍČ, Shinohara TAKESHI, Hirata KOUICHI and Kuboyama TETSUJI. Pivot Selection for Narrow Sketches by Optimization Algorithms. In Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór JónssonRasmus Pagh. Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings. Cham: Springer, 2020, p. 33-46. ISBN 978-3-030-60935-1. Available from: https://dx.doi.org/10.1007/978-3-030-60936-8_3.

KLINEC, Dušan and Václav MATYÁŠ. Privacy-Friendly Monero Transaction Signing on a Hardware Wallet. In Assist. Prof. Marko Hölbl, Prof. Dr. Kai Rannenberg, Tatjana Welzer. ICT Systems Security and Privacy Protection. 35th. Cham: Springer International Publishing, 2020, p. 338-351. ISBN 978-3-030-58200-5. Available from: https://dx.doi.org/10.1007/978-3-030-58201-2_23.

WALLETZKÝ, Leonard, Františka ROMANOVSKÁ, Angeliki Maria TOLI and Mouzhi GE. Research Challenges of Open Data as a Service for Smart Cities. Online. In Proceedings of the 10th International Conference on Cloud Computing and Services Science. Prague, Czech Republic: SCITEPRESS, 2020, p. 468-472. ISBN 978-989-758-424-4. Available from: https://dx.doi.org/10.5220/0009578604680472.

MBAREK, Bacem, Mouzhi GE and Tomáš PITNER. Self-adaptive RFID Authentication for Internet of Things. In Proceedings of the 33rd International Conference on Advanced Information Networking and Applications (AINA-2019). Matsue, Japan: Springer, Advances in Intelligent Systems and Computing, 2020, p. 1094-1105. ISBN 978-3-030-15031-0. Available from: https://dx.doi.org/10.1007/978-3-030-15032-7_92.

MACÁK, Martin, Matúš ŠTOVČIK and Barbora BÜHNOVÁ. The Suitability of Graph Databases for Big Data Analysis: A Benchmark. Online. In Proceedings of the 5th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS. Neuveden: SciTePress, 2020, p. 213-220. ISBN 978-989-758-426-8. Available from: https://dx.doi.org/10.5220/0009350902130220.

CIOROAICA, Emilia, Stanislav CHREN, Oum-El-Kheir AKTOUF, Alf LARSSON, Ram CHILLAREGE, Thomas KUHN, Daniel SCHNEIDER and Christian WOLSCHKE. Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation. Online. In Proceedings of 28th International Conference on Software, Telecommunications and Computer Networks (SoftCom 2020). Split, Croatia: IEEE, 2020, p. 1-6. ISBN 978-953-290-099-6. Available from: https://dx.doi.org/10.23919/SoftCOM50211.2020.9238329.

MACÁK, Martin, Ivan VANÁT, Michal MERJAVÝ, Tomáš JEVOČIN and Barbora BÜHNOVÁ. Towards Process Mining Utilization in Insider Threat Detection from Audit Logs. Online. In 2020 Seventh International Conference on Social Networks Analysis, Management and Security (SNAMS). New York: IEEE, 2020, p. 250-255. ISBN 978-0-7381-1180-3. Available from: https://dx.doi.org/10.1109/SNAMS52053.2020.9336573.

BUDÍKOVÁ, Petra, Jan SEDMIDUBSKÝ, Ján HORVÁTH and Pavel ZEZULA. Towards Scalable Retrieval of Human Motion Episodes. Online. In 22nd IEEE International Symposium on Multimedia (ISM). Washington, DC: IEEE Computer Society, 2020, p. 49-56. ISBN 978-1-7281-8697-9. Available from: https://dx.doi.org/10.1109/ISM.2020.00015.

BENEŠ, Nikola, Luboš BRIM, Martin GELETKA, Samuel PASTVA and David ŠAFRÁNEK. Accelerating Parameter Synthesis Using Semi-algebraic Constraints. Online. In Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth. Integrated Formal Methods. LNCS 11918. Cham: Springer International Publishing, 2019, p. 27-45. ISBN 978-3-030-34967-7. Available from: https://dx.doi.org/10.1007/978-3-030-34968-4_2.

QISHAN, Yang, Mouzhi GE and Markus HELFERT. Analysis of Data Warehouse Architectures: Modeling and Classification. In Proceedings of the 21st International Conference on Enterprise Information Systems. Crete, Greece: SciTePress, 2019, p. 604-611. ISBN 978-989-758-372-8. Available from: https://dx.doi.org/10.5220/0007728006040611.

SEDMIDUBSKÝ, Jan and Pavel ZEZULA. Augmenting Spatio-Temporal Human Motion Data for Effective 3D Action Recognition. Online. In 21st IEEE International Symposium on Multimedia (ISM). Neuveden: IEEE Computer Society, 2019, p. 204-207. ISBN 978-1-72815-606-4. Available from: https://dx.doi.org/10.1109/ISM46123.2019.00044.

LIPČÁK, Peter, Martin MACÁK and Bruno ROSSI. Big Data Platform for Smart Grids Power Consumption Anomaly Detection. Online. In Proceedings of the 2019 Federated Conference on Computer Science and Information Systems. New York: IEEE, 2019, p. 771-780. ISBN 978-1-5386-8005-6. Available from: https://dx.doi.org/10.15439/2019F210.

ANTOL, Matej and Vlastislav DOHNAL. BM-index: Balanced Metric Space Index based on Weighted Voronoi Partitioning. In Lecture Notes in Computer Science. Advances in Databases and Information Systems, 23th East European Conference, ADBIS 2019. LNCS 11695. Cham: Springer International Publishing, 2019, p. 337-353. ISBN 978-3-030-28729-0. Available from: https://dx.doi.org/10.1007/978-3-030-28730-6_21.

ARCERI, Vincenzo, Martina OLLIARO, Agostino CORTESI and Isabella MASTROENI. Completeness of Abstract Domains for String Analysis of JavaScript Programs. In Robert M. Hierons, Mohamed Mosbah. CORTESI, Agostino and Isabella MASTROENI. Theoretical Aspects of Computing – ICTAC 2019. Hammamet, Tunisia: Springer, 2019, p. 255-272. ISBN 978-3-030-32504-6. Available from: https://dx.doi.org/10.1007/978-3-030-32505-3_15.

VONÁSEK, Vojtěch, Robert PĚNIČKA and Barbora KOZLÍKOVÁ. Computing multiple guiding paths for sampling-based motion planning. Online. In ICAR - 19th International Conference on Advanced Robotics. Proceedings of the 19th International Conference on Advanced Robotics, ICAR 2019. Belo Horizonte, Brazil: Neuveden, 2019, p. 374-381. ISBN 978-1-7281-2467-4. Available from: https://dx.doi.org/10.1109/ICAR46387.2019.8981589.

GE, Mouzhi, Stanislav CHREN, Bruno ROSSI and Tomáš PITNER. Data Quality Management Framework for Smart Grid Systems. Online. In Abramowicz W., Corchuelo R. Proceedings of the 22nd International Conference on Business Information Systems. Switzerland: Springer, 2019, p. 299-310. ISBN 978-3-030-20481-5. Available from: https://dx.doi.org/10.1007/978-3-030-20482-2_24.

GEŠVINDR, David, Barbora BÜHNOVÁ and Jaroslav DAVÍDEK. Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud. Online. In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT. Neuveden: SciTePress, 2019, p. 619-630. ISBN 978-989-758-379-7. Available from: https://dx.doi.org/10.5220/0007842906190630.

LUX, Filip and Petr MATULA. DIC Image Segmentation of Dense Cell Populations by Combining Deep Learning and Watershed. Online. In IEEE 16th International Symposium on Biomedical Imaging. Venice, Italy, Italy: IEEE 16th International Symposium on Biomedical Imaging, 2019, p. 236-239. ISBN 978-1-5386-3641-1. Available from: https://dx.doi.org/10.1109/ISBI.2019.8759594.

HAJDIN, Matúš, Iris KICO, Milan DOLEŽAL, Jiří CHMELÍK, Anastasios DOULAMIS and Fotis LIAROKAPIS. Digitization and Visualization of Movements of Slovak Folk Dances. Online. In Auer, Michael E.; Tsiatsos, Thrasyvoulos. The Challenges of the Digital Transformation in Education. Switzerland: Springer International Publishing, 2019, p. 245-256. ISBN 978-3-030-11934-8. Available from: https://dx.doi.org/10.1007/978-3-030-11935-5_24.

CHALUPA, Marek and Jan STREJČEK. Evaluation of Program Slicing in Software Verification. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 101-119. ISBN 978-3-030-34967-7. Available from: https://dx.doi.org/10.1007/978-3-030-34968-4_6.

BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA and David ŠAFRÁNEK. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT. In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2019, p. 99-108. ISBN 978-1-4503-6282-5. Available from: https://dx.doi.org/10.1145/3302504.3311793.

GE, Mouzhi and Fabio PERSIA. Factoring Personalization in Social Media Recommendations. In Proceedings of the 13th IEEE International Conference on Semantic Computing. California, USA: IEEE, 2019, p. 344-347. ISBN 978-1-5386-6783-5. Available from: https://dx.doi.org/10.1109/ICOSC.2019.8665624.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, Jakub POLÁČEK and David ŠAFRÁNEK. Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. In Ait Ameur et al. Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Heidelberg: Springer, 2019, p. 353-369. ISBN 978-3-030-32408-7. Available from: https://dx.doi.org/10.1007/978-3-030-32409-4_22.

SEDLÁČEK, Vladimír, Dušan KLINEC, Marek SÝS, Petr ŠVENDA and Václav MATYÁŠ. I want to break square-free: The 4p - 1 factorization method and its RSA backdoor viability. Online. In Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT. Prague, Czech Republic: SCITEPRESS, 2019, p. 25-36. ISBN 978-989-758-378-0. Available from: https://dx.doi.org/10.5220/0007786600250036.

LUKŠ, Roman and Fotis LIAROKAPIS. Investigating motion sickness techniques for immersive virtual environments. Online. In Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments, ACM Press, 280-288, 2019. New York: ACM, 2019, p. 280-288. ISBN 978-1-4503-6232-0. Available from: https://dx.doi.org/10.1145/3316782.3321535.

ŠTILL, Vladimír and Jiří BARNAT. Local Nontermination Detection for Parallel C++ Programs. In Ölveczky P., Salaün G. International Conference on Software Engineering and Formal Methods. Cham: Springer, 2019, p. 373-390. ISBN 978-3-030-30445-4. Available from: https://dx.doi.org/10.1007/978-3-030-30446-1_20.

BLAHOUDEK, František, Juraj MAJOR and Jan STREJČEK. LTL to Smaller Self-Loop Alternating Automata and Back. Online. In Robert Mark Hierons, Mohamed Mosbah. Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 152-171. ISBN 978-3-030-32504-6. Available from: https://dx.doi.org/10.1007/978-3-030-32505-3_10.

VADICAMO, Lucia, Vladimír MÍČ, Falchi FABRIZIO and Pavel ZEZULA. Metric Embedding into the Hamming Space with the n-Simplex Projection. In Giuseppe Amato, Claudio Gennaro, Vincent Oria, Milos Radovanovic. Similarity Search and Applications: 12th International Conference, SISAP 2019, Newark, New Jersey, USA, October 2-4, 2019, Proceedings. Cham: Springer International Publishing, 2019, p. 265-272. ISBN 978-3-030-32046-1. Available from: https://dx.doi.org/10.1007/978-3-030-32047-8_23.

ENEVOLDSEN, Soeren, Kim G. LARSEN and Jiří SRBA. Model Verification Through Dependency Graphs. In Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). The Nederlands: Springer, 2019, p. 1-19. ISBN 978-3-030-30922-0. Available from: https://dx.doi.org/10.1007/978-3-030-30923-7_1.

WALLETZKÝ, Leonard, Luca CARUBBO and Mouzhi GE. Modelling Service Design and Complexity for Multi-contextual Applications in Smart Cities. Online. In 2019 23rd International Conference on System Theory, Control and Computing (ICSTCC). Sinaia, Romania: IEEE, 2019, p. 101-106. ISBN 978-1-7281-0699-1. Available from: https://dx.doi.org/10.1109/ICSTCC.2019.8885800.

CAGIRICI, Onur, Subir GHOSH, Petr HLINĚNÝ and Bodhayan ROY. On conflict-free chromatic guarding of simple polygons. Online. In 13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19). Cham: Springer, Lecture Notes in Computer Science, volume 11949, 2019, p. 601-612. ISBN 978-3-030-36411-3. Available from: https://dx.doi.org/10.1007/978-3-030-36412-0_49.

WIESNER, David, Tereza NEČASOVÁ and David SVOBODA. On Generative Modeling of Cell Shape Using 3D GANs. Online. In Ricci Elisa, Rota Buló Samuel, Snoek Cees, Lanz Oswald, Messelodi Stefano, Sebe Nicu. Image Analysis and Processing – ICIAP 2019. LNCS 11752. Trento: Springer, 2019, p. 672-682. ISBN 978-3-030-30644-1. Available from: https://dx.doi.org/10.1007/978-3-030-30645-8_61.

GILLELA, Maruthi, Václav PŘENOSIL and G. Venkat REDDY. Parallelization of brute-force attack on MD5 hash algorithm on FPGA. In IEEE. 32nd International Conference on VLSI Design, VLSID 2019. New York: IEEE, 2019, p. 88-93. ISBN 978-1-7281-0409-6. Available from: https://dx.doi.org/10.1109/VLSID.2019.00034.

FOUCAUD, Florent, Hervé HOCQUARD, Dimitry LAJOU, Valia MITSOU and Théo PIERRON. Parameterized complexity of edge-coloured and signed graph homomorphism problems. Online. In 14th International Symposium on Parameterized and Exact Computation (IPEC 2019). Munich: Dagstuhl, 2019, p. "15:1"-"15:16", 16 pp. ISBN 978-3-95977-129-0. Available from: https://dx.doi.org/10.4230/LIPIcs.IPEC.2019.15.

BANGUI, Hind, Mouzhi GE and Barbora BÜHNOVÁ. Quality Management for Big 3D Data Analytics: A Case Study of Protein Data Bank. Online. In Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - Volume 1. Crete, Greece: SciTePress, 2019, p. 286-293. ISBN 978-989-758-369-8. Available from: https://dx.doi.org/10.5220/0007717402860293.

MEDVEĎ, Marek, Aleš HORÁK and Daša KUŠNIRÁKOVÁ. Question and Answer Classification in Czech Question Answering Benchmark Dataset. Online. In Ana Rocha, Luc Steels, Jaap van den Herik. Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Volume 2. Prague, Czech Republic: SCITEPRESS, 2019, p. 701-706. ISBN 978-989-758-350-6. Available from: https://dx.doi.org/10.5220/0007396907010706.

ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ and Jiří BARNAT. Reproducible Execution of POSIX Programs with DiOS. In Peter Csaba Ölveczky and Gwen Salaün. Software Engineering and Formal Methods. 17th ed. Cham: Springer International Publishing, 2019, p. 333-349. ISBN 978-3-030-30445-4. Available from: https://dx.doi.org/10.1007/978-3-030-30446-1_18.

MBAREK, Bacem, Barbora BÜHNOVÁ and Tomáš PITNER. SeMLAS: An Efficient Secure Multi-Level Authentication Scheme for IoT-Based Smart Home Systems. Online. In The 15th International Wireless Communications & Mobile Computing Conference (IWCMC 2019). Tangier, Morocco: IEEE, 2019, p. 1373-1378. ISBN 978-1-5386-7747-6. Available from: https://dx.doi.org/10.1109/IWCMC.2019.8766442.

ASHOK, Pranav, Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ, Christoph LAMPERT and Viktor TOMAN. Strategy Representation by Decision Trees with Linear Classifiers. In Quantitative Evaluation of Systems (QEST 2019). Cham: Springer, 2019, p. 109-128. ISBN 978-3-030-30280-1. Available from: https://dx.doi.org/10.1007/978-3-030-30281-8_7.

ROČKAI, Petr, Henrich LAUKO, Martina OLLIARO and Agostino CORTESI. String Abstraction for Model Checking of C Programs. Online. In Fabrizio Biondi, Thomas Given-Wilson, Axel Legay. Model Checking Software. Cham: Springer International Publishing, 2019, p. 74-93. ISBN 978-3-030-30922-0. Available from: https://dx.doi.org/10.1007/978-3-030-30923-7_5.

ŠTEFANKO, Martin, Ondřej CHALOUPKA and Bruno ROSSI. The Saga Pattern in a Reactive Microservices Environment. Online. In Marten van Sinderen and Leszek Maciaszek. 14th International Conference on Software Technologies (ICSOFT 2019). Prague: SciTePress, 2019, p. 483-490. ISBN 978-989-758-379-7. Available from: https://dx.doi.org/10.5220/0007918704830490.

KAROLYI, Matěj, Jan KREJČÍ, Jakub ŠČAVNICKÝ, Roman VYŠKOVSKÝ and Martin KOMENDA. Tools for development of interactive web-based maps: application in healthcare. In Václav Skála. WSCG'2019 - 27. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2019. Plzeň: Vaclav Skala - UNION Agency, 2019, p. 1-8. ISBN 978-80-86943-38-1. Available from: https://dx.doi.org/10.24132/CSRN.2019.2902.2.1.

ELIÁŠ, Petr, Jan SEDMIDUBSKÝ and Pavel ZEZULA. Understanding the Gap between 2D and 3D Skeleton-Based Action Recognition. Online. In 21st IEEE International Symposium on Multimedia (ISM). Neuveden: IEEE Computer Society, 2019, p. 192-195. ISBN 978-1-72815-606-4. Available from: https://dx.doi.org/10.1109/ISM46123.2019.00041.

JURČÍK, Adam, Katarína FURMANOVÁ, Jan BYŠKA, Vojtěch VONÁSEK, Ondřej VÁVRA, Pavol ULBRICH, Helwig HAUSER and Barbora KOZLÍKOVÁ. Visual Analysis of Ligand Trajectories in Molecular Dynamics. Online. In IEEE Pacific Visualization Symposium 2019. Bangkok, Thailand: IEEE, 2019, p. 212-221. ISBN 978-1-5386-9226-4. Available from: https://dx.doi.org/10.1109/PacificVis.2019.00032.

OŠLEJŠEK, Radek, Vít RUSŇÁK, Karolína BURSKÁ, Valdemar ŠVÁBENSKÝ and Jan VYKOPAL. Visual Feedback for Players of Multi-Level Capture the Flag Games: Field Usability Study. Online. In Gove R., Arendt D., Kohlhammer J., Angelini M., Lyn Paul, C., Bryan C. McKenna S., Prigent N., Najafi P., Sopan A. 2019 IEEE Symposium on Visualization for Cyber Security (VizSec). Vancouver, BC, Canada: IEEE, 2019, p. 1-11. ISBN 978-1-7281-3876-3. Available from: https://dx.doi.org/10.1109/VizSec48167.2019.9161386.

JONÁŠ, Martin and Jan STREJČEK. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, p. 273-291. ISBN 978-3-030-02507-6. Available from: https://dx.doi.org/10.1007/978-3-030-02508-3_15.

NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ and Petr ŠVENDA. Adaptive Secrecy Amplification with Radio Channel Key Extraction (Adaptive secrecy amplification with radio channel key extraction). Online. In Lisa O’Conner. 2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS). New York, NY, USA: IEEE, 2018, p. 123-130. ISBN 978-1-5386-5470-5. Available from: https://dx.doi.org/10.1109/DCOSS.2018.00028.

KIŠŠ, Filip and Bruno ROSSI. Agile to Lean Software Development Transformation: A Systematic Literature Review. Online. In 2018 Federated Conference on Computer Science and Information Systems (FedCSIS). Not specified: IEEE, 2018, p. 969-973. ISBN 978-83-949419-5-6. Available from: https://dx.doi.org/10.15439/2018F53.

IVANOV, Dmitry, Kim G. LARSEN, Sibylle SCHUPP and Jiří SRBA. Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. In Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18). Netherlands: Springer, 2018, p. 173-189. ISBN 978-3-319-99153-5. Available from: https://dx.doi.org/10.1007/978-3-319-99154-2_11.

NÁLEPA, Filip, Michal BATKO and Pavel ZEZULA. Combining Cache and Priority Queue to Enhance Evaluation of Similarity Search Queries. Online. In Maozhen Li, Xiong Ning, Zheng Xiao, Guoqing Xiao, Kenli Li, and Lipo Wang. 2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery. Neuveden: IEEE, 2018, p. 956-963. ISBN 978-1-5386-8097-1. Available from: https://dx.doi.org/10.1109/FSKD.2018.8687208.

NÁLEPA, Filip, Michal BATKO and Pavel ZEZULA. Continuous Time-Dependent kNN Join by Binary Sketches. Online. In Bipin C. Desai. IDEAS 2018 : 22nd International Database Engineering & Applications Symposium, June 18-20, 2018, Villa San Giovanni, Italy. New York: ACM, 2018, p. 64-73. ISBN 978-1-4503-6527-7. Available from: https://dx.doi.org/10.1145/3216122.3216159.

PELIKÁNOVÁ, Zuzana and Zuzana NEVĚŘILOVÁ. Corpus Annotation Pipeline for Non-standard Texts. In P. Sojka, A. Horák, I. Kopeček, K. Pala. Text, Speech, and Dialogue, 21st International Conference, TSD 2018. Switzerland: Springer International Publishing, 2018, p. 304-312. ISBN 978-3-030-00794-2. Available from: https://dx.doi.org/10.1007/978-3-030-00794-2_32.

PAŘILOVÁ, Tereza. DysHelper – The Dyslexia Assistive Approach User Study. In Miesenberger, K.; Kouroupetroglou, G. Computers Helping People with Special Needs:16th International Conference, ICCHP 2018. LNCS. Švýcarsko: Springer International Publishing, 2018, p. 478-485. ISBN 978-3-319-94276-6. Available from: https://dx.doi.org/10.1007/978-3-319-94277-3_74.

GE, Mouzhi and Fabio PERSIA. Evaluation in Multimedia Recommender Systems: A Practical Guide. In Proceedings of the 12th IEEE International Conference on Semantic Computing. California, USA: IEEE, 2018, p. 294-297. ISBN 978-1-5386-4407-2. Available from: https://dx.doi.org/10.1109/ICSC.2018.00050.

OŠLEJŠEK, Radek, Jan VYKOPAL, Karolína BURSKÁ and Vít RUSŇÁK. Evaluation of Cyber Defense Exercises Using Visual Analytics Process. Online. In Proceedings of the 48th IEEE Frontiers in Education Conference (FIE'18). San Jose, California, USA: IEEE, 2018, p. 1-9. ISBN 978-1-5386-1173-9. Available from: https://dx.doi.org/10.1109/FIE.2018.8659299.

BANGUI, Hind, Mouzhi GE and Barbora BÜHNOVÁ. Exploring Big Data Clustering Algorithms for Internet of Things Applications. Online. In Proceedings of the 3rd International Conference on Internet of Things, Big Data and Security. Madeira, Portugal: SCITEPRESS, 2018, p. 269-276. ISBN 978-989-758-296-7. Available from: https://dx.doi.org/10.5220/0006773402690276.

BENDÍK, Jaroslav, Nikola BENEŠ and Ivana ČERNÁ. Finding Regressions in Projects under Version Control Systems. In Leszek A. Maciaszek and Marten van Sinderen. 13th International Conference on Software Technologies. Porto: SciTePress, 2018, p. 152-163. ISBN 978-989-758-320-9. Available from: https://dx.doi.org/10.5220/0006864401520163.

HLINĚNÝ, Petr, Filip POKRÝVKA and Bodhayan ROY. FO model checking of geometric graphs. Online. In 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). LIPIcs 89. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, p. "19:1"-"19:12", 12 pp. ISBN 978-3-95977-051-4. Available from: https://dx.doi.org/10.4230/LIPIcs.IPEC.2017.19.

BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ and Matej TROJÁK. Fully Automated Attractor Analysis of Cyanobacteria Models. In Marian Barbu, Răzvan Şolea, Adrian Filipescu. 22nd International Conference on System Theory, Control and Computing. Neuveden: IEEE, 2018, p. 354-359. ISBN 978-1-5386-4444-7. Available from: https://dx.doi.org/10.1109/ICSTCC.2018.8540762.

JAVORSKÝ, Tomáš, Filip ŠKOLA, Stella SYLAIOU, João MARTINS and Fotis LIAROKAPIS. Investigating Body Transfer Illusion from Human to Monkey Body. Online. In 2018 International Conference on Intelligent Systems (IS 2018). Funchal - Madeira, Portugal, Portugal: IEEE Computer Society, 2018, p. 549-556. ISBN 978-1-5386-7097-2. Available from: https://dx.doi.org/10.1109/IS.2018.8710499.

CHALUPA, Marek, Jan STREJČEK and Martina VITOVSKÁ. Joint Forces for Memory Safety Checking. In María-del-Mar Gallardo and Pedro Merino. Model Checking Software. SPIN 2018. Cham, Švýcarsko: Springer, 2018, p. 115-132. ISBN 978-3-319-94110-3. Available from: https://dx.doi.org/10.1007/978-3-319-94111-0_7.

LAŠTOVIČKA, Martin, Antonín DUFKA and Jana KOMÁRKOVÁ. Machine Learning Fingerprinting Methods in Cyber Security Domain: Which one to Use?. Online. In IEEE. Proceedings of the 14th International Wireless Communications and Mobile Computing Conference. Limassol, Cyprus: IEEE Xplore Digital Library, 2018, p. 542-547. ISBN 978-1-5386-2070-0. Available from: https://dx.doi.org/10.1109/IWCMC.2018.8450406.

ŠTILL, Vladimír and Jiří BARNAT. Model Checking of C++ Programs Under the x86-TSO Memory Model. In Jing Sun, Meng Sun. Formal Methods and Software Engineering. Cham: Springer, 2018, p. 124-140. ISBN 978-3-030-02449-9. Available from: https://dx.doi.org/10.1007/978-3-030-02450-5_8.

BUDÍKOVÁ, Petra, Michal BATKO and Pavel ZEZULA. Multi-modal Image Retrieval for Search-based Image Annotation with RF. Online. In 2018 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM 2018). NEW YORK: IEEE, 2018, p. 52-60. ISBN 978-1-5386-6857-3. Available from: https://dx.doi.org/10.1109/ISM.2018.00017.

CAGIRICI, Onur, Petr HLINĚNÝ and Bodhayan ROY. On Colourability of Polygon Visibility Graphs. Online. In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). LIPIcs 93. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, p. "21:1"-"21:14", 14 pp. ISBN 978-3-95977-055-2. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2017.21.

BENDÍK, Jaroslav, Elaheh GHASSABANI, Michael WHALEN and Ivana ČERNÁ. Online Enumeration of All Minimal Inductive Validity Cores. In Einar Broch Johnsen and Ina Schaefer. Software Engineering and Formal Methods - 16th International Conference. LNCS 10886. Neuveden: Springer International Publishing, 2018, p. 189-204. ISBN 978-3-319-92969-9. Available from: https://dx.doi.org/10.1007/978-3-319-92970-5_12.

LAŠTOVIČKA, Martin, Tomáš JIRSÍK, Pavel ČELEDA, Stanislav ŠPAČEK and Daniel FILAKOVSKÝ. Passive OS Fingerprinting Methods in the Jungle of Wireless Networks. Online. In NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium. Taipei, Taiwan: IEEE Xplore Digital Library, 2018, p. nestránkováno, 9 pp. ISBN 978-1-5386-3416-5. Available from: https://dx.doi.org/10.1109/NOMS.2018.8406262.

BROŽ, Milan, Mikuláš PATOČKA and Václav MATYÁŠ. Practical Cryptographic Data Integrity Protection with Full Disk Encryption. In Janczewski L., Kutyłowski M. 2018 IFIP International Conference on ICT Systems Security and Privacy Protection. Cham: Springer, 2018, p. 79-93. ISBN 978-3-319-99827-5. Available from: https://dx.doi.org/10.1007/978-3-319-99828-2_6.

SEDMIDUBSKÝ, Jan and Pavel ZEZULA. Probabilistic Classification of Skeleton Sequences. In S. Hartmann et al. 29th International Conference on Database and Expert Systems Applications (DEXA 2018). Switzerland: Springer, 2018, p. 50-65. ISBN 978-3-319-98811-5. Available from: https://dx.doi.org/10.1007/978-3-319-98812-2_4.

HA, Hien Thi, Aleš HORÁK, Marek MEDVEĎ and Zuzana NEVĚŘILOVÁ. Recognition of OCR Invoice Metadata Block Types. In P. Sojka, A. Horák, I. Kopeček, K. Pala. Text, Speech, and Dialogue, 21st International Conference, TSD 2018. Switzerland: Springer International Publishing, 2018, p. 304-312. ISBN 978-3-030-00793-5. Available from: https://dx.doi.org/10.1007/978-3-030-00794-2_33.

CASTILLA, Carlos, Martin MAŠKA, Dmitry SOROKIN, Erik MEIJERING and Carlos ORTIZ-DE-SOLORZANO. Segmentation of Actin-Stained 3D Fluorescent Cells with Filopodial Protrusions using Convolutional Neural Networks. Online. In 15th IEEE International Symposium on Biomedical Imaging. Washington: IEEE, 2018, p. 413-417. ISBN 978-1-5386-3636-7. Available from: https://dx.doi.org/10.1109/ISBI.2018.8363605.

MÍČ, Vladimír, David NOVÁK, Lucia VADICAMO and Pavel ZEZULA. Selecting Sketches for Similarity Search. Online. In András Benczúr, Bernhard Thalheim, Tomáš Horváth. Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018. Cham: Springer International Publishing, 2018, p. 127-141. ISBN 978-3-319-98397-4. Available from: https://dx.doi.org/10.1007/978-3-319-98398-1_9.

MEDVEĎ, Marek and Aleš HORÁK. Sentence and Word Embedding Employed in Open Question-Answering. In Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018). Setúbal, Portugal: SCITEPRESS - Science and Technology Publications, 2018, p. 486-492. ISBN 978-989-758-275-2.

BOENNELAND, F.M., J. DYHR, P.G. JENSEN, M. JOHANNSEN and Jiří SRBA. Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. In Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18). Holland: Springer-Verlag, 2018, p. 143-163. ISBN 978-3-319-91267-7. Available from: https://dx.doi.org/10.1007/978-3-319-91268-4_8.

GANIAN, Robert, Eunjung KIM, Friedrich SLIVOVSKY and Stefan SZEIDER. Sum-of-Products with Default Values: Algorithms and Complexity Results. Online. In Lefteri H. Tsoukalas, Eric Gregoire, Miltiadis Alamaniotis. IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI). USA: IEEE, 2018, p. 733-737. ISBN 978-1-5386-7449-9. Available from: https://dx.doi.org/10.1109/ICTAI.2018.00115.

LAUKO, Henrich, Petr ROČKAI and Jiří BARNAT. Symbolic Computation via Program Transformation. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, p. 313-332. ISBN 978-3-030-02507-6. Available from: https://dx.doi.org/10.1007/978-3-030-02508-3_17.

POPESCU, Mirona, Mouzhi GE and Markus HELFERT. The Social Media Perception and Reality -Possible Data Quality Deficiencies between Social Media and ERP. In Proceedings of the 20th International Conference on Enterprise Information Systems. Madeira, Portugal: SCITEPRESS, 2018, p. 198-204. ISBN 978-989-758-298-1. Available from: https://dx.doi.org/10.5220/0006788801980204.

JIRSÍK, Tomáš and Pavel ČELEDA. Toward Real-time Network-wide Cyber Situational Awareness. Online. In NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium. Taipei, Taiwan: IEEE, 2018, p. 1-7. ISBN 978-1-5386-3416-5. Available from: https://dx.doi.org/10.1109/NOMS.2018.8406166.

HUSÁK, Martin and Jaroslav KAŠPAR. Towards Predicting Cyber Attacks Using Information Exchange and Data Mining. Online. In 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC). Limassol: IEEE, 2018, p. 536-541. ISBN 978-1-5386-2070-0. Available from: https://dx.doi.org/10.1109/IWCMC.2018.8450512.

ŠTĚPÁNEK, Petr and Mouzhi GE. Validation and Extension of the Smart City Ontology. Online. In Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS. Madeira, Portugal: SciTePress, 2018, p. 406-413. ISBN 978-989-758-298-1. Available from: https://dx.doi.org/10.5220/0006818304060413.

VACULÍK, Karel and Lubomír POPELÍNSKÝ. WalDis: Mining Discriminative Patterns within Dynamic Graphs. Online. In IDEAS '18 Proceedings of the 22nd International Database Engineering & Applications Symposium. NY, USA: ACM New York, 2018, p. 95-102. ISBN 978-1-4503-6527-7. Available from: https://dx.doi.org/10.1145/3216122.3216172.

ELIÁŠ, Petr, Jan SEDMIDUBSKÝ and Pavel ZEZULA. A Real-Time Annotation of Motion Data Streams. In 19th IEEE International Symposium on Multimedia. Neuveden: IEEE Computer Society, 2017, p. 154-161. ISBN 978-1-5386-2937-6. Available from: https://dx.doi.org/10.1109/ISM.2017.29.

PHILBIN-BRISCOE, Oliver, Bart SIMON, Sudhir MUDUR, Charalambos POULLIS, Selma RIZVIC, Dusanka BOSKOVIC, Fotis LIAROKAPIS, Irene KATSOURI, Stella DEMESTICHA and Dimitrios SKARLATOS. A Serious Game for Understanding Ancient Seafaring in the Mediterranean Sea. Online. In Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017). Athens, Greece: IEEE Computer Society, 2017, p. 1-7. ISBN 978-1-5090-5812-9. Available from: https://dx.doi.org/10.1109/VS-GAMES.2017.8055804.

KRÁL, Jaroslav, Petr NOVÁK and Michal ŽEMLIČKA. A system based on intelligent documents: A case study. In 17th International Conference on Computational Science and Its Applications, ICCSA 2017. Trieste; Italy: Springer Verlag, 2017, p. 176-187. ISBN 978-3-319-62406-8. Available from: https://dx.doi.org/10.1007/978-3-319-62407-5_12.

GE, Mouzhi and Theodoros CHONDROGIANNIS. Assessing the Quality of Spatio-textual Datasets in the Absence of Ground Truth. In Proceedings of the 21st European Conference on Advances in Databases and Information Systems. Cham: Springer, 2017, p. 12-20. ISBN 978-3-319-67161-1. Available from: https://dx.doi.org/10.1007/978-3-319-67162-8_2.

NÁLEPA, Filip, Michal BATKO and Pavel ZEZULA. Cache and Priority Queue Based Approximation Technique for a Stream of Similarity Search Queries. In Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl. Similarity Search and Applications : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings. Cham: Springer, Cham, 2017, p. 17-33. ISBN 978-3-319-68473-4. Available from: https://dx.doi.org/10.1007/978-3-319-68474-1_2.

SINGHA ROY, Nivir Kanti and Bruno ROSSI. Cost-Sensitive Strategies for Data Imbalance in Bug Severity Classification: Experimental Results. Online. In 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017. Not specified: IEEE, 2017, p. 426-429. ISBN 978-1-5386-2140-0. Available from: https://dx.doi.org/10.1109/SEAA.2017.71.

PAŘILOVÁ, Tereza, Eva HLADKÁ and Pavel ŘÍHA. Designing Fuzzy Apparatus to Model Dyslexic Individual Symptoms for Clinical Use. Online. In Yong Liu, Liang Zhao, Guoyong Cai, Guoqing Xiao, Kenli Li, and Lipo Wang. 2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD). New York: Institute of Electrical and Electronics Engineers Inc., 2017, p. 973-977. ISBN 978-1-5386-2165-3. Available from: https://dx.doi.org/10.1109/FSKD.2017.8393410.

BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA and Matej HAJNAL. Detecting Attractors in Biological Models with Uncertain Parameters. In Jérôme Feret and Heinz Koeppl. Computational Methods in Systems Biology. CMSB 2017. LNCS 10545. Cham: Springer International Publishing, 2017, p. 40-56. ISBN 978-3-319-67470-4. Available from: https://dx.doi.org/10.1007/978-3-319-67471-1_3.

KRÁL, Jaroslav, Tomáš PITNER and Michal ŽEMLIČKA. Document-Oriented Middleware: The Way to High-Quality Software. In International Conference on Computational Science and Its Applications. 1st ed. Cham: Springer, Cham, 2017, p. 607-619. ISBN 978-3-319-62403-7. Available from: https://dx.doi.org/10.1007/978-3-319-62404-4_45.

SEDMIDUBSKÝ, Jan, Petr ELIÁŠ and Pavel ZEZULA. Enhancing Effectiveness of Descriptors for Searching and Recognition in Motion Capture Data. In 19th IEEE International Symposium on Multimedia. Neuveden: IEEE Computer Society, 2017, p. 240-243. ISBN 978-1-5386-2937-6. Available from: https://dx.doi.org/10.1109/ISM.2017.39.

PELÁNEK, Radek and Jiří ŘIHÁK. Experimental Analysis of Mastery Learning Criteria. Online. In Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA: ACM, 2017, p. 156-163. ISBN 978-1-4503-4635-1. Available from: https://dx.doi.org/10.1145/3079628.3079667.

DALSGAARD, Andreas E., Søren ENEVOLDSEN, Peter FOGH, Lasse S. JENSEN, Tobias S. JEPSEN, Isabella KAUFMANN, Kim G. LARSEN, Søren M. NIELSEN, Mads Chr. OLESEN, Samuel PASTVA and Jiří SRBA. Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. In van der Aalst, Wil and Best, Eike. Petri Nets 2017. Holandsko: Springer International Publishing, 2017, p. 139-158. ISBN 978-3-319-57860-6. Available from: https://dx.doi.org/10.1007/978-3-319-57861-3_10.

PAVELEK, Martin, Zdeněk MATĚJ, Ondřej HERMAN, Filip MRAVEC, Martin VEŠKRNA, František CVACHOVEC, Michal KOŠŤÁL and Václav PŘENOSIL. Fast Digital Spectrometer for Mixed Radiation Fields. Online. In 2017 IEEE SENSORS Proceedings. Piscataway, New Jersey, US: IEEE, 2017, p. 436-438. ISBN 978-1-5386-4056-2. Available from: https://dx.doi.org/10.1109/ICSENS.2017.8234012.

RUČKA, Lukáš and Igor PETERLÍK. Fast reconstruction of image deformation field using radial basis function. Online. In 2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI). Neuveden: IEEE, 2017, p. 1146-1150. ISBN 978-1-5090-1171-1. Available from: https://dx.doi.org/10.1109/ISBI.2017.7950719.

SEDMIDUBSKÝ, Jan, Pavel ZEZULA and Jan ŠVEC. Fast Subsequence Matching in Motion Capture Data. In 21st European Conference on Advances in Databases and Information Systems. Cham: Springer, 2017, p. 59-72. ISBN 978-3-319-66916-8. Available from: https://dx.doi.org/10.1007/978-3-319-66917-5_5.

YANG, Qishan, Mouzhi GE and Markus HELFERT. Guildlines of Data Quality Issues for Data Integration in the Context of the TPC-DI Benchmark. In Proceedings of the 19th International Conference on Enterprise Information Systems. Porto, Portugal: SciTePress, 2017, p. 135-144. ISBN 978-989-758-247-9. Available from: https://dx.doi.org/10.5220/0006334301350144.

VOURVOPOULOS, Athanasios, Evangelos NIFORATOS, Michal HLINKA, Filip ŠKOLA and Fotis LIAROKAPIS. Investigating the Effect of User Profile during Training for BCI-based Games. Online. In Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017), IEEE Computer Society, Athens, Greece, 6-8 September. Athens, Greece: IEEE Computer Society, 2017, p. 117-124. ISBN 978-1-5090-5812-9. Available from: https://dx.doi.org/10.1109/VS-GAMES.2017.8056579.

ŠTĚPÁNEK, Petr, Mouzhi GE and Leonard WALLETZKÝ. IT-enabled Digital Service Design Principles - Lessons Learned from Digital Cities. Online. In Themistocleous, Marinos, Morabito, Vincenzo. Proceedings of the 14th European Mediterranean & Middle Eastern Conference on Information Systems. Coimbra, Portugal: Springer, 2017, p. 186-196. ISBN 978-3-319-65929-9. Available from: https://dx.doi.org/10.1007/978-3-319-65930-5_15.

VYKOPAL, Jan, Radek OŠLEJŠEK, Pavel ČELEDA, Martin VIZVÁRY and Daniel TOVARŇÁK. KYPO Cyber Range: Design and Use Cases. Online. In Cardoso J.,Cardoso J.,Maciaszek L.,Maciaszek L.,van Sinderen M.,Cabello E. Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT. Madrid, Spain: SciTePress, 2017, p. 310-321. ISBN 978-989-758-262-2. Available from: https://dx.doi.org/10.5220/0006428203100321.

VYKOPAL, Jan, Martin VIZVÁRY, Radek OŠLEJŠEK, Pavel ČELEDA and Daniel TOVARŇÁK. Lessons Learned From Complex Hands-on Defence Exercises in a Cyber Range. Online. In 2017 IEEE Frontiers in Education Conference. Indianapolis, IN, USA: IEEE, 2017, p. 1-8. ISBN 978-1-5090-5919-5. Available from: https://dx.doi.org/10.1109/FIE.2017.8190713.

BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. In Nathalie Bertrand, Luca Bortolussi. Quantitative Evaluation of Systems. Cham: Springer, 2017, p. 190-206. ISBN 978-3-319-66334-0. Available from: https://dx.doi.org/10.1007/978-3-319-66335-7_12.

ŘIHÁK, Jiří and Radek PELÁNEK. Measuring Similarity of Educational Items Using Data on Learners’ Performance. Online. In Proceedings of the 10th International Conference on Educational Data Mining. Wuhan, China.: International Educational Data Mining Society, 2017, p. 16-23.

SOROKIN, Dmitry, Igor PETERLÍK, Vladimír ULMAN, David SVOBODA and Martin MAŠKA. Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Motile Cells with Growing Filopodia. Online. In 14th IEEE International Symposium on Biomedical Imaging. Melbourne: IEEE, 2017, p. 822-826. ISBN 978-1-5090-1172-8. Available from: https://dx.doi.org/10.1109/ISBI.2017.7950644.

HUSÁK, Martin, Jaroslav KAŠPAR, Elias BOU-HARB and Pavel ČELEDA. On the Sequential Pattern and Rule Mining in the Analysis of Cyber Security Alerts. Online. In Proceedings of the 12th International Conference on Availability, Reliability and Security. Reggio Calabria: ACM, 2017, p. "22:1"-"22:10", 10 pp. ISBN 978-1-4503-5257-4. Available from: https://dx.doi.org/10.1145/3098954.3098981.

KADLEC, Miroslav, Barbora BÜHNOVÁ and Tomáš PITNER. Planning and Scheduling for Optimizing Communication in Smart Grids. Online. In 12th International Symposium on Environmental Software Systems, ISESS 2017;. Zadar: Springer New York LLC, 2017, p. 446-456. ISBN 978-3-319-89934-3. Available from: https://dx.doi.org/10.1007/978-3-319-89935-0_37.

GE, Mouzhi, Markus HELFERT and Tony O'BRIEN. Predicting Data Quality Success - The Bullwhip Effect in Data Quality. In Björn Johansson. Proceedings of the 16th International Conference on Perspectives in Business Informatics Research. Copenhagen, Denmark: Springer, 2017, p. 157-165. ISBN 978-3-319-64929-0. Available from: https://dx.doi.org/10.1007/978-3-319-64930-6_12.

JENSEN, Peter G., Kim G. LARSEN and Jiří SRBA. PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. In Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Holland: Springer, 2017, p. 248-265. ISBN 978-3-319-67728-6. Available from: https://dx.doi.org/10.1007/978-3-319-67729-3_15.

KOBUSIŃSKA, Anna, Adam WOLSKI, Jerzy BRZEZIŃSKI and Mouzhi GE. P2P Web Browser Middleware to Enhance Service Oriented Computing - Analysis and Evaluation. In 10th IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2017). New York: IEEE, 2017, p. 58-65. ISBN 978-1-5386-1326-9. Available from: https://dx.doi.org/10.1109/SOCA.2017.16.

SEDLÁK, Jan and Lubomír POPELÍNSKÝ. Rapid automatic vehicle manufacturer recognition using Random forest. Online. In Bipin C. Desai and Jun Hong and Richard McClatchey. Proceedings of the 21st International Database Engineering Applications Symposium, IDEAS. Bristol: ACM, 2017, p. 161-168. ISBN 978-1-4503-5220-8. Available from: https://dx.doi.org/10.1145/3105831.3105869.

GE, Mouzhi and Fabio PERSIA. Research Challenges in Multimedia Recommender Systems. Online. In Proceedings of the IEEE International Conference on Semantic Computing. San Diego, USA: IEEE, 2017, p. 344-347. ISBN 978-1-5090-4896-0. Available from: https://dx.doi.org/10.1109/ICSC.2017.31.

KUČERA, Adam and Tomáš PITNER. Semantic BMS: Ontology for Analysis of Building Operation Efficiency. In Hřebíček J., Denzer R., Schimak G., Pitner T. Environmental Software Systems. Computer Science for Environmental Protection. Cham: Springer, 2017, p. 349-359. ISBN 978-3-319-89934-3. Available from: https://dx.doi.org/10.1007/978-3-319-89935-0_29.

KLUSÁČEK, Dalibor, Boris PARÁK, Gabriela PODOLNÍKOVÁ and András ÜRGE. Scheduling Scientific Workloads in Private Cloud: Problems and Approaches. Online. In 10th International Conference on Utility and Cloud Computing (UCC 2017). New York: ACM, 2017, p. 9-18. ISBN 978-1-4503-5149-2. Available from: https://dx.doi.org/10.1145/3147213.3147223.

FERKOVÁ, Zuzana, Marek ŽUŽI, Petra URBANOVÁ and Petr MATULA. Single image reconstruction of human faces using database of depth images. Online. In 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017). Athens, Greece: IEEE Computer Society, 2017, p. 109-116. ISBN 978-1-5090-5812-9. Available from: https://dx.doi.org/10.1109/VS-GAMES.2017.8056578.

MÍČ, Vladimír, David NOVÁK and Pavel ZEZULA. Sketches with Unbalanced Bits for Similarity Search. In Christian Beecks, Felix Borutta, Peer Kroger, Thomas Seidl. Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings. Cham: Springer International Publishing, 2017, p. 53-63. ISBN 978-3-319-68474-1. Available from: https://dx.doi.org/10.1007/978-3-319-68474-1_4.

SCHVARCBACHER, Martin and Bruno ROSSI. Smart Grids Co-Simulations with Low-Cost Hardware. Online. In 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017. Not specified: IEEE, 2017, p. 252-255. ISBN 978-1-5386-2140-0. Available from: https://dx.doi.org/10.1109/SEAA.2017.43.

BOHÁČ, Marek, Michal ROTT and Vojtěch KOVÁŘ. Text Punctuation: An Inter-annotator Agreement Study. In Ekštein, Kamil Matoušek, Václav. Text, Speech, and Dialogue: 20th International Conference, TSD 2017. Cham: Springer International Publishing, 2017, p. 120-128. ISBN 978-3-319-64205-5. Available from: https://dx.doi.org/10.1007/978-3-319-64206-2_14.

SÝS, Marek, Dušan KLINEC and Petr ŠVENDA. The Efficient Randomness Testing using Boolean Functions. In Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 4: SECRYPT, Madrid, Spain, July 24-26, 2017. Madrid, Spain: SCITEPRESS, 2017, p. 92-103. ISBN 978-989-758-259-2. Available from: https://dx.doi.org/10.5220/0006425100920103.

VÝTVAROVÁ, Eva, Jan FOUSEK, Marek BARTOŇ, Radek MAREČEK, Martin GAJDOŠ, Martin LAMOŠ, Marie NOVÁKOVÁ, Tomáš SLAVÍČEK, Igor PETERLÍK and Michal MIKL. The Impact of Diverse Preprocessing Pipelines on Brain Functional Connectivity. Online. In 25th European Signal Processing Conference (EUSIPCO), Kos, Greece. Kos, Greece: IEEE, 2017, p. 2644-2648. ISBN 978-0-9928626-7-1. Available from: https://dx.doi.org/10.23919/EUSIPCO.2017.8081690.

NÁLEPA, Filip, Michal BATKO and Pavel ZEZULA. Towards High Similarity Search Throughput by Dynamic Query Reordering and Parallel Processing. In Mārīte Kirikova, Kjetil Nørvåg, George Angelos Papadopoulos. Advances in Databases and Information Systems : 21st European Conference, ADBIS 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings. Cham: Springer International Publishing, 2017, p. 262-277. ISBN 978-3-319-66916-8. Available from: https://dx.doi.org/10.1007/978-3-319-66917-5_18.

ŠTILL, Vladimír, Petr ROČKAI and Jiří BARNAT. Using Off-the-Shelf Exception Support Components in C++ Verification. Online. In IEEE International Conference on Software Quality, Reliability and Security - QRS 2017. Neuveden: IEEE, 2017, p. 54-64. ISBN 978-1-5386-0592-9. Available from: https://dx.doi.org/10.1109/QRS.2017.15.

BYDŽOVSKÁ, Hana. A Comparative Analysis of Techniques for Predicting Student Performance. Online. In Tiffany Barnes, Min Chi, Mingyu Feng. Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA: International Educational Data Mining Society, 2016, p. 306-311.

JURČÍK, Adam, Julius PARULEK, Jiří SOCHOR and Barbora KOZLÍKOVÁ. Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics. In IEEE Pacific Visualization Symposium 2016. Taipei, Taiwan: IEEE, 2016, p. 112-119. ISBN 978-1-5090-1451-4. Available from: https://dx.doi.org/10.1109/PACIFICVIS.2016.7465258.

RYCHLÝ, Pavel and Vít SUCHOMEL. Annotated Amharic Corpora. In Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala. Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings. Switzerland: Springer International Publishing, 2016, p. 295-302. ISBN 978-3-319-45509-9. Available from: https://dx.doi.org/10.1007/978-3-319-45510-5_34.

NEVĚŘILOVÁ, Zuzana. Annotation of Czech Texts with Language Mixing. In Petr Sojka; Aleš Horák; Ivan Kopeček; Karel Pala. Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings. Switzerland: Springer International Publishing, 2016, p. 279-286. ISBN 978-3-319-45509-9. Available from: https://dx.doi.org/10.1007/978-3-319-45510-5_32.

VONÁSEK, Vojtěch and Barbora KOZLÍKOVÁ. Application of Sampling-based Path Planning for Tunnel Detection in Dynamic Protein Structures. Online. In MMAR: 21st International Conference on Methods and Models in Automation and Robotics. Poland: IEEE, 2016, p. 1010-1015. ISBN 978-1-5090-1866-6. Available from: https://dx.doi.org/10.1109/MMAR.2016.7575276.

MEDVEĎ, Marek and Aleš HORÁK. AQA: Automatic Question Answering System for Czech. In Sojka Petr, Horák Aleš, Kopeček Ivan, Pala Karel. Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings. Switzerland: Springer International Publishing, 2016, p. 270-278. ISBN 978-3-319-45510-5. Available from: https://dx.doi.org/10.1007/978-3-319-45510-5_31.

OŠŤÁDAL, Radim, Petr ŠVENDA and Václav MATYÁŠ. Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping – Secrecy Amplification Case. In International Conference on Cryptology and Network Security. Německo: Springer International Publishing, 2016, p. 552-561. ISBN 978-3-319-48964-3. Available from: https://dx.doi.org/10.1007/978-3-319-48965-0_34.

DEDÍK, Václav and Bruno ROSSI. Automated Bug Triaging in an Industrial Context. Online. In 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2016. Not specified: IEEE, 2016, p. 363-367. ISBN 978-1-5090-2819-1. Available from: https://dx.doi.org/10.1109/SEAA.2016.20.

KOMENDA, Martin, Matěj KAROLYI, Andrea POKORNÁ, Martin VÍTA and Vincent KRÍŽ. Automatic Keyword Extraction from Medical and Healthcare Curriculum. In Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. Annals of Computer Science and Information Systems, Volume 8 : Proceedings of the 2016 Federated Conference on Computer Science and Information Systems. Warzaw; Los Alamitos: Polskie Towarzystwo Informatyczne; Institute of Electrical and Electronics Engineers, 2016, p. 287-290. ISBN 978-83-60810-90-3. Available from: https://dx.doi.org/10.15439/2016F156.

ŠVEC, Ján and Jan RYGL. Building Corpora for Stylometric Research. In Petr Sojka; Aleš Horák; Ivan Kopeček; Karel Pala. Text, Speech, and Dialogue - 19th International Conference. Germany: Springer International Publishing, 2016, p. 20-27. ISBN 978-3-319-45509-9. Available from: https://dx.doi.org/10.1007/978-3-319-45510-5_3.

ŽEMLIČKA, Michal and Jaroslav KRÁL. Confederative ERP Systems for Small-to-Medium Enterprises. In Gervasi O. et al. Computational Science and Its Applications – ICCSA 2016. Cham, Switzerland: Springer, 2016, p. 350-362. ISBN 978-3-319-42091-2. Available from: https://dx.doi.org/10.1007/978-3-319-42092-9_27.

RUSŇÁK, Vít, Pavel TROUBIL, Eva HLADKÁ, Desana DAXNEROVÁ, Pavel KAJABA, Matej MINÁRIK, Svatoslav ONDRA and Tomáš SKLENÁK. CoUnSiL: A Videoconferencing Environment for Interpretation of Sign Language. Online. In Okyay Kaynak. 2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET). Istanbul, Turkey: IEEE, 2016, p. 1-8. ISBN 978-1-5090-0778-3. Available from: https://dx.doi.org/10.1109/ITHET.2016.7760711.

RUSŇÁK, Vít, Pavel TROUBIL, Svatoslav ONDRA, Tomáš SKLENÁK, Desana DAXNEROVÁ, Eva HLADKÁ, Pavel KAJABA, Matej MINÁRIK, Peter NOVÁK, Christoph DAMM and Jaromír KALA. CoUnSiL: Collaborative Universe for Remote Interpreting of Sign Language in Higher Education. Online. In Klaus Miesenberger. Computers Helping People with Special Needs: 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part II. ICCHP 2016. Neuveden: Springer International Publishing, 2016, p. 392-399. ISBN 978-3-319-41267-2. Available from: https://dx.doi.org/10.1007/978-3-319-41267-2_55.

BYDŽOVSKÁ, Hana. Course Enrollment Recommender System. Online. In Tiffany Barnes, Min Chi, Mingyu Feng. Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA: International Educational Data Mining Society, 2016, p. 312-317.

ZIMA, Michal and Eva HLADKÁ. Cryptography Enhanced Ad-Hoc Approach to P2P Overlays. In Waleed W. Smari. Proceedings of the 2016 International Conference on High Performance Computing & Simulation. Neuveden: IEEE, 2016, p. 517-522. ISBN 978-1-5090-2088-1. Available from: https://dx.doi.org/10.1109/HPCSim.2016.7568378.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Jan ČERVENÝ. E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria. In Ezio Bartocci et al. Computational Methods in Systems Biology. CMSB 2016. Heidelberg: Springer, 2016, p. 316-322. ISBN 978-3-319-45176-3. Available from: https://dx.doi.org/10.1007/978-3-319-45177-0_20.

KOTRBČÍK, Michal, Rastislav KRÁLOVIČ and Sebastian ORDYNIAK. Edge-Editing to a Dense and a Sparse Graph Class. In Kranakis E., Navarro G., Chávez E. LATIN 2016: Latin American Symposium on Theoretical Informatics. Berlin: Springer, 2016, p. 562-575. ISBN 978-3-662-49528-5. Available from: https://dx.doi.org/10.1007/978-3-662-49529-2_42.

BÄCKSTRÖM, Ola, Yuliya BUTKOVA, Holger HERMANNS, Jan KRČÁL and Pavel KRČÁL. Effective static and dynamic fault tree analysis. In In International Conference on Computer Safety, Reliability, and Security. Berlin: Springer, 2016, p. 266-280. ISBN 978-3-319-45476-4. Available from: https://dx.doi.org/10.1007/978-3-319-45477-1_21.

NÁLEPA, Filip, Michal BATKO and Pavel ZEZULA. Enhancing Similarity Search Throughput by Dynamic Query Reordering. In Hartmann, Sven and Ma, Hui. Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Cham: Springer International Publishing, 2016, p. 185-200. ISBN 978-3-319-44405-5. Available from: https://dx.doi.org/10.1007/978-3-319-44406-2_14.

BAISA, Vít, Jan MICHELFEIT, Marek MEDVEĎ and Miloš JAKUBÍČEK. European Union Language Resources in Sketch Engine. Online. In Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Thierry Declerck and Marko Grobelnik and Bente Maegaard and Joseph Mariani and Asuncion Moreno and Jan Odijk and Stelios Piperidis. Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016). Portorož, Slovenia: European Language Resources Association (ELRA), 2016, p. 2799-2803. ISBN 978-2-9517408-9-1.

KOVÁŘ, Vojtěch, Jakub MACHURA, Kristýna ZEMKOVÁ and Michal ROTT. Evaluation and Improvements in Punctuation Detection for Czech. In Sojka, Petr; Horák, Aleš; Kopeček, Ivan; Pala, Karel. Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings. Cham (CH): Springer, 2016, p. 287-294. ISBN 978-3-319-45509-9. Available from: https://dx.doi.org/10.1007/978-3-319-45510-5_33.

PAPOUŠEK, Jan, Vít STANISLAV and Radek PELÁNEK. Evaluation of an Adaptive Practice System for Learning Geography Facts. Online. In Proceedings of the Sixth International Conference on Learning Analytics & Knowledge. Edinburgh, United Kingdom: ACM, 2016, p. 134-142. ISBN 978-1-4503-4190-5. Available from: https://dx.doi.org/10.1145/2883851.2883884.

STŘELÁK, David, Filip ŠKOLA and Fotis LIAROKAPIS. Examining User Experiences in a Mobile Augmented Reality Tourist Guide. Online. In Proc. of the 9th International Conference on PErvasive Technologies Related to Assistive Environments (Petra 2016), ACM Press, Corfu Island, Greece, 29 June - 1 July. Corfu, Greece: ACM Press, 2016, p. 1-8. ISBN 978-1-4503-4337-4. Available from: https://dx.doi.org/10.1145/2910674.2935835.

KORENČIAK, Ľuboš, Vojtěch ŘEHÁK and Adrian FARMADIN. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. In Erika Ábrahám, Marieke Huisman. Integrated Formal Methods. Switzerland: Springer International Publishing, 2016, p. 130-138. ISBN 978-3-319-33692-3. Available from: https://dx.doi.org/10.1007/978-3-319-33693-0_9.

BENDÍK, Jaroslav, Nikola BENEŠ, Jiří BARNAT and Ivana ČERNÁ. Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis). In Rocco De Nicola, Eva K{\"{u}}hn. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin: Lecture Notes in Computer Sciences in Computer Science, 9763, 2016, p. 121-136. ISBN 978-3-319-41590-1. Available from: https://dx.doi.org/10.1007/978-3-319-41591-8_9.

KOVÁŘ, Vojtěch, Monika MOČIARIKOVÁ and Pavel RYCHLÝ. Finding Definitions in Large Corpora with Sketch Engine. In Nicoletta Calzolari (Conference Chair) et al. Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016). Portorož, Slovenia: European Language Resources Association (ELRA), 2016, p. 391-394. ISBN 978-2-9517408-9-1.

CINKOVA, Silvie, Ema KREJČOVÁ, Anna VERNEROVÁ and Vít BAISA. Graded and Word-Sense-Disambiguation Decisions in Corpus Pattern Analysis: a Pilot Study. Online. In Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Thierry Declerck and Marko Grobelnik and Bente Maegaard and Joseph Mariani and Asuncion Moreno and Jan Odijk and Stelios Piperidis. Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016). Portorož, Slovenia: European Language Resources Association (ELRA), 2016, p. 848-854. ISBN 978-2-9517408-9-1.

DEMKO, Martin, Nikola BENEŠ, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. In Ezio Bartocci et al. Computational Methods in Systems Biology. CMSB 2016. LNBI 9859. Neuveden: Springer International Publishing, 2016, p. 82-97. ISBN 978-3-319-45176-3. Available from: https://dx.doi.org/10.1007/978-3-319-45177-0_6.

PELÁNEK, Radek, Jiří ŘIHÁK and Jan PAPOUŠEK. Impact of Data Collection on Interpretation and Evaluation of Student Models. Online. In Proceedings of the Sixth International Conference on Learning Analytics & Knowledge. Edinburgh, United Kingdom: ACM, 2016, p. 40-47. ISBN 978-1-4503-4190-5. Available from: https://dx.doi.org/10.1145/2883851.2883868.

MOŽUCHA, Jakub and Bruno ROSSI. Is Mutation Testing Ready to Be Adopted Industry-Wide?. Online. In Product-Focused Software Process Improvement (PROFES). Cham: Springer International Publishing, 2016, p. 217-232. ISBN 978-3-319-49093-9. Available from: https://dx.doi.org/10.1007/978-3-319-49094-6_14.

BEZDĚK, Peter, Nikola BENEŠ, Jiří BARNAT and Ivana ČERNÁ. LTL Parameter Synthesis of Parametric Timed Automata. In Rocco De Nicola, Eva K{\"{u}}hn. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin: Lecture Notes in Computer Sciences in Computer Science, 9763, 2016, p. 172-187. ISBN 978-3-319-41590-1. Available from: https://dx.doi.org/10.1007/978-3-319-41591-8_12.

RŮŽIČKA, Michal, Petr SOJKA and Martin LÍŠKA. Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies. Online. In Noriko Kando and Kazuaki Kishida and Makoto P. Kato and Shuhei Yamamoto. Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2016, p. 331-337. ISBN 978-4-86049-071-3.

KOVÁŘ, Vojtěch, Miloš JAKUBÍČEK and Aleš HORÁK. On Evaluation of Natural Language Processing Tasks: Is Gold Standard Evaluation Methodology a Good Solution? In Jaap van den Herik and Joaquim Filipe. Proceedings of the 8th International Conference on Agents and Artificial Intelligence. Rome: SCITEPRESS, 2016, p. 540-545. ISBN 978-989-758-172-4.

COGILL, Randall, Jakub MAREČEK, Martin MEVISSEN and Hana RUDOVÁ. Online Problems in Timetabling: Bus Priority at Signalised Junctions. In Edmund K. Burke, Luca Di Gaspero, Ender Özcan, Barry McCollum, Andrea Schaerf. Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016). Italy: PATAT, 2016, p. 81-94. ISBN 978-0-9929984-1-7.

ANTOL, Matej and Vlastislav DOHNAL. Optimizing Query Performance with Inverted Cache in Metric Spaces. In Lecture Notes in Computer Science. Advances in Databases and Information Systems, 20th East European Conference, ADBIS 2016. Cham: Springer, 2016, p. 60-73. ISBN 978-3-319-44038-5. Available from: https://dx.doi.org/10.1007/978-3-319-44039-2_5.

BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI and Luca BORTOLUSSI. Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. In Proceedings of QEST 2016. Quebec City: Springer, 2016, p. 244-259. ISBN 978-3-319-43424-7. Available from: https://dx.doi.org/10.1007/978-3-319-43425-4_17.

TOVARŇÁK, Daniel. Practical Multi-pattern Matching Approach for Fast and Scalable Log Abstraction. In ICSOFT-EA 2016 - Proceedings of the 11th International Joint Conference on Software Technologies. Lisbon, Portugal: SCITEPRESS, 2016, p. 319-329. ISBN 978-989-758-194-6. Available from: https://dx.doi.org/10.5220/0006006603190329.

KONECNY, Richard, Stella SYLAIOU and Fotis LIAROKAPIS. Procedural Modeling in Archaeology: Approximating Ionic Style Columns for Games. In Proc. of the 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2016). Barcelona: IEEE, 2016, p. 1-8. ISBN 978-1-5090-2722-4. Available from: https://dx.doi.org/10.1109/VS-GAMES.2016.7590358.

PELÁNEK, Radek and Jiří ŘIHÁK. Properties and Applications of Wrong Answers in Online Educational Systems. Online. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh (USA, NC): International Educational Data Mining Society, 2016, p. 466-471.

JENSEN, Peter G., Kim G. LARSEN and Jiří SRBA. Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. In Proceedings of the 23rd International SPIN Symposium on Model Checking of Software (SPIN'16). Netherlands: Springer, 2016, p. 129-146. ISBN 978-3-319-32581-1. Available from: https://dx.doi.org/10.1007/978-3-319-32582-8_9.

GHAFIR, Ibrahim, Václav PŘENOSIL, Ahmad ALHEJAILAN and Mohammad HAMMOUDEH. Social Engineering Attack Strategies and Defence Approaches. In Proceedings of International Conference on Future Internet of Things and Cloud. Vienna, Austria: IEEE Xplore Digital Library, 2016, p. 145-149. ISBN 978-1-5090-4052-0. Available from: https://dx.doi.org/10.1109/FiCloud.2016.28.

ŽEMLIČKA, Michal and Jaroslav KRÁL. Software Architecture and Software Quality. In Gervasi O. et al. Computational Science and Its Applications – ICCSA 2016. Cham, Switzerland: Springer, 2016, p. 139-155. ISBN 978-3-319-42091-2. Available from: https://dx.doi.org/10.1007/978-3-319-42092-9_12.

MRÁZEK, Jan, Petr BAUCH, Henrich LAUKO and Jiří BARNAT. SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. In Dragan Bošnački and Anton Wijs. Model Checking Software. Neuveden: Springer International Publishing, 2016, p. 208-213. ISBN 978-3-319-32581-1. Available from: https://dx.doi.org/10.1007/978-3-319-32582-8_14.

BURGET, Rostislav and Hana RUDOVÁ. Teacher-oriented Fairness in Course Timetabling. In Edmund K. Burke, Luca Di Gaspero, Ender Özcan, Barry McCollum, Andrea Schaerf. Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016). Udine, Italy: PATAT, 2016, p. 33-44. ISBN 978-0-9929984-1-7.

STOKLASA, Roman and Tomáš MAJTNER. Texture Analysis of 3D Fluorescence Microscopy Images Using RSurf 3D Features. Online. In International Symposium on Biomedical Imaging (ISBI'16). Los Alamitos, California: IEEE Computer Society, 2016, p. 1212-1216. ISBN 978-1-4799-2350-2. Available from: https://dx.doi.org/10.1109/ISBI.2016.7493484.

STEHLÍK, Martin, Václav MATYÁŠ and Andriy STETSKO. Towards better selective forwarding and delay attacks detection in wireless sensor networks. In 2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC). Los Alamitos: IEEE Computer Society, 2016, p. 1-6. ISBN 978-1-4673-9975-3. Available from: https://dx.doi.org/10.1109/ICNSC.2016.7478978.

BENDÍK, Jaroslav, Nikola BENEŠ, Ivana ČERNÁ and Jiří BARNAT. Tunable Online MUS/MSS Enumeration. In Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen. Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016. 65th ed. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, p. 661-673. ISBN 978-3-95977-027-9. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.50.

BAISA, Vít, Silvie CINKOVA, Ema KREJČOVÁ and Anna VERNEROVÁ. VPS-GradeUp: Graded Decisions on Usage Patterns. Online. In Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Thierry Declerck and Marko Grobelnik and Bente Maegaard and Joseph Mariani and Asuncion Moreno and Jan Odijk and Stelios Piperidis. Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016). Portorož, Slovenia: European Language Resources Association (ELRA), 2016, p. 823-827. ISBN 978-2-9517408-9-1.

VÍTA, Martin and Vincent KRÍŽ. Word2vec Based System for Recognizing Partial Textual Entailment. Online. In Ganzha, M Maciaszek, L Paprzycki, M. PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS). NEW YORK: IEEE, 2016, p. 513-516. ISBN 978-83-60810-90-3. Available from: https://dx.doi.org/10.15439/2016F419.

FILIPOVIČ, Jiří, Jan PLHÁK and David STŘELÁK. Acceleration of dRMSD Calculation and Efficient Usage of GPU Caches. In Waleed Smari. Proceedings of IEEE International Conference on High Performance Computing & Simulation. neuveden: IEEE, 2015, p. 47-54. ISBN 978-1-4673-7812-3. Available from: https://dx.doi.org/10.1109/HPCSim.2015.7237020.

ADAMASZEK, Anna, G. BLIN and Alexandru POPA. Approximation and hardness results for the maximum edges in transitive closure problem. In 25th International Workshop on Combinatorial Algorithms, IWOCA 2014, LNCS 8986. Duluth; United States: Springer, 2015, p. 13-23. ISBN 978-3-319-19314-4. Available from: https://dx.doi.org/10.1007/978-3-319-19315-1_2.

STOKLASA, Roman, Lukáš BÁLEK, Pavel KREJČÍ and Petr MATULA. Automated Cell Segmentation in Phase-Contrast Images based on Classification and Region Growing. In Proceedings of 2015 IEEE International Symposium on Biomedical Imaging, 2015. Neuveden: Engineering in Medicine and Biology Society, 2015, p. 1447-1451. ISBN 978-1-4799-2374-8. Available from: https://dx.doi.org/10.1109/ISBI.2015.7164149.

ANDERSEN, Jesper R., Nicklas ANDERSEN, Soeren ENEVOLDSEN, Mathias M. HANSEN, Kim G. LARSEN, Simon R. OLESEN, Jiří SRBA and Jacob K. WORTMANN. CAAL: Concurrency Workbench, Aalborg Edition. In Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC'15). Netherlands: Springer, 2015, p. 573-582. ISBN 978-3-319-25149-3. Available from: https://dx.doi.org/10.1007/978-3-319-25150-9_33.

BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Dejan NIČKOVIĆ. Complete Composition Operators for IOCO-Testing Theory. Online. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York, NY, USA: ACM, 2015, p. 101-110. ISBN 978-1-4503-3471-6. Available from: https://dx.doi.org/10.1145/2737166.2737175.

PALA, Karel and Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, p. 515-523. ISBN 978-3-319-24032-9. Available from: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

SUCHOMEL, Šimon and Michal BRANDEJS. Determining Window Size from Plagiarism Corpus for Stylometric Features. In Mothe, Josiane and Savoy, Jacques and Kamps, Jaap and Pinel-Sauvagnat, Karen and Jones, GarethJ.F. and SanJuan, Eric and Cappellato, Linda and Ferro, Nicola. Experimental IR Meets Multilinguality, Multimodality, and Interaction. Toulouse, France: Springer International Publishing, 2015, p. 293-299. ISBN 978-3-319-24026-8. Available from: https://dx.doi.org/10.1007/978-3-319-24027-5_31.

IVANOVIČ, Mirjana, Stelios XINOGALOS, Tomáš PITNER and Miloš SAVIĆ. Different Aspects of Delivering Programming Courses: Multinational Experiences (Ivanović, M., Xinogalos S., Pitner T., Savic M., Different Aspects of Delivering Programming Courses: Multinational Experiences, The 7th Balkan Conference in Informatics (BCI 2015), Craiova, Romania, September 2-4, pp. 37:1-37:7). In Badica, C., Manoupoulos, Y. The 7th Balkan Conference in Informatics (BCI 2015). 1st ed. Craiova: ACM, 2015, p. 371-377. ISBN 978-1-4503-3335-1. Available from: https://dx.doi.org/10.1145/2801081.2801085.

GHAFIR, Ibrahim and Václav PŘENOSIL. DNS Traffic Analysis for Malicious Domains Detection. In Proceedings of International Conference on Signal Processing and Integrated networks. Noida, India: IEEE Xplore Digital Library, 2015, p. 613-618. ISBN 978-1-4799-5991-4. Available from: https://dx.doi.org/10.1109/SPIN.2015.7095337.

LIAROKAPIS, Fotis, Athanasios VOURVOPOULOS and Alina ENE. Examining User Experiences Through A Multimodal BCI Puzzle Game. In Proc. of the 19th International Conference on Information Visualisation (IV 2015). USA: IEEE Computer Society, 2015, p. 488-493. ISBN 978-1-4673-7568-9. Available from: https://dx.doi.org/10.1109/iV.2015.87.

VÍTA, Martin, Martin KOMENDA and Andrea POKORNÁ. Exploring Medical Curricula Using Social Network Analysis Methods. Online. In Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. Proceedings of the 2015 Federated Conference on Computer Science and Information Systems. Warsaw, Los Alamitos: Polskie Towarzystwo Informatyczne, IEEE, 2015, p. 297-302. ISBN 978-83-60810-66-8. Available from: https://dx.doi.org/10.15439/2015F312.

BARNAT, Jiří, Petr ROČKAI, Vladimír ŠTILL and Jiří WEISER. Fast, Dynamically-Sized Concurrent Hash Table. In Bernd Fischer, Jaco Geldenhuys. Model Checking Software. Neuveden: Springer International Publishing, 2015, p. 49-65. ISBN 978-3-319-23403-8. Available from: https://dx.doi.org/10.1007/978-3-319-23404-5_5.

CRISTEA, Adrian and Fotis LIAROKAPIS. Fractal Nature - Generating Realistic Terrains for Games. In Proc. of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015). Skovde, Sweden: IEEE Computer Society, 2015, p. 84-91. ISBN 978-1-4799-8102-1. Available from: https://dx.doi.org/10.1109/VS-GAMES.2015.7295776.

CHALÁS, Igor, Zuzana FERKOVÁ, Katarína FURMANOVÁ, Jiří SOCHOR and Barbora KOZLÍKOVÁ. Generation of variable human faces from 3D scan dataset. In In Proceedings of the 7th International Conference on Games and Virtual Worlds for Serious Applications. Skovde, Sweden: IEEE Computer Society, 2015, p. 38-45. ISBN 978-1-4799-8102-1. Available from: https://dx.doi.org/10.1109/VS-GAMES.2015.7295777.

ANGUIANO, María, Carlos CASTILLA, Martin MAŠKA, Cristina EDERRA, Javier FERNÁNDEZ-MARQUÉS, Rafael PELÁEZ, Ana ROUZAUT, Arrate MUÑOZ-BARRUTIA, Michal KOZUBEK and Carlos ORTIZ-DE-SOLÓRZANO. Characterization of the Role of Collagen Network Structure and Composition in Cancer Cell Migration. Online. In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Milano: IEEE, 2015, p. 8139-8142. ISBN 978-1-4244-9271-8. Available from: https://dx.doi.org/10.1109/EMBC.2015.7320283.

VALČÍK, Jakub, Jan SEDMIDUBSKÝ and Pavel ZEZULA. Improving Kinect-Skeleton Estimation. In S. Battiato et al. Advanced Concepts for Intelligent Vision Systems (ACIVS 2015), LNCS 9386. Switzerland: Springer, 2015, p. 575-587. ISBN 978-3-319-25902-4. Available from: https://dx.doi.org/10.1007/978-3-319-25903-1_50.

RAMBOUSEK, Adam and Aleš HORÁK. Management and Publishing of Multimedia Dictionary of the Czech Sign Language. In Chris Biemann, Siegfried Handschuh, André Freitas, Farid Meziane, Elisabeth Métais. Natural Language Processing and Information Systems, NLDB 2015. Heidelberg: Springer International Publishing, 2015, p. 399-403. ISBN 978-3-319-19580-3. Available from: https://dx.doi.org/10.1007/978-3-319-19581-0_37.

NÁLEPA, Filip, Michal BATKO and Pavel ZEZULA. Model for Performance Analysis of Distributed Stream Processing Applications. In Chen, Qiming and Hameurlain, Abdelkader and Toumani, Farouk and Wagner, Roland and Decker, Hendrik. Database and Expert Systems Applications. Cham: Springer International Publishing, 2015, p. 520-533. ISBN 978-3-319-22851-8. Available from: https://dx.doi.org/10.1007/978-3-319-22852-5_42.

PELÁNEK, Radek. Modeling Students' Memory for Application in Adaptive Educational Systems. Online. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society, 2015, p. 480-483. ISBN 978-84-606-9425-0.

KRÁL, Jaroslav and Žemlička MICHAL. Novel Software Engineering Attitudes for Bussiness-Oriented Information Systems. In Computational Science and Its Applications -- ICCSA 2015. Banff, AB, Canada: Springer, 2015, p. 193-205. ISBN 978-3-319-21412-2. Available from: https://dx.doi.org/10.1007/978-3-319-21413-9_14.

SVOBODA, David, Vladimír ULMAN and Igor PETERLÍK. On Proper Simulation of Chromatin Structure in Static Images As Well As in Time-Lapse Sequences in Fluorescence Microscopy. In Proceedings of 2015 IEEE International Symposium on Biomedical Imaging. Stoughton (WI, USA): Engineering in Medicine and Biology Society, 2015, p. 712-716. ISBN 978-1-4799-2374-8. Available from: https://dx.doi.org/10.1109/ISBI.2015.7163972.

BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR and Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Heidelberg, New York, Dordrecht, London: Springer International Publishing, 2015, p. 66-83. ISBN 978-3-319-23403-8. Available from: https://dx.doi.org/10.1007/978-3-319-23404-5_6.

FILIPOVIČ, Jiří and Siegfried BENKNER. OpenCL Kernel Fusion for GPU, Xeon Phi and CPU. In Proceedings of IEEE International Symposium on Computer Architecture and High Performance Computing. Florianópolis: IEEE, 2015, p. 98-105. ISSN 1550-6533. Available from: https://dx.doi.org/10.1109/SBAC-PAD.2015.29.

BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort. Quantitative Evaluation of Systems. BERLIN: SPRINGER-VERLAG BERLIN, 2015, p. 141-159. ISBN 978-3-319-22263-9. Available from: https://dx.doi.org/10.1007/978-3-319-22264-6_10.

BRIM, Luboš, Milan ČEŠKA, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Parameter Synthesis by Parallel Coloured CTL Model Checking. In Roux, Olivier and Bourdon, Jérémie. Computational Methods in Systems Biology. Neuveden: Springer International Publishing, 2015, p. 251-263. ISBN 978-3-319-23400-7. Available from: https://dx.doi.org/10.1007/978-3-319-23401-4_21.

O'CONNOR, Stuart, Fotis LIAROKAPIS and Jayne CHRISINA. Perceived Realism of Crowd Behaviour with Social Forces. In Proc. of the 19th International Conference on Information Visualisation (IV 2015). Barcelona, Spain: IEEE Computer Society, 2015, p. 494-499. ISBN 978-1-4673-7568-9. Available from: https://dx.doi.org/10.1109/iV.2015.88.

PITNER, Tomáš and Tomáš LUDÍK. Process design patterns in emergency management. In Hrebicek J.,Denzer R.,Schimak G.,Argent R.M. 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015. New York, USA: Springer New York LLC, 2015, p. 434-444. ISBN 978-3-319-15993-5. Available from: https://dx.doi.org/10.1007/978-3-319-15994-2_44.

NGUYEN, Filip, Tomáš REBOK, Richard LUDVIGH and Václav TUNKA. Ruby Benchmark Suite using Docker. Online. In M. Ganzha, L. Maciaszek, M. Paprzycki. Annals of Computer Science and Information Systems, Volume 5. 2015th ed. Poland: IEEE, 2015, p. 947-952. ISBN 978-83-60810-66-8. Available from: https://dx.doi.org/10.15439/2015F99.

BUDÍKOVÁ, Petra, Michal BATKO, Jan BOTOREK and Pavel ZEZULA. Search-based image annotation: Extracting semantics from similar images. In Experimental IR Meets Multilinguality, Multimodality, and Interaction - 6th International Conference of the CLEF Association, CLEF 2015. Toulouse, France: Springer, 2015, p. 327-339. ISBN 978-3-319-24026-8. Available from: https://dx.doi.org/10.1007/978-3-319-24027-5_36.

BAISA, Vít, Jane BRADBURY, Silvie CINKOVÁ, Ismaïl EL MAAROUF, Adam KILGARRIFF and Octavian POPESCU. SemEval-2015 Task 15: A CPA dictionary-entry-building task. Online. In Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). Denver, Colorado: Association for Computational Linguistics, 2015, p. 315-324. ISBN 978-1-941643-40-2.

BUKAČ, Vít, Vlasta ŠŤAVOVÁ, Lukáš NĚMEC, Zdeněk ŘÍHA and Václav MATYÁŠ. Service in denial – clouds going with the winds. In Qiu, M., Xu, S., Yung, M., Zhang, H. Network and System Security, 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings. 1st ed. Switzerland: Springer International Publishing, 2015, p. 130-143. ISBN 978-3-319-25644-3. Available from: https://dx.doi.org/10.1007/978-3-319-25645-0_9.

ŘIHÁK, Jiří, Radek PELÁNEK and Juraj NIŽNAN. Student Models for Prior Knowledge Estimation. Online. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society, 2015, p. 109-116. ISBN 978-84-606-9425-0.

ROČKAI, Petr, Vladimír ŠTILL and Jiří BARNAT. Techniques for Memory-Efficient Model Checking of C and C++ Code. In Radu Calinescu, Bernhard Rumpe. Software Engineering and Formal Methods. Neuveden: Springer International Publishing, 2015, p. 268-282. ISBN 978-3-319-22968-3. Available from: https://dx.doi.org/10.1007/978-3-319-22969-0_19.

SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ and Calin BELTA. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. Online. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015, p. 259-268. ISBN 978-1-4503-3433-4. Available from: https://dx.doi.org/10.1145/2728606.2728608.

VOURVOPOULOS, Athanasios, Fotis LIAROKAPIS and Mon-Chu CHEN. The Effect of Prior Gaming Experience in Motor Imagery Training for Brain-Computer Interfaces: A Pilot Study. In Proc. of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015). Skovde, Sweden: IEEE Computer Society, 2015, p. 139-146. ISBN 978-1-4799-8102-1. Available from: https://dx.doi.org/10.1109/VS-GAMES.2015.7295789.

LARJOMAA, Tommi and Alexandru POPA. The Min-max Edge q-Coloring Problem. In 25th International Workshop, IWOCA 2014, LNCS 8986. Duluth, MN, USA: Springer, 2015, p. 226-237. ISBN 978-3-319-19314-4. Available from: https://dx.doi.org/10.1007/978-3-319-19315-1_20.

PETERLÍK, Igor and Antonín KLÍMA. Towards an efficient data assimilation in physically-based medical simulations. Online. In Bin Ma et al. Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2015. Washington, D.C. , USA: IEEE, 2015, p. 1412-1419. ISBN 978-1-4673-6798-1. Available from: https://dx.doi.org/10.1109/BIBM.2015.7359884.

ULMAN, Vladimír, Zoltán ORÉMUŠ and David SVOBODA. TRAgen: A Tool for Generation of Synthetic Time-Lapse Image Sequences of Living Cells. In Vittorio Murino, Enrico Puppo, Gianni Vernazza. Proceedings of 18th International Conference on Image Analysis and Processing. Heidelberg, Německo: Springer International Publishing, 2015, p. 623-634. ISBN 978-3-319-23230-0. Available from: https://dx.doi.org/10.1007/978-3-319-23231-7_56.

GÉRYK, Jan. Using Visual Analytics Tool for Improving Data Comprehension. Online. In Olga C. Santos, Jesus G. Boticario, Cristobal Romero, Mykola Pechenizkiy, Agathe Merceron, Piotr Mitros, José María Luna, Cristian Mihaescu, Pablo Moreno, Arnon Hershkovitz, Sebastian Ventura, and Michel Desmarais. Proceedings for the 8th International Conference on Educational Data Mining (EDM 2015). Madrid, Spain: International Educational Data Mining Society, 2015, p. 327-334. ISBN 978-84-606-9425-0.

ORDYNIAK, Sebastian and Alexandru POPA. A Parameterized Study of Maximum Generalized Pattern Matching Problems. In Marek Cygan and Pinar Heggernes. Lecture Notes in Computer Science. Wroclaw: Springer, 2014, p. 270-281. ISBN 978-3-319-13523-6. Available from: https://dx.doi.org/10.1007/978-3-319-13524-3_23.

KŮR, Jiří and Václav MATYÁŠ. A protocol for intrusion detection in location privacy-aware wireless sensor networks. In Eckert, Claudia, Katsikas, Sokratis K., Pernul, Günther. Trust, Privacy, and Security in Digital Business, 11th International Conference, TrustBus 2014. Heidelberg: Springer, 2014, p. 180-190. ISBN 978-3-319-09769-5. Available from: https://dx.doi.org/10.1007/978-3-319-09770-1_16.

PELÁNEK, Radek, Jan PAPOUŠEK and Vít STANISLAV. Adaptive Practice of Facts in Domains with Varied Prior Knowledge. Online. In John Stamper, Zachary Pardos, Manolis Mavrikis, Bruce M. McLaren. Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). London, United Kingdom: International Educational Data Mining Society, 2014, p. 6-13. ISBN 978-0-9839525-4-1.

ADAMASZEK, Anna and Alexandru POPA. Algorithmic and Hardness Results for the Colorful Components Problems. In 11th Latin American Theoretical Informatics Symposium, LATIN 2014. Berlin: Springer, 2014, p. 683-694. ISBN 978-3-642-54422-4. Available from: https://dx.doi.org/10.1007/978-3-642-54423-1_59.

PALA, Karel and Ondřej SVOBODA. An Experiment with Theme–Rheme Identification (An Experiment with Theme–Rheme Identification.). In Sojka, P., Horák, A., Kopeček, I., Pala, K. An Experiment with Theme–Rheme Identification. první. Berlin, Heidelberg: Springer Verlag, 2014, p. 275-284. ISBN 978-3-319-10815-5. Available from: https://dx.doi.org/10.1007/978-3-319-10816-2_34.

NEVĚŘILOVÁ, Zuzana. Annotation Game for Textual Entailment Evaluation. In Alexander F. Gelbukh. 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Heidelberg: Springer, 2014, p. 340-350. ISBN 978-3-642-54905-2. Available from: https://dx.doi.org/10.1007/978-3-642-54906-9_28.

PELÁNEK, Radek. Application of Time Decay Functions and the Elo System in Student Modeling. Online. In John Stamper, Zachary Pardos, Manolis Mavrikis, Bruce M. McLaren. Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). 2014th ed. London, United Kingdom: International Educational Data Mining Society, 2014, p. 21-27. ISBN 978-0-9839525-4-1.

RYGL, Jan. Automatic Adaptation of Author's Stylometric Features to Document Types. In Petr Sojka; Aleš Horák; Ivan Kopeček; Karel Pala. Text, Speech, and Dialogue - 17th International Conference. 8655th ed. Switzerland: Springer International Publishing, 2014, p. 53-61. ISBN 978-3-319-10815-5. Available from: https://dx.doi.org/10.1007/978-3-319-10816-2_7.

WANG, Rui, Zdeňka SITOVÁ, Xiaoqing JIA, Xiang HE, Tobi ABRAMSON, Paolo GASTI, Kiran S. BALAGANI and Aydin FARAJIDAVAR. Automatic Identification of Solid-Phase Medication Intake Using Wireless Wearable Accelerometers. In 36th Annual International IEEE Engineering in Medicine and Biology Society Conference (EMBS), 2014. New York: IEEE, 2014, p. 4168-4171. ISBN 978-1-4244-7929-0. Available from: https://dx.doi.org/10.1109/EMBC.2014.6944542.

SÝS, Marek, Petr ŠVENDA, Martin UKROP and Václav MATYÁŠ. Constructing empirical tests of randomness. In Mohammad S. Obaidat, Andreas Holzinger and Pierangela Samarati. SECRYPT 2014 Proceedings of the 11th International Conference on Security and Cryptography. Portugal: SCITEPRESS – Science and Technology Publications, 2014, p. 229-237. ISBN 978-989-758-045-1. Available from: https://dx.doi.org/10.5220/0005023902290237.

TOVARŇÁK, Daniel and Tomáš PITNER. Continuous Queries over Distributed Streams of Heterogeneous Monitoring Data in Cloud Datacenters. In Andreas Holzinger, Therese Libourel, Leszek Maciaszek and Stephen Mellor. ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications. Portugalsko: SCITEPRESS, 2014, p. 470-481. ISBN 978-989-758-036-9. Available from: https://dx.doi.org/10.5220/0005095504700481.

BYDŽOVSKÁ, Hana and Lubomír POPELÍNSKÝ. Course Recommendation from Social Data. In Susan Zvacek, Maria Teresa Restivo, James Uhomoibhi and Markus Helfert. 6th International Conference on Computer Supported Education - CSEDU 2014. Portugal: 2014 SCITEPRESS – Science and Technology Publications, 2014, p. 268-275. ISBN 978-989-758-020-8.

HAMŘÍK, Pavel, Ivan KOPEČEK, Radek OŠLEJŠEK and Jaromír PLHÁK. Dialogue-based Information Retrieval from Images. In Computers Helping People with Special Needs:14th International Conference, ICCHP 2014. LNCS, vol. 8547. Switzerland: Springer International Publishing, 2014, p. 85-92. ISBN 978-3-319-08595-1. Available from: https://dx.doi.org/10.1007/978-3-319-08596-8_13.

EL MAAROUF, Ismaïl, Bradbury JANE, Vít BAISA and Patrick HANKS. Disambiguating Verbs by Collocation: Corpus Lexicography meets Natural Language Processing. Online. In Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Thierry Declerck and Hrafn Loftsson and Bente Maegaard and Joseph Mariani and Asuncion Moreno and Jan Odijk and Stelios Piperidis. Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14). Reykjavik, Iceland: European Language Resources Association (ELRA), 2014, p. 1001-1006. ISBN 978-2-9517408-8-4.

BYDŽOVSKÁ, Hana, Tomáš OBŠÍVAČ and Michal BRANDEJS. Do Desperate Students Trade Their Privacy for a Hope? An Evidence of the Privacy Settings Influence on the User Performance. In Slimane Hammoudi, Leszek Maciaszek and José Cordeiro. Proceedings of the 16th International Conference on Enterprise Information Systems - ICEIS 2014. Portugal: 2014 SCITEPRESS – Science and Technology Publications, 2014, p. 156-161. ISBN 978-989-758-029-1. Available from: https://dx.doi.org/10.5220/0004972101560161.

KRÁL, Jaroslav and Michal ŽEMLIČKA. Experience with Real-Life Students' Projects. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki (Eds.). Proceedings of the 2014 Federated Conference on Computer Science and Information Systems. 1st ed. Warsaw, Poland: IEEE, 2014, p. 827-833. ISBN 978-83-60810-58-3. Available from: https://dx.doi.org/10.15439/2014F257.

KILGARRIFF, Adam, Pavel RYCHLÝ, Miloš JAKUBÍČEK, Vojtěch KOVÁŘ, Vít BAISA and Lucia KOCINCOVÁ. Extrinsic Corpus Evaluation with a Collocation Dictionary Task. Online. In Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Thierry Declerck and Hrafn Loftsson and Bente Maegaard and Joseph Mariani and Asuncion Moreno and Jan Odijk and Stelios Piperidis. Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14). Reykjavik, Iceland: European Language Resources Association (ELRA), 2014, p. 1-8. ISBN 978-2-9517408-8-4.

ORDYNIAK, Sebastian, Jakub GAJARSKÝ, Felix REIDL, Peter ROSSMANITH, Jan OBDRŽÁLEK and Fernando SÁNCHEZ VILAAMIL. Finite Integer Index of Pathwidth and Treewidth. In Marek Cygan and Pinar Heggernes. IPEC 2014, LNCS 8246. Wroclaw: Springer, 2014, p. 258-269. ISBN 978-3-319-13523-6. Available from: https://dx.doi.org/10.1007/978-3-319-13524-3_22.

ŽEMLIČKA, Michal and Jaroslav KRÁL. Flexible Business-Oriented Service Interfaces in Information Systems. In J. Filipe, L. Maciaszek. 9th International Conference on Evaluation of Novel Approaches to Software Engineering. 1st ed. Lisabon: SCITEPRESS -- Science and Technology Publications, 2014, p. 164-171. ISBN 978-989-758-030-7. Available from: https://dx.doi.org/10.5220/0004888901640171.

VACULÍK, Karel and Lubomír POPELÍNSKÝ. Graph Mining for Automatic Classification of Logical Proofs. In Susan Zvacek, Maria Teresa Restivo, James Uhomoibhi and Markus Helfert. 6th International Conference on Computer Supported Education - CSEDU 2014. Portugal: 2014 SCITEPRESS – Science and Technology Publications, 2014, p. 268-275. ISBN 978-989-758-020-8.

BOJAR, Ondřej, Vojtěch DIATKA, Pavel RYCHLÝ, Pavel STRAŇÁK, Vít SUCHOMEL, Aleš TAMCHYNA and Daniel ZEMAN. HindEnCorp – Hindi-English and Hindi-only Corpus for Machine Translation. Online. In Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Thierry Declerck and Hrafn Loftsson and Bente Maegaard and Joseph Mariani and Asuncion Moreno and Jan Odijk and Stelios Piperidis. Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14). Reykjavik, Iceland: European Language Resources Association (ELRA), 2014, p. 3550-3555. ISBN 978-2-9517408-8-4.

ŠEVČÍK, Jonáš. Indoor Pedestrian Localization for Mobile Devices : The model. Online. In Andreas Holzinger, Therese Libourel, Leszek Maciaszek and Stephen Mellor. Proceedings of the 9th International Conference on Software Engineering and Applications. Portugal: SCITEPRESS, 2014, p. 488-493. ISBN 978-989-758-036-9. Available from: https://dx.doi.org/10.5220/0005104604880493.

BIRCH, Sine V., Thomas S. JACOBSEN, Jacob J. JENSEN, Christoffer MOESGAARD, Niels N. SAMUELSEN and Jiří SRBA. Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. In Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'14). Nizozemsko: Springer-Verlag, 2014, p. 237-251. ISBN 978-3-319-10511-6. Available from: https://dx.doi.org/10.1007/978-3-319-10512-3_17.

BLAHOUDEK, František, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Is there a best Büchi automaton for explicit model checking? In Neha Rungta and Oksana Tkachuk. 2014 International SPIN Symposium on Model Checking of Software. New York: ACM, 2014, p. 68-76. ISBN 978-1-4503-2452-6. Available from: https://dx.doi.org/10.1145/2632362.2632377.

RŮŽIČKA, Michal, Petr SOJKA and Martin LÍŠKA. Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy. In Noriko Kando, Hideo Joho, Kazuaki Kishida. Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2014, p. 127-134. ISBN 978-4-86049-065-2.

FENNER, T., O. LACHISCH and Alexandru POPA. Min-sum 2-paths problems. In 11th International Workshop on Approximation and Online Algorithms, WAOA 2013, LNCS 8447. Sophia Antipolis; France: Springer, 2014, p. 1-11. ISBN 978-3-319-08000-0. Available from: https://dx.doi.org/10.1007/978-3-319-08001-7_1.

BARNAT, Jiří, Petr BAUCH and Vojtěch HAVEL. Model Checking Parallel Programs with Inputs. Online. In Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). Turin: IEEE Computer Society, 2014, p. 756-759. ISSN 1066-6192. Available from: https://dx.doi.org/10.1109/PDP.2014.44.

SOROKIN, Dmitry, Marco TEKTONIDIS, Karl ROHR and Pavel MATULA. NON-RIGID CONTOUR-BASED TEMPORAL REGISTRATION OF 2D CELL NUCLEI IMAGES USING THE NAVIER EQUATION. Online. In IEEE International Symposium on Biomedical Imaging: Nano to Macro. Beijing: IEEE, 2014, p. 746-749. ISBN 978-1-4673-1959-1. Available from: https://dx.doi.org/10.1109/ISBI.2014.6867978.

BEZDĚK, Peter, Nikola BENEŠ, Vojtěch HAVEL, Jiří BARNAT and Ivana ČERNÁ. On Clock-Aware LTL Properties of Timed Automata. In Gabriel Ciobanu, Dominique Méry. Theoretical Aspects of Computing – ICTAC 2014. Neuveden: Springer International Publishing, 2014, p. 43-60. ISBN 978-3-319-10881-0. Available from: https://dx.doi.org/10.1007/978-3-319-10882-7_4.

KOPEČEK, Ivan, Radek OŠLEJŠEK and Jaromír PLHÁK. Ontology Based Strategies for Supporting Communication within Social Networks. In 17th International Conference on Text, Speech and Dialogue. Berlin Heidelber: Springer-Verlag, 2014, p. 571-578. ISBN 978-3-319-10815-5. Available from: https://dx.doi.org/10.1007/978-3-319-10816-2_69.

GEŠVINDR, David, Barbora BÜHNOVÁ and Jan ROSECKÝ. Overview of Research Challenges towards Smart Grid Quality by Design. Online. In Proceedings of the 2014 Federated Conference on Computer Science and Information Systems. Neuveden: IEEE, 2014, p. 1497-1504. ISBN 978-83-60810-58-3. Available from: https://dx.doi.org/10.15439/2014F318.

NEVĚŘILOVÁ, Zuzana. Paraphrase and Textual Entailment Generation. In Petr Sojka; Aleš Horák; Ivan Kopeček; Karel Pala. Proceedings of 17th International Conference on Text, Speech, and Dialogue, TSD 2014. Switzerland: Springer International Publishing, 2014, p. 293-300. ISBN 978-3-319-10815-5. Available from: https://dx.doi.org/10.1007/978-3-319-10816-2_36.

KOVÁŘ, Vojtěch. Partial Grammar Checking for Czech Using the SET Parser. In 17th International Conference, TSD 2014. prvni. Berlin Heidelberg: Springer Verlag, 2014, p. 308-314. ISBN 978-3-319-10815-5. Available from: https://dx.doi.org/10.1007/978-3-319-10816-2_38.

ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA and Nicola PAOLETTI. Precise Parameter Synthesis for Stochastic Biochemical Systems. In Computational Methods in Systems Biology. Switzerland: Springer International Publishing, 2014, p. 86-98. ISBN 978-3-319-12981-5. Available from: https://dx.doi.org/10.1007/978-3-319-12982-2_7.

NOVÁK, David and Pavel ZEZULA. Rank Aggregation of Candidate Sets for Efficient Similarity Search. In 25th International Conference on Database and Expert Systems Applications (DEXA 2014 ). Haidelberg: Springer International Publishing Switzerland, 2014, p. 42-58. ISBN 978-3-319-10084-5. Available from: https://dx.doi.org/10.1007/978-3-319-10085-2_4.

ASFAND-E-YAR, Muhammad, Adam KUČERA and Tomáš PITNER. Semantic Web Technology for Building Information Model. Online. In Andreas Holzinger, Thérèse Libourel, Leszek A. Maciaszek, Stephen J. Mellor. Proceedings of the 9th International Conference on Software Engineering and Applications, Vienna, Austria. Neuveden: SciTePress, 2014, p. 109-116. ISBN 978-989-758-036-9. Available from: https://dx.doi.org/10.5220/0004999201090116.

BALÁŽIA, Michal, Jan SEDMIDUBSKÝ and Pavel ZEZULA. Semantically Consistent Human Motion Segmentation. In Hendrik Decker, Lenka Lhotská, Sebastian Link, Marcus Spies, Roland R. Wagner. Proceedings of 25th International Conference on Database and Expert Systems Applications (DEXA 2014). LNCS 8644. Switzerland: Springer, 2014, p. 423-437. ISBN 978-3-319-10072-2. Available from: https://dx.doi.org/10.1007/978-3-319-10073-9_36.

KRÁL, Jaroslav and Michal ŽEMLIČKA. Simplifying maintenance by application of architectural services. In B. Murgante, S. Misra, A. M. Rocha, C. Torre, J. Rocha, M. Falcao, D. Taniar, B. Apduhan, and O. Gervasi. InComputational Science and Its Application - ICCSA 2014, Part V, volume 8583 of Lecture Notes in Computer Science. 1st ed. Berlin Heidelberg: Springer, 2014, p. 476-491. ISBN 978-3-319-09155-6. Available from: https://dx.doi.org/10.1007/978-3-319-09156-3_34.

PRÝMEK, Miroslav, Aleš HORÁK, Lukáš PROKOP and Stanislav MIŠÁK. Smart Home Modeling with Real Appliances. In International Conference SOCO’13. Berlin Heidelberg: Springer, 2014, p. 369-378. ISBN 978-3-319-01853-9. Available from: https://dx.doi.org/10.1007/978-3-319-01854-6_38.

MATEO, Jose A., Jiří SRBA and Mathias SOERENSEN. Soundness of Timed-Arc Workflow Nets. In Proceedings of the 35th International Conference on Application and Theory of {P}etri Nets and Concurrency ({ICATPN}'14). Nizozemsko: Springer-Verlag, 2014, p. 51-70. ISBN 978-3-319-07733-8. Available from: https://dx.doi.org/10.1007/978-3-319-07734-5_4.

BARNAT, Jiří, Petr BAUCH and Vojtěch HAVEL. Temporal Verification of Simulink Diagrams. Online. In P. J. Clarke et al. Proceedings of HASE 2014. Miami: IEEE Computer Society, 2014, p. 81-88. ISBN 978-1-4799-3465-2. Available from: https://dx.doi.org/10.1109/HASE.2014.20.

SINGHA ROY, Nivir Kanti and Bruno ROSSI. Towards an Improvement of Bug Severity Classification. In 40th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2014. Verona: IEEE, 2014, p. 269-276. ISBN 978-1-4799-5794-1. Available from: https://dx.doi.org/10.1109/SEAA.2014.51.

MERA PÉREZ, David, Michal BATKO and Pavel ZEZULA. Towards Fast Multimedia Feature Extraction: Hadoop or Storm. In Qiong Liu, Mei-Ling Shyu, James Joshi. Proceedings of 2014 IEEE International Symposium on Multimedia (ISM). Washington, DC: IEEE Computer Society Publications, 2014, p. 106-109. ISBN 978-1-4799-4311-1. Available from: https://dx.doi.org/10.1109/ISM.2014.60.

PAKRAY, Partha. Yamraj: Binary-class and Multi-class based Textual Entailment System for Japanese (JA) and Chinese Simplified (CS). In Noriko Kando, Hideo Joho, Kazuaki Kishida. Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2014, p. 298-303. ISBN 978-4-86049-065-2.

PEKÁRKOVÁ, Lucie, Patrícia EIBENOVÁ and Tomáš PITNER. A framework for monitoring and evaluation of learning processes. In Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. Environmental Software Systems. Fostering Information Sharing. Berlin: Springer Berlin Heidelberg, 2013, p. 525-532. ISBN 978-3-642-41150-2. Available from: https://dx.doi.org/10.1007/978-3-642-41151-9_49.

SEDMIDUBSKÝ, Jan, Jakub VALČÍK and Pavel ZEZULA. A Key-Pose Similarity Algorithm for Motion Data Retrieval. In J. Blanc-Talon et al. (Eds.). Proceedings of 12th International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS 2013), LNCS 8192. Switzerland: Springer International Publishing, 2013, p. 669-681. ISBN 978-3-319-02894-1. Available from: https://dx.doi.org/10.1007/978-3-319-02895-8_60.

MAŠKA, Martin, Xabier MORALES, Arrate MUÑOZ-BARRUTIA, Ana ROUZAUT and Carlos ORTIZ-DE-SOLÓRZANO. Automatic Quantification of Filopodia-Based Cell Migration. Online. In 10th IEEE International Symposium on Biomedical Imaging. San Francisco: IEEE, 2013, p. 668-671. ISBN 978-1-4673-6454-6. Available from: https://dx.doi.org/10.1109/ISBI.2013.6556563.

GAMA, Joao, Petr KOSINA and Ezilda ALMEIDA. Avoiding Anomalies in Data Stream Learning. In Johannes Furnkranz, Eyke Hullermeier,Tomoyuki Higuchi. Discovery Science, Proceedings of 16th International Conference DS 2013. Berlin Heidelberg: Springer, 2013, p. 49-63. ISBN 978-3-642-40896-0. Available from: https://dx.doi.org/10.1007/978-3-642-40897-7_4.

BABIAK, Tomáš, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software - 20th International Symposium, SPIN 2013. LNCS 7976. Berlin Heidelberg: Springer, 2013, p. 81-98. ISBN 978-3-642-39175-0. Available from: https://dx.doi.org/10.1007/978-3-642-39176-7_6.

BATKO, Michal, Jan BOTOREK, Petra BUDÍKOVÁ and Pavel ZEZULA. Content-based annotation and classification framework: a general multi-purpose approach. In Proceedings of the 17th International Database Engineering & Applications Symposium. New York, NY, USA: ACM, 2013, p. 58-67. ISBN 978-1-4503-2025-2. Available from: https://dx.doi.org/10.1145/2513591.2513651.

BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ and Zuzana PETRUCHOVÁ. DCCL: Verification of Component Systems with Ensembles. In CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York, NY, USA: ACM, 2013, p. 43-52. ISBN 978-1-4503-2122-8. Available from: https://dx.doi.org/10.1145/2465449.2465453.

KARAS, Pavel, Michal KUDERJAVÝ and David SVOBODA. Deconvolution of huge 3-D images: Parallelization strategies on a multi-GPU system. In Kołodziej, Joanna and Martino, Beniamino and Talia, Domenico and Xiong, Kaiqi. Algorithms and Architectures for Parallel Processing. Neuveden: Springer International Publishing, 2013, p. 279-290. ISBN 978-3-319-03858-2. Available from: https://dx.doi.org/10.1007/978-3-319-03859-9_24.

TSIKERDEKIS, Michail. Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? In P. van E. Boas, F. C. A. Groen, G. F. Italiano, J. Nawrocki, & H. Sack. SOFSEM 2013: Theory and Practice of Computer Science. SOFSEM 2013: Theory and Practice of Comp: Springer Berlin Heidelberg, 2013, p. 552-563. ISBN 978-3-642-35842-5. Available from: https://dx.doi.org/10.1007/978-3-642-35843-2_47.

JAKUBÍČEK, Miloš and Vojtěch KOVÁŘ. Enhancing Czech Parsing with Verb Valency Frames. In CICLing 2013. Greece: Springer Verlag, 2013, p. 282-293. ISBN 978-3-642-37246-9. Available from: https://dx.doi.org/10.1007/978-3-642-37247-6_23.

OBDRŽÁLEK, Jan and Robert GANIAN. Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes. In Thierry Lecroq, Laurent Mouchard. Combinatorial Algorithms 24th International Workshop, IWOCA 2013. Berlin Heidelberg: Springer, 2013, p. 164-177. ISBN 978-3-642-45277-2. Available from: https://dx.doi.org/10.1007/978-3-642-45278-9_15.

WALLETZKÝ, Leonard. HOW TO CREATE AND TEACH MULTIDISCIPLINARY STUDY PROGRAMS. In L. Gómez Chova, A. López Martínez, I. Candel Torres. EDULEARN13: 5TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES. Barcelona: International Association of Technology, Education and Development (IATED), 2013, p. 608-615. ISBN 978-84-616-3822-2.

ROČKAI, Petr, Jiří BARNAT and Luboš BRIM. Improved State Space Reductions for LTL Model Checking of C & C++ Programs. In Guillaume Brat, Neha Rungta, Arnaud Venet. NASA Formal Methods 2013. Neuveden: Springer, 2013, p. 1-15. ISBN 978-3-642-38087-7. Available from: https://dx.doi.org/10.1007/978-3-642-38088-4_1.

PRÝMEK, Miroslav, Aleš HORÁK, Lukáš PROKOP and Stanislav MIŠÁK. Integrating Renewable Energy Sources Using a Smart Household System. In 2013 13 International Conference on Environment and Electrical Engineering, EEEIC 2013. Wroclaw: Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 1-6. ISBN 978-1-4799-2802-6. Available from: https://dx.doi.org/10.1109/EEEIC-2.2013.6737885.

KUČERA, Adam and Tomáš PITNER. Intelligent Facility Management for Sustainability and Risk Management. In Hřebíček, J.; Schimak, G.; Kubásek, M.; Rizzoli, A.E. Environmental Software Systems. Fostering Information Sharing. Berlin Heidelberg: Springer, 2013, p. 608-617. ISBN 978-3-642-41150-2. Available from: https://dx.doi.org/10.1007/978-3-642-41151-9_57.

TŮMOVÁ, Jana, Gavin HALL, Sertac KARAMAN, Emilio FRAZZOLI and Daniela RUS. Least-violating control strategy synthesis with safety rules. In Proceedings of the 16th international conference on Hybrid systems: computation and control. New York, NY, USA: ACM, 2013, p. 1-10. ISBN 978-1-4503-1567-8. Available from: https://dx.doi.org/10.1145/2461328.2461330.

JENSEN, Jonas F., Kim G. LARSEN, Jiří SRBA and Lars K. OESTERGAARD. Local Model Checking of Weighted CTL with Upper-Bound Constraints. In Ezio Bartocci and C. R. Ramakrishnan. Proceedings of International SPIN Symposium on Model Checking of Software (SPIN'13). Netherlands: Springer, 2013, p. 178-195. ISBN 978-3-642-39175-0. Available from: https://dx.doi.org/10.1007/978-3-642-39176-7_12.

MAREK, Jiří, Petr HOLUB and Hana RUDOVÁ. Local Search Heuristics for Media Streams Planning Problem. In Leonard Barolli, Fatos Xhafa, Makoto Takizawa, Tomoya Enokido, Hui-Huang Hsu. Proceedings of the 7th IEEE International Conference on Advanced Information Networking and Applications. Washington: IEEE Computer Society, 2013, p. 945-953. ISBN 978-0-7695-4953-8. Available from: https://dx.doi.org/10.1109/AINA.2013.132.

BARNAT, Jiří, Luboš BRIM and Vojtěch HAVEL. LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. In Juan E. Guerrero. Proceedings of Application of Concurrency to System Design, 2013. Barcelona: IEEE Computer Society, 2013, p. 51-59. ISBN 978-0-7695-5035-0. Available from: https://dx.doi.org/10.1109/ACSD.2013.8.

PELÁNEK, Radek, Petr JARUŠEK and Matěj KLUSÁČEK. Modeling Students' Learning and Variability of Performance in Problem Solving. Online. In D’Mello, S. K., Calvo, R. A., and Olney, A. Educational Data Mining. USA: International Educational Data Mining Society, 2013, p. 256-259. ISBN 978-0-9839525-2-7.

STEHLÍK, Martin, Adam SALEH, Andriy STETSKO and Václav MATYÁŠ. Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks. Online. In Pietro Liò, Orazio Miglino, Giuseppe Nicosia, Stefano Nolfi and Mario Pavone. Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. Cambridge, MA 02142-1493 USA: MIT Press, 2013, p. 569-576. ISBN 978-0-262-31709-2. Available from: https://dx.doi.org/10.7551/978-0-262-31709-2-ch082.

KŘETÍNSKÝ, Jan and Salomon SICKERT. On Refinements of Boolean and Parametric Modal Transition Systems. In Z. Liu, J. Woodcock, and H. Zhu. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium. Heidelberg Dordrecht London New York: Springer, 2013, p. 213-230. ISBN 978-3-642-39717-2. Available from: https://dx.doi.org/10.1007/978-3-642-39718-9_13.

GAJARSKÝ, Jakub, Michael LAMPIS and Sebastian ORDYNIAK. Parameterized Algorithms for Modular-Width. In Gutin, Gregory and Szeider, Stefan. Parameterized and Exact Computation. Berlin Heidelberg: Springer International Publishing, 2013, p. 163-176. ISBN 978-3-319-03897-1. Available from: https://dx.doi.org/10.1007/978-3-319-03898-8_15.

ŠEVČÍK, Jonáš. Pedestrian Localization in Closed Environments. In Hřebíček, Jiří and Schimak, Gerald and Kubásek, Miroslav and Rizzoli, Andrea E. Environmental Software Systems. IFIP Advances in Information and Communication Technology. Berlin: Springer, 2013, p. 679-687. ISBN 978-3-642-41150-2. Available from: https://dx.doi.org/10.1007/978-3-642-41151-9_64.

ALUR, Rajeev, Vojtěch FOREJT, Salar MOARREF and Ashutosh TRIVEDI. Safe schedulability of bounded-rate multi-mode systems. In Calin Belta and Franjo Ivancic. Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013. New York, NY, USA: ACM, 2013, p. 243-252. ISBN 978-1-4503-1567-8. Available from: https://dx.doi.org/10.1145/2461328.2461366.

LÍŠKA, Martin, Petr SOJKA and Michal RŮŽIČKA. Similarity Search for Mathematics: Masaryk University team at the NTCIR-10 Math Task. In Noriko Kando, Kazuaki Kishida. Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2013, p. 686-691. ISBN 978-4-86049-062-1.

PRÝMEK, Miroslav and Aleš HORÁK. Smart Household -- Selected Problem Solutions Using Intelligent Controllable Electric Appliances. In Joaquim Filipe and Ana Fred. Proceedings of 5th International Conference on Agents and Artificial Intelligence (ICAART 2013). Barcelona, Spain: SciTePress – Science and Technology Publications, 2013, p. 204-210. ISBN 978-989-8565-38-9.

BRÁZDIL, Tomáš, Taolue CHEN, Vojtěch FOREJT, Petr NOVOTNÝ and Aistis SIMAITIS. Solvency Markov Decision Processes with Interest. Online. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Dagstuhl, Germany: IBFI Schloss Dagstuhl, 2013, p. 487-499. ISBN 978-3-939897-64-4. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.487.

TOVARŇÁK, Daniel, Andrea VAŠEKOVÁ, Svatopluk NOVÁK and Tomáš PITNER. Structured and Interoperable Logging for the Cloud Computing Era: The Pitfalls and Benefits. In Proceedings of 6th IEEE/ACM International Conference on Utility and Cloud Computing. Washington, DC, USA: IEEE Computer Society, 2013, p. 91-98. ISBN 978-0-7695-5152-4. Available from: https://dx.doi.org/10.1109/UCC.2013.30.

SVOBODA, David and Vladimír ULMAN. Towards a Realistic Distribution of Cells in Synthetically Generated 3D Cell Populations. In Alfredo Petrosino. 17th International Conference on Image Analysis and Processing - ICIAP 2013. LNCS 8157, Part II. Berlin, Heidelberg: Springer-Verlag, 2013, p. 429-438. ISBN 978-3-642-41183-0. Available from: https://dx.doi.org/10.1007/978-3-642-41184-7_44.

ŠVENDA, Petr, Martin UKROP and Václav MATYÁŠ. Towards cryptographic function distinguishers with evolutionary circuits. In Pierangela Samarati. Proceedings of SECRYPT 2013, 10th International Conference on Security and Cryptography. Portugal: SCITEPRESS, 2013, p. 135-146. ISBN 978-989-8565-73-0.

MAČKOVÁ TOKÁROVÁ, Lucia and Melius WEIDEMAN. Understanding the process of learning touch-screen mobile applications. Online. In Proceedings of the 31st ACM international conference on Design of communication (SIGDOC 2013). New York: ACM, 2013, p. 157-164. ISBN 978-1-4503-2131-0. Available from: https://dx.doi.org/10.1145/2507065.2507066.