Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Tao He 0004

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/itqm/LiLHX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itqm/LiLHX13
Liping Li, Xingsen Li, Tao He, Jie Xiong:
Extenics-based Test Case Generation for UML Activity Diagram. ITQM 2013: 1186-1193
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsw/HeL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsw/HeL12
Tao He, Liping Li:
Research on Verification Tool for Software Requirements. J. Softw. 7(7): 1609-1616 (2012)
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icica/QinHL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icica/QinHL11
Guorong Qin, Tao He, Liping Li:
Research of Semantic Web Model and Reasoning Based on F-Logic. ICICA (1) 2011: 466-472
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icica/HeLL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icica/HeLL11
Tao He, Liping Li, Huazhong Li:
Verification Tool of Software Requirement for Network Software. ICICA (LNCS) 2011: 545-552

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ACISicis/HeML09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACISicis/HeML09
Tao He, Huaikou Miao, Liping Li:
A Web Service Composition Method Based on Interface Matching. ACIS-ICIS 2009: 1150-1154
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cso/HeML09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cso/HeML09
Tao He, Huaikou Miao, Liping Li:
Analysis and Composition of Web Components Based on p-Calculus. CSO (1) 2009: 677-679
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/sci/MiaoHL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/MiaoHL09
Huaikou Miao, Tao He, Liping Li:
Formal Semantics of OWL-S with F-Logic. Computer and Information Science 2009: 105-117
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icebe/MiaoHQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icebe/MiaoHQ08
Huaikou Miao, Tao He, Zhong-sheng Qian:
Modeling and Analyzing Composite Semantic Web Service Using Petri Nets. ICEBE 2008: 660-664
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icnc/HeM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnc/HeM08
Tao He, Huaikou Miao:
Modeling and Composition of Web Application Components using Extended FSM. ICNC (6) 2008: 363-368
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/MiaoQH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/MiaoQH07
Huaikou Miao, Zhong-sheng Qian, Tao He:
Modeling Web Browser Interactions Using FSM. APSCC 2007: 211-217
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/QianMH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/QianMH07
Zhong-sheng Qian, Huaikou Miao, Tao He:
An Approach to Modeling Hypermedia Web Applications. GCC 2007: 847-854

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.