| |
| 2005 | ||
|---|---|---|
| 22 | Liwu Li: An Operational Semantics of the I"EUR-Calculus. Parallel and Distributed Computing and Networks 2005: 693-698 | |
| 21 | EE | Liwu Li: Ontological modeling for software application development. Advances in Engineering Software 36(3): 147-157 (2005) |
| 20 | EE | Liwu Li: Implementing the p-Calculus in Java. Journal of Object Technology 4(2): 157-178 (2005) |
| 19 | EE | 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 | EE | Liwu Li: Extending the Java Language with Dynamic Classification. Journal of Object Technology 3(7): 101-120 (2004) |
| 2003 | ||
| 16 | EE | Liwu Li, Xin Zhao: UML Specification and Relational Database. Journal of Object Technology 2(5): 87-100 (2003) |
| 2002 | ||
| 15 | EE | Liwu Li: Use Case Patterns. International Journal of Software Engineering and Knowledge Engineering 12(1): 19-40 (2002) |
| 2001 | ||
| 14 | EE | Liwu Li: On ODMG Data Types. TOOLS (39) 2001: 219-228 |
| 2000 | ||
| 13 | EE | Liwu Li: Translating Use Cases to Sequence Diagrams. ASE 2000: 293-296 |
| 1999 | ||
| 12 | EE | Liwu Li: Object-Oriented Essential Modeling. APSEC 1999: 388- |
| 11 | EE | Liwu Li: On Managing Classes for Evolving Software. IWPC 1999: 144-150 |
| 10 | EE | 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 | EE | Liwu Li: High-Level Petri Net Model of Logic Program with Negation. IEEE Trans. Knowl. Data Eng. 6(3): 382-395 (1994) |
| 1993 | ||
| 7 | EE | 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 | EE | 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) | |
| 1 | T. Anthony Marsland | [2] [5] |
| 2 | Wenjiang Wang | [18] |
| 3 | Jia-Huai You | [3] [6] |
| 4 | Xin Zhao | [16] |