Ping Hao

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2021
Preparation and Properties of Advanced Material of High Temperature Resistant Polyurethane Adhesives containing Carborane.
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.
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.
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.
Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

2008
Timed Automata Patterns.
IEEE Trans. Software Eng., 2008

An Expert System for measuring shear-wave splitting above small earthquakes.
Comput. Geosci., 2008

2006
HighSpec: a tool for building and checking OZTA models.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Reasoning Method for Timed CSP Based on Constraint Solving.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
Formal Designs for Embedded and Hybrid Systems.
Int. J. Softw. Eng. Knowl. Eng., 2005

The Semantics and Tool Support of OZTA.
Proceedings of the Formal Methods and Software Engineering, 2005

Integrating Object-Z with Timed Automata.
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.
Proceedings of the Advances in Neural Networks, 2004

Timed Patterns: TCOZ to Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2004


2003
A Reliable Grid Messaging Service Based on JMS.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003


  Loading...