Ping Hao

According to our database, Ping Hao authored at least 16 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Markov Jump System-Based Mathematical Modeling Method for Collaborative Control of Unmanned Vehicles.

Hui Bian, Ping Hao

IEEE Access, 2024

2021

Preparation and Properties of Advanced Material of High Temperature Resistant Polyurethane Adhesives containing Carborane.

Shanyou Liu, Hong Lin, Ping Hao, Lijun Bao

Proceedings of the AIAM 2021: 3rd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 23, 2021

Preparation and Properties of Advanced Materials for Bi-component Polyurethane Adhesives containing Siloxane.

Shanyou Liu, Hong Lin, Ping Hao, Lijun Bao

Proceedings of the AIAM 2021: 3rd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 23, 2021

2010

Internet medicine information monitoring system based on focused crawler.

Hong-Yi Yan, Ping Hao

Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

Steam soft-sensing for dyeing process via FCM-based multiple models.

Ping Hao

Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

2008

Timed Automata Patterns.

Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi

IEEE Trans. Software Eng., 2008

An Expert System for measuring shear-wave splitting above small earthquakes.

Ping Hao, Yuan Gao, Stuart Crampin

Comput. Geosci., 2008

2006

HighSpec: a tool for building and checking OZTA models.

Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Reasoning Method for Timed CSP Based on Constraint Solving.

Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Formal Designs for Embedded and Hybrid Systems.

Jin Song Dong, Ping Hao, Brendan P. Mahony

Int. J. Softw. Eng. Knowl. Eng., 2005

The Semantics and Tool Support of OZTA.

Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2005

Integrating Object-Z with Timed Automata.

Jin Song Dong, Roger Duke, Ping Hao

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

A Neural Network Approach for Indirect Shape from Shading.

Ping Hao, Dongming Guo, Renke Kang

Proceedings of the Advances in Neural Networks, 2004

Timed Patterns: TCOZ to Timed Automata.

Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi

Proceedings of the Formal Methods and Software Engineering, 2004

GENNERE: A Generic Epidemiological Network for Nephrology and Rheumatology.

Ana Simonet, Michel Simonet, Cyr Gabin Bassolet, Sylvain Ferriol, Cédric Gueydan, Rémi Patriarche, Haijin Yu, Ping Hao, Yi Liu, Wen Zhang, Nan Chen, Michel Forêt, Philippe Gaudin, Georges De Moor, Geert Thienpont, Mohamed Ben Saïd, Paul Landais, Didier Guillon

Proceedings of the Conceptual Modeling, 2004

2003

A Reliable Grid Messaging Service Based on JMS.

Ruonan Rao, Xu Cai, Ping Hao, Jinyuan You

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003