Xiaomei Tian

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

2 Raymond T. Ng, Xiaomei Tian: Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation. J. Log. Program. 30(3): 179-204 (1997)

1995

1 Raymond T. Ng, Xiaomei Tian: Incremental Methods for Optimizing Partial Instantiation. LPNMR 1995: 287-301

1997
2		Raymond T. Ng, Xiaomei Tian: Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation. J. Log. Program. 30(3): 179-204 (1997)
1995
1		Raymond T. Ng, Xiaomei Tian: Incremental Methods for Optimizing Partial Instantiation. LPNMR 1995: 287-301

Coauthor Index

1 Raymond T. Ng [1] [2]