СТ |
A Type Inference System for Prolog |
1988 |
Xu J., Warren D. S. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
03.10.1994 |
СТ |
Analogical Type Theory |
1993 |
Yi B., Xu J. |
|
|
|
Lecture Notes in Computer Science |
09.10.1993 |
СТ |
Cluster-Based Database Selection Techniques for Routing Bibliographic Queries |
1999 |
Xu J., Lim E. -P., Ng W. -P. |
|
|
|
Lecture Notes in Computer Science |
09.10.1999 |
СТ |
Corpus-Based Stemming Using Cooccurrence of Word Variants |
1998 |
Xu J., Croft W. B. |
|
|
|
ACM Trans. on Information Systems |
14.05.1998 |
СТ |
Development Transformation Based on Higher Order Type Theory |
1992 |
Lu J., Xu J. |
|
|
|
Lecture Notes in Computer Science |
05.08.1992 |
СТ |
Improving the Effectiveness of Information Retrieval with Local Context Analysis |
2000 |
Xu J., Croft W. B. |
|
|
|
ACM Trans. on Information Systems |
25.07.2000 |
СТ |
On Satisfying Timing Constraints in Hard-Real-Time Systemes |
1991 |
Xu J., Parnas D. L. |
|
|
|
Software Engineering Notes |
03.04.1992 |
СТ |
On-line multiversion database concurrency control |
1992 |
Xu J. |
|
|
|
Acta Informatica |
21.05.1992 |
СТ |
Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time |
2003 |
Xu J., Woodside M., Petriu D. |
|
|
|
Lecture Notes in Computer Science |
24.09.2003 |
СТ |
Virtual Memory Support for OR-Parallel Logic Programming Systems |
1991 |
Veron A., Xu J., Delgado-Rannauro S., Schuerman K. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |