Tao He

Affiliations:
  • Shanghai University, School of Computer Engineering and Science, Shanghai Key Laboratory of Computer Software Evaluating and Testing, China


According to our database1, Tao He authored at least 11 papers between 2007 and 2013.

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

Timeline

2007
2008
2009
2010
2011
2012
2013
0
1
2
3
4
1
1
1
2
2
2
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Extenics-based Test Case Generation for UML Activity Diagram.
Proceedings of the First International Conference on Information Technology and Quantitative Management, 2013

2012
Research on Verification Tool for Software Requirements.
J. Softw., 2012

2011
Research of Semantic Web Model and Reasoning Based on F-Logic.
Proceedings of the Information Computing and Applications, 2011

Verification Tool of Software Requirement for Network Software.
Proceedings of the Information Computing and Applications, 2011

2009
Formal Semantics of OWL-S with F-Logic.
Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009

Analysis and Composition of Web Components Based on p-Calculus.
Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009

A Web Service Composition Method Based on Interface Matching.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
Modeling and Composition of Web Application Components using Extended FSM.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Modeling and Analyzing Composite Semantic Web Service Using Petri Nets.
Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

2007
An Approach to Modeling Hypermedia Web Applications.
Proceedings of the Grid and Cooperative Computing, 2007

Modeling Web Browser Interactions Using FSM.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007


  Loading...