Author of the publication

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.

, , , , and . Mob. Inf. Syst., (2017)

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

Jittor: a novel deep learning framework with meta-operators and unified graph execution., , , , and . Sci. China Inf. Sci., (2020)A Novel Solution to the P4P Problem for an Uncalibrated Camera.. Journal of Mathematical Imaging and Vision, 45 (2): 186-198 (2013)Development of spaceborne rain radar in China: The first results from airborne dual-frequency rain radar Field campaign., , , , and . IGARSS, page 1551-1553. IEEE, (2011)AQCS: Adaptive Queue-Based Chunk Scheduling for P2P Live Streaming., , and . Networking, volume 4982 of Lecture Notes in Computer Science, page 433-444. Springer, (2008)Peer-to-Peer Streaming of Layered Video: Efficiency, Fairness and Incentive., , and . IEEE Trans. Circuits Syst. Video Techn., 21 (8): 1013-1026 (2011)A tale of three CDNs: An active measurement study of Hulu and its CDNs., , , , and . INFOCOM Workshops, page 7-12. IEEE, (2012)Bayesian-inference based recommendation in online social networks., , and . INFOCOM, page 551-555. IEEE, (2011)An improved constraint-based Bayesian network learning method using Gaussian kernel probability density estimator., , , , , , and . Expert Syst. Appl., (2018)Bayesian Recurrent Framework for Missing Data Imputation and Prediction with Clinical Time Series., , , and . CoRR, (2019)A note on the number of solutions of the coplanar P4P problem.. ICARCV, page 1413-1418. IEEE, (2012)