From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

A Game Approach to Determinize Timed Automata., , , и . FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 245-259. Springer, (2011)Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment., , , , и . J. King Saud Univ. Comput. Inf. Sci., 35 (1): 13-25 (января 2023)Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.. ICTAC, том 11884 из Lecture Notes in Computer Science, стр. 124-133. Springer, (2019)A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata., и . ENASE, стр. 570-577. SciTePress, (2019)Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.. Mob. Networks Appl., 28 (2): 732-743 (апреля 2023)DHPV: a distributed algorithm for large-scale graph partitioning., , , , и . J. Big Data, 7 (1): 1-25 (2020)An Integrated Artificial Intelligence of Things Environment for River Flood Prevention., , , , , и . Sensors, 22 (23): 9485 (2022)Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network., , , и . Sensors, 23 (14): 6422 (июля 2023)Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain., , и . ICCAD, стр. 1-6. IEEE, (2018)Efficient Machine-Learning Based 3D Face Identification System Under Large Pose Variation., , , и . ICCCI (CCIS Volume), том 1653 из Communications in Computer and Information Science, стр. 273-285. Springer, (2022)