Author of the publication

A Novel Method for Formally Detecting RFID Event Using Petri Nets.

, , , , , and . SEKE, page 122-125. Knowledge Systems Institute Graduate School, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Implication-Based Approximating Bounded Model Checking., , , and . FSEN, volume 4767 of Lecture Notes in Computer Science, page 350-363. Springer, (2007)A Robust Incentive Consensus Propagation Design for Consortium-Chain Based Wireless Network., , , and . ICC Workshops, page 1-6. IEEE, (2020)Deep-Reinforcement-Learning-Based Latency Minimization in Edge Intelligence Over Vehicular Networks., , , , , and . IEEE Internet Things J., 9 (2): 1300-1312 (2022)Uncertainty measurement based on general relation., , , , and . ACC, page 3650-3653. IEEE, (2008)Two operators in rough set theory., , , and . CDC, page 2148-2152. IEEE, (2007)On the Provable Generalization of Recurrent Neural Networks., , , and . NeurIPS, page 20258-20269. (2021)Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System., and . AINA Workshops (1), page 583-589. IEEE Computer Society, (2007)Transformation of BPEL Processes to Petri Nets., , and . TASE, page 166-173. IEEE Computer Society, (2008)Backstepping-based direct adaptive fuzzy control for SISO nonlinear systems., , , and . CDC, page 5948-5953. IEEE, (2007)Lightweight Gesture Based Trigger-Action Programming for Home Internet-of-Things., , , , and . CSCWD, page 959-964. IEEE, (2023)