Hanbing Liu

	2008
4		Hanbing Liu, Hongyi Su, Shouyi Zhan: Study on model resource semantic-based dynamic discovery in military oriented simulation grid. CSCWD 2008: 529-534
	2007
3		Hanbing Liu, Baisheng Wang: An Association Rule Mining Algorithm Based on a Boolean Matrix. Data Science Journal 6: 559-565 (2007)
	2005
2		Hanbing Liu, J. Strother Moore: Executable JVM model for analytical reasoning: A study. Sci. Comput. Program. 57(3): 253-274 (2005)
	2004
1		Hanbing Liu, J. Strother Moore: Java Program Verification via a JVM Deep Embedding in ACL2. TPHOLs 2004: 184-200

Coauthor Index

1	J. Strother Moore	[1] [2]
2	Hongyi Su	[4]
3	Baisheng Wang	[3]
4	Shouyi Zhan	[4]

Colors in the list of coauthors