| 2002 |
|---|
| 5 | EE | Marius Bozga,
Hou Jianmin,
Oded Maler,
Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 1998 |
|---|
| 4 | | Xuandong Li,
Tao Zheng,
Hou Jianmin,
Jianhua Zhao,
Guoliang Zheng:
Hybrid Regular Expressions.
HSCC 1998: 384-399 |
| 3 | EE | Xiaocong Fan,
Dianxiang Xu,
Hou Jianmin,
Guoliang Zheng:
SPLAW: A Computable Agent-Oriented Programming Language.
ISORC 1998: 144-145 |
| 2 | | Xiaocong Fan,
Dianxiang Xu,
Hou Jianmin,
Guoliang Zheng:
SPLAW: A Computable Language for Agent-oriented Programming.
SIGPLAN Notices 33(1): 61-69 (1998) |
| 1997 |
|---|
| 1 | | Hou Jianmin,
Xuandong Li,
Xiaocong Fan,
Guoliang Zheng:
A Message-based Real-Time Model by Object-Oriented Technique.
Operating Systems Review 31(3): 45-51 (1997) |
