Liwu Li

Publication Activity (10 Years)

Years Active: 1986-2005
Publications (10 Years): 0

Publications

Liwu Li
Ontological modeling for software application development. Adv. Eng. Softw. 36 (3) (2005)
Liwu Li
Implementing the p-Calculus in Java. J. Object Technol. 4 (2) (2005)
Liwu Li
An Implementation of the p-Calculus on the .NET. J. Object Technol. 4 (5) (2005)
Liwu Li
An Operational Semantics of the I"EUR-Calculus. Parallel and Distributed Computing and Networks (2005)
Liwu Li, Wenjiang Wang
Object-oriented programming with dynamic classification in C#. IASTED Conf. on Software Engineering and Applications (2004)
Liwu Li
Extending the Java Language with Dynamic Classification. J. Object Technol. 3 (7) (2004)
Liwu Li, Xin Zhao
UML Specification and Relational Database. J. Object Technol. 2 (5) (2003)
Liwu Li
Use Case Patterns. Int. J. Softw. Eng. Knowl. Eng. 12 (1) (2002)
Liwu Li
On ODMG Data Types. TOOLS (39) (2001)
Liwu Li
Translating Use Cases to Sequence Diagrams. ASE (2000)
Liwu Li
Object-Oriented Essential Modeling. APSEC (1999)
Liwu Li
A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams. TOOLS (29) (1999)
Liwu Li
On Managing Classes for Evolving Software. IWPC (1999)
Liwu Li
Possible World Semantics and Autoepistemic Reasoning. Artif. Intell. 71 (2) (1994)
Liwu Li
High-Level Petri Net Model of Logic Program with Negation. IEEE Trans. Knowl. Data Eng. 6 (3) (1994)
Liwu Li
Fast In-Place Verification of Data Dependencies. IEEE Trans. Knowl. Data Eng. 5 (2) (1993)
Liwu Li, Jia-Huai You
Making default inferences from logic programs. Comput. Intell. 7 (1991)
Liwu Li, T. Anthony Marsland
Probability-Based Game Tree Pruning. J. Algorithms 11 (1) (1990)
Liwu Li
Systolic computation with fault diagnosis. Parallel Comput. 14 (2) (1990)
Jia-Huai You, Liwu Li
Supported Circumscription and Its Relation to Logic Programming with Negation. NACLP (1989)
Liwu Li, T. Anthony Marsland
A parallel algorithm for finding a maximum flow in 0-1 networks. ACM Conference on Computer Science (1987)
Liwu Li
Ranking and Unranking of AVL-Trees. SIAM J. Comput. 15 (4) (1986)