A Message-based Real-Time Model by Object-Oriented Technique. - Jianmin Hou; Xuandong Li; Xiaocong Fan; Guoliang Zheng (ACM SIGOPS Oper. Syst. Rev., 1997)

Hybrid Regular Expressions. - Xuandong Li; Tao Zheng; Jianmin Hou; Jianhua Zhao; Guoliang Zheng (HSCC, 1998)

SPLAW: A Computable Agent-Oriented Programming Language. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (ISORC, 1998)

SPLAW: A Computable Language for Agent-oriented Programming. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (ACM SIGPLAN Notices, 1998)

Reasoning about team tracking. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (ACM SIGSOFT Softw. Eng. Notes, 1998)

Compositional model-checking for real-time systems. - Jianmin Hou; Xuandong Li; Xiaocong Fan; Guoliang Zheng (ACM SIGSOFT Softw. Eng. Notes, 1998)

Reasoning about concurrent actions in multi-agent systems. - Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng (J. Comput. Sci. Technol., 1999)

Verification of Asynchronous Circuits using Timed Automata. - Marius Bozga; Jianmin Hou; Oded Maler; Sergio Yovine (Theory and Practice of Timed Systems @ ETAPS, 2002)

Correlation Dimension for Pressure Fluctuation in Hydraulic Turbine Draft Tube. - Liying Wang; Dehua Wei; Jianmin Hou (J. Comput., 2012)

Multiple Time Delays Induced Dynamics of p53 Gene Regulatory Network. - Yuanhong Bi; Yanan Li; Jianmin Hou; Quansheng Liu (Int. J. Bifurc. Chaos, 2021)

A review of regional distributed energy system planning and design. - Jianmin Hou; Junjie Wang; Chengye Ji; Nan Zhou (Int. J. Embed. Syst., 2021)

River Segmentation of Remote Sensing Images Based on Composite Attention Network. - Zhiyong Fan; Jianmin Hou; Qiang Zang; Yunjie Chen; Fei Yan (Complex., 2022)

ResAt-UNet: A U-Shaped Network Using ResNet and Attention Module for Image Segmentation of Urban Buildings. - Zhiyong Fan; Yu Liu; Min Xia 002; Jianmin Hou; Fei Yan; Qiang Zang (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023)