Author of the publication

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

Scalable Verification of Networks With Packet Transformers Using Atomic Predicates., and . IEEE/ACM Trans. Netw., 25 (5): 2900-2915 (2017)Optimization of Energy Efficient Transmission in Underwater Sensor Networks, and . CoRR, (2009)Practical network-wide packet behavior identification by AP classifier., , , , and . CoNEXT, page 10:1-10:13. ACM, (2015)Design and Analysis of a Backpressure Congestion Control Algorithm in Wireless Sensor Network., , , , , and . PDCAT, page 413-420. IEEE Computer Society, (2007)Hybrid simulation of biochemical systems using hybrid adaptive Petri nets., , and . VALUETOOLS, page 42. ICST/ACM, (2009)Real-time verification of network properties using Atomic Predicates., and . ICNP, page 1-11. IEEE Computer Society, (2013)Analyzing the Reliability of Group Transmission in Wireless Sensor Network., , , , , and . GLOBECOM, page 1288-1292. IEEE, (2008)Optimization of Energy Efficient Transmission in Underwater Sensor Networks., , , , and . GLOBECOM, page 1-6. IEEE, (2009)Security Analysis for Online Banking System Using Hierarchical Stochastic Game Nets Model., , , , and . GLOBECOM, page 1-6. IEEE, (2009)Frequency Domain Packet Scheduling with Stability Analysis for 3GPP LTE Uplink., , , , and . IEEE Trans. Mob. Comput., 12 (12): 2412-2426 (2013)