Ping Hao

16 papers A* 1A 1B 1C 5Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Markov Jump System-Based Mathematical Modeling Method for Collaborative Control of Unmanned Vehicles.
IEEE Access
Hui Bian, Ping Hao
2021 — conf
Preparation and Properties of Advanced Material of High Temperature Resistant Polyurethane Adhesives containing Carborane.
AIAM (ACM)
Shanyou Liu, Hong Lin, Ping Hao, Lijun Bao
2021 — conf
Preparation and Properties of Advanced Materials for Bi-component Polyurethane Adhesives containing Siloxane.
AIAM (ACM)
Shanyou Liu, Hong Lin, Ping Hao, Lijun Bao
2010 C conf
Internet medicine information monitoring system based on focused crawler.
ICIS
Hong-Yi Yan, Ping Hao
2010 C conf
Steam soft-sensing for dyeing process via FCM-based multiple models.
ICIS
Ping Hao
2008 J jnl
An Expert System for measuring shear-wave splitting above small earthquakes.
Comput. Geosci.
Ping Hao, Yuan Gao, Stuart Crampin
2008 J jnl
Timed Automata Patterns.
IEEE Trans. Software Eng.
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2006 C conf
A Reasoning Method for Timed CSP Based on Constraint Solving.
ICFEM
Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
2006 A* conf
HighSpec: a tool for building and checking OZTA models.
ICSE
Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin
2005 J jnl
Formal Designs for Embedded and Hybrid Systems.
Int. J. Softw. Eng. Knowl. Eng.
Jin Song Dong, Ping Hao, Brendan P. Mahony
2005 B conf
Integrating Object-Z with Timed Automata.
ICECCS
Jin Song Dong, Roger Duke, Ping Hao
2005 C conf
The Semantics and Tool Support of OZTA.
ICFEM
Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
2004 — conf
A Neural Network Approach for Indirect Shape from Shading.
ISNN (2)
Ping Hao, Dongming Guo, Renke Kang
2004 A conf
GENNERE: A Generic Epidemiological Network for Nephrology and Rheumatology.
ER
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
2004 C conf
Timed Patterns: TCOZ to Timed Automata.
ICFEM
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2003 — conf
A Reliable Grid Messaging Service Based on JMS.
GCC (2)
Ruonan Rao, Xu Cai, Ping Hao, Jinyuan You