13000 / 13136 - Publications - 2019

13000 / 13136 - Department of Computer Science

Publications 2019

Papers in WoS Journals

BUREŠ, M., et al. Testing the consistency of business data objects using extended static testing of CRUD matrices. Cluster Computing. 2019, 22(1), 963-976. ISSN 1386-7857. DOI 10.1007/s10586-017-1118-7.

RYŠAVÝ, P. and F. ŽELEZNÝ. Estimating sequence similarity from read sets for clustering next-generation sequencing data. Data Mining and Knowledge Discovery. 2019, 33(1), 1-23. ISSN 1384-5810. DOI 10.1007/s10618-018-0584-8.

DUDAKOVA, L., et al. The Utility of Massively Parallel Sequencing for Posterior Polymorphous Corneal Dystrophy Type 3 Molecular Diagnosis. Experimental Eye Research. 2019, 182 160-166. ISSN 0014-4835. DOI 10.1016/j.exer.2019.03.002.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Exploiting sports-betting market using machine learning. International Journal of Forecasting. 2019, 35(2), 783-796. ISSN 0169-2070. DOI 10.1016/j.ijforecast.2019.01.001.

DRCHAL, J., M. ČERTICKÝ, and M. JAKOB. Data-driven Activity Scheduler for Agent-based Mobility Models. Transportation Research Part C: Emerging Technologies. 2019, 98 370-390. ISSN 0968-090X. DOI 10.1016/j.trc.2018.12.002.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Learning to predict soccer results from relational data with gradient boosted trees. Machine Learning. 2019, 108(1), 29-47. ISSN 0885-6125. DOI 10.1007/s10994-018-5704-6.

KUFNER, J. and R. MAŘÍK. From a BPMN Black Box to a Smalldb State Machine. IEEE Access. 2019, 7(1), 56276-56296. ISSN 2169-3536. DOI 10.1109/ACCESS.2019.2912567. Available from: https://ieeexplore.ieee.org/document/8698227

ŠOUREK, G. and F. ŽELEZNÝ. Efficient Extraction of Network Event Types from NetFlows. Security and Communication Networks. 2019, 2019 ISSN 1939-0114. DOI 10.1155/2019/8954914.

KRAJNÍK, T., et al. Warped Hypertime Representations for Long-term Autonomy of Mobile Robots. IEEE Robotics and Automation Letters. 2019, 4(4), 3310-3317. ISSN 2377-3766. DOI 10.1109/LRA.2019.2926682. Available from: https://ieeexplore.ieee.org/document/8754723

HORÁK, K., et al. Optimizing Honeypot Strategies Against Dynamic Lateral Movement Using Partially Observable Stochastic Games. Computers & Security. 2019, 87 ISSN 0167-4048. DOI 10.1016/j.cose.2019.101579.

Books, Book Chapters and Lecture Notes

ŠTOLBA, M., et al. A General Approach to Distributed and Privacy-Preserving Heuristic Computation. In: Agent and Artificial Intelligence - 11th International Conference, ICAART 2019. Cham: Springer, 2019. p. 55-71. ISBN 978-3-030-37493-8. DOI 10.1007/978-3-030-37494-5_4.

Conference Proceedings

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Deep Learning from Spatial Relations for Soccer Pass Prediction. In: Machine Learning and Data Mining for Sports Analytics. 5th International Workshop on Machine Learning and Data Mining for Sports Analytics, MLSA 2018, colocated with the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2018, Dublin, 2018-09-10. Cham: Springer, 2019. p. 159-166. ISSN 0302-9743. ISBN 978-3-030-17273-2. DOI 10.1007/978-3-030-17274-9_14.

SZADKOWSKI, R., J. DRCHAL, and J. FAIGL. Autoencoders Covering Space as a Life-Long Classifier. In: Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization. 13th International Workshop on Self-Organizing Maps, Barcelona, 2019-06-26/2019-06-28. Düsseldorf: Springer-VDI-Verlag, 2019. p. 271-281. ISSN 2194-5357. ISBN 978-3-030-19641-7. DOI 10.1007/978-3-030-19642-4_27.

JANISCH, J., T. PEVNÝ, and V. LISÝ. Classification with Costly Features Using Deep Reinforcement Learning. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, 2019-01-27/2019-02-01. Menlo Park, California: AAAI Press, 2019. p. 3959-3966. ISSN 2159-5399. ISBN 978-1-57735-809-1. DOI 10.1609/aaai.v33i01.33013959.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Score-based Soccer Match Outcome Modeling - an Experimental Review. In: Proceedings of Mathsport International Conference 2019. MathSport International 2019 Conference, Athens, 2019-07-01/2019-07-03. Athens: Athens University of Economics and Business, 2019. p. 164-172. ISBN 978-618-5036-53-9. Available from: https://www.dropbox.com/s/go42h87tah9adye/MathSport2019%20Proceedings.pdf?dl=0

UŘIČÁŘ, M., et al. Desoiling Dataset: Restoring Soiled Areas on Automotive Fisheye Cameras. In: 2019 IEEE International Conference on Computer Vision Workshops (ICCVW 2019). IEEE International Conference on Computer Vision 2019, Seoul, 2019-10-27/2019-11-02. Los Alamitos: IEEE Computer Society, 2019. p. 4273-4279. ISSN 2473-9944. ISBN 978-1-7281-5023-9. DOI 10.1109/ICCVW.2019.00526. Available from: http://openaccess.thecvf.com/content_ICCVW_2019/html/AUTONUE/Uricar_Desoiling_Dataset_Restoring_Soiled_Areas_on_Automotive_Fisheye_Cameras_ICCVW_2019_paper.html

HEIM, N., V. ŠMÍDL, and T. PEVNÝ. Rodent: Relevance determination in ODE. In: Proceedings of the Bayesian Deep Learning. Bayesian Deep Learning, Vancouver, 2019-12-13. Amsterdam: University of Amsterdam, 2019.

NAGASHIMA, Y. Towards evolutionary theorem proving for Isabelle/HOL. In: GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. Genetic and Evolutionary Computation Conference, Praha, 2019-07-13/2019-07-17. New York: Association for Computing Machinery, 2019. p. 419-420. ISBN 978-1-4503-6748-6. DOI 10.1145/3319619.3321921.

SVATOŠ, M. Cautious Rule-Based Collective Inference. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019: 28th International Joint Conference on Artificial Intelligence, Macau, 2019-08-10/2019-08-16. International Joint Conferences on Artificial Intelligence Organization, 2019. p. 6466-6467. ISSN 1045-0823. ISBN 978-0-9992411-4-1. DOI 10.24963/ijcai.2019/922. Available from: https://www.ijcai.org/proceedings/2019/

VINTR, T., et al. Spatio-temporal Representation for Long-term Anticipation of Human Presence in Service Robotics. In: Proceedings of 2019 International Conference on Robotics and Automation. 2019 IEEE International Conference on Robotics and Automation, Montreal, 2019-05-20/2019-05-24. IEEE Xplore, 2019. p. 2620-2626. ISSN 1050-4729. ISBN 978-1-5386-6026-3. DOI 10.1109/ICRA.2019.8793534. Available from: https://ieeexplore.ieee.org/document/8793534

ŠTOLBA, M., D. FIŠER, and A. KOMENDA. Privacy Leakage of Search-Based Multi-Agent Planning Algorithms. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. The Twenty-Ninth International Conference on Automated Planning and Scheduling, Berkeley, 2019-07-11/2019-07-15. Menlo Park: AAAI Press, 2019. p. 482-490. ISSN 2334-0843. Available from: https://aaai.org/ojs/index.php/ICAPS/article/view/3513

FIŠER, D., Á. TORRALBA, and A. SHLEYFMAN. Operator Mutexes and Symmetries for Simplifying Planning Tasks. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, 2019-01-27/2019-02-01. Menlo Park: AAAI Press, 2019. p. 7586-7593. ISBN 978-1-57735-809-1. DOI 10.1609/aaai.v33i01.33017586.

VALEROS, V., M. RIGAKI, and S. GARCÍA. Machete: Dissecting the Operations of a Cyber Espionage Group in Latin America. In: Proceedings of 4th IEEE European Symposium on Security and Privacy. 4th IEEE European Symposium on Security and Privacy, Stockholm, 2019-06-17/2019-06-19. IEEE Xplore, 2019. p. 464-473. ISBN 978-1-7281-3026-2. DOI 10.1109/EuroSPW.2019.00058. Available from: https://ieeexplore.ieee.org/abstract/document/8802467

PRÁGR, M., P. ČÍŽEK, and J. FAIGL. Incremental Learning of Traversability Cost for Aerial Reconnaissance Support to Ground Units. In: Modelling and Simulation for Autonomous Systems. MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Basel: Springer, 2019. p. 412-421. LNCS. vol. 11472. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_30.

UHRÍN, M., et al. Sports betting strategies: an experimental review. In: Proceedings of Mathsport International Conference 2019. MathSport International 2019 Conference, Athens, 2019-07-01/2019-07-03. Athens: Athens University of Economics and Business, 2019. p. 337-346. ISBN 978-618-5036-53-9. Available from: https://www.dropbox.com/s/go42h87tah9adye/MathSport2019%20Proceedings.pdf?dl=0

RYŠAVÝ, P. Approximate search in genomic data. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 155-159. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

PRÁGR, M., P. ČÍŽEK, and J. FAIGL. Traversal cost modeling based on motion characterization for multi-legged walking robots. In: PŘEUČIL, L., S. BEHNKE, and M. KULICH, eds. 2019 European Conference on Mobile Robots (ECMR). European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. St. Paul, Minnesota: IEEE, 2019. Proceedings. ISBN 978-1-7281-3605-9. DOI 10.1109/ECMR.2019.8870912. Available from: https://ieeexplore.ieee.org/abstract/document/8870912

KUNC, V. The development of DNA microarrays. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 1-2. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

KUNC, V. On the importance of dropout for Checkerboard D–GEX architectures. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 1-2. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

SVATOŠ, M. Datasets Generation for Neural-Symbolic Integration. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 166-167. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

PRÁGR, M., et al. Online Incremental Learning of the Terrain Traversal Cost in Autonomous Exploration. In: Online Proceedings of Robotics Science and Systems. Robotics: Science and Systems, Freiburg, 2019-06-22/2019-06-26. Freiburg im Breisgau: Albert Ludwig University of Freiburg, 2019. ISBN 978-0-9923747-5-4. DOI 10.15607/RSS.2019.XV.040. Available from: http://www.roboticsproceedings.org/rss15/p40.html

FAIGL, J., P. VÁŇA, and R. PĚNIČKA. Multi-Vehicle Close Enough Orienteering Problem with Bézier Curves for Multi-Rotor Aerial Vehicles. In: Proceedings of 2019 International Conference on Robotics and Automation. 2019 IEEE International Conference on Robotics and Automation, Montreal, 2019-05-20/2019-05-24. IEEE Xplore, 2019. p. 3039-3044. ISSN 1050-4729. ISBN 978-1-5386-6026-3. DOI 10.1109/ICRA.2019.8794339. Available from: https://ieeexplore.ieee.org/document/8794339

ŠUSTR, M., V. KOVAŘÍK, and V. LISÝ. Monte Carlo Continual Resolving for Online Strategy Computation in Imperfect Information Games. In: ELKIND, E., et al., eds. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS 2019: International Conference on Autonomous Agents and Multiagent Systems, Montreal, 2019-05-13/2019-05-17. New York: ACM, 2019. p. 224-232. ISSN 2523-5699. ISBN 978-1-4503-6309-9.

VINTR, T., et al. Spatiotemporal Models of Human Activity for Robotic Patrolling. In: Modelling and Simulation for Autonomous Systems (MESAS 2018). MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Cham: Springer International Publishing AG, 2019. p. 54-64. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_5.

LEDVINKA, M. and P. KŘEMEN. Formalizing Object-Ontological Mapping Using F-logic. In: Rules and Reasoning. Third International Joint Conference, RuleML+RR 2019, Bolzano, 2019-09-16/2019-09-19. Cham: Springer, 2019. p. 97-112. Lecture Notes in Computer Science. vol. 11784. ISSN 0302-9743. ISBN 978-3-030-31094-3. DOI 10.1007/978-3-030-31095-0_7.

ŠOUREK, G. Deep Learning with Relational Logic Representations. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019: 28th International Joint Conference on Artificial Intelligence, Macau, 2019-08-10/2019-08-16. International Joint Conferences on Artificial Intelligence Organization, 2019. p. 6462-6463. ISSN 1045-0823. ISBN 978-0-9992411-4-1. DOI 10.24963/ijcai.2019/920. Available from: https://www.ijcai.org/proceedings/2019/920

SCHAEFER, M., et al. Routing a Fleet of Automated Vehicles in a Capacitated Transportation Network. In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IROS 2019: the IEEE/RSJ International Conference on Intelligent Robots and Systems, Macau, 2019-11-04/2019-11-08. Piscataway, NJ: IEEE, 2019. p. 8223-8229. ISSN 2153-0866. ISBN 978-1-7281-4004-9. DOI 10.1109/IROS40897.2019.8967723. Available from: https://ieeexplore.ieee.org/document/8967723

HALODOVÁ, L., et al. Predictive and Adaptive Maps for Long-term Visual Navigation in Changing Environments. In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IROS 2019: the IEEE/RSJ International Conference on Intelligent Robots and Systems, Macau, 2019-11-04/2019-11-08. Piscataway, NJ: IEEE, 2019. p. 7033-7039. ISSN 2153-0866. ISBN 978-1-7281-4004-9. DOI 10.1109/IROS40897.2019.8967994. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8967994

BASMADJIAN, R., et al. An Interoperable Reservation System for Public Electric Vehicle Charging Stations: A Case Study in Germany. In: BuildSys '19: The 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation. The 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, New York, 2019-11-13/2019-11-14. New York: Association for Computing Machinery, 2019. p. 22-29. ISBN 978-1-4503-7015-8. DOI 10.1145/3364544.3364825.

HORÁK, K., et al. Compact Representation of Value Function in Partially Observable Stochastic Games. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019: 28th International Joint Conference on Artificial Intelligence, Macau, 2019-08-10/2019-08-16. International Joint Conferences on Artificial Intelligence Organization, 2019. p. 350-356. ISSN 1045-0823. ISBN 978-0-9992411-4-1. DOI 10.24963/ijcai.2019/50. Available from: https://www.ijcai.org/proceedings/2019/50

PRÁGR, M. and J. FAIGL. Benchmarking Incremental Regressors in Traversal Cost Assessment. In: Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. ICANN 2019. ICANN 2019 - The 28th International Conference on Artificial Neural Networks, Munich, 2019-09-17/2019-09-19. Basel: Springer, 2019. p. 685-697. Lecture Notes in Computer Science. vol. 11727. ISSN 0302-9743. ISBN 978-3-030-30486-7. DOI 10.1007/978-3-030-30487-4_52.

CHRESTIEN, L. and L. CHRPA. Appropriate expressiveness of planning domain models: An urban traffic control case study. In: Proceedings of the 10th International Conference on Knowledge Capture. 10th International Conference on Knowledge Capture, Marina del Rey, 2019-11-19/2019-12-22. New York: ACM, 2019. p. 247-250. ISBN 978-1-4503-7008-0. DOI 10.1145/3360901.3364437. Available from: https://dl.acm.org/doi/10.1145/3360901.3364437

MAJER, F., et al. A Versatile Visual Navigation System for Autonomous Vehicles. In: Modelling and Simulation for Autonomous Systems (MESAS 2018). MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Cham: Springer International Publishing AG, 2019. p. 90-110. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_8.

CUCHÝ, M., M. ŠTOLBA, and M. JAKOB. Integrated Route, Charging and Activity Planning for Whole Day Mobility with Electric Vehicles. In: Agents and Artificial Intelligence (Subseries of Lecture Notes in Computer Science). ICAART 2018: the 10th International Conference on Agents and Artificial Intelligence, Funchal, Madeira, 2018-01-16/2018-12-18. Basel: Springer Nature Switzerland AG, 2019. p. 274-289. 11352. ISSN 0302-9743. ISBN 978-3-030-05452-6. DOI 10.1007/978-3-030-05453-3_13.

VINTR, T., et al. Spatio-temporal Representation of Time-varying Pedestrian Flows. In: Long-term Human Motion Prediction Workshop ICRA 2019. Montreal, 2019-05-24. Piscataway: IEEE Robotics and Automation Society, 2019.

MAJER, F., et al. Learning to See Through Haze: Radar-based Human Detection for Adverse Weather Conditions. In: Proceedings of European Conference on Mobile Robots. European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. Prague: Czech Technical University, 2019. ISBN 978-1-7281-3606-6. DOI 10.1109/ECMR.2019.8870954.

CUCHÝ, M. and M. JAKOB. Electric Vehicle Travel Planning with Lazy Evaluation of Recharging Times. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC). Bari, 2019-10-06/2019-10-09. Piscataway: IEEE, 2019. p. 3168-3173. 1. vol. 1. ISSN 2577-1655. ISBN 978-1-7281-4569-3. DOI 10.1109/SMC.2019.8913902.

NAGASHIMA, Y. LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. In: Programming Languages and Systems. Asian Symposium on Programming Languages and Systems 2019, Nusa Dua, Bali, 2019-12-01/2019-12-04. Cham: Springer, 2019. p. 266-287. LNCS. vol. 11893. ISSN 0302-9743. ISBN 978-3-030-34174-9. DOI 10.1007/978-3-030-34175-6_14.

KOMÁREK, T. and P. SOMOL. Multiple Instance Learning with Bag-Level Randomized Trees. In: GOEBEL, R., Y. TANAKA, and W. WAHLSTER, eds. Machine Learning and Knowledge Discovery in Databases. The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Dublin, 2018-09-10/2018-09-14. Basel: Springer, 2019. p. 259-272. ISSN 0302-9743. ISBN 978-3-030-10924-0. DOI 10.1007/978-3-030-10925-7_16.

HALODOVÁ, L., et al. Adaptive Image Processing Methods for Outdoor Autonomous Vehicles. In: Modelling and Simulation for Autonomous Systems. MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Basel: Springer, 2019. p. 456-476. LNCS. vol. 11472. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_34.

ŠEBEK, J., P. VONDRUS, and T. ČERNÝ. Degree of Similarity of Root Trees. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Kawloon, 2018-06-25/2018-09-27. Springer Nature Singapore Pte Ltd., 2019. p. 581-591. 1. vol. 514. ISSN 1876-1100. ISBN 9789811310553. DOI 10.1007/978-981-13-1056-0_57.

HORÁK, K. and B. BOŠANSKÝ. Solving Partially Observable Stochastic Games with Public Observations. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, 2019-01-27/2019-02-01. Menlo Park, California: AAAI Press, 2019. p. 2029-2036. ISSN 2159-5399. ISBN 978-1-57735-809-1. DOI 10.1609/aaai.v33i01.33012029.

VINTR, T., et al. Time-varying Pedestrian Flow Models for Service Robots. In: Proceedings of European Conference on Mobile Robots. European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. Prague: Czech Technical University, 2019. ISBN 978-1-7281-3605-9. DOI 10.1109/ECMR.2019.8870909. Available from: https://ieeexplore.ieee.org/abstract/document/8870909

FAIGL, J. and M. PRÁGR. Incremental Traversability Assessment Learning Using Growing Neural Gas Algorithm. In: Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization. 13th International Workshop on Self-Organizing Maps, Barcelona, 2019-06-26/2019-06-28. Düsseldorf: Springer-VDI-Verlag, 2019. p. 166-176. ISSN 2194-5357. ISBN 978-3-030-19641-7. DOI 10.1007/978-3-030-19642-4_17.

FAIGL, J. and M. PRÁGR. On Unsupervised Learning of Traversal Cost and Terrain Types Identification Using Self-organizing Maps. In: Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. ICANN 2019. ICANN 2019 - The 28th International Conference on Artificial Neural Networks, Munich, 2019-09-17/2019-09-19. Basel: Springer, 2019. p. 654-668. Lecture Notes in Computer Science. vol. 11727. ISSN 0302-9743. ISBN 978-3-030-30486-7. DOI 10.1007/978-3-030-30487-4_50.

ŠTOLBA, M., et al. Cost Partitioning for Multi-agent Planning. In: Proceedings of the 11th International Conference on Agents and Artificial Intelligence. ICAART 2019: the 11th International Conference on Agents and Artificial Intelligence, Praha, 2019-02-19/2019-02-21. Lisboa: SCITEPRESS – Science and Technology Publications, Lda, 2019. p. 40-49. ISSN 2184-433X. ISBN 978-989-758-350-6. DOI 10.5220/0007256600400049.

GOERTZEL, Z., J. JAKUBŮV, and J. URBAN. ENIGMAWatch: ProofWatch Meets ENIGMA. In: Automated Reasoning with Analytic Tableaux and Related Methods. The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, London, 2019-09-03/2019-09-05. Cham: Springer, 2019. p. 374-388. LNAI. vol. 11714. ISSN 0302-9743. ISBN 978-3-030-29025-2. DOI 10.1007/978-3-030-29026-9_21.

13136 / 13141 - Artificial Intelligence Center

Publications 2019

Papers in WoS Journals

PĚNIČKA, R., et al. Data Collection Planning with Non-zero Sensing Distance for a Budget and Curvature Constrained Unmanned Aerial Vehicle. Autonomous Robots. 2019, 43(8), 1937-1956. ISSN 0929-5593. DOI 10.1007/s10514-019-09844-5.

PĚNIČKA, R., J. FAIGL, and M. SASKA. Variable Neighborhood Search for the Set Orienteering Problem and its application to other Orienteering Problem variants. European Journal of Operational Research. 2019, 276(3), 816-825. ISSN 0377-2217. DOI 10.1016/j.ejor.2019.01.047.

FAIGL, J. and P. ČÍŽEK. Adaptive locomotion control of hexapod walking robot for traversing rough terrains with position feedback only. Robotics and Autonomous Systems. 2019, 116 136-147. ISSN 0921-8890. DOI 10.1016/j.robot.2019.03.008.

FAIGL, J. Data collection path planning with spatially correlated measurements using growing self-organizing array. Applied Soft Computing. 2019, 75 130-147. ISSN 1568-4946. DOI 10.1016/j.asoc.2018.11.005.

CENAMOR, I., M. VALLATI, and L. CHRPA. On the Predictability of Domain-independent Temporal Planners. Computational Intelligence. 2019, 35(4), 745-773. ISSN 0824-7935. DOI 10.1111/coin.12211.

SELECKÝ, M., J. FAIGL, and M. ROLLO. Analysis of Using Mixed Reality Simulations for Incremental Development of Multi-UAV Systems. Journal of Intelligent and Robotic Systems. 2019, 95(1), 211-227. ISSN 0921-0296. DOI 10.1007/s10846-018-0875-8.

ČERTICKÝ, M., et al. Psychophysiological Indicators for Modeling User Experience in Interactive Digital Entertainment. Sensors. 2019, 19(5), ISSN 1424-8220. DOI 10.3390/s19050989. Available from: https://www.mdpi.com/1424-8220/19/5/989

ČERTICKÝ, M., et al. StarCraft AI Competitions, Bots and Tournament Manager Software. IEEE Transactions on Games. 2019, 11(3), 227-237. ISSN 2475-1502. DOI 10.1109/TG.2018.2883499.

PRESSE, P., et al. Joint Detection of Malicious Domains and Infected Clients. Machine Learning. 2019, 108(8-9), 1353-1368. ISSN 0885-6125. DOI 10.1007/s10994-019-05789-z.

SPURNÝ, V., et al. Cooperative autonomous search, grasping, and delivering in a treasure hunt scenario by a team of unmanned aerial vehicles. Journal of Field Robotics. 2019, 36(1), 125-148. ISSN 1556-4959. DOI 10.1002/rob.21816.

DRCHAL, J., M. ČERTICKÝ, and M. JAKOB. Data-driven Activity Scheduler for Agent-based Mobility Models. Transportation Research Part C: Emerging Technologies. 2019, 98 370-390. ISSN 0968-090X. DOI 10.1016/j.trc.2018.12.002.

ŠTĚPÁN, P., et al. Vision techniques for on-board detection, following and mapping of moving targets. Journal of Field Robotics. 2019, 36(1), 252-269. ISSN 1556-4959. DOI 10.1002/rob.21850.

KOVAŘÍK, V. Complexities and Representations of F-Borel Spaces. Dissertationes Mathematicae. 2019, 540 1-69. ISSN 0012-3862. DOI 10.4064/dm794-2-2019.

PĚNIČKA, R., J. FAIGL, and M. SASKA. Physical Orienteering Problem for Unmanned Aerial Vehicle Data Collection Planning in Environments with Obstacles. IEEE Robotics and Automation Letters. 2019, 4(3), 3005-3012. ISSN 2377-3766. DOI 10.1109/LRA.2019.2923949. Available from: https://ieeexplore.ieee.org/document/8741059

FAIGL, J., et al. Unsupervised learning‐based flexible framework for surveillance planning with aerial vehicles. Journal of Field Robotics. 2019, 36(1), 270-301. ISSN 1556-4959. DOI 10.1002/rob.21823.

FAIGL, J., P. VÁŇA, and J. DECKEROVÁ. Fast Heuristics for the 3-D Multi-Goal Path Planning Based on the Generalized Traveling Salesman Problem With Neighborhoods. IEEE Robotics and Automation Letters. 2019, 4(3), 2439-2446. ISSN 2377-3766. DOI 10.1109/LRA.2019.2900507. Available from: https://ieeexplore.ieee.org/document/8645724

BERANDI, M., et al. A Transversal Method of Lines for the Numerical Modeling of Vertical Infiltration into the Vadose Zone. Applied Numerical Mathematics. 2019, 135 264-275. ISSN 0168-9274. DOI 10.1016/j.apnum.2018.08.013.

KRAJNÍK, T., et al. Warped Hypertime Representations for Long-term Autonomy of Mobile Robots. IEEE Robotics and Automation Letters. 2019, 4(4), 3310-3317. ISSN 2377-3766. DOI 10.1109/LRA.2019.2926682. Available from: https://ieeexplore.ieee.org/document/8754723

DURKOTA, K., et al. Hardening networks against strategic attackers using attack graph games. Computers & Security. 2019, 87(87), ISSN 0167-4048. DOI 10.1016/j.cose.2019.101578.

CHRPA, L., M. VALLATI, and T.L. MCCLUSKEY. Inner Entanglements: Narrowing the Search in Classical Planning by Problem Reformulation. Computational Intelligence. 2019, 35(2), 395-429. ISSN 0824-7935. DOI 10.1111/coin.12203.

HORÁK, K., et al. Optimizing Honeypot Strategies Against Dynamic Lateral Movement Using Partially Observable Stochastic Games. Computers & Security. 2019, 87 ISSN 0167-4048. DOI 10.1016/j.cose.2019.101579.

ČÍŽEK, P. and J. FAIGL. Self-supervised learning of the biologically-inspired obstacle avoidance of hexapod walking robot. Bioinspiration & Biomimetics. 2019, 14(4), ISSN 1748-3182. DOI 10.1088/1748-3190/ab1a9c.

EGAN, M., N. OREN, and M. JAKOB. Hybrid Mechanisms for On-Demand Transpor. IEEE Transactions on Intelligent Transportation Systems. 2019, 20(12), 4500-4512. ISSN 1524-9050. DOI 10.1109/TITS.2018.2886579.

Books, Book Chapters and Lecture Notes

ŠTEFAŇÁK, J., et al., eds. Sanace skalních svahů - pasivní kompozitní prvky.. Brno: Akademické nakladatelství CERM, 2019. 1. vol. 1. ISBN 978-80-7623-015-6.

ROY, A., et al., eds. IEEE/AIAA 38th Digital Avionics Systems Conference (DASC). San Diego, Californie, 2019-09-08/2019-09-12. Irvine, CA: IEEE, 2019. 1. vol. 1. ISSN 2155-7209. ISBN 978-1-7281-0649-6. Available from: https://2019.dasconline.org/

ŠTEFAŇÁK, J., et al. Sanace skalních svahů - pasivní kompozitní prvky. In: ŠTEFAŇÁK, J., et al., eds. Sanace skalních svahů - pasivní kompozitní prvky.. Brno: Akademické nakladatelství CERM, 2019. p. 1-127. 1. vol. 1. ISBN 978-80-7623-015-6.

ŠTOLBA, M., et al. A General Approach to Distributed and Privacy-Preserving Heuristic Computation. In: Agent and Artificial Intelligence - 11th International Conference, ICAART 2019. Cham: Springer, 2019. p. 55-71. ISBN 978-3-030-37493-8. DOI 10.1007/978-3-030-37494-5_4.

Conference Proceedings

SZADKOWSKI, R., J. DRCHAL, and J. FAIGL. Autoencoders Covering Space as a Life-Long Classifier. In: Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization. 13th International Workshop on Self-Organizing Maps, Barcelona, 2019-06-26/2019-06-28. Düsseldorf: Springer-VDI-Verlag, 2019. p. 271-281. ISSN 2194-5357. ISBN 978-3-030-19641-7. DOI 10.1007/978-3-030-19642-4_27.

JANISCH, J., T. PEVNÝ, and V. LISÝ. Classification with Costly Features Using Deep Reinforcement Learning. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, 2019-01-27/2019-02-01. Menlo Park, California: AAAI Press, 2019. p. 3959-3966. ISSN 2159-5399. ISBN 978-1-57735-809-1. DOI 10.1609/aaai.v33i01.33013959.

NGUYEN, T.H., et al. Tackling Sequential Attacks in Security Games. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10th International Conference on Decision and Game Theory for Security, GameSec 2019; Stockholm; Sweden, Stockholm, 2019-10-30/2019-11-01. Wien: Springer, 2019. p. 331-351. vol. 11836. ISSN 0302-9743. ISBN 9783030324292. DOI 10.1007/978-3-030-32430-8_20.

NA, S., et al. Extended Artificial Pheromone System for Swarm Robotic Applications. In: Proceedings of the Artificial Life Conference 2019. The 2019 Conference on Artificial Life, Newcastle, 2019-07-29/2019-08-02. MIT Press, 2019. p. 608-615. ISSN 1064-5462. DOI 10.1162/isal_a_00228.

HEIM, N., V. ŠMÍDL, and T. PEVNÝ. Rodent: Relevance determination in ODE. In: Proceedings of the Bayesian Deep Learning. Bayesian Deep Learning, Vancouver, 2019-12-13. Amsterdam: University of Amsterdam, 2019.

VINTR, T., et al. Spatio-temporal Representation for Long-term Anticipation of Human Presence in Service Robotics. In: Proceedings of 2019 International Conference on Robotics and Automation. 2019 IEEE International Conference on Robotics and Automation, Montreal, 2019-05-20/2019-05-24. IEEE Xplore, 2019. p. 2620-2626. ISSN 1050-4729. ISBN 978-1-5386-6026-3. DOI 10.1109/ICRA.2019.8793534. Available from: https://ieeexplore.ieee.org/document/8793534

VALLATI, M., L. CHRPA, and D. KITCHIN. How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning. In: Computational Science - ICCS 2019. 19th International Conference on Computational Science 2019, Faro, 2019-06-12/2019-06-14. Cham: Springer, 2019. p. 453-460. ISSN 0302-9743. ISBN 978-3-030-22749-4.

ŠTOLBA, M., D. FIŠER, and A. KOMENDA. Privacy Leakage of Search-Based Multi-Agent Planning Algorithms. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. The Twenty-Ninth International Conference on Automated Planning and Scheduling, Berkeley, 2019-07-11/2019-07-15. Menlo Park: AAAI Press, 2019. p. 482-490. ISSN 2334-0843. Available from: https://aaai.org/ojs/index.php/ICAPS/article/view/3513

PAČES, P. and V. UDATNÝ. Comparison of Flight-Planning Algorithms in View of Certification Requirements. In: ROY, A., et al., eds. IEEE/AIAA 38th Digital Avionics Systems Conference (DASC). 38th Digital Avionics System Conference (DASC), San Diego, Californie, 2019-09-08/2019-09-12. Irvine, CA: IEEE, 2019. p. 1-1274. 1. vol. 1. ISSN 2155-7209. ISBN 978-1-7281-0649-6. Available from: https://2019.dasconline.org/

FIŠER, D., Á. TORRALBA, and A. SHLEYFMAN. Operator Mutexes and Symmetries for Simplifying Planning Tasks. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, 2019-01-27/2019-02-01. Menlo Park: AAAI Press, 2019. p. 7586-7593. ISBN 978-1-57735-809-1. DOI 10.1609/aaai.v33i01.33017586.

VALEROS, V., M. RIGAKI, and S. GARCÍA. Machete: Dissecting the Operations of a Cyber Espionage Group in Latin America. In: Proceedings of 4th IEEE European Symposium on Security and Privacy. 4th IEEE European Symposium on Security and Privacy, Stockholm, 2019-06-17/2019-06-19. IEEE Xplore, 2019. p. 464-473. ISBN 978-1-7281-3026-2. DOI 10.1109/EuroSPW.2019.00058. Available from: https://ieeexplore.ieee.org/abstract/document/8802467

PRÁGR, M., P. ČÍŽEK, and J. FAIGL. Incremental Learning of Traversability Cost for Aerial Reconnaissance Support to Ground Units. In: Modelling and Simulation for Autonomous Systems. MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Basel: Springer, 2019. p. 412-421. LNCS. vol. 11472. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_30.

FIALKA SOBKOVÁ, L., M. ČERTICKÝ, and Š. JIRÁČEK. APPLICATION OF TRANSPORTATION BIG DATA TO SUPPORT DECISION-MAKING FOR ARCHITECTURE TEAMS: PROCESSES AND EXPERIENCES FROM TWO CASE-STUDIES. In: MAMBRETTI, S. and J.L. MIRALLES I GARCIA, eds. WIT Transactions on Ecology and the Environment. Sustainable City 2019 - 13th International Conference on Urban Regeneration and Sustainability, Valencia, 2019-10-01/2019-10-03. Southampton: WIT Press, Ashurst Lodge, 2019. p. 639-651. 238. ISSN 1743-3541. ISBN 978-1-78466-355-1. DOI 10.2495/SC190551.

PRÁGR, M., P. ČÍŽEK, and J. FAIGL. Traversal cost modeling based on motion characterization for multi-legged walking robots. In: PŘEUČIL, L., S. BEHNKE, and M. KULICH, eds. 2019 European Conference on Mobile Robots (ECMR). European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. St. Paul, Minnesota: IEEE, 2019. Proceedings. ISBN 978-1-7281-3605-9. DOI 10.1109/ECMR.2019.8870912. Available from: https://ieeexplore.ieee.org/abstract/document/8870912

DALLOLIO, A., et al. 1Long-duration Autonomy for Open OceanExploration: Preliminary Results & Challenges. In: Online Proceedings of Robotics Science and Systems. Robotics: Science and Systems, Freiburg, 2019-06-22/2019-06-26. Freiburg im Breisgau: Albert Ludwig University of Freiburg, 2019. ISBN 978-0-9923747-5-4. Available from: https://robots-wild-rss.github.io/rss2019-workshop/paper/Long-duration%20Autonomy%20for%20Open%20Ocean%20Exploration:%20Preliminary%20Results%20&%20Challenges.pdf

BREJCHOVÁ, K., et al. Two-Stage Approach for Long-Term Motivation of Children to Study Robotics. In: Advances in Intelligent Systems and Computing. 9th International Conference on Robotics in Education, Malta, 2018-04-18/2018-04-20. Düsseldorf: Springer-VDI-Verlag, 2019. p. 137-148. ISSN 2194-5357. ISBN 978-3-319-97084-4. DOI 10.1007/978-3-319-97085-1_14.

ARVIN, F., T. KRAJNÍK, and T.A. EMRE. PΦSS: An Open-Source Experimental Setup for Real-World Implementation of Swarm Robotic Systems in Long-Term Scenarios. In: Modelling and Simulation for Autonomous Systems (MESAS 2018). MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Cham: Springer International Publishing AG, 2019. p. 351-364. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_26.

CATANIA, C., S. GARCÍA, and P. TORRES. Deep Convolutional Neural Networks for DGA Detection. In: Computer Science - CACIS 2018. 24th Argentine Congress on Computer Science, Tandil, 2018-10-08/2018-10-12. Düsseldorf: Springer VDI Verlag, 2019. p. 327-340. ISSN 1865-0929. ISBN 978-3-030-20786-1. DOI 10.1007/978-3-030-20787-8_23.

PRÁGR, M., et al. Online Incremental Learning of the Terrain Traversal Cost in Autonomous Exploration. In: Online Proceedings of Robotics Science and Systems. Robotics: Science and Systems, Freiburg, 2019-06-22/2019-06-26. Freiburg im Breisgau: Albert Ludwig University of Freiburg, 2019. ISBN 978-0-9923747-5-4. DOI 10.15607/RSS.2019.XV.040. Available from: http://www.roboticsproceedings.org/rss15/p40.html

FAIGL, J., P. VÁŇA, and R. PĚNIČKA. Multi-Vehicle Close Enough Orienteering Problem with Bézier Curves for Multi-Rotor Aerial Vehicles. In: Proceedings of 2019 International Conference on Robotics and Automation. 2019 IEEE International Conference on Robotics and Automation, Montreal, 2019-05-20/2019-05-24. IEEE Xplore, 2019. p. 3039-3044. ISSN 1050-4729. ISBN 978-1-5386-6026-3. DOI 10.1109/ICRA.2019.8794339. Available from: https://ieeexplore.ieee.org/document/8794339

CHRPA, L. and M. VALLATI. Improving Domain-Independent Planning via Critical Section Macro-Operators. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, 2019-01-27/2019-02-01. Menlo Park, California: AAAI Press, 2019. p. 7546-7553. ISSN 2159-5399. ISBN 978-1-57735-809-1. DOI 10.1609/aaai.v33i01.33017546.

NGUYENOVÁ, M., P. ČÍŽEK, and J. FAIGL. Modeling Proprioceptive Sensing for Locomotion Control of Hexapod Walking Robot in Robotic Simulator. In: Modelling and Simulation for Autonomous Systems. MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Basel: Springer, 2019. p. 215-225. LNCS. vol. 11472. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_17.

MAREK, J., P. VÁŇA, and J. FAIGL. Trajectory Planning for Aerial Vehicles in the Area Coverage Problem with Nearby Obstacles. In: Modelling and Simulation for Autonomous Systems. MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Basel: Springer, 2019. p. 226-236. LNCS. vol. 11472. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_18.

ŠUSTR, M., V. KOVAŘÍK, and V. LISÝ. Monte Carlo Continual Resolving for Online Strategy Computation in Imperfect Information Games. In: ELKIND, E., et al., eds. Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS 2019: International Conference on Autonomous Agents and Multiagent Systems, Montreal, 2019-05-13/2019-05-17. New York: ACM, 2019. p. 224-232. ISSN 2523-5699. ISBN 978-1-4503-6309-9.

BERNARD, S., et al. Exploiting Adversarial Embeddings for Better Steganography. In: Proceedings of the ACM Workshop on Information Hiding and Multimedia Security. 7th ACM Workshop on Information Hiding and Multimedia Security, Paris, 2019-07-03/2019-07-05. New York: ACM, 2019. p. 216-221. ISBN 978-1-4503-6821-6. DOI 10.1145/3335203.3335737.

PALAU, F., et al. Detecting DNS Threats: A Deep Learning Model to Rule Them All. In: ASAI. ARGENTINE SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, Argentina University, 2019-06-10/2019-06-11. ARGENTINE SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 2019. p. 90-101. 2019. ISSN 2451-7585. DOI 10.13140/RG.2.2.14296.03849.

VINTR, T., et al. Spatiotemporal Models of Human Activity for Robotic Patrolling. In: Modelling and Simulation for Autonomous Systems (MESAS 2018). MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Cham: Springer International Publishing AG, 2019. p. 54-64. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_5.

CHRPA, L., M. VALLATI, and S. PARKINSON. Exploiting Automated Planning for Efficient Centralized Vehicle Routing and Mitigating Congestion in Urban Road Networks. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. 34th Annual ACM Symposium on Applied Computing, Limassol, 2019-04-08/2019-04-12. New York: ACM, 2019. p. 191-194. ISBN 978-1-4503-5933-7. DOI 10.1145/3297280.3297539.

ŠMÍDL, V., J. BÍM, and T. PEVNÝ. Orthogonal Approximation of Marginal Likelihood of Generative Models. In: Proceedings of the Bayesian Deep Learning. Bayesian Deep Learning, Vancouver, 2019-12-13. Amsterdam: University of Amsterdam, 2019.

SCHAEFER, M., et al. Routing a Fleet of Automated Vehicles in a Capacitated Transportation Network. In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IROS 2019: the IEEE/RSJ International Conference on Intelligent Robots and Systems, Macau, 2019-11-04/2019-11-08. Piscataway, NJ: IEEE, 2019. p. 8223-8229. ISSN 2153-0866. ISBN 978-1-7281-4004-9. DOI 10.1109/IROS40897.2019.8967723. Available from: https://ieeexplore.ieee.org/document/8967723

HALODOVÁ, L., et al. Predictive and Adaptive Maps for Long-term Visual Navigation in Changing Environments. In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IROS 2019: the IEEE/RSJ International Conference on Intelligent Robots and Systems, Macau, 2019-11-04/2019-11-08. Piscataway, NJ: IEEE, 2019. p. 7033-7039. ISSN 2153-0866. ISBN 978-1-7281-4004-9. DOI 10.1109/IROS40897.2019.8967994. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8967994

WANG, X., et al. When Players Affect Target Values: Modeling and Solving Dynamic Partially Observable Security Games. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10th International Conference on Decision and Game Theory for Security, GameSec 2019; Stockholm; Sweden, Stockholm, 2019-10-30/2019-11-01. Wien: Springer, 2019. p. 542-562. vol. 11836. ISSN 0302-9743. ISBN 9783030324292. DOI 10.1007/978-3-030-32430-8_32.

BASMADJIAN, R., et al. An Interoperable Reservation System for Public Electric Vehicle Charging Stations: A Case Study in Germany. In: BuildSys '19: The 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation. The 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, New York, 2019-11-13/2019-11-14. New York: Association for Computing Machinery, 2019. p. 22-29. ISBN 978-1-4503-7015-8. DOI 10.1145/3364544.3364825.

HORÁK, K., et al. Compact Representation of Value Function in Partially Observable Stochastic Games. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019: 28th International Joint Conference on Artificial Intelligence, Macau, 2019-08-10/2019-08-16. International Joint Conferences on Artificial Intelligence Organization, 2019. p. 350-356. ISSN 1045-0823. ISBN 978-0-9992411-4-1. DOI 10.24963/ijcai.2019/50. Available from: https://www.ijcai.org/proceedings/2019/50

PRÁGR, M. and J. FAIGL. Benchmarking Incremental Regressors in Traversal Cost Assessment. In: Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. ICANN 2019. ICANN 2019 - The 28th International Conference on Artificial Neural Networks, Munich, 2019-09-17/2019-09-19. Basel: Springer, 2019. p. 685-697. Lecture Notes in Computer Science. vol. 11727. ISSN 0302-9743. ISBN 978-3-030-30486-7. DOI 10.1007/978-3-030-30487-4_52.

BAYER, J. and J. FAIGL. On autonomous spatial exploration with small hexapod walking robot using tracking camera intel RealSense T265. In: PŘEUČIL, L., S. BEHNKE, and M. KULICH, eds. 2019 European Conference on Mobile Robots (ECMR). European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. St. Paul, Minnesota: IEEE, 2019. Proceedings. ISBN 978-1-7281-3605-9. DOI 10.1109/ECMR.2019.8870968. Available from: https://ieeexplore.ieee.org/document/8870968

VÁŇA, P., J. FAIGL, and J. SLÁMA. Emergency landing aware surveillance planning for fixed-wing planes. In: PŘEUČIL, L., S. BEHNKE, and M. KULICH, eds. 2019 European Conference on Mobile Robots (ECMR). European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. St. Paul, Minnesota: IEEE, 2019. Proceedings. ISBN 978-1-7281-3605-9. DOI 10.1109/ECMR.2019.8870933. Available from: https://ieeexplore.ieee.org/document/8870933

CHRESTIEN, L. and L. CHRPA. Appropriate expressiveness of planning domain models: An urban traffic control case study. In: Proceedings of the 10th International Conference on Knowledge Capture. 10th International Conference on Knowledge Capture, Marina del Rey, 2019-11-19/2019-12-22. New York: ACM, 2019. p. 247-250. ISBN 978-1-4503-7008-0. DOI 10.1145/3360901.3364437. Available from: https://dl.acm.org/doi/10.1145/3360901.3364437

VENOSA, P., S. GARCÍA, and F. JAVIER DIAZ. A Better Infected Hosts Detection Combining Ensemble Learning and Threat Intelligence. In: CACIC 2019: 25th Argentine Congress of Computer Science. 25th Argentine Congress of Computer Science, CACIC 2019, Rio Cuarto, 2019-10-14/2019-10-18. Cham: Springer, 2019. p. 354-365. ISSN 1865-0929. ISBN 978-3-030-48324-1. DOI 10.1007/978-3-030-48325-8_23.

MAJER, F., et al. A Versatile Visual Navigation System for Autonomous Vehicles. In: Modelling and Simulation for Autonomous Systems (MESAS 2018). MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Cham: Springer International Publishing AG, 2019. p. 90-110. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_8.

CUCHÝ, M., M. ŠTOLBA, and M. JAKOB. Integrated Route, Charging and Activity Planning for Whole Day Mobility with Electric Vehicles. In: Agents and Artificial Intelligence (Subseries of Lecture Notes in Computer Science). ICAART 2018: the 10th International Conference on Agents and Artificial Intelligence, Funchal, Madeira, 2018-01-16/2018-12-18. Basel: Springer Nature Switzerland AG, 2019. p. 274-289. 11352. ISSN 0302-9743. ISBN 978-3-030-05452-6. DOI 10.1007/978-3-030-05453-3_13.

VINTR, T., et al. Spatio-temporal Representation of Time-varying Pedestrian Flows. In: Long-term Human Motion Prediction Workshop ICRA 2019. Montreal, 2019-05-24. Piscataway: IEEE Robotics and Automation Society, 2019.

GARCÍA, S., et al. Geost Botnet. Operational Security Failures of a New Android Banking Threat. In: Proceedings of 4th IEEE European Symposium on Security and Privacy. 4th IEEE European Symposium on Security and Privacy, Stockholm, 2019-06-17/2019-06-19. IEEE Xplore, 2019. p. 406-409. ISBN 978-1-7281-3026-2. DOI 10.1109/EuroSPW.2019.00051. Available from: https://ieeexplore.ieee.org/document/8802391

MAJER, F., et al. Learning to See Through Haze: Radar-based Human Detection for Adverse Weather Conditions. In: Proceedings of European Conference on Mobile Robots. European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. Prague: Czech Technical University, 2019. ISBN 978-1-7281-3606-6. DOI 10.1109/ECMR.2019.8870954.

BAYER, J. and J. FAIGL. Localization Fusion for Aerial Vehicles in Partially GNSS Denied Environments. In: Modelling and Simulation for Autonomous Systems. MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Basel: Springer, 2019. p. 251-262. LNCS. vol. 11472. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_20.

RYTÍŘ, P., L. CHRPA, and B. BOŠANSKÝ. Using Classical Planning in Adversarial Problems. In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI). IEEE 31st International Conference on Tools with Artificial Intelligence, Portland, 2019-11-04/2019-11-06. IEEE Xplore, 2019. p. 1335-1340. ISSN 2375-0197. ISBN 978-1-7281-3798-8. DOI 10.1109/ICTAI.2019.00185. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8995350

CUCHÝ, M. and M. JAKOB. Electric Vehicle Travel Planning with Lazy Evaluation of Recharging Times. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC). Bari, 2019-10-06/2019-10-09. Piscataway: IEEE, 2019. p. 3168-3173. 1. vol. 1. ISSN 2577-1655. ISBN 978-1-7281-4569-3. DOI 10.1109/SMC.2019.8913902.

HALODOVÁ, L., et al. Adaptive Image Processing Methods for Outdoor Autonomous Vehicles. In: Modelling and Simulation for Autonomous Systems. MESAS 2018 - Modelling & Simulation for Autonomous Systems, Praha, 2018-10-17/2018-10-19. Basel: Springer, 2019. p. 456-476. LNCS. vol. 11472. ISSN 0302-9743. ISBN 978-3-030-14983-3. DOI 10.1007/978-3-030-14984-0_34.

HORÁK, K. and B. BOŠANSKÝ. Solving Partially Observable Stochastic Games with Public Observations. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, 2019-01-27/2019-02-01. Menlo Park, California: AAAI Press, 2019. p. 2029-2036. ISSN 2159-5399. ISBN 978-1-57735-809-1. DOI 10.1609/aaai.v33i01.33012029.

VINTR, T., et al. Time-varying Pedestrian Flow Models for Service Robots. In: Proceedings of European Conference on Mobile Robots. European Conference on Mobile Robots 2019, Prague, 2019-08-04/2019-08-06. Prague: Czech Technical University, 2019. ISBN 978-1-7281-3605-9. DOI 10.1109/ECMR.2019.8870909. Available from: https://ieeexplore.ieee.org/abstract/document/8870909

FAIGL, J. and M. PRÁGR. Incremental Traversability Assessment Learning Using Growing Neural Gas Algorithm. In: Advances in Self-Organizing Maps, Learning Vector Quantization, Clustering and Data Visualization. 13th International Workshop on Self-Organizing Maps, Barcelona, 2019-06-26/2019-06-28. Düsseldorf: Springer-VDI-Verlag, 2019. p. 166-176. ISSN 2194-5357. ISBN 978-3-030-19641-7. DOI 10.1007/978-3-030-19642-4_17.

SZADKOWSKI, R., J. DRCHAL, and J. FAIGL. Basic Evaluation Scenarios for Incrementally Trained Classifiers. In: Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning. ICANN 2019 - The 28th International Conference on Artificial Neural Networks, Munich, 2019-09-17/2019-09-19. Basel: Springer, 2019. p. 507-517. Lecture Notes in Computer Science. vol. 11728. ISSN 0302-9743. ISBN 978-3-030-30483-6. DOI 10.1007/978-3-030-30484-3_41.

FAIGL, J. and M. PRÁGR. On Unsupervised Learning of Traversal Cost and Terrain Types Identification Using Self-organizing Maps. In: Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation. ICANN 2019. ICANN 2019 - The 28th International Conference on Artificial Neural Networks, Munich, 2019-09-17/2019-09-19. Basel: Springer, 2019. p. 654-668. Lecture Notes in Computer Science. vol. 11727. ISSN 0302-9743. ISBN 978-3-030-30486-7. DOI 10.1007/978-3-030-30487-4_50.

ŠTOLBA, M., et al. Cost Partitioning for Multi-agent Planning. In: Proceedings of the 11th International Conference on Agents and Artificial Intelligence. ICAART 2019: the 11th International Conference on Agents and Artificial Intelligence, Praha, 2019-02-19/2019-02-21. Lisboa: SCITEPRESS – Science and Technology Publications, Lda, 2019. p. 40-49. ISSN 2184-433X. ISBN 978-989-758-350-6. DOI 10.5220/0007256600400049.

VALLATI, M. and L. CHRPA. The International Competition on Knowledge Engineering for Planning and Scheduling: Food for Thoughts (and Call to Action). In: Proceedings of Workshop on Knowledge Engineering for Planning and Scheduling. Workshop on Knowledge Engineering for Planning and Scheduling, Berkeley, 2019-07-11/2019-07-15. Massachusetts: OpenReview.net / University of Massachusetts, 2019.

VALLATI, M. and L. CHRPA. On the robustness of domain-independent planning engines: The impact of poorly-engineered knowledge. In: Proceedings of the 10th International Conference on Knowledge Capture. 10th International Conference on Knowledge Capture, Marina del Rey, 2019-11-19/2019-12-22. New York: ACM, 2019. p. 197-204. ISBN 978-1-4503-7008-0. DOI 10.1145/3360901.3364416. Available from: https://dl.acm.org/doi/10.1145/3360901.3364416

VOLF, P. Comparison of the Flight Centric and Conventional Air Traffic Control. In: Proceedings of 2019 Integrated Communications, Navigation and Surveillance Conference. Integrated Communications, Navigation and Surveillance Conference, Herndon, 2019-04-09/2019-04-11. IEEE Xplore, 2019. ISSN 2155-4943. ISBN 978-1-7281-1893-2. DOI 10.1109/ICNSURV.2019.8735109.

13136 / 13142 - Center for Software Training

Publications 2019

Papers in Other Journals

MANNOVÁ, B. The impact of communism on the history of computer development in Eastern Europe. NAACE Journal: Advancing Education. 2019, 2019(3), 5-9. ISSN 2050-1331.

Conference Proceedings

MANNOVÁ, B. and Ch. PRESTON. Tell us your digital story. In: GÓMEZ CHOVA, L., A. LÓPEZ MARTÍNEZ, and I. CANDEL TORRES, eds. EDULEARN19 Proceedings - 11th Annual International Conference on Education and New Learning Technologies. EDULEARN19 - 11th International Conference on Education and New Learning Technologies, Palma de Mallorca, 2019-07-01/2019-07-03. Valencia: IATED Academy, 2019. p. 1-4991. ISSN 2340-1117. ISBN 978-84-09-12031-4. Available from: https://library.iated.org/publications/EDULEARN19

ŠEBEK, J., P. VONDRUS, and T. ČERNÝ. Degree of Similarity of Root Trees. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Kawloon, 2018-06-25/2018-09-27. Springer Nature Singapore Pte Ltd., 2019. p. 581-591. 1. vol. 514. ISSN 1876-1100. ISBN 9789811310553. DOI 10.1007/978-981-13-1056-0_57.

13136 / 13143 - Intelligent Data Analysis

Publications 2019

Papers in WoS Journals

SVOBODOVÁ, J., et al. 2,3,7,8-Tetrachlorodibenzo-p-dioxin (TCDD) Disrupts Control of Cell Proliferation and Apoptosis in a Human Model of Adult Liver Progenitors. Toxicological Sciences. 2019, 172(2), 368-384. ISSN 1096-6080. DOI 10.1093/toxsci/kfz202.

RYŠAVÝ, P. and F. ŽELEZNÝ. Estimating sequence similarity from read sets for clustering next-generation sequencing data. Data Mining and Knowledge Discovery. 2019, 33(1), 1-23. ISSN 1384-5810. DOI 10.1007/s10618-018-0584-8.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Exploiting sports-betting market using machine learning. International Journal of Forecasting. 2019, 35(2), 783-796. ISSN 0169-2070. DOI 10.1016/j.ijforecast.2019.01.001.

BRZICOVÁ, T., et al. Molecular Responses in THP-1 Macrophage-Like Cells Exposed to Diverse Nanoparticles. Nanomaterials. 2019, 9(5), ISSN 2079-4991. DOI 10.3390/nano9050687. Available from: https://www.mdpi.com/2079-4991/9/5/687

BRZICOVA, T., et al. Nano-TiO2 Stability in Medium and Size as Important Factors of Toxicity in Macrophage-like Cells. Toxicology in Vitro. 2019, 54 178-188. ISSN 0887-2333. DOI 10.1016/j.tiv.2018.09.019.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Learning to predict soccer results from relational data with gradient boosted trees. Machine Learning. 2019, 108(1), 29-47. ISSN 0885-6125. DOI 10.1007/s10994-018-5704-6.

ROSSNER, P., et al. The Biological Effects of Complete Gasoline Engine Emissions Exposure in a 3D Human Airway Model (MucilAirTM) and in Human Bronchial Epithelial Cells (BEAS-2B). International Journal of Molecular Sciences. 2019, 20(22), ISSN 1422-0067. DOI 10.3390/ijms20225710.

RYNNING, I., et al. Bulky DNA adducts, microRNA profiles, and lipid biomarkers in Norwegian tunnel finishing workers occupationally exposed to diesel exhaust. Occupational and environmental medicine. 2019, 76(11), 10-16. ISSN 1351-0711. DOI 10.1136/oemed-2018-105445.

ŠOUREK, G. and F. ŽELEZNÝ. Efficient Extraction of Network Event Types from NetFlows. Security and Communication Networks. 2019, 2019 ISSN 1939-0114. DOI 10.1155/2019/8954914.

Conference Proceedings

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Deep Learning from Spatial Relations for Soccer Pass Prediction. In: Machine Learning and Data Mining for Sports Analytics. 5th International Workshop on Machine Learning and Data Mining for Sports Analytics, MLSA 2018, colocated with the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2018, Dublin, 2018-09-10. Cham: Springer, 2019. p. 159-166. ISSN 0302-9743. ISBN 978-3-030-17273-2. DOI 10.1007/978-3-030-17274-9_14.

HUBÁČEK, O., G. ŠOUREK, and F. ŽELEZNÝ. Score-based Soccer Match Outcome Modeling - an Experimental Review. In: Proceedings of Mathsport International Conference 2019. MathSport International 2019 Conference, Athens, 2019-07-01/2019-07-03. Athens: Athens University of Economics and Business, 2019. p. 164-172. ISBN 978-618-5036-53-9. Available from: https://www.dropbox.com/s/go42h87tah9adye/MathSport2019%20Proceedings.pdf?dl=0

SVATOŠ, M. Cautious Rule-Based Collective Inference. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019: 28th International Joint Conference on Artificial Intelligence, Macau, 2019-08-10/2019-08-16. International Joint Conferences on Artificial Intelligence Organization, 2019. p. 6466-6467. ISSN 1045-0823. ISBN 978-0-9992411-4-1. DOI 10.24963/ijcai.2019/922. Available from: https://www.ijcai.org/proceedings/2019/

DVOŘÁKOVÁ, E., et al. Evaluating Model-free Directional Dependency Methods onSingle-cell RNA Sequencing Data with Severe Dropout. In: ACM Conference Proceedings. 6th International Conference on Bioinformatics Research and Applications, Seoul, 2019-12-19/2019-12-21. New York: ACM, 2019. ISBN 978-1-4503-7218-3.

UHRÍN, M. Optimal evaluation of risky opportunities. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 202-204. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

UHRÍN, M., et al. Sports betting strategies: an experimental review. In: Proceedings of Mathsport International Conference 2019. MathSport International 2019 Conference, Athens, 2019-07-01/2019-07-03. Athens: Athens University of Economics and Business, 2019. p. 337-346. ISBN 978-618-5036-53-9. Available from: https://www.dropbox.com/s/go42h87tah9adye/MathSport2019%20Proceedings.pdf?dl=0

RYŠAVÝ, P. Approximate search in genomic data. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 155-159. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

KUNC, V. The development of DNA microarrays. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 1-2. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

KUNC, V. On the importance of dropout for Checkerboard D–GEX architectures. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 1-2. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

SVATOŠ, M. Datasets Generation for Neural-Symbolic Integration. In: Proceedings of the International Student Scientific Conference Poster – 23/2019. 23rd International Student Conference on Electrical Engineering POSTER 2019, ČVUT FEL, Technická 2, Praha 6, 2019-05-23. Praha: ČVUT FEL, Středisko vědecko-technických informací, 2019. p. 166-167. 1. vol. 1. ISBN 978-80-01-06581-5. Available from: http://poseidon2.feld.cvut.cz/conf/poster/proceedings/POSTER_2019.pdf

KUŽELKA, O. and J. DAVIS. Markov Logic Networks for Knowledge Base Completion:A Theoretical Analysis Under the MCAR Assumption. In: Proceedings of the Conference on Uncertainty in Artificial Intelligence. Conference on Uncertainty in Artificial Intelligence, Tel Aviv, 2019-07-22/2019-07-25. Tel-Aviv: Tel-Aviv University, 2019. ISSN 2640-3498. Available from: http://auai.org/uai2019/proceedings/papers/427.pdf

KUŽELKA, O. and V. KUNGURTSEV. Lifted Weight Learning of Markov Logic Networks Revisited. In: Proceedings of Machine Learning Research. The 22nd International Conference on Artificial Intelligence and Statistics, Naha, 2019-04-16/2019-04-18. Proceedings of Machine Learning Research, 2019. p. 1753-1761. ISSN 2640-3498. Available from: http://proceedings.mlr.press/v89/kuzelka19a/kuzelka19a.pdf

ŠOUREK, G. Deep Learning with Relational Logic Representations. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. IJCAI 2019: 28th International Joint Conference on Artificial Intelligence, Macau, 2019-08-10/2019-08-16. International Joint Conferences on Artificial Intelligence Organization, 2019. p. 6462-6463. ISSN 1045-0823. ISBN 978-0-9992411-4-1. DOI 10.24963/ijcai.2019/920. Available from: https://www.ijcai.org/proceedings/2019/920

13136 / 13144 - System Testing IntelLigent Lab

Publications 2019

Papers in WoS Journals

BUREŠ, M., et al. Testing the consistency of business data objects using extended static testing of CRUD matrices. Cluster Computing. 2019, 22(1), 963-976. ISSN 1386-7857. DOI 10.1007/s10586-017-1118-7.

AHMED, B. and M. BUREŠ. EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. IEEE Transactions on Consumer Electronics. 2019, 65(2), 160-169. ISSN 0098-3063. DOI 10.1109/TCE.2019.2907017.

AHMED, B., et al. Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. IEEE Access. 2019, 7(1), 13758-13780. ISSN 2169-3536. DOI 10.1109/ACCESS.2019.2893493. Available from: https://ieeexplore.ieee.org/document/8618341

BUREŠ, M. and B. AHMED. Employment of Multiple Algorithms for Optimal Path-based Test Selection Strategy. Information and Software Technology. 2019, 114 21-36. ISSN 0950-5849. DOI 10.1016/j.infsof.2019.06.006.

MAHMOUD, T., B. AHMED, and M. HASSAN. The role of intelligent generation control algorithms in optimizing battery energy storage systems size in microgrids: A case study from Western Australia. Energy Conversion and Management. 2019, 196 1335-1352. ISSN 0196-8904. DOI 10.1016/j.enconman.2019.06.045.

AHMED, B., et al. Code-aware combinatorial interaction testing. IET Software. 2019, 13(6), 600-609. ISSN 1751-8806. DOI 10.1049/iet-sen.2018.5315.

BUREŠ, M., B. AHMED, and K. ZAMLI. Prioritized Process Test: An Alternative to Current Process Testing Strategies. International Journal of Software Engineering and Knowledge Engineering. 2019, 29(7), 997-1028. ISSN 0218-1940. DOI 10.1142/S0218194019500335.

Conference Proceedings

TRNKA, M., et al. Using wi-fi enabled internet of things devices for context-aware authentication. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Kawloon, 2018-06-25/2018-09-27. Springer Nature Singapore Pte Ltd., 2019. p. 635-642. 1. vol. 514. ISSN 1876-1100. ISBN 9789811310553. DOI 10.1007/978-981-13-1056-0_62.

ZAMLI, K., et al. Software Module Clustering Based on the Fuzzy Adaptive Teaching Learning Based Optimization Algorithm. In: Intelligent and Interactive Computing. 2nd International Conference on Intelligent and Interactive Computing, MELAKA, 2018-08-08/2018-08-09. Springer Nature Singapore Pte Ltd., 2019. p. 167-177. ISSN 2367-3370. DOI 10.1007/978-981-13-6031-2_3.

AL-BEYWANEE, B., et al. Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing. In: PROCEEDINGS OF EASE 2019 - EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING. EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, Copenhagen, 2019-04-14/2019-04-17. The ACM Digital Library, 2019. p. 252-258. ISBN 978-1-4503-7145-2. DOI 10.1145/3319008.3319348.

NASSER, A., K. ZAMLI, and B. AL-BEYWANEE. Dynamic Solution Probability Acceptance Within the Flower Pollination Algorithm for Combinatorial t-Way Test Suite Generation. In: Proceeding Intelligent and Interactive Computing. 2nd International Conference on Intelligent and Interactive Computing, MELAKA, 2018-08-08/2018-08-09. Wien: Springer, 2019. p. 3-11. ISSN 2367-3370. DOI 10.1007/978-981-13-6031-2_4.

BUREŠ, M., T. ČERNÝ, and B. AL-BEYWANEE. Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Kawloon, 2018-06-25/2018-09-27. Springer Nature Singapore Pte Ltd., 2019. p. 625-634. 1. vol. 514. ISSN 1876-1100. ISBN 9789811310553. DOI 10.1007/978-981-13-1056-0_61.

AL-BEYWANEE, B. and M. BUREŠ. Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions. In: ARAI, K., R. BHATIA, and S. KAPOOR, eds. Proceedings of the Future Technologies Conference (FTC) 2018. Future Technologies Conference (FTC) 2018, Vancouver, 2018-11-13/2018-11-14. Wien: Springer, 2019. p. 241-256. Advances in Intelligent Systems and Computing. vol. 880. ISBN 978-3-030-02685-1. DOI 10.1007/978-3-030-02686-8_20.

BELLEKENS, X., et al. From Cyber-Security Deception to Manipulation and Gratification Through Gamification. In: HCI for Cybersecurity, Privacy and Trust. 21st HCI International Conference, Orlando, 2019-07-26/2019-07-31. Cham: Springer, 2019. p. 99-114. ISSN 1611-3349. ISBN 978-3-030-22351-9. DOI 10.1007/978-3-030-22351-9_7. Available from: https://link.springer.com/chapter/10.1007/978-3-030-22351-9_7

Research Reports

BUREŠ, M., K. FRAJTÁK, and M. KLÍMA. Plan of the pilot run of the IoT QA framework developed by the Quality Assurance System for the Internet of Things Technology project, TH02010296-V13. [Research Report] 2019. Report no. TH02010296-V13.

BUREŠ, M., et al. Cases studies from verification of the initial prototype of the IoT QA framework developed by the Quality Assurance System for the Internet of Things Technology project, TH02010296-V11. [Research Report] 2019. Report no. TH02010296-V11.

13136 / 13145 - Knowledge-based Software Systems

Publications 2019

Conference Proceedings

LEDVINKA, M. and P. KŘEMEN. Formalizing Object-Ontological Mapping Using F-logic. In: Rules and Reasoning. Third International Joint Conference, RuleML+RR 2019, Bolzano, 2019-09-16/2019-09-19. Cham: Springer, 2019. p. 97-112. Lecture Notes in Computer Science. vol. 11784. ISSN 0302-9743. ISBN 978-3-030-31094-3. DOI 10.1007/978-3-030-31095-0_7.

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