13000 / 13136 - Publications - 2020

13000 / 13136 - Department of Computer Science

Publications 2020

Papers in WoS Journals

BUREŠ, M., et al. Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach. IEEE Transactions on Consumer Electronics. 2020, 66(2), 134-143. ISSN 0098-3063. DOI 10.1109/TCE.2020.2986049.

LEDVINKA, M. and P. KŘEMEN. A comparison of object-triple mapping libraries. Semantic Web. 2020, 11(3), 483-524. ISSN 1570-0844. DOI 10.3233/SW-190345.

Papers in Other Journals

DUDAKOVA, L., et al. Pseudodominant Nanophthalmos in a Roma Family Caused by a Novel PRSS56 Variant. Journal of Ophthalmology. 2020, 2020 1-9. ISSN 2090-0058. DOI 10.1155/2020/6807809. Available from: https://www.hindawi.com/journals/joph/2020/6807809/

Conference Proceedings

LEDVINKA, M., et al. TermIt: A Practical Semantic Vocabulary Manager. In: Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS. 22nd International Conference on Enterprise Information Systems (ICEIS 2020), Prague, 2020-05-05/2020-05-07. Porto: SciTePress - Science and Technology Publications, 2020. p. 759-766. vol. 1. ISBN 978-989-758-423-7. DOI 10.5220/0009563707590766. Available from: https://www.scitepress.org/PublicationsDetail.aspx?ID=9rIct+oAmq0=&t=1

13136 / 13141 - Artificial Intelligence Center

Publications 2020

Papers in WoS Journals

KOVAŘÍK, V. and V. LISÝ. Analysis of Hannan consistent selection for Monte Carlo tree search in simultaneous move games. Machine Learning. 2020, 109(1), 1-50. ISSN 0885-6125. DOI 10.1007/s10994-019-05832-z.

Papers in Other Journals

PETRLÍK, M., et al. A Robust UAV System for Operations in a Constrained Environment. IEEE Robotics and Automation Letters. 2020, 5(2), 2169-2176. ISSN 2377-3766. DOI 10.1109/LRA.2020.2970980. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8979150

Conference Proceedings

CHRPA, L., M. PILÁT, and J. GEMROT. Compiling planning problems with non-deterministic events into FOND planning. In: 2019 Joint RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion and of the RCRA Incontri e Confronti Workshop. Rende, 2019-11-19/2019-11-20. CEUR-WS.org, 2020. ISSN 1613-0073. Available from: http://ceur-ws.org/Vol-2538/paper6.pdf

13136 / 13143 - Intelligent Data Analysis

Publications 2020

Papers in Other Journals

GILL, P.E., V. KUNGURTSEV, and D.P. ROBINSON. A Shifted Primal-Dual Penalty-Barrier Method for Nonlinear Optimization. SIAM Journal on Optimization. 2020, 30(2), 1067-1093. ISSN 1095-7189. DOI 10.1137/19M1247425. Available from: https://epubs.siam.org/doi/abs/10.1137/19M1247425

SUWARTADI, E., V. KUNGURTSEV, and J. JÄSCHKE. Fast Sensitivity-Based Economic Model Predictive Control for Degenerate Systems. Journal of Process Control. 2020, 88 54-62. ISSN 0959-1524. DOI 10.1016/j.jprocont.2020.02.006.

13136 / 13144 - Software Testing Intelligent Lab

Publications 2020

Papers in WoS Journals

BUREŠ, M., et al. Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach. IEEE Transactions on Consumer Electronics. 2020, 66(2), 134-143. ISSN 0098-3063. DOI 10.1109/TCE.2020.2986049.

TRNKA, M., et al. Securing Internet of Things Devices Using The Network Context. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2020, 16(6), 4017-4027. ISSN 1551-3203. DOI 10.1109/TII.2019.2954100.

HASAN, I.H., et al. Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples with a Mixed Neighborhood Tabu Search. International Journal of Software Engineering and Knowledge Engineering. 2020, 30(3), 363-398. ISSN 0218-1940. DOI 10.1142/S0218194020500151.

Conference Proceedings

BUREŠ, M., et al. A Comprehensive View on Quality Characteristics of the IoT Solutions. In: Proceedings of 3rd EAI International Conference on IoT in Urban Space. 3rd EAI International Conference on IoT in Urban Space, Guimarães, 2018-11-21/2018-11-22. Cham: Springer International Publishing, 2020. p. 59-69. ISSN 2522-8609. ISBN 978-3-030-28925-6. DOI 10.1007/978-3-030-28925-6_6. Available from: https://link.springer.com/chapter/10.1007/978-3-030-28925-6_6

13136 / 13145 - Knowledge-based Software Systems

Publications 2020

Conference Proceedings

LEDVINKA, M., et al. TermIt: A Practical Semantic Vocabulary Manager. In: Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS. 22nd International Conference on Enterprise Information Systems (ICEIS 2020), Prague, 2020-05-05/2020-05-07. Porto: SciTePress - Science and Technology Publications, 2020. p. 759-766. vol. 1. ISBN 978-989-758-423-7. DOI 10.5220/0009563707590766. Available from: https://www.scitepress.org/PublicationsDetail.aspx?ID=9rIct+oAmq0=&t=1

The page was created 04.06.2020 05:00:01
Responsible person: RNDr. Patrik Mottl, Ph.D.