Guoxin Song

According to our database1, Guoxin Song authored at least 8 papers between 1995 and 2006.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Design of a Fuzzy Decision-Making Model and Its Application to Software Functional Size Measurement.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

An Improved FSM Method for Web-based Applications.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

2005
A Delegation Logic Based Authorization Mechanism for Virtual Organizations.
Proceedings of the Applied Public Key Infrastructure, 2005

1999
Deciding quasi-reducibility using witnessed test sets.
J. Comput. Sci. Technol., 1999

1998
Completeness of the accumulation calculus.
J. Comput. Sci. Technol., 1998

Proving Inductive Theorems Using Witnessed Test Sets.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1995
An algebraic characterization of inductive soundness in proof by consistency.
J. Comput. Sci. Technol., 1995

Term rewriting systems with sort priorities.
Int. J. Comput. Math., 1995


  Loading...