Liwu Li

Affiliations:
  • University of Windsor, Canada
  • Nankai University, Tianjin
  • University of Alberta


According to our database1, Liwu Li authored at least 23 papers between 1986 and 2005.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
An Implementation of the p-Calculus on the .NET.
J. Object Technol., 2005

Implementing the p-Calculus in Java.
J. Object Technol., 2005

Ontological modeling for software application development.
Adv. Eng. Softw., 2005

An Operational Semantics of the I"EUR-Calculus.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

2004
Extending the Java Language with Dynamic Classification.
J. Object Technol., 2004

Object-oriented programming with dynamic classification in C#.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003
UML Specification and Relational Database.
J. Object Technol., 2003

2002
Use Case Patterns.
Int. J. Softw. Eng. Knowl. Eng., 2002

2001
On ODMG Data Types.
Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

2000
Translating Use Cases to Sequence Diagrams.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999
A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

On Managing Classes for Evolving Software.
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

Object-Oriented Essential Modeling.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998
Java - data structures and programming.
Springer, ISBN: 978-3-540-63763-9, 1998

1994
High-Level Petri Net Model of Logic Program with Negation.
IEEE Trans. Knowl. Data Eng., 1994

Possible World Semantics and Autoepistemic Reasoning.
Artif. Intell., 1994

1993
Fast In-Place Verification of Data Dependencies.
IEEE Trans. Knowl. Data Eng., 1993

1991
Making default inferences from logic programs.
Comput. Intell., 1991

1990
Systolic computation with fault diagnosis.
Parallel Comput., 1990

Probability-Based Game Tree Pruning.
J. Algorithms, 1990

1989
Supported Circumscription and Its Relation to Logic Programming with Negation.
Proceedings of the Logic Programming, 1989

1987
A parallel algorithm for finding a maximum flow in 0-1 networks.
Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986
Ranking and Unranking of AVL-Trees.
SIAM J. Comput., 1986


  Loading...