Liwu Li

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

An Implementation of the p-Calculus on the .NET.

Liwu Li

J. Object Technol., 2005

Implementing the p-Calculus in Java.

Liwu Li

J. Object Technol., 2005

Ontological modeling for software application development.

Liwu Li

Adv. Eng. Softw., 2005

An Operational Semantics of the I"EUR-Calculus.

Liwu Li

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

2004

Extending the Java Language with Dynamic Classification.

Liwu Li

J. Object Technol., 2004

Object-oriented programming with dynamic classification in C#.

Liwu Li, Wenjiang Wang

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003

UML Specification and Relational Database.

Liwu Li, Xin Zhao

J. Object Technol., 2003

2002

Use Case Patterns.

Liwu Li

Int. J. Softw. Eng. Knowl. Eng., 2002

2001

On ODMG Data Types.

Liwu Li

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

2000

Translating Use Cases to Sequence Diagrams.

Liwu Li

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams.

Liwu Li

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

On Managing Classes for Evolving Software.

Liwu Li

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

Object-Oriented Essential Modeling.

Liwu Li

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Java - data structures and programming.

Liwu Li

Springer, ISBN: 978-3-540-63763-9, 1998

1994

High-Level Petri Net Model of Logic Program with Negation.

Liwu Li

IEEE Trans. Knowl. Data Eng., 1994

Possible World Semantics and Autoepistemic Reasoning.

Liwu Li

Artif. Intell., 1994

1993

Fast In-Place Verification of Data Dependencies.

Liwu Li

IEEE Trans. Knowl. Data Eng., 1993

1991

Making default inferences from logic programs.

Liwu Li, Jia-Huai You

Comput. Intell., 1991

1990

Systolic computation with fault diagnosis.

Liwu Li

Parallel Comput., 1990

Probability-Based Game Tree Pruning.

Liwu Li, T. Anthony Marsland

J. Algorithms, 1990

1989

Supported Circumscription and Its Relation to Logic Programming with Negation.

Jia-Huai You, Liwu Li

Proceedings of the Logic Programming, 1989

1987

A parallel algorithm for finding a maximum flow in 0-1 networks.

Liwu Li, T. Anthony Marsland

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986

Ranking and Unranking of AVL-Trees.

Liwu Li

SIAM J. Comput., 1986