Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Guoxin Song

2000 – 2009

see FAQ

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

2006
[c4]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cimca/GuSL06
- ask others
Xunmei Gu, Guoxin Song, Qingyi Li: An Improved FSM Method for Web-based Applications. CIMCA/IAWTIC 2006: 21
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cimca/GuSX06
- ask others
Xunmei Gu, Guoxin Song, Lizhong Xiao: Design of a Fuzzy Decision-Making Model and Its Application to Software Functional Size Measurement. CIMCA/IAWTIC 2006: 199
2005
[c2]
- view
  - electronic edition @ iospress.nl
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwap/GuZS05
- ask others
Chunhua Gu, Xueqin Zhang, Guoxin Song: A Delegation Logic Based Authorization Mechanism for Virtual Organizations. IWAP 2005: 123-136

1990 – 1999

see FAQ

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

1999
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcst/ShaoSSY99
- ask others
Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu: Deciding quasi-reducibility using witnessed test sets. J. Comput. Sci. Technol. 14(2): 146-152 (1999)
1998
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcst/YuSS98
- ask others
Huiqun Yu, Guoxin Song, Yongqiang Sun: Completeness of the accumulation calculus. J. Comput. Sci. Technol. 13(1): 25-31 (1998)
[c1]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/ShaoSSY98
- ask others
Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu: Proving Inductive Theorems Using Witnessed Test Sets. ICFEM 1998: 158-164
1995
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcst/ShaoS95
- ask others
Zhiqing Shao, Guoxin Song: An algebraic characterization of inductive soundness in proof by consistency. J. Comput. Sci. Technol. 10(3): 285-288 (1995)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?