Jianmin Hou

13 papers C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
ResAt-UNet: A U-Shaped Network Using ResNet and Attention Module for Image Segmentation of Urban Buildings.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Zhiyong Fan, Yu Liu, Min Xia, Jianmin Hou, Fei Yan, Qiang Zang
2022 J jnl
River Segmentation of Remote Sensing Images Based on Composite Attention Network.
Complex.
Zhiyong Fan, Jianmin Hou, Qiang Zang, Yunjie Chen, Fei Yan
2021 J jnl
A review of regional distributed energy system planning and design.
Int. J. Embed. Syst.
Jianmin Hou, Junjie Wang, Chengye Ji, Nan Zhou
2021 J jnl
Multiple Time Delays Induced Dynamics of p53 Gene Regulatory Network.
Int. J. Bifurc. Chaos
Yuanhong Bi, Yanan Li, Jianmin Hou, Quansheng Liu
2012 J jnl
Correlation Dimension for Pressure Fluctuation in Hydraulic Turbine Draft Tube.
J. Comput.
Liying Wang, Dehua Wei, Jianmin Hou
2002 — conf
Verification of Asynchronous Circuits using Timed Automata.
Theory and Practice of Timed Systems @ ETAPS
Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine
1999 J jnl
Reasoning about concurrent actions in multi-agent systems.
J. Comput. Sci. Technol.
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1998 J jnl
Compositional model-checking for real-time systems.
ACM SIGSOFT Softw. Eng. Notes
Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng
1998 — conf
Hybrid Regular Expressions.
HSCC
Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng
1998 J jnl
Reasoning about team tracking.
ACM SIGSOFT Softw. Eng. Notes
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1998 C conf
SPLAW: A Computable Agent-Oriented Programming Language.
ISORC
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1998 J jnl
SPLAW: A Computable Language for Agent-oriented Programming.
ACM SIGPLAN Notices
Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng
1997 J jnl
A Message-based Real-Time Model by Object-Oriented Technique.
ACM SIGOPS Oper. Syst. Rev.
Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng