Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ping Hao
2000 – 2009
- 2008
[j3]Ping Hao, Yuan Gao, Stuart Crampin: An Expert System for measuring shear-wave splitting above small earthquakes. Computers & Geosciences 34(3): 226-234 (2008)- [j2]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
- 2006
- [c8]Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
- [c7]Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778
- 2005
- [j1]Jin Song Dong, Ping Hao, Brendan P. Mahony: Formal Designs for Embedded and Hybrid Systems. International Journal of Software Engineering and Knowledge Engineering 15(2): 373-378 (2005)
- [c6]
- [c5]Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80
- 2004
- [c4]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. ER 2004: 862-864
- [c3]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
- [c2]Ping Hao, Dongming Guo, Renke Kang: A Neural Network Approach for Indirect Shape from Shading. ISNN (2) 2004: 737-742
- 2003
- [c1]Ruonan Rao, Xu Cai, Ping Hao, Jinyuan You: A Reliable Grid Messaging Service Based on JMS. GCC (2) 2003: 207-210
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-09 00:23 CET by the dblp team