 | 2012 |
|---|
| 7 |       | Liying Wang,
Dehua Wei,
Jianmin Hou:
Correlation Dimension for Pressure Fluctuation in Hydraulic Turbine Draft Tube.
JCP 7(5): 1104-1108 (2012) |
| 2002 |
|---|
| 6 | | Marius Bozga,
Jianmin Hou,
Oded Maler,
Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata.
Electr. Notes Theor. Comput. Sci. 65(6): 47-59 (2002) |
| 1999 |
|---|
| 5 | | Xiaocong Fan,
Dianxiang Xu,
Jianmin Hou,
Guoliang Zheng:
Reasoning about concurrent actions in multi-agent systems.
J. Comput. Sci. Technol. 14(4): 422-428 (1999) |
| 1998 |
|---|
| 4 | | Xuandong Li,
Tao Zheng,
Jianmin Hou,
Jianhua Zhao,
Guoliang Zheng:
Hybrid Regular Expressions.
HSCC 1998: 384-399 |
| 3 | | Xiaocong Fan,
Dianxiang Xu,
Jianmin Hou,
Guoliang Zheng:
SPLAW: A Computable Agent-Oriented Programming Language.
ISORC 1998: 144-145 |
| 2 | | Xiaocong Fan,
Dianxiang Xu,
Jianmin Hou,
Guoliang Zheng:
SPLAW: A Computable Language for Agent-oriented Programming.
SIGPLAN Notices 33(1): 61-69 (1998) |
| 1997 |
|---|
| 1 | | Jianmin Hou,
Xuandong Li,
Xiaocong Fan,
Guoliang Zheng:
A Message-based Real-Time Model by Object-Oriented Technique.
Operating Systems Review 31(3): 45-51 (1997) |
Data released under the ODC-BY 1.0 license — See also our legal information page