Faculty of Electrical Engineering

Czech Technical University in Prague

CTU in Prague

13000 / 13136 - Publications - 2017

13000 / 13136 - Department of Computer Science and Engineering

Publications 2017

Books, Book chapters and Lecture notes, Dissertations, Research reports, Unpublished lectures, Proceedings, Papers, Patents

Papers in WoS Journals

ZAMLI, K.Z., et al. Fuzzy adaptive teaching learning-based optimization strategy for the problem of generating mixed strength t-way test suites. Engineering Applications of Artificial Intelligence. 2017, 59 35-50. ISSN 0952-1976.

FRAJTÁK, K., M. BUREŠ, and I. JELÍNEK. Exploratory testing supported by automated reengineering of model of the system under test. Cluster Computing. 2017, 20(1), 855-865. ISSN 1386-7857.

KLÉMA, J., F. MALINKA, and F. ŽELEZNÝ. Semantic biclustering for finding local, interpretable and predictive expression patterns. BMC Genomics. 2017, 18(4132), 41-53. ISSN 1471-2164. Available from: https://doi.org/10.1186/s12864-017-4132-5

ZAMLI, K.Z., et al. An Experimental Study of Hyper-heuristic Selection and Acceptance Mechanism for Combinatorial T-way Test Suite Generation. Information Sciences. 2017, 399 121-153. ISSN 0020-0255.

AGHASYAN, M., et al. First Measurement of Transverse-Spin-Dependent Azimuthal Asymmetries in the Drell-Yan Process. PHYSICAL REVIEW LETTERS. 2017, 119(11), ISSN 0031-9007.

CHLUMECKÝ, M., J. BUCHTELE, and K. RICHTA. Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling. Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694.

HRNČÍŘ, J., et al. Practical Multicriteria Urban Bicycle Routing. IEEE Transactions on Intelligent Transportation Systems. 2017, 18(3), 493-504. ISSN 1524-9050.

AL-BEYWANEE, B., et al. Handling Constraints in Combinatorial Interaction Testing in the presence of Multi Objective Particle Swarm and Multithreading. Information and Software Technology. 2017, 86(June 2017), 20-36. ISSN 0950-5849.

Papers in Other Journals

TRNKA, M. and T. ČERNÝ. Authentication and Authorization Rules Sharing for Internet of Things. Software Networking. 2017, 2017(2), 35-52. ISSN 2445-9739. Available from: http://www.www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/003

PĚNIČKA, R., et al. Dubins Orienteering Problem. IEEE Robotics and Automation Letters. 2017, 2(2), 1210-1217. ISSN 2377-3766. Available from: http://ieeexplore.ieee.org/document/7847413/

KOHOUT, J. and T. PEVNÝ. Network traffic fingerprinting based on approximated kernel two-sample test. IEEE Transactions on Information Forensics and Security. 2017, PP(99), ISSN 1556-6013. Available from: http://ieeexplore.ieee.org/document/8089373/

TOMÁŠEK, M. and T. ČERNÝ. Automated User Interface Generation Involving Field Classification. Software Networking. 2017, 2017(1), 53-78. ISSN 2445-9739. Available from: http://www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/004

ŠTOLBA, M. and A. KOMENDA. The MADLA planner: Multi-agent Planning by Combination of Distributed and Local Heuristic Search. Artificial Intelligence. 2017, 252 175-210. ISSN 0004-3702.

HAMHALTER, J. and J. BARVÍNEK. Linear algebraic proof of Wigner Theorem and its consequences. Mathematica Slovaca. 2017, 67(2), 371-386. ISSN 0139-9918.

Books, Book Chapters and Lecture Notes

SCHAEFER, M., M. ČÁP, and J. VOKŘÍNEK. AgentDrive: Agent-Based Simulator for Intelligent Cars and Its Application for Development of a Lane-Changing Assistant. In: Agent-Based Modeling of Sustainable Behaviors. Wien: Springer, 2017. pp. 143-166. ISBN 978-3-319-46330-8. DOI 10.1007/978-3-319-46331-5_7.

RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: Česká technika - nakladatelství ČVUT, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

Conference Proceedings

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. pp. 902-910.

DURKOTA, K., et al. Optimal Strategies for Detecting Data Exfiltration by Internal and External Attackers. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. pp. 171-192. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_10.

RYŠAVÝ, P. and F. ŽELEZNÝ. Estimating Sequence Similarity from Contig Sets. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 16th International Symposium on Intelligent Data Analysis, London, 2017-10-26/2017-10-28. Düsseldorf: Springer VDI Verlag, 2017. pp. 272-283. ISBN 978-3-319-68765-0.

BOŠANSKÝ, B., et al. Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. pp. 63-74. ISBN 978-989-758-220-2. DOI 10.5220/0006121200630074.

HORÁK, K., B. BOŠANSKÝ, and M. PĚCHOUČEK. Heuristic Search Value Iteration for One-Sided Partially Observable Stochastic Games. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. pp. 558-564. ISBN 978-1-57735-780-3.

TOŽIČKA, J., A. KOMENDA, and M. ŠTOLBA. ε-Strong Privacy Preserving Multiagent Planner by Computational Tractability. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Madeira: SciTePress, 2017. pp. 51-57. vol. 1. ISBN 978-989-758-219-6. DOI 10.5220/0006176400510057.

KOMÁREK, T. and P. SOMOL. End-node Fingerprinting for Malware Detection on HTTPS Data. In: Proceedings of the 12th International Conference on Availability, Reliability and Security. The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, 2017-08-29/2017-09-01. New York: ACM, 2017. ISBN 978-1-4503-5257-4. DOI 10.1145/3098954.3107007. Available from: https://dl.acm.org/citation.cfm?id=3098954.3107007

ČÍŽEK, P., J. FAIGL, and J. BAYER. Enhancing Neural Based Obstacle Avoidance with CPG Controlled Hexapod Walking Robot. In: Proceedings of the 17th Conference on Information Technologies - Applications and Theory (ITAT 2017). ITAT 2017: Information Technologies – Applications and Theory, Martinské hole, Malá Fatra, 2017-09-22/2017-09-26. Aachen: CEUR Workshop Proceedings, 2017. pp. 65-70. 2017. vol. 1885. ISSN 1613-0073.

ČERMÁK, J. Solving Imperfect Recall Games. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. 16th Conference on Autonomous Agents and MultiAgent Systems, São Paulo, 2017-05-08/2017-05-12. New York: ACM, 2017. pp. 1820-1821.

TRNKA, M., M. TOMÁŠEK, and T. ČERNÝ. Context-Aware Security Using Internet of Things Devices. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. pp. 706-713. vol. 424. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_81.

TOŽIČKA, J., M. ŠTOLBA, and A. KOMENDA. The limits of strong privacy preserving multi-agent planning. In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. Proceedings of the International Conference on Automated Planning and Scheduling, Pittsburgh, 2017-06-18/2017-06-23. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. pp. 297-305. ISSN 2334-0835. ISBN 1577357892.

VÁŇA, P., et al. Data Collection Planning with Dubins Airplane Model and Limited Travel Budget. In: Proceedings of ECMR 2017. The Europen Conference on Mobile Robotic 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. pp. 328-333. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098715.

RYŠAVÝ, P. Using Tries for Evaluating Monge-Elkan Distance on Genomic Sequences. In: Proceedings of the International Student Scientific Conference Poster – 21/2017. Poster 2017, Praha, 2017-05-23. Praha: Czech Technical University in Prague, 2017. pp. 1-5. ISBN 978-80-01-06153-4.

ČERMÁK, J. and B. BOŠANSKÝ. Towards Solving Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. ISBN 978-1-57735-786-5.

SELECKÝ, M., J. FAIGL, and M. ROLLO. Mixed Reality Simulation for Incremental Development of Multi-UAV Systems. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. pp. 1530-1538. ISBN 978-1-5090-4495-5. DOI 10.1109/ICUAS.2017.7991351. Available from: http://ieeexplore.ieee.org/document/7991351/

FIEDLER, D., M. ČÁP, and M. ČERTICKÝ. Impact of Mobility-on-Demand on Traffic Congestion: Simulation-based Study. In: Proceedings of the 20th International Conference on Intelligent Transportation Systems. IEEE 20th International Conference on INtelligent Transportation Systems, Yokohama, 2017-10-16/2017-10-19. Monterey: IEEE Circuits and Systems Society, 2017. pp. 1648-1653. ISBN 978-1-5386-1526-3.

ŠEBEK, J. and K. RICHTA. Impact of User’s Emotion on Software Adaptation. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: Česká technika - nakladatelství ČVUT, 2017. pp. 1-14. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

ČERMÁK, J., B. BOŠANSKÝ, and V. LISÝ. An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games. In: Proceedings of the International Joint Conference on Artificial Intelligence. Proceedings of the International Joint Conference on Artificial Intelligence, Melbourne, 2017-08-19/2017-08-25. Palo Alto, California: Association for the Advancement of Artificial Intelligence (AAAI), 2017. pp. 936-942. ISSN 1045-0823. ISBN 978-0-9992411-0-3. DOI 10.24963/ijcai.2017/130. Available from: https://www.ijcai.org/proceedings/2017/130

FAIGL, J., et al. On solution of the Dubins touring problem. In: Proceedings of ECMR 2017. The Europen Conference on Mobile Robotic 2017, Paris, 2017-09-06/2017-09-08. Marseille: IEEE, 2017. pp. 1-6. ISBN 978-1-5386-1096-1. DOI 10.1109/ECMR.2017.8098685. Available from: http://ieeexplore.ieee.org/document/8098685/

HORÁK, K. and B. BOŠANSKÝ. Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. pp. 503-510. ISBN 978-989-758-220-2. DOI 10.5220/0006190605030510.

ŠOUREK, G., et al. Learning Predictive Categories Using Lifted Relational Neural Networks. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). International Conference on Inductive Logic Programming 2016, London, 2016-09-04/2016-09-06. Berlin: Springer-Verlag, 2017. pp. 108-119. ISSN 0302-9743. ISBN 978-3-319-63341-1. DOI 10.1007/978-3-319-63342-8_9.

BOŠANSKÝ, B., et al. Computing Maxmin Strategies in Extensive-form Zero-sum Games with Imperfect Recall. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. pp. 63-74. ISBN 978-989-758-220-2. DOI 10.5220/0006121200630074.

HORÁK, K., Q. ZHU, and B. BOŠANSKÝ. Manipulating Adversary’s Belief: A Dynamic Game Approach to Deception by Design for Proactive Network Security. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8th Conference on Decision and Game Theory for Security, Vienna, 2017-10-23/2017-10-25. Düsseldorf: Springer VDI Verlag, 2017. pp. 273-294. ISSN 0302-9743. ISBN 978-3-319-68710-0. DOI 10.1007/978-3-319-68711-7_15.

PAČES, P., R. THEINER, and J. BRABEC. A Precise Altitude Difference Measurement System for Terrain Mapping and Application in a Ducted-Fan Powered Airplane. In: 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC). 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), St.Petersburg, Florida, 2017-09-17/2017-09-21. New York: IEEE, 2017. Advancing Technology for Humanity. ISSN 2155-7209. ISBN 978-1-5386-0365-9.

VÁŇA, P., et al. Data Collection Planning with Limited Budget for Dubins Airplane. In: IEEE International Conference on Robotics and Automation. IEEE International Conference on Intelligent Robots and Systems (IROS 2017), Vancouver, 2017-09-24/2017-09-28. New York: IEEE Press, 2017. pp. 3137. ISBN 978-1-5386-2681-8.

ČERMÁK, J. and A. ANGELOVA. Learning with Proxy Supervision for End-To-End Visual Learning. In: Proceedings of IEEE Intelligent Vehicles Symposium. 2017 IEEE Intelligent Vehicles Symposium, Redondo Beach, 2017-06-11/2017-06-14. IEEE (Institute of Electrical and Electronics Engineers), 2017. pp. 1-6. ISBN 978-1-5090-4804-5. DOI 10.1109/IVS.2017.7995690.

ČERMÁK, J., B. BOŠANSKÝ, and M. PĚCHOUČEK. Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games. In: Proceedings of the 31th AAAI Conference on Artificial Intelligence. The 31th AAAI Conference on Artificial Intelligence, San Francisco, 2017-02-04/2017-02-09. Menlo Park: AAAI Press, 2017. pp. 902-910. ISBN 978-1-57735-786-5.

FAIGL, J. and P. VÁŇA. Unsupervised learning for surveillance planning with team of aerial vehicles. In: Proceedings of the International Joint Conference on Neural Networks. 2017 International Joint Conference on Neural Networks, Anchorage, 2017-05-14/2017-05-19. IEEE Xplore, 2017. pp. 4340-4347. ISBN 978-1-5090-6181-5. DOI 10.1109/IJCNN.2017.7966405.

EIDER, M., et al. Seamless Electromobility. In: e-Energy 2017 - Proceedings of the 8th International Conference on Future Energy Systems. 8th ACM International Conference on Future Energy Systems, e-Energy 2017, Shatin, 2017-05-16/2017-05-19. New York: ACM, 2017. pp. 316-321. ISBN 978-1-4503-5036-5. DOI 10.1145/3077839.3078461. Available from: https://dl.acm.org/citation.cfm?id=3078461

PĚNIČKA, R., et al. Dubins Orienteering Problem with Neighborhoods. In: Proceedings of 2017 International Conference on Unmanned Aircraft Systems (ICUAS). 2017 International Conference on Unmanned Aircraft Systems (ICUAS), Miami, 2017-06-13/2017-06-16. IEEE, 2017. pp. 1555-1562. ISBN 978-1-5090-4495-5. DOI 10.1109/ICUAS.2017.7991350. Available from: http://ieeexplore.ieee.org/document/7991350/

The page was created 23.11.2017 05:00:01
Responsible person: doc. Ing. Milan Polívka, Ph.D.