|
СТ |
Caste: A Step beyond Object Orientation |
2003 |
Zhu H., Lighfoot D. |
|
|
|
Lecture Notes in Computer Science |
15.11.2003 |
|
СТ |
Formal Specification of Evolutionary Software Agents |
2002 |
Zhu H. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
On Multi-way Spatial Joins with Direction Predicates |
2001 |
Zhu H., Su J., Ibarra O. H. |
|
|
|
Lecture Notes in Computer Science |
16.08.2001 |
|
СТ |
A Theory of Testing High-Level Petri Nets |
2000 |
Zhu H., He X. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
|
СТ |
On the Security of Three-Party Criptographic Protocols |
1998 |
Xu S., Zhang G., Zhu H. |
|
|
|
Operating Systems Review |
24.08.1998 |
|
СТ |
Identifying Critical Loads in Real Programs for Decoupled VSM Systems |
1997 |
Zhu H., Watson I. |
|
|
|
Lecture Notes in Computer Science |
24.10.1997 |
|
СТ |
Injecting Faults into Environment Simulators for Testing Safety Critical Software |
1994 |
Zhu H., Hall P.A. V., May J.H. R. |
|
|
|
Lecture Notes in Computer Science |
21.10.1994 |
|
СТ |
A Neural Network Model for Quadratic Programming with Simple Upper and Lower Bounds and Its Application to Linear Programming |
1994 |
Zhang X., Zhu H. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
