Search the dblp DataBase

Publications of Author

1. 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
   GENNERE: A Generic Epidemiological Network for Nephrology and Rheumatology. [Citation Graph (0, 0)][DBLP]
   ER, 2004, pp:862-864 [Conf]
   
2. Ruonan Rao, Xu Cai, Ping Hao, Jinyuan You
   A Reliable Grid Messaging Service Based on JMS. [Citation Graph (0, 0)][DBLP]
   GCC (2), 2003, pp:207-210 [Conf]
   
3. J. S. Dong, R. Duke, P. Hao
   Integrating Object-Z with Timed Automata. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2005, pp:488-497 [Conf]
   
4. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
   Timed Patterns: TCOZ to Timed Automata. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2004, pp:483-498 [Conf]
   
5. Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
   The Semantics and Tool Support of OZTA. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2005, pp:66-80 [Conf]
   
6. Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
   A Reasoning Method for Timed CSP Based on Constraint Solving. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:342-359 [Conf]
   
7. Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin
   HighSpec: a tool for building and checking OZTA models. [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:775-778 [Conf]
   
8. Ping Hao, Dongming Guo, Renke Kang
   A Neural Network Approach for Indirect Shape from Shading. [Citation Graph (0, 0)][DBLP]
   ISNN (2), 2004, pp:737-742 [Conf]
   
9. Jin Song Dong, Ping Hao, Brendan P. Mahony
   Formal Designs for Embedded and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:373-378 [Journal]