Ping Hao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2004–2006
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICFEM | A Reasoning Method for Timed CSP Based on Constraint Solving. | Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang |
| 2006 | ICSE | HighSpec: a tool for building and checking OZTA models. | Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin |
| 2005 | ICECCS | Integrating Object-Z with Timed Automata. | Jin Song Dong, Roger Duke, Ping Hao |
| 2005 | ICFEM | The Semantics and Tool Support of OZTA. | Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang |
| 2004 | ER | GENNERE: A Generic Epidemiological Network for Nephrology and Rheumatology. | Ana Simonet, Michel Simonet, Cyr Gabin Bassolet, Sylvain Ferriol, Cdric Gueydan, Rmi Patriarche, Haijin Yu, Ping Hao, Yi Liu, Wen Zhang, Nan Chen, Michel Fort, Philippe Gaudin, Georges De Moor, Geert Thienpont, Mohamed Ben Sad, Paul Landais, Didier Guillon |
| 2004 | ICFEM | Timed Patterns: TCOZ to Timed Automata. | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi |
| 2004 | ISNN | A Neural Network Approach for Indirect Shape from Shading. | Ping Hao, Dongming Guo, Renke Kang |