Search the dblp DataBase

Publications of Author

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