2001 |
7 | EE | Xu Guanghui,
Xie Xiren,
YongSen Xu:
An Improved Error Handling Method in SNMPv2 Protocol Operations.
J. Comput. Sci. Technol. 16(1): 92- (2001) |
2000 |
6 | | Gaoyan Xie,
YongSen Xu,
Yu Li,
Qian Li:
Codebugger - A Software Tools for Cooperative Debugging.
SIGPLAN Notices 35(2): 54-60 (2000) |
5 | | Yu Li,
Gaoyan Xie,
YongSen Xu,
Yi Yang:
The Security Problem of Nested Classes.
SIGPLAN Notices 35(3): 34-38 (2000) |
4 | EE | Fangmin Song,
YongSen Xu,
Yuechen Qian:
The self-reduction in lambda calculus.
Theor. Comput. Sci. 235(1): 171-181 (2000) |
1999 |
3 | EE | Yu Li,
YongSen Xu,
Gaoyan Xie,
Zhiyuan Zhan:
Strategies and Techniques of Freeze/Melt.
TOOLS (31) 1999: 98-107 |
1990 |
2 | EE | XinJie Jiang,
YongSen Xu:
Diverse executable semantics definitions in NUSL and an implementation of functional types.
SIGPLAN Notices 25(5): 39-52 (1990) |
1988 |
1 | | XinJie Jiang,
YongSen Xu:
NUSL: An Executable Specification Language Based on Data Abstraction.
VDM Europe 1988: 124-138 |