Search the dblp DataBase

Publications of Author

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