Ranking and Unranking of AVL-Trees. - Liwu Li 001 (SIAM J. Comput., 1986)

A parallel algorithm for finding a maximum flow in 0-1 networks. - Liwu Li 001; T. Anthony Marsland (ACM Conference on Computer Science, 1987)

Supported Circumscription and Its Relation to Logic Programming with Negation. - Jia-Huai You; Liwu Li 001 (NACLP, 1989)

Probability-Based Game Tree Pruning. - Liwu Li 001; T. Anthony Marsland (J. Algorithms, 1990)

Systolic computation with fault diagnosis. - Liwu Li 001 (Parallel Comput., 1990)

Making default inferences from logic programs. - Liwu Li 001; Jia-Huai You (Comput. Intell., 1991)

Fast In-Place Verification of Data Dependencies. - Liwu Li 001 (IEEE Trans. Knowl. Data Eng., 1993)

Possible World Semantics and Autoepistemic Reasoning. - Liwu Li 001 (Artif. Intell., 1994)

High-Level Petri Net Model of Logic Program with Negation. - Liwu Li 001 (IEEE Trans. Knowl. Data Eng., 1994)

Java - data structures and programming. - Liwu Li 001 (Springer, 1998)

Object-Oriented Essential Modeling. - Liwu Li 001 (APSEC, 1999)

On Managing Classes for Evolving Software. - Liwu Li 001 (IWPC, 1999)

A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams. - Liwu Li 001 (TOOLS (29), 1999)

Translating Use Cases to Sequence Diagrams. - Liwu Li 001 (ASE, 2000)

On ODMG Data Types. - Liwu Li 001 (TOOLS (39), 2001)

Use Case Patterns. - Liwu Li 001 (Int. J. Softw. Eng. Knowl. Eng., 2002)

UML Specification and Relational Database. - Liwu Li 001; Xin Zhao (J. Object Technol., 2003)

Object-oriented programming with dynamic classification in C#. - Liwu Li 001; Wenjiang Wang (IASTED Conf. on Software Engineering and Applications, 2004)

Extending the Java Language with Dynamic Classification. - Liwu Li 001 (J. Object Technol., 2004)

An Operational Semantics of the I"EUR-Calculus. - Liwu Li 001 (Parallel and Distributed Computing and Networks, 2005)

Ontological modeling for software application development. - Liwu Li 001 (Adv. Eng. Softw., 2005)

Implementing the p-Calculus in Java. - Liwu Li 001 (J. Object Technol., 2005)

An Implementation of the p-Calculus on the .NET. - Liwu Li 001 (J. Object Technol., 2005)