|
Search the dblp DataBase
Hou Jianmin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng
Hybrid Regular Expressions. [Citation Graph (0, 0)][DBLP] HSCC, 1998, pp:384-399 [Conf]
- Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng
SPLAW: A Computable Agent-Oriented Programming Language. [Citation Graph (0, 0)][DBLP] ISORC, 1998, pp:144-145 [Conf]
- Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine
Verification of Asynchronous Circuits using Timed Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
- Hou Jianmin, Xuandong Li, Xiaocong Fan, Guoliang Zheng
A Message-based Real-Time Model by Object-Oriented Technique. [Citation Graph (0, 0)][DBLP] Operating Systems Review, 1997, v:31, n:3, pp:45-51 [Journal]
- Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng
SPLAW: A Computable Language for Agent-oriented Programming. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1998, v:33, n:1, pp:61-69 [Journal]
Search in 0.001secs, Finished in 0.001secs
|