Liwu Li

	2005
22		Liwu Li: An Operational Semantics of the I"EUR-Calculus. Parallel and Distributed Computing and Networks 2005: 693-698
21		Liwu Li: Ontological modeling for software application development. Advances in Engineering Software 36(3): 147-157 (2005)
20		Liwu Li: Implementing the p-Calculus in Java. Journal of Object Technology 4(2): 157-178 (2005)
19		Liwu Li: An Implementation of the p-Calculus on the .NET. Journal of Object Technology 4(5): 139-158 (2005)
	2004
18		Liwu Li, Wenjiang Wang: Object-oriented programming with dynamic classification in C#. IASTED Conf. on Software Engineering and Applications 2004: 534-539
17		Liwu Li: Extending the Java Language with Dynamic Classification. Journal of Object Technology 3(7): 101-120 (2004)
	2003
16		Liwu Li, Xin Zhao: UML Specification and Relational Database. Journal of Object Technology 2(5): 87-100 (2003)
	2002
15		Liwu Li: Use Case Patterns. International Journal of Software Engineering and Knowledge Engineering 12(1): 19-40 (2002)
	2001
14		Liwu Li: On ODMG Data Types. TOOLS (39) 2001: 219-228
	2000
13		Liwu Li: Translating Use Cases to Sequence Diagrams. ASE 2000: 293-296
	1999
12		Liwu Li: Object-Oriented Essential Modeling. APSEC 1999: 388-
11		Liwu Li: On Managing Classes for Evolving Software. IWPC 1999: 144-150
10		Liwu Li: A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams. TOOLS (29) 1999: 184-193
	1994
9		Liwu Li: Possible World Semantics and Autoepistemic Reasoning. Artif. Intell. 71(2): 281-320 (1994)
8		Liwu Li: High-Level Petri Net Model of Logic Program with Negation. IEEE Trans. Knowl. Data Eng. 6(3): 382-395 (1994)
	1993
7		Liwu Li: Fast In-Place Verification of Data Dependencies. IEEE Trans. Knowl. Data Eng. 5(2): 266-281 (1993)
	1991
6		Liwu Li, Jia-Huai You: Making default inferences from logic programs. Computational Intelligence 7: 142-153 (1991)
	1990
5		Liwu Li, T. Anthony Marsland: Probability-Based Game Tree Pruning. J. Algorithms 11(1): 27-43 (1990)
4		Liwu Li: Systolic computation with fault diagnosis. Parallel Computing 14(2): 235-243 (1990)
	1989
3		Jia-Huai You, Liwu Li: Supported Circumscription and Its Relation to Logic Programming with Negation. NACLP 1989: 291-309
	1987
2		Liwu Li, T. Anthony Marsland: A parallel algorithm for finding a maximum flow in 0-1 networks. ACM Conference on Computer Science 1987: 231-234
	1986
1		Liwu Li: Ranking and Unranking of AVL-Trees. SIAM J. Comput. 15(4): 1025-1035 (1986)

Coauthor Index

1	T. Anthony Marsland	[2] [5]
2	Wenjiang Wang	[18]
3	Jia-Huai You	[3] [6]
4	Xin Zhao	[16]

Colors in the list of coauthors