Jianmin Hou

According to our database, Jianmin Hou authored at least 13 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ResAt-UNet: A U-Shaped Network Using ResNet and Attention Module for Image Segmentation of Urban Buildings.

Zhiyong Fan, Yu Liu, Min Xia, Jianmin Hou, Fei Yan, Qiang Zang

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

2022

River Segmentation of Remote Sensing Images Based on Composite Attention Network.

Zhiyong Fan, Jianmin Hou, Qiang Zang, Yunjie Chen, Fei Yan

Complex., 2022

2021

A review of regional distributed energy system planning and design.

Jianmin Hou, Junjie Wang, Chengye Ji, Nan Zhou

Int. J. Embed. Syst., 2021

Multiple Time Delays Induced Dynamics of p53 Gene Regulatory Network.

Yuanhong Bi, Yanan Li, Jianmin Hou, Quansheng Liu

Int. J. Bifurc. Chaos, 2021

2012

Correlation Dimension for Pressure Fluctuation in Hydraulic Turbine Draft Tube.

Liying Wang, Dehua Wei, Jianmin Hou

J. Comput., 2012

2002

Verification of Asynchronous Circuits using Timed Automata.

Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine

Proceedings of the Theory and Practice of Timed Systems, 2002

1999

Reasoning about concurrent actions in multi-agent systems.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

J. Comput. Sci. Technol., 1999

1998

Compositional model-checking for real-time systems.

Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng

ACM SIGSOFT Softw. Eng. Notes, 1998

Reasoning about team tracking.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

ACM SIGSOFT Softw. Eng. Notes, 1998

SPLAW: A Computable Language for Agent-oriented Programming.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

ACM SIGPLAN Notices, 1998

SPLAW: A Computable Agent-Oriented Programming Language.

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Hybrid Regular Expressions.

Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997

A Message-based Real-Time Model by Object-Oriented Technique.

Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng

ACM SIGOPS Oper. Syst. Rev., 1997