Mengjun Li

	2011
13		Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li: An Iterative Method for Generating Loop Invariants. FAW-AAIM 2011: 264-274
	2010
12		Jianying Xing, Mengjun Li, Zhoujun Li: Automated Program Verification Using Generation of Invariants. QSIC 2010: 300-305
	2009
11		Shikun Chen, Zhoujun Li, Mengjun Li: Constructing Program Invariants via Solving QBF. TASE 2009: 217-221
	2008
10		Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen: Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263
9		Ti Zhou, Mengjun Li, Zhoujun Li: Local abstract verification and refinement of security protocols. FMSE 2008: 21-30
8		Mengjun Li, Ti Zhou, Zhoujun Li: SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Inscrypt 2008: 125-140
7		Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li: Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. SEKE 2008: 795-801
6		Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen: Modeling and Verifying Time Sensitive Security Protocols with Constraints. Electr. Notes Theor. Comput. Sci. 212: 103-118 (2008)
5		Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou: A Novel Derivation Framework For Definite Logic Program. Electr. Notes Theor. Comput. Sci. 212: 71-85 (2008)
	2007
4		Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen: An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. ASIAN 2007: 166-180
3		Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen: Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203
	2006
2		Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng: A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization. SEKE 2006: 410-415
1		Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi: An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. Journal of Computer Research and Development 43(11): 2020-2026 (2006)

Coauthor Index

1	Huowang Chen	[3] [4] [5] [6] [10]
2	Shikun Chen	[11] [13]
3	Jieren Cheng	[2]
4	Wei Dong	[1]
5	Mengluo Ji	[1]
6	Zhoujun Li	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
7	Feng Liu	[7]
8	Zhichang Qi (Zhi-Chang Qi)	[1]
9	Xiaoyu Song	[13]
10	Huaimin Wang	[1]
11	Jianying Xing	[12]
12	Jianping Yin	[2]
13	Ling Zhang	[2]
14	Ti Zhou	[3] [4] [5] [6] [7] [8] [9] [10]

Colors in the list of coauthors

Last update Thu Feb 9 23:21:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page