Author of the publication

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.

, , , and . ICECCS, page 111-121. IEEE Computer Society, (2016)

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

Research on the environmental impact factors of Hand-Foot-Mouth Disease in Shenzhen, China using RS and GIS technologies., , , , , , , , , and . IGARSS, page 7240-7243. IEEE, (2012)Throughput analysise of cooperative multiple packet reception based on NDMA., and . APCCAS, page 789-793. IEEE, (2008)Characterization of homogeneity in orthocomplete atomic effect algebras.. Fuzzy Sets Syst., (2014)Using GIS to Quantify Mountains in China., , , and . Comput. Sci. Eng., 12 (1): 36-43 (2010)Common Sparsity and Cluster Structure Based Channel Estimation for Downlink Massive MIMO-OFDM Systems., , and . IEEE Signal Process. Lett., 26 (1): 59-63 (2019)An Improved BAQ Encoding and Decoding Method for Improving the Quantized SNR of SAR Raw Data., , , and . Sensors, 18 (12): 4221 (2018)Design of an Integrated Hand-Foot End-Effector for Multi-Legged Robots., , , , and . ROBIO, page 274-279. IEEE, (2018)Optimizing Remote Sensing-Based Level-Area Modeling of Large Lake Wetlands: Case Study of Poyang Lake., , , , , and . IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 8 (2): 471-479 (2015)Feature Extraction and Recognition Based on Machine Vision Application in Lotus Picking Robot., , , , , and . CCTA (1), volume 478 of IFIP Advances in Information and Communication Technology, page 485-501. (2015)A Generic Approach to Eco-Driving of Connected Automated Vehicles in Mixed Urban Traffic and Heterogeneous Power Conditions., , , , , , , , , and . IEEE Trans. Intell. Transp. Syst., 24 (11): 11963-11980 (November 2023)