Liwu Li

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