Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2018

  1. NÁLEPA, Filip, Michal BATKO a Pavel ZEZULA. Continuous Time-Dependent kNN Join by Binary Sketches. In Bipin C. Desai. IDEAS 2018 : 22nd International Database Engineering & Applications Symposium, June 18-20, 2018, Villa San Giovanni, Italy. New York: ACM, 2018. s. 64-73, 10 s. ISBN 978-1-4503-6527-7. doi:10.1145/3216122.3216159.
  2. 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. s. 478-485, 654 s. ISBN 978-3-319-94276-6. doi:10.1007/978-3-319-94277-3_74.
  3. NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ a Petr ŠVENDA. Entropy crowdsourcing - protocols for link key updates in wireless sensor networks. In Security Protocols XXVI: 26th International Workshop. Cham, Switzerland: Springer International Publishing, 2018. s. 84-92, 9 s. ISBN 978-3-030-03250-0. doi:10.1007/978-3-030-03251-7_9.
  4. GE, Mouzhi a 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. doi:10.1109/ICSC.2018.00050.
  5. OŠLEJŠEK, Radek, Jan VYKOPAL, Karolína BURSKÁ a Vít RUSŇÁK. Evaluation of Cyber Defense Exercises Using Visual Analytics Process. In Proceedings of the 48th IEEE Frontiers in Education Conference (FIE'18). San Jose, California, USA: IEEE, 2018. s. 1-9, 9 s. ISBN 978-1-5386-1173-9.
  6. BENDÍK, Jaroslav, Nikola BENEŠ a Ivana ČERNÁ. Finding Regressions in Projects under Version Control Systems. In Leszek A. Maciaszek and Marten van Sinderen. 13th International Conference on Software Technologies. Proceedings of the 13th Inte. Porto: SciTePress, 2018. s. 186-197, 12 s. ISBN 978-989-758-320-9. doi:10.5220/0006864401860197.
  7. HLINĚNÝ, Petr, Filip POKRÝVKA a Bodhayan ROY. FO model checking of geometric graphs. In 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). LIPIcs 89. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018. s. "19:1-19:12", 12 s. ISBN 978-3-95977-051-4. doi:10.4230/LIPIcs.IPEC.2017.19.
  8. PERSIA, Fabio, Mouzhi GE a Daniela D'AURIA. How to exploit Recommender Systems in Social Media. In Proceedings of the IEEE 19th International Conference on Information Reuse and Integration for Data Science. : IEEE, 2018. doi:10.1109/IRI.2018.00085.
  9. CAGIRICI, Onur, Petr HLINĚNÝ a Bodhayan ROY. On Colourability of Polygon Visibility Graphs. 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. s. "21:1--21:14", 14 s. ISBN 978-3-95977-055-2. doi:10.4230/LIPIcs.FSTTCS.2017.21.
  10. BENDÍK, Jaroslav, Elaheh GHASSABANI, Michael WHALEN a 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. s. 189-204, 16 s. ISBN 978-3-319-92969-9. doi:10.1007/978-3-319-92970-5_12.
  11. LAŠTOVIČKA, Martin, Tomáš JIRSÍK, Pavel ČELEDA, Stanislav ŠPAČEK a Daniel FILAKOVSKÝ. Passive OS Fingerprinting Methods in the Jungle of Wireless Networks. In NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium. Taipei, Taiwan: IEEE Xplore Digital Library, 2018. s. nestránováno, 9 s. ISBN 978-1-5386-3416-5. doi:10.1109/NOMS.2018.8406262.
  12. SEDMIDUBSKÝ, Jan a 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. s. 50-65, 16 s. ISBN 978-3-319-98811-5.
  13. HA, Hien Thi, Aleš HORÁK, Marek MEDVEĎ a 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. s. 304-312, 9 s. ISBN 978-3-030-00794-2. doi:10.1007/978-3-030-00794-2_33.
  14. CASTILLA, Carlos, Martin MAŠKA, Dmitry SOROKIN, Erik MEIJERING a Carlos ORTIZ-DE-SOLORZANO. Segmentation of Actin-Stained 3D Fluorescent Cells with Filopodial Protrusions using Convolutional Neural Networks. In 15th IEEE International Symposium on Biomedical Imaging. Washington: IEEE, 2018. s. 413-417, 5 s. ISBN 978-1-5386-3636-7. doi:10.1109/ISBI.2018.8363605.
  15. MÍČ, Vladimír, David NOVÁK, Lucia VADICAMO a Pavel ZEZULA. Selecting Sketches for Similarity Search. 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. s. 127-141, 15 s. ISBN 978-3-319-98398-1.
  16. MEDVEĎ, Marek a 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. s. 486-492, 7 s. ISBN 978-989-758-275-2.
  17. POPESCU, Mirona, Mouzhi GE a 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/Springer, 2018. doi:10.5220/0006788801980204.
  18. HUSÁK, Martin a Jaroslav KAŠPAR. Towards Predicting Cyber Attacks Using Information Exchange and Data Mining. In 2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC). Limassol: IEEE, 2018. s. 536-541, 6 s. ISBN 978-1-5386-2070-0. doi:10.1109/IWCMC.2018.8450512.
  19. ŠTĚPÁNEK, Petr a Mouzhi GE. Validation and Extension of the Smart City Ontology. In Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS. Madeira, Portugal: SciTePress, 2018. s. 406-413, 8 s. ISBN 978-989-758-298-1. doi:10.5220/0006818304060413.
  20. UKROP, Martin a Václav MATYÁŠ. Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability. In Nigel P. Smart. Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018. Švýcarsko: Springer International Publishing, 2018. s. 45-64, 514 s. ISBN 978-3-319-76953-0. doi:10.1007/978-3-319-76953-0_3.
  21. 2017

  22. ELIÁŠ, Petr, Jan SEDMIDUBSKÝ a Pavel ZEZULA. A Real-Time Annotation of Motion Data Streams. In 19th IEEE International Symposium on Multimedia. Neuveden: IEEE Computer Society, 2017. s. 154-161, 8 s. ISBN 978-1-5386-2937-6. doi:10.1109/ISM.2017.29.
  23. KRÁL, Jaroslav, Petr NOVÁK a 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. s. 176-187, 12 s. ISBN 978-3-319-62406-8. doi:10.1007/978-3-319-62407-5_12.
  24. SEDMIDUBSKÝ, Jan a Pavel ZEZULA. A Web Application for Subsequence Matching in 3D Human Motion Data. In 19th IEEE International Symposium on Multimedia. Neuveden: IEEE Computer Society, 2017. s. 372-373, 2 s. ISBN 978-1-5386-2937-6. doi:10.1109/ISM.2017.73.
  25. FURMANOVÁ, Katarína, Petra URBANOVÁ a Barbora KOZLÍKOVÁ. AnthroVis: Visual Analysis of 3D Mesh Ensembles for Forensic Anthropology. In Vítezslav Beran, Pavel Zemcík, Ivan Viola, Jirí Bittner, Jaroslav Rozman. Proceedings of the 33rd Spring Conference on Computer Graphics. Brno, Czech Republic: Brno University of Technology, 2017. s. 171-179, 9 s. ISBN 978-1-4503-5107-2. doi:10.1145/3154353.3154363.
  26. SINGHA ROY, Nivir Kanti a Bruno ROSSI. Cost-Sensitive Strategies for Data Imbalance in Bug Severity Classification: Experimental Results. In 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017. Not specified: IEEE, 2017. s. 426-429, 4 s. ISBN 978-1-5386-2140-0. doi:10.1109/SEAA.2017.71.
  27. PAŘILOVÁ, Tereza, Eva HLADKÁ a Pavel ŘÍHA. Designing Fuzzy Apparatus to Model Dyslexic Individual Symptoms for Clinical Use. 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. s. 973-977, 5 s. ISBN 978-1-5386-2165-3. doi:10.1109/FSKD.2017.8393410.
  28. BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a 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. s. 40-56, 17 s. ISBN 978-3-319-67470-4. doi:10.1007/978-3-319-67471-1_3.
  29. KRÁL, Jaroslav, Tomáš PITNER a Michal ŽEMLIČKA. Document-Oriented Middleware: The Way to High-Quality Software. In International Conference on Computational Science and Its Applications. 1. vyd. Cham: Springer, Cham, 2017. s. 607-619, 13 s. ISBN 978-3-319-62403-7. doi:10.1007/978-3-319-62404-4_45.
  30. SEDMIDUBSKÝ, Jan, Petr ELIÁŠ a 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. s. 240-243, 4 s. ISBN 978-1-5386-2937-6. doi:10.1109/ISM.2017.39.
  31. PELÁNEK, Radek a Jiří ŘIHÁK. Experimental Analysis of Mastery Learning Criteria. In Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA: ACM, 2017. s. 156-163, 8 s. ISBN 978-1-4503-4635-1. doi:10.1145/3079628.3079667.
  32. 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 a 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. s. 139-158, 20 s. ISBN 978-3-319-57860-6. doi:10.1007/978-3-319-57861-3_10.
  33. BROŽ, Milan. Extending Full Disk Encryption for the Future. In Stajano, Frank and Anderson, Jonathan and Christianson, Bruce and Matyáš, Vashek. Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers. Cham: Springer International Publishing, 2017. s. 109-115, 7 s. ISBN 978-3-319-71074-7. doi:10.1007/978-3-319-71075-4_13.
  34. PAVELEK, Martin, Zdeněk MATĚJ, Ondřej HERMAN, Filip MRAVEC, Martin VEŠKRNA, František CVACHOVEC, Michal KOŠŤÁL a Václav PŘENOSIL. Fast Digital Spectrometer for Mixed Radiation Fields. In 2017 IEEE SENSORS Proceedings. Piscataway, New Jersey, US: IEEE, 2017. s. 436-438, 3 s. ISBN 978-1-5386-4056-2. doi:10.1109/ICSENS.2017.8234012.
  35. RUČKA, Lukáš a Igor PETERLÍK. Fast reconstruction of image deformation field using radial basis function. In 2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI). Neuveden: IEEE, 2017. s. 1146-1150, 5 s. ISBN 978-1-5090-1171-1. doi:10.1109/ISBI.2017.7950719.
  36. SEDMIDUBSKÝ, Jan, Pavel ZEZULA a Jan ŠVEC. Fast Subsequence Matching in Motion Capture Data. In 21st European Conference on Advances in Databases and Information Systems. Cham: Springer, 2017. s. 59-72, 14 s. ISBN 978-3-319-66916-8. doi:10.1007/978-3-319-66917-5_5.
  37. YANG, Qishan, Mouzhi GE a 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. s. 135-144, 10 s. ISBN 978-989-758-247-9. doi:10.5220/0006334301350144.
  38. ŠTĚPÁNEK, Petr, Mouzhi GE a Leonard WALLETZKÝ. IT-enabled Digital Service Design Principles - Lessons Learned from Digital Cities. In Themistocleous, Marinos, Morabito, Vincenzo. Proceedings of the 14th European Mediterranean & Middle Eastern Conference on Information Systems. Coimbra, Portugal: Springer, 2017. s. 186-196, 11 s. ISBN 978-3-319-65929-9. doi:10.1007/978-3-319-65930-5_15.
  39. VYKOPAL, Jan, Radek OŠLEJŠEK, Pavel ČELEDA, Martin VIZVÁRY a Daniel TOVARŇÁK. KYPO Cyber Range: Design and Use Cases. 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. s. 310-321, 12 s. ISBN 978-989-758-262-2. doi:10.5220/0006428203100321.
  40. VYKOPAL, Jan, Martin VIZVÁRY, Radek OŠLEJŠEK, Pavel ČELEDA a Daniel TOVARŇÁK. Lessons Learned From Complex Hands-on Defence Exercises in a Cyber Range. In 2017 IEEE Frontiers in Education Conference. Indianapolis, IN, USA: IEEE, 2017. s. 1-8, 8 s. ISBN 978-1-5090-5919-5. doi:10.1109/FIE.2017.8190713.
  41. BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a 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. s. 190-206, 17 s. ISBN 978-3-319-66334-0. doi:10.1007/978-3-319-66335-7_12.
  42. PELÁNEK, Radek. Measuring predictive performance of user models: The details matter. In Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization. USA: ACM, 2017. s. 197-201, 5 s. ISBN 978-1-4503-5067-9. doi:10.1145/3099023.3099042.
  43. ŘIHÁK, Jiří a Radek PELÁNEK. Measuring Similarity of Educational Items Using Data on Learners’ Performance. In Proceedings of the 10th International Conference on Educational Data Mining. Wuhan, China.: International Educational Data Mining Society, 2017. s. 16-23, 8 s.
  44. SOROKIN, Dmitry, Igor PETERLÍK, Vladimír ULMAN, David SVOBODA a Martin MAŠKA. Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Motile Cells with Growing Filopodia. In 14th IEEE International Symposium on Biomedical Imaging. Melbourne: IEEE, 2017. s. 822-826, 5 s. ISBN 978-1-5090-1172-8. doi:10.1109/ISBI.2017.7950644.
  45. HUSÁK, Martin, Jaroslav KAŠPAR, Elias BOU-HARB a Pavel ČELEDA. On the Sequential Pattern and Rule Mining in the Analysis of Cyber Security Alerts. In Proceedings of the 12th International Conference on Availability, Reliability and Security. Reggio Calabria: ACM, 2017. s. "22:1"-"22:10", 10 s. ISBN 978-1-4503-5257-4. doi:10.1145/3098954.3098981.
  46. JENSEN, Peter G., Kim G. LARSEN a 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. s. 248-265, 18 s. ISBN 978-3-319-67728-6. doi:10.1007/978-3-319-67729-3_15.
  47. SEDLÁK, Jan a Lubomír POPELÍNSKÝ. Rapid automatic vehicle manufacturer recognition using Random forest. In Bipin C. Desai and Jun Hong and Richard McClatchey. Proceedings of the 21st International Database Engineering Applications Symposium, IDEAS. Bristol: ACM, 2017. s. 161-168, 8 s. ISBN 978-1-4503-5220-8. doi:10.1145/3105831.3105869.
  48. OŠŤÁDAL, Radim, Petr ŠVENDA a Václav MATYÁŠ. Reconsidering Attacker Models in Ad-Hoc Networks. In J Anderson, V Matyáš, B Christianson, F Stajano. Security Protocols XXIV - 24th International Workshop. LNCS 10368. Heidelberg: Springer International Publishing AG, 2017. s. 219-227, 9 s. ISBN 978-3-319-62032-9. doi:10.1007/978-3-319-62033-6_25.
  49. GE, Mouzhi a Fabio PERSIA. Research Challenges in Multimedia Recommender Systems. In Proceedings of the IEEE International Conference on Semantic Computing. San Diego, USA: IEEE, 2017. s. 344-347, 4 s. ISBN 978-1-5090-4896-0. doi:10.1109/ICSC.2017.31.
  50. SCHVARCBACHER, Martin a Bruno ROSSI. Smart Grids Co-Simulations with Low-Cost Hardware. In 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017. Not specified: IEEE, 2017. s. 252-255, 4 s. ISBN 978-1-5386-2140-0. doi:10.1109/SEAA.2017.43.
  51. BOHÁČ, Marek, Michal ROTT a 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. s. 120-128, 9 s. ISBN 978-3-319-64205-5. doi:10.1007/978-3-319-64206-2_14.
  52. SÝS, Marek, Dušan KLINEC a 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. s. 92-103, 12 s. ISBN 978-989-758-259-2. doi:10.5220/0006425100920103.
  53. VÝTVAROVÁ, Eva, Jan FOUSEK, Marek BARTOŇ, Radek MAREČEK, Martin GAJDOŠ, Martin LAMOŠ, Marie NOVÁKOVÁ, Tomáš SLAVÍČEK, Igor PETERLÍK a Michal MIKL. The Impact of Diverse Preprocessing Pipelines on Brain Functional Connectivity. In 25th European Signal Processing Conference (EUSIPCO), Kos, Greece. Kos, Greece: IEEE, 2017. s. 2644-2648, 5 s. ISBN 978-0-9928626-7-1. doi:10.23919/EUSIPCO.2017.8081690.
  54. NÁLEPA, Filip, Michal BATKO a 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. s. 262-277, 16 s. ISBN 978-3-319-66916-8. doi:10.1007/978-3-319-66917-5_18.
  55. ŠTILL, Vladimír, Petr ROČKAI a Jiří BARNAT. Using Off-the-Shelf Exception Support Components in C++ Verification. In IEEE International Conference on Software Quality, Reliability and Security - QRS 2017. Neuveden: IEEE, 2017. s. 54-64, 11 s. ISBN 978-1-5386-0592-9. doi:10.1109/QRS.2017.15.
  56. 2016

  57. FILIPOVIČ, Jiří, Jana PAZÚRIKOVÁ, Aleš KŘENEK a Vojtěch SPIWOK. Accelerated RMSD Calculation for Molecular Metadynamics. In José Évora-Gómez and José Juan Hernandéz-Cabrera. Proceedings of the 2016 European Simulation and Modelling Conference. Ghent, Belgie: EUROSIS - ETI, 2016. s. 278-280, 3 s. ISBN 978-90-77381-95-3.
  58. JURČÍK, Adam, Julius PARULEK, Jiří SOCHOR a Barbora KOZLÍKOVÁ. Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics. In IEEE Pacific Visualization Symposium 2016. Taipei, Taiwan: IEEE, 2016. s. 112-119, 8 s. ISBN 978-1-5090-1451-4. doi:10.1109/PACIFICVIS.2016.7465258.
  59. RYCHLÝ, Pavel a 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. s. 295-302, 8 s. ISBN 978-3-319-45509-9. doi:10.1007/978-3-319-45510-5_34.
  60. 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. s. 279-286, 8 s. ISBN 978-3-319-45509-9. doi:10.1007/978-3-319-45510-5_32.
  61. VONÁSEK, Vojtěch a Barbora KOZLÍKOVÁ. Application of Sampling-based Path Planning for Tunnel Detection in Dynamic Protein Structures. In MMAR: 21st International Conference on Methods and Models in Automation and Robotics. Poland: IEEE, 2016. s. 1010-1015, 6 s. ISBN 978-1-5090-1866-6. doi:10.1109/MMAR.2016.7575276.
  62. MEDVEĎ, Marek a 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. s. 270-278, 9 s. ISBN 978-3-319-45510-5. doi:10.1007/978-3-319-45510-5_31.
  63. OŠŤÁDAL, Radim, Petr ŠVENDA a 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. s. 552-561, 10 s. ISBN 978-3-319-48964-3. doi:10.1007/978-3-319-48965-0_34.
  64. DEDÍK, Václav a Bruno ROSSI. Automated Bug Triaging in an Industrial Context. In Automated Bug Triaging in an Industrial Context. Not specified: IEEE, 2016. s. 363 - 367, 5 s. ISBN 978-1-5090-2819-1. doi:10.1109/SEAA.2016.20.
  65. ŠVEC, Ján a 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. s. 20-27, 8 s. ISBN 978-3-319-45509-9. doi:10.1007/978-3-319-45510-5_3.
  66. ŽEMLIČKA, Michal a 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. s. 350-362, 13 s. ISBN 978-3-319-42091-2. doi:10.1007/978-3-319-42092-9_27.
  67. RUSŇÁK, Vít, Pavel TROUBIL, Eva HLADKÁ, Desana DAXNEROVÁ, Pavel KAJABA, Matej MINÁRIK, Svatoslav ONDRA a Tomáš SKLENÁK. CoUnSiL: A Videoconferencing Environment for Interpretation of Sign Language. In Okyay Kaynak. 2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET). Istanbul, Turkey: IEEE, 2016. s. 1-8, 8 s. ISBN 978-1-5090-0778-3. doi:10.1109/ITHET.2016.7760711.
  68. 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 a Jaromír KALA. CoUnSiL: Collaborative Universe for Remote Interpreting of Sign Language in Higher Education. 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. s. 392-399, 8 s. ISBN 978-3-319-41267-2. doi:10.1007/978-3-319-41267-2_55.
  69. ZIMA, Michal a 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. s. 517-522, 6 s. ISBN 978-1-5090-2088-1. doi:10.1109/HPCSim.2016.7568378.
  70. KOTRBČÍK, Michal, Rastislav KRÁLOVIČ a 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. s. 562-575, 14 s. ISBN 978-3-662-49528-5. doi:10.1007/978-3-662-49529-2_42.
  71. BÄCKSTRÖM, Ola, Yuliya BUTKOVA, Holger HERMANNS, Jan KRČÁL a Pavel KRČÁL. Effective static and dynamic fault tree analysis. In In International Conference on Computer Safety, Reliability, and Security. Berlin: Springer, 2016. s. 266-280, 15 s. ISBN 978-3-319-45476-4. doi:10.1007/978-3-319-45477-1_21.
  72. NÁLEPA, Filip, Michal BATKO a 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. s. 185-200, 16 s. ISBN 978-3-319-44405-5. doi:10.1007/978-3-319-44406-2_14.
  73. BAISA, Vít, Jan MICHELFEIT, Marek MEDVEĎ a Miloš JAKUBÍČEK. European Union Language Resources in Sketch Engine. 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. s. 2799-2803, 5 s. ISBN 978-2-9517408-9-1.
  74. KOVÁŘ, Vojtěch, Jakub MACHURA, Kristýna ZEMKOVÁ a 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. s. 287-294, 8 s. ISBN 978-3-319-45509-9. doi:10.1007/978-3-319-45510-5_33.
  75. PAPOUŠEK, Jan, Vít STANISLAV a Radek PELÁNEK. Evaluation of an Adaptive Practice System for Learning Geography Facts. In Proceedings of the Sixth International Conference on Learning Analytics & Knowledge. Edinburgh, United Kingdom: ACM, 2016. s. 134-142, 9 s. ISBN 978-1-4503-4190-5. doi:10.1145/2883851.2883884.
  76. ČEJKA, Jan. Evaluation of Continuous Collision Detection Accelerated with Tetrahedral Structures. In Proceedings of the 32nd Spring Conference on Computer Graphics (SCCG '16). New York, NY, USA: ACM, 2016. s. 17-23, 7 s. ISBN 978-1-4503-4436-4. doi:10.1145/2948628.2948639.
  77. STŘELÁK, David, Filip ŠKOLA a Fotis LIAROKAPIS. Examining User Experiences in a Mobile Augmented Reality Tourist Guide. 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. s. 1-8, 8 s. ISBN 978-1-4503-4337-4. doi:10.1145/2910674.2935835.
  78. KORENČIAK, Ľuboš, Vojtěch ŘEHÁK a 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. s. 130-138, 9 s. ISBN 978-3-319-33692-3. doi:10.1007/978-3-319-33693-0_9.
  79. BENDÍK, Jaroslav, Nikola BENEŠ, Jiří BARNAT a Ivana ČERNÁ. 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. s. 121-136, 16 s. ISBN 978-3-319-41590-1. doi:10.1007/978-3-319-41591-8_9.
  80. KOVÁŘ, Vojtěch, Monika MOČIARIKOVÁ a 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. s. 391-394, 4 s. ISBN 978-2-9517408-9-1.
  81. CINKOVA, Silvie, Ema KREJČOVÁ, Anna VERNEROVÁ a Vít BAISA. Graded and Word-Sense-Disambiguation Decisions in Corpus Pattern Analysis: a Pilot Study. 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. s. 848-854, 7 s. ISBN 978-2-9517408-9-1.
  82. PAZÚRIKOVÁ, Jana, Aleš KŘENEK a Luděk MATYSKA. Guided Optimization Method for Fast and Accurate Atomic Charges Computation. In José Évora-Gómez and José Juan Hernandéz-Cabrera. Proceedings of the 2016 European Simulation and Modelling Conference. Ghent, Belgicko: EUROSIS - ETI, 2016. s. 267-274, 8 s. ISBN 978-90-77381-95-3.
  83. DEMKO, Martin, Nikola BENEŠ, Luboš BRIM, Samuel PASTVA a 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. s. 82-97, 16 s. ISBN 978-3-319-45176-3. doi:10.1007/978-3-319-45177-0_6.
  84. PELÁNEK, Radek, Jiří ŘIHÁK a Jan PAPOUŠEK. Impact of Data Collection on Interpretation and Evaluation of Student Models. In Proceedings of the Sixth International Conference on Learning Analytics & Knowledge. Edinburgh, United Kingdom: ACM, 2016. s. 40-47, 8 s. ISBN 978-1-4503-4190-5. doi:10.1145/2883851.2883868.
  85. MOŽUCHA, Jakub a Bruno ROSSI. Is Mutation Testing Ready to Be Adopted Industry-Wide? In Product-Focused Software Process Improvement (PROFES). Cham: Springer International Publishing, 2016. s. 217-232, 16 s. ISBN 978-3-319-49093-9. doi:10.1007/978-3-319-49094-6_14.
  86. BEZDĚK, Peter, Nikola BENEŠ, Jiří BARNAT a 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. s. 172-187, 16 s. ISBN 978-3-319-41590-1. doi:10.1007/978-3-319-41591-8_12.
  87. RŮŽIČKA, Michal, Petr SOJKA a Martin LÍŠKA. Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies. In Noriko Kando, Kazuaki Kishida, 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. s. 331-337, 7 s. ISBN 978-4-86049-071-3.
  88. VELAN, Petr, Jana MEDKOVÁ, Tomáš JIRSÍK a Pavel ČELEDA. Network Traffic Characterisation Using Flow-Based Statistics. In Sema Oktug, Mehmet Ulema, Cicek Cavdar, Lisandro Zambenedetti Granville, Carlos Raniery P. dos Santos. IEEE/IFIP Network Operations and Management Symposium 2016 (NOMS 2016). Istanbul, Turkey: IEEE Xplore Digital Library, 2016. s. 907-912, 6 s. ISBN 978-1-5090-0223-8. doi:10.1109/NOMS.2016.7502924.
  89. KOVÁŘ, Vojtěch, Miloš JAKUBÍČEK a 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. s. 540-545, 6 s. ISBN 978-989-758-172-4.
  90. COGILL, Randall, Jakub MAREČEK, Martin MEVISSEN a 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. s. 81-94, 14 s. ISBN 978-0-9929984-1-7.
  91. ANTOL, Matej a 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. s. 60-73, 14 s. ISBN 978-3-319-44038-5. doi:10.1007/978-3-319-44039-2_5.
  92. BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI a 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. s. 244-259, 16 s. ISBN 978-3-319-43424-7. doi:10.1007/978-3-319-43425-4_17.
  93. ZEZULA, Pavel. Similarity searching for Database Applications. In Jaroslav Pokorny, Mirjana Ivanovic, Bernhard Thalheim, and Petr Saloun. Advances in Databases and Information Systems. Berlin: Springer, 2016. s. 3-10, 8 s. ISBN 978-3-319-44038-5. doi:10.1007/978-3-319-44039-2_1.
  94. GHAFIR, Ibrahim, Václav PŘENOSIL, Ahmad ALHEJAILAN a 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. s. 145-149, 5 s. ISBN 978-1-5090-4052-0. doi:10.1109/FiCloud.2016.28.
  95. ŽEMLIČKA, Michal a Jaroslav KRÁL. Software Architecture and Software Quality. In Gervasi O. et al.. Computational Science and Its Applications – ICCSA 2016. Cham, Switzerland: Springer, 2016. s. 139-155, 17 s. ISBN 978-3-319-42091-2. doi:10.1007/978-3-319-42092-9_12.
  96. MRÁZEK, Jan, Petr BAUCH, Henrich LAUKO a 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. s. 208-213, 6 s. ISBN 978-3-319-32581-1. doi:10.1007/978-3-319-32582-8_14.
  97. BURGET, Rostislav a 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. s. 33-44, 12 s. ISBN 978-0-9929984-1-7.
  98. STOKLASA, Roman a Tomáš MAJTNER. Texture Analysis of 3D Fluorescence Microscopy Images Using RSurf 3D Features. In International Symposium on Biomedical Imaging (ISBI'16). Los Alamitos, California: IEEE Computer Society, 2016. s. 1212-1216, 5 s. ISBN 978-1-4799-2350-2. doi:10.1109/ISBI.2016.7493484.
  99. STEHLÍK, Martin, Václav MATYÁŠ a 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. s. 1-6, 6 s. ISBN 978-1-4673-9975-3. doi:10.1109/ICNSC.2016.7478978.
  100. BENDÍK, Jaroslav, Nikola BENEŠ, Ivana ČERNÁ a 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. 65. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016. s. 661-673, 13 s. ISBN 978-3-95977-027-9. doi:10.4230/LIPIcs.FSTTCS.2016.50.
  101. BAISA, Vít, Silvie CINKOVA, Ema KREJČOVÁ a Anna VERNEROVÁ. VPS-GradeUp: Graded Decisions on Usage Patterns. 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. s. 823-827, 5 s. ISBN 978-2-9517408-9-1.
  102. 2015

  103. FILIPOVIČ, Jiří, Jan PLHÁK a 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. s. 47-54, 8 s. ISBN 978-1-4673-7812-3. doi:10.1109/HPCSim.2015.7237020.
  104. ADAMASZEK, Anna, G. BLIN a 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. s. 13-23, 11 s. ISBN 978-3-319-19314-4. doi:10.1007/978-3-319-19315-1_2.
  105. RÁČEK, Jaroslav, Josef DAŇA a Petr ŠTĚPÁNEK. ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING. In INTED2015 Proceedings. Madrid, Spain: IATED, 2015. s. 5516-5521, 6 s. ISBN 978-84-606-5763-7.
  106. STOKLASA, Roman, Lukáš BÁLEK, Pavel KREJČÍ a 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. s. 1447-1451, 5 s. ISBN 978-1-4799-2374-8. doi:10.1109/ISBI.2015.7164149.
  107. ANDERSEN, Jesper R., Nicklas ANDERSEN, Soeren ENEVOLDSEN, Mathias M. HANSEN, Kim G. LARSEN, Simon R. OLESEN, Jiří SRBA a 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. s. 573-582, 10 s. ISBN 978-3-319-25149-3. doi:10.1007/978-3-319-25150-9_33.
  108. BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a Dejan NIČKOVIĆ. Complete Composition Operators for IOCO-Testing Theory. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York, NY, USA: ACM, 2015. s. 101-110, 10 s. ISBN 978-1-4503-3471-6. doi:10.1145/2737166.2737175.
  109. PALA, Karel a 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. s. 515-523, 9 s. ISBN 978-3-319-24032-9. doi:10.1007/978-3-319-24033-6_58.
  110. IVANOVIČ, Mirjana, Stelios XINOGALOS, Tomáš PITNER a Miloš SAVIĆ. Different Aspects of Delivering Programming Courses: Multinational Experiences. In Badica, C., Manoupoulos, Y.. The 7th Balkan Conference in Informatics (BCI 2015). 1. vyd. Craiova: ACM, 2015. s. 371-377, 7 s. ISBN 978-1-4503-3335-1. doi:10.1145/2801081.2801085.
  111. GHAFIR, Ibrahim a 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. s. 613-618, 6 s. ISBN 978-1-4799-5991-4. doi:10.1109/SPIN.2015.7095337.
  112. LIAROKAPIS, Fotis, Athanasios VOURVOPOULOS a 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. s. 488-493, 6 s. ISBN 978-1-4673-7568-9. doi:10.1109/iV.2015.87.
  113. VÍTA, Martin, Martin KOMENDA a Andrea POKORNÁ. Exploring Medical Curricula Using Social Network Analysis Methods. 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. s. 297-302, 6 s. ISBN 978-83-60810-66-8. doi:10.15439/2015F312.
  114. 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 a Carlos ORTIZ-DE-SOLÓRZANO. Characterization of the Role of Collagen Network Structure and Composition in Cancer Cell Migration. In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Milano: IEEE, 2015. s. 8139-8142, 4 s. ISBN 978-1-4244-9271-8. doi:10.1109/EMBC.2015.7320283.
  115. VALČÍK, Jakub, Jan SEDMIDUBSKÝ a Pavel ZEZULA. Improving Kinect-Skeleton Estimation. In S. Battiato et al.. Advanced Concepts for Intelligent Vision Systems (ACIVS 2015), LNCS 9386. Switzerland: Springer, 2015. s. 575-587, 13 s. ISBN 978-3-319-25902-4. doi:10.1007/978-3-319-25903-1_50.
  116. NÁLEPA, Filip, Michal BATKO a 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. s. 520-533, 14 s. ISBN 978-3-319-22851-8. doi:10.1007/978-3-319-22852-5_42.
  117. KRÁL, Jaroslav a Ž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. s. 193-205, 13 s. ISBN 978-3-319-21412-2. doi:10.1007/978-3-319-21413-9_14.
  118. SVOBODA, David, Vladimír ULMAN a 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. s. 712-716, 5 s. ISBN 978-1-4799-2374-8. doi:10.1109/ISBI.2015.7163972.
  119. FILIPOVIČ, Jiří a 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. s. 98 - 105, 8 s. ISSN 1550-6533. doi:10.1109/SBAC-PAD.2015.29.
  120. BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ a 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. s. 141-159, 19 s. ISBN 978-3-319-22263-9. doi:10.1007/978-3-319-22264-6_10.
  121. BRIM, Luboš, Milan ČEŠKA, Martin DEMKO, Samuel PASTVA a 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. s. 251-263, 13 s. ISBN 978-3-319-23400-7. doi:10.1007/978-3-319-23401-4_21.
  122. O'CONNOR, Stuart, Fotis LIAROKAPIS a 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. s. 494-499, 6 s. ISBN 978-1-4673-7568-9. doi:10.1109/iV.2015.88.
  123. BARNAT, Jiří. Quo Vadis Explicit-State Model Checking. In Giuseppe F. Italiano and Tiziana Margaria-Steffen and Jaroslav Pokorný and Jean-Jacques Quisquater and Roger Wattenhofer. SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. Neuveden: Springer, 2015. s. 46-57, 12 s. ISBN 978-3-662-46077-1. doi:10.1007/978-3-662-46078-8_5.
  124. NGUYEN, Filip, Tomáš REBOK, Richard LUDVIGH a Václav TUNKA. Ruby Benchmark Suite using Docker. In M. Ganzha, L. Maciaszek, M. Paprzycki. Annals of Computer Science and Information Systems, Volume 5. 2015. vyd. Poland: IEEE, 2015. s. 947-952, 6 s. ISBN 978-83-60810-66-8. doi:10.15439/2015F99.
  125. BUDÍKOVÁ, Petra, Michal BATKO, Jan BOTOREK a 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. s. 327-339, 13 s. ISBN 978-3-319-24026-8. doi:10.1007/978-3-319-24027-5_36.
  126. BAISA, Vít, Jane BRADBURY, Silvie CINKOVÁ, Ismaïl EL MAAROUF, Adam KILGARRIFF a Octavian POPESCU. SemEval-2015 Task 15: A CPA dictionary-entry-building task. In Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). Denver, Colorado: Association for Computational Linguistics, 2015. s. 315-324, 10 s. ISBN 978-1-941643-40-2.
  127. BUKAČ, Vít, Vlasta ŠŤAVOVÁ, Lukáš NĚMEC, Zdeněk ŘÍHA a 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. 1. vyd. Switzerland: Springer International Publishing, 2015. s. 130-143, 14 s. ISBN 978-3-319-25644-3. doi:10.1007/978-3-319-25645-0_9.
  128. ŘIHÁK, Jiří, Radek PELÁNEK a Juraj NIŽNAN. Student Models for Prior Knowledge Estimation. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society, 2015. s. 109-116, 8 s. ISBN 978-84-606-9425-0.
  129. ROČKAI, Petr, Vladimír ŠTILL a 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. s. 268-282, 15 s. ISBN 978-3-319-22968-3. doi:10.1007/978-3-319-22969-0_19.
  130. SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015. s. 259-268, 10 s. ISBN 978-1-4503-3433-4.
  131. SVOREŇOVÁ, Mária, Martin CHMELÍK, Kevin LEAHY, Hasan Ferit ENISER, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Motion Planning using POMDPs with Parity Objectives. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015. s. 233-238, 6 s. ISBN 978-1-4503-3433-4. doi:10.1145/2728606.2728617.
  132. LARJOMAA, Tommi a Alexandru POPA. The Min-max Edge q-Coloring Problem. In 25th International Workshop, IWOCA 2014, LNCS 8986. Duluth, MN, USA: Springer, 2015. s. 226-237, 12 s. ISBN 978-3-319-19314-4. doi:10.1007/978-3-319-19315-1_20.
  133. PETERLÍK, Igor a Antonín KLÍMA. Towards an efficient data assimilation in physically-based medical simulations. In Bin Ma et al.. Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2015. Washington, D.C. , USA: IEEE, 2015. s. 1412 - 1419, 8 s. ISBN 978-1-4673-6798-1. doi:10.1109/BIBM.2015.7359884.
  134. ULMAN, Vladimír, Zoltán ORÉMUŠ a 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. s. 623-634, 12 s. ISBN 978-3-319-23230-0. doi:10.1007/978-3-319-23231-7_56.
  135. GÉRYK, Jan. Using Visual Analytics Tool for Improving Data Comprehension. 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. s. 327-334, 8 s. ISBN 978-84-606-9425-0.
  136. 2014

  137. ORDYNIAK, Sebastian a 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. s. 270-281, 12 s. ISBN 978-3-319-13523-6. doi:10.1007/978-3-319-13524-3_23.
  138. KŮR, Jiří a 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. s. 180-190, 11 s. ISBN 978-3-319-09769-5. doi:10.1007/978-3-319-09770-1_16.
  139. PELÁNEK, Radek, Jan PAPOUŠEK a Vít STANISLAV. Adaptive Practice of Facts in Domains with Varied Prior Knowledge. 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. s. 6-13, 8 s. ISBN 978-0-9839525-4-1.
  140. ADAMASZEK, Anna a Alexandru POPA. Algorithmic and Hardness Results for the Colorful Components Problems. In 11th Latin American Theoretical Informatics Symposium, LATIN 2014. Berlin: Springer, 2014. s. 683-694, 12 s. ISBN 978-3-642-54422-4. doi:10.1007/978-3-642-54423-1_59.
  141. PALA, Karel a Ondřej SVOBODA. 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. s. 275-284, 10 s. ISBN 978-3-319-10815-5. doi:10.1007/978-3-319-10816-2_34.
  142. 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. s. 340-350, 11 s. ISBN 978-3-642-54905-2. doi:10.1007/978-3-642-54906-9_28.
  143. PELÁNEK, Radek. Application of Time Decay Functions and the Elo System in Student Modeling. In John Stamper, Zachary Pardos, Manolis Mavrikis, Bruce M. McLaren. Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). 2014. vyd. London, United Kingdom: International Educational Data Mining Society, 2014. s. 21-27, 7 s. ISBN 978-0-9839525-4-1.
  144. 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. 8655. vyd. Switzerland: Springer International Publishing, 2014. s. 53-61, 9 s. ISBN 978-3-319-10815-5. doi:10.1007/978-3-319-10816-2_7.
  145. WANG, Rui, Zdeňka SITOVÁ, Xiaoqing JIA, Xiang HE, Tobi ABRAMSON, Paolo GASTI, Kiran S. BALAGANI a 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. s. 4168 - 4171, 4 s. ISBN 978-1-4244-7929-0. doi:10.1109/EMBC.2014.6944542.
  146. EICHLER, Zdenek. Boulevard: Affective Adaptive User Interface. In Juan C. Augusto, Tongzhen Zhang. Volume 18: Workshop Proceedings of the 10th International Conference on Intelligent Environments. Amsterdam: IOS Press, 2014. s. 74 - 79, 6 s. ISBN 978-1-61499-411-4. doi:10.3233/978-1-61499-411-4-74.
  147. SÝS, Marek, Petr ŠVENDA, Martin UKROP a 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. s. 229-237, 9 s. ISBN 978-989-758-045-1. doi:10.5220/0005023902290237.
  148. BYDŽOVSKÁ, Hana a 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. s. 268-275, 8 s. ISBN 978-989-758-020-8.
  149. HAMŘÍK, Pavel, Ivan KOPEČEK, Radek OŠLEJŠEK a 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. s. 85-92, 8 s. ISBN 978-3-319-08595-1. doi:10.1007/978-3-319-08596-8_13.
  150. EL MAAROUF, Ismaïl, Bradbury JANE, Vít BAISA a Patrick HANKS. Disambiguating Verbs by Collocation: Corpus Lexicography meets Natural Language Processing. 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. s. 1001-1006, 6 s. ISBN 978-2-9517408-8-4.
  151. WALLETZKÝ, Leonard. EDUCATION AS SERVICE SYSTEM. In Chova, LG Martinez, AL Torres, IC. INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE. VALENICA: IATED-INT ASSOC TECHNOLOGY EDUCATION A& DEVELOPMENT, 2014. s. 3146-3150, 5 s. ISBN 978-84-616-8412-0.
  152. KRÁL, Jaroslav a 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. 1. vyd. Warsaw, Poland: IEEE, 2014. s. 827-833, 7 s. ISBN 978-83-60810-58-3. doi:10.15439/2014F257.
  153. KILGARRIFF, Adam, Pavel RYCHLÝ, Miloš JAKUBÍČEK, Vojtěch KOVÁŘ, Vít BAISA a Lucia KOCINCOVÁ. Extrinsic Corpus Evaluation with a Collocation Dictionary Task. 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. s. 1-8, 8 s. ISBN 978-2-9517408-8-4.
  154. ORDYNIAK, Sebastian, Jakub GAJARSKÝ, Felix REIDL, Peter ROSSMANITH, Jan OBDRŽÁLEK a Fernando SÁNCHEZ VILAAMIL. Finite Integer Index of Pathwidth and Treewidth. In Marek Cygan and Pinar Heggernes. IPEC 2014, LNCS 8246. Wroclaw: Springer, 2014. s. 258-269, 12 s. ISBN 978-3-319-13523-6. doi:10.1007/978-3-319-13524-3_22.
  155. VACULÍK, Karel a 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. s. 268-275, 8 s. ISBN 978-989-758-020-8.
  156. BOJAR, Ondřej, Vojtěch DIATKA, Pavel RYCHLÝ, Pavel STRAŇÁK, Vít SUCHOMEL, Aleš TAMCHYNA a Daniel ZEMAN. HindEnCorp – Hindi-English and Hindi-only Corpus for Machine Translation. 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. s. 3550-3555, 6 s. ISBN 978-2-9517408-8-4.
  157. BIRCH, Sine V., Thomas S. JACOBSEN, Jacob J. JENSEN, Christoffer MOESGAARD, Niels N. SAMUELSEN a 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. s. 237-251, 15 s. ISBN 978-3-319-10511-6. doi:10.1007/978-3-319-10512-3_17.
  158. RŮŽIČKA, Michal, Petr SOJKA a 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. s. 127-134, 8 s. ISBN 978-4-86049-065-2.
  159. FENNER, T., O. LACHISCH a 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. s. 1-11, 11 s. ISBN 978-3-319-08000-0. doi:10.1007/978-3-319-08001-7_1.
  160. SOROKIN, Dmitry, Marco TEKTONIDIS, Karl ROHR a Pavel MATULA. NON-RIGID CONTOUR-BASED TEMPORAL REGISTRATION OF 2D CELL NUCLEI IMAGES USING THE NAVIER EQUATION. In IEEE International Symposium on Biomedical Imaging: Nano to Macro. Beijing: IEEE, 2014. s. 746-749, 4 s. ISBN 978-1-4673-1959-1. doi:10.1109/ISBI.2014.6867978.
  161. BEZDĚK, Peter, Nikola BENEŠ, Vojtěch HAVEL, Jiří BARNAT a 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. s. 43-60, 18 s. ISBN 978-3-319-10881-0. doi:10.1007/978-3-319-10882-7_4.
  162. KOPEČEK, Ivan, Radek OŠLEJŠEK a 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. s. 571-578, 8 s. ISBN 978-3-319-10815-5. doi:10.1007/978-3-319-10816-2_69.
  163. GEŠVINDR, David, Barbora BÜHNOVÁ a Jan ROSECKÝ. Overview of Research Challenges towards Smart Grid Quality by Design. In Proceedings of the 2014 Federated Conference on Computer Science and Information Systems. Neuveden: IEEE, 2014. s. 1497-1504, 8 s. ISBN 978-83-60810-58-3. doi:10.15439/2014F318.
  164. 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. s. 293-300, 8 s. ISBN 978-3-319-10815-5. doi:10.1007/978-3-319-10816-2_36.
  165. KOVÁŘ, Vojtěch. Partial Grammar Checking for Czech Using the SET Parser. In 17th International Conference, TSD 2014. prvni. Berlin Heidelberg: Springer Verlag, 2014. s. 308-314, 7 s. ISBN 978-3-319-10815-5. doi:10.1007/978-3-319-10816-2_38.
  166. ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA a Nicola PAOLETTI. Precise Parameter Synthesis for Stochastic Biochemical Systems. In Computational Methods in Systems Biology. Switzerland: Springer International Publishing, 2014. s. 86-98, 13 s. ISBN 978-3-319-12981-5. doi:10.1007/978-3-319-12982-2_7.
  167. NOVÁK, David a 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. s. 42-58, 17 s. ISBN 978-3-319-10084-5. doi:10.1007/978-3-319-10085-2_4.
  168. GRUSKA, Jozef. Roads to New Grand Challenges of Informatics. In A. Alhazov, S. Cojocaru, M. Gheorghe, Y. Rogozhin, G. Rozenberg, A. Salomaa. 14th International Conference on Membrane Computing. Berlin: Springer, 2014. s. 10-18, 9 s. ISBN 978-3-642-54238-1. doi:10.1007/978-3-642-54239-8_2.
  169. BALÁŽIA, Michal, Jan SEDMIDUBSKÝ a 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. s. 423-437, 15 s. ISBN 978-3-319-10072-2. doi:10.1007/978-3-319-10073-9_36.
  170. KRÁL, Jaroslav a 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. 1. vyd. Berlin Heidelberg: Springer, 2014. s. 476-491, 16 s. ISBN 978-3-319-09155-6. doi:10.1007/978-3-319-09156-3_34.
  171. PRÝMEK, Miroslav, Aleš HORÁK, Lukáš PROKOP a Stanislav MIŠÁK. Smart Home Modeling with Real Appliances. In International Conference SOCO’13. Berlin Heidelberg: Springer, 2014. s. 369-378, 10 s. ISBN 978-3-319-01853-9. doi:10.1007/978-3-319-01854-6_38.
  172. MATEO, Jose A., Jiří SRBA a 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. s. 51-70, 20 s. ISBN 978-3-319-07733-8. doi:10.1007/978-3-319-07734-5_4.
  173. BARNAT, Jiří, Petr BAUCH a Vojtěch HAVEL. Temporal Verification of Simulink Diagrams. In P. J. Clarke et al.. Proceedings of HASE 2014. Miami: IEEE Computer Society, 2014. s. 81-88, 8 s. ISBN 978-1-4799-3465-2. doi:10.1109/HASE.2014.20.
  174. SINGHA ROY, Nivir Kanti a Bruno ROSSI. Towards an Improvement of Bug Severity Classification. In 40th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2014. Verona: IEEE, 2014. s. 269-276, 8 s. ISBN 978-1-4799-5794-1. doi:10.1109/SEAA.2014.51.
  175. MERA PÉREZ, David, Michal BATKO a 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. s. 106-109, 4 s. ISBN 978-1-4799-4311-1. doi:10.1109/ISM.2014.60.
  176. GÉRYK, Jan a Lubomír POPELÍNSKÝ. Visual Analytics for Increasing Efficiency of Higher Education Institutions. In Witold Abramowicz, Angelika Kokkinaki (Eds.). BIS 2014 International Workshops. Switzerland: Springer International Publishing Switzerland, 2014. s. 117-127, 11 s. ISBN 978-3-319-11459-0. doi:10.1007/978-3-319-11460-6_11.
  177. 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. s. 298-303, 6 s. ISBN 978-4-86049-065-2.
  178. 2013

  179. SEDMIDUBSKÝ, Jan, Jakub VALČÍK a 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. s. 669-681, 13 s. ISBN 978-3-319-02894-1. doi:10.1007/978-3-319-02895-8_60.
  180. MAŠKA, Martin, Xabier MORALES, Arrate MUÑOZ-BARRUTIA, Ana ROUZAUT a Carlos ORTIZ-DE-SOLÓRZANO. Automatic Quantification of Filopodia-Based Cell Migration. In 10th IEEE International Symposium on Biomedical Imaging. San Francisco: IEEE, 2013. s. 668-671, 4 s. ISBN 978-1-4673-6454-6. doi:10.1109/ISBI.2013.6556563.
  181. GAMA, Joao, Petr KOSINA a 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. s. 49-63, 15 s. ISBN 978-3-642-40896-0. doi:10.1007/978-3-642-40897-7_4.
  182. BATKO, Michal, Jan BOTOREK, Petra BUDÍKOVÁ a 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. s. 58-67, 10 s. ISBN 978-1-4503-2025-2. doi:10.1145/2513591.2513651.
  183. BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ a 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. s. 43-52, 10 s. ISBN 978-1-4503-2122-8. doi:10.1145/2465449.2465453.
  184. KARAS, Pavel, Michal KUDERJAVÝ a 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. s. 279-290, 12 s. ISBN 978-3-319-03858-2. doi:10.1007/978-3-319-03859-9_24.
  185. 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. s. 552-563, 12 s. ISBN 978-3-642-35842-5. doi:10.1007/978-3-642-35843-2_47.
  186. JAKUBÍČEK, Miloš a Vojtěch KOVÁŘ. Enhancing Czech Parsing with Verb Valency Frames. In CICLing 2013. Greece: Springer Verlag, 2013. s. 282-293, 12 s. ISBN 978-3-642-37246-9. doi:10.1007/978-3-642-37247-6_23.
  187. OBDRŽÁLEK, Jan a 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. s. 164-177, 14 s. ISBN 978-3-642-45277-2. doi:10.1007/978-3-642-45278-9_15.
  188. 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. s. 608-615, 8 s. ISBN 978-84-616-3822-2.
  189. PRÝMEK, Miroslav, Aleš HORÁK, Lukáš PROKOP a 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. s. 1-6, 6 s. ISBN 978-1-4799-2802-6. doi:10.1109/EEEIC-2.2013.6737885.
  190. TŮMOVÁ, Jana, Gavin HALL, Sertac KARAMAN, Emilio FRAZZOLI a 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. s. 1-10, 10 s. ISBN 978-1-4503-1567-8. doi:10.1145/2461328.2461330.
  191. MAREK, Jiří, Petr HOLUB a 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. s. 945-953, 9 s. ISBN 978-0-7695-4953-8. doi:10.1109/AINA.2013.132.
  192. BARNAT, Jiří, Luboš BRIM a 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. s. 51-59, 9 s. ISBN 978-0-7695-5035-0. doi:10.1109/ACSD.2013.8.
  193. STEHLÍK, Martin, Adam SALEH, Andriy STETSKO a Václav MATYÁŠ. Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks. 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. s. 569-576, 8 s. ISBN 978-0-262-31709-2. doi:10.7551/978-0-262-31709-2-ch082.
  194. KŘETÍNSKÝ, Jan a 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. s. 213-230, 18 s. ISBN 978-3-642-39717-2. doi:10.1007/978-3-642-39718-9_13.
  195. GAJARSKÝ, Jakub, Michael LAMPIS a Sebastian ORDYNIAK. Parameterized Algorithms for Modular-Width. In Gutin, Gregory and Szeider, Stefan. Parameterized and Exact Computation. Berlin Heidelberg: Springer International Publishing, 2013. s. 163-176, 14 s. ISBN 978-3-319-03897-1. doi:10.1007/978-3-319-03898-8_15.
  196. ALUR, Rajeev, Vojtěch FOREJT, Salar MOARREF a 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. s. 243-252, 10 s. ISBN 978-1-4503-1567-8. doi:10.1145/2461328.2461366.
  197. LÍŠKA, Martin, Petr SOJKA a 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. s. 686-691, 6 s. ISBN 978-4-86049-062-1.
  198. PRÝMEK, Miroslav a 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. s. 204-210, 7 s. ISBN 978-989-8565-38-9.
  199. BRÁZDIL, Tomáš, Taolue CHEN, Vojtěch FOREJT, Petr NOVOTNÝ a Aistis SIMAITIS. Solvency Markov Decision Processes with Interest. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Dagstuhl, Germany: IBFI Schloss Dagstuhl, 2013. s. 487-499, 13 s. ISBN 978-3-939897-64-4. doi:10.4230/LIPIcs.FSTTCS.2013.487.
  200. TOVARŇÁK, Daniel, Andrea VAŠEKOVÁ, Svatopluk NOVÁK a 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. s. 91-98, 8 s. ISBN 978-0-7695-5152-4. doi:10.1109/UCC.2013.30.
  201. SVOBODA, David a 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. s. 429-438, 10 s. ISBN 978-3-642-41183-0. doi:10.1007/978-3-642-41184-7_44.
  202. ŠVENDA, Petr, Martin UKROP a 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. s. 135-146, 12 s. ISBN 978-989-8565-73-0.
  203. KŮR, Jiří, Václav MATYÁŠ a Petr ŠVENDA. Two Improvements of Random Key Predistribution for Wireless Sensor Networks. In Angelos D. Keromytis, Roberto Di Pietro. Security and Privacy in Communication Networks, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 106. Berlin: Springer Berlin Heidelberg, 2013. s. 61-75, 15 s. ISBN 978-3-642-36882-0. doi:10.1007/978-3-642-36883-7_5.
  204. MAČKOVÁ TOKÁROVÁ, Lucia a Melius WEIDEMAN. Understanding the process of learning touch-screen mobile applications. In Proceedings of the 31st ACM international conference on Design of communication (SIGDOC 2013). New York: ACM, 2013. s. 157-164, 8 s. ISBN 978-1-4503-2131-0. doi:10.1145/2507065.2507066.
Zobrazit podrobně
Zobrazeno: 26. 4. 2019 12:05