dblp.uni-trier.dewww.uni-trier.de

Liwu Li Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)