СТ |
General Natural Language for Operating Systems |
1992 |
Li X., Xing D. |
|
|
|
SIGART Bull. |
16.11.1992 |
СТ |
A Knowledge-Based Mathematical Model Formulation System |
1992 |
Krishnan R., Li X., Steier D. |
|
|
|
Communications of the ACM |
01.10.1992 |
СТ |
And/Or Parallel Execution of Logic Programs: Exploting Dependent And-parallelism |
1993 |
Yuhua Z., Honglei T., Li X. |
|
|
|
SIGPLAN Notices |
28.05.1993 |
СТ |
A Path-Based Method of Parallelizing C++ Programs |
1994 |
Genjiang Z., Li X., Zhongxiu S. |
|
|
|
SIGPLAN Notices |
16.03.1994 |
СТ |
Consistency Checking of Evolving Methods |
1994 |
Li X., Tari Z. |
|
|
|
Lecture Notes in Computer Science |
25.09.1994 |
СТ |
An Object-Centered Application Development System |
1994 |
Ketabchi M. A., Dasananda S., Mikkilineni R., Li X., Xu F., Yan M. |
|
|
|
Lecture Notes in Computer Science |
25.09.1994 |
СТ |
Method Restructuring and Consistency Checking for Object-Oriented Schemas |
1994 |
Tari Z., Li X. |
|
|
|
Lecture Notes in Computer Science |
30.12.1994 |
СТ |
Logging in Main Memory Databases |
1995 |
Eich M. H., Li X. |
|
|
|
Australian Computer Science Communications |
18.05.1995 |
СТ |
A Petri Net-based Visual Language for Specifying GUIs |
1997 |
Li X., Mugridge W. B., Hosking J. G. |
|
|
|
Proc. of 1997 IEEE Symp. on Visual Languages |
18.03.1998 |
СТ |
Compositional Model-Checking for Real-time Systems |
1998 |
Hou J., Li X., Fan X., Zheng G. |
|
|
|
Software Engineering Notes |
01.07.1998 |
СТ |
A Scalable Load Balancing System for NOWs |
1998 |
Sanglu L., Li X. |
|
|
|
Operating Systems Review |
24.08.1998 |
СТ |
Java as a Language for Scientific Parallel Programming |
1998 |
Carpenter B., Chang Y. -J., Fox G., Li X. |
|
|
|
Lecture Notes in Computer Science |
12.06.1998 |
СТ |
Towards a Java Environment for SPMD Programming |
1998 |
Carpenter B., Zhang G., Fox G., Li X., Li X., Wen Y. |
|
|
|
Lecture Notes in Computer Science |
17.10.1998 |
СТ |
PCRC-based HPF Compilation |
1998 |
Zhang G., Carpenter B., Fox G., Li X., Li X., Wen Y. |
|
|
|
Lecture Notes in Computer Science |
11.06.1998 |
СТ |
Considerations in HPJava Language Design and Implementation |
1999 |
Zhang G., Carpenter B., Fox G., Li X., Wen Y. |
|
|
|
Lecture Notes in Computer Science |
25.09.1999 |
СТ |
Strategies Optimization and Integration in DSM |
2000 |
Ji L., Tianning L., Guihai C., Li X., Wang C. L. |
|
|
|
Operating Systems Review |
18.09.2000 |
СТ |
Design and Implementation of the OLOG Deductive Object-Oriented Database Management System |
2000 |
Li X., Liu M. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
СТ |
A Measurement Tool for Object Oriented Software and Measurement Experiments with It |
2001 |
Li X., Liu Z., Pan B., Xing D. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
СТ |
Using Transition Systems to Unify UML Models |
2002 |
Liu Z., Li X., He J. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
СТ |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML |
2003 |
Liu Z., Jifeng H., Li X., Chen Y. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
СТ |
Optimization of Spatial Joins on Mobile Devices |
2003 |
Mamoulis N., Kalnis P., Bakiras S., Li X. |
|
|
|
Lecture Notes in Computer Science |
13.11.2003 |
СТ |
Compiler and Middleware Support for Scalable Data Mining |
2003 |
Agrawal G., Jin R., Li X. |
|
|
|
Lecture Notes in Computer Science |
18.06.2003 |
СТ |
Direct Execution Simulation of Mobile Agent Algorithms |
2003 |
Cao J., Li X., He Y. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
СТ |
A Relational Model for Object-Oriented Designs |
2004 |
Jifeng H., Liu Zh., Li X., Qin Sh. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.12.2004 |
СТ |
Reflective Web Interface Agent |
2004 |
Li X. |
|
|
|
Lecture Notes in Computer Science |
20.05.2004 |
СТ |
Using XQuery for Flat-File Based Scientific Datasets |
2004 |
Li X., Agrawal G. |
|
|
|
Lecture Notes in Computer Science |
03.03.2004 |
СТ |
A Predicative Semantic Model for Integrating UML Models |
2005 |
Yang J., Long Q., Liu Zh., Li X. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |