The SCEAS System
Navigation Menu

Search the dblp DataBase


Ping Hao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002