Heping He

According to our database1, Heping He authored at least 6 papers between 1991 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
A flexible approach to inference in semiparametric regression models with correlated errors using Gaussian processes.
Comput. Stat. Data Anal., 2016

1996
A fast prototype tool for parallel reactive systems.
J. Syst. Archit., 1996

An Executable Specification Language for Fast Prototyping Parallel Responsive Systems.
Comput. Lang., 1996

1993
Cycle calculus for hybrid systems.
Microprocess. Microprogramming, 1993

Requirement Specification For Real-Time and Hybrid Systems.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1991
Prototyping with Temporal VDM: A Status Report.
Proceedings of the VDM '91, 1991


  Loading...