Limin Jia Vis

*	2009
22	EE	Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker: Language support for processing distributed ad hoc data. PPDP 2009: 243-254
21	EE	Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey: xDomain: cross-border proofs of access. SACMAT 2009: 43-52
	2008
20	EE	Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic: Evidence-Based Audit. CSF 2008: 177-191
19	EE	Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic: AURA: a programming language for authorization and audit. ICFP 2008: 27-38
	2007
18		Guoqiang Cai, Limin Jia, Xi Li, Xiaoning Zhu: A Novel Self Accommodate Control Network. Communications in Computing 2007: 76-82
17	EE	Yangdong Ye, Hongxing Lu, Junxia Ma, Limin Jia: Uncertain Temporal Knowledge Reasoning of Train Group Operation Based on Extended Fuzzy-Timing Petri Nets. ICFIE 2007: 59-64
16		Guoqiang Cai, Limin Jia, Ye Zhang, Jia Yuquan: Application Research on Track Safety Assessment Based on Artificial Neural Network. IKE 2007: 280-284
15		Ye Zhang, Limin Jia, Guoqiang Cai: Modeling and Application of Railway Safety System through Object Petri Nets. IMECS 2007: 2173-2176
	2006
14		Guoqiang Cai, Zundong Zhang, Limin Jia, Yangdong Ye: A multi-agent model of railway intelligent safety guarantee system. Computational Intelligence 2006: 138-143
13	EE	Limin Jia, David Walker: ILC: A Foundation for Automated Reasoning About Pointer Programs. ESOP 2006: 131-145
12	EE	Frances Perry, Limin Jia, David Walker: Expressing heap-shape contracts in linear logic. GPCE 2006: 101-110
	2005
11		Ye Zhang, Guoqiang Cai, Limin Jia, Fu Wei: Application of Petri Net with Objects in Safety System Process Modeling. CSREA EEE 2005: 120-126
10	EE	Zongyi Xing, Yong Zhang, Limin Jia, Weili Hu: Design of Interpretable and Accurate Fuzzy Models from Data. FSKD (1) 2005: 69-78
9	EE	Yangdong Ye, Juan Wang, Limin Jia: Analysis of Temporal Uncertainty of Trains Converging Based on Fuzzy Time Petri Nets. FSKD (1) 2005: 89-99
8	EE	Yangdong Ye, Zundong Zhang, Honghua Dai, Limin Jia: A Study of Train Group Operation Multi-agent Model Oriented to RITS. KES (1) 2005: 707-713
7	EE	Limin Jia, Frances Spalding, David Walker, Neal Glew: Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416
6		Wei Fu, Guoqiang Cai, Limin Jia, Yangdong Ye, Ye Zhang: Research on Software Requirement Analysis Method Based on Five-Key Elements Arrange. Software Engineering Research and Practice 2005: 442-447
	2004
5	EE	Limin Jia, David Walker: Modal Proofs as Distributed Programs (Extended Abstract). ESOP 2004: 219-233
4	EE	Zongyi Xing, Weili Hu, Qingwei Chen, Limin Jia: Research on fuzzy modeling based on modified fuzzy clustering and its application. ICARCV 2004: 2292-2296
3		Guoqiang Cai, Yangdong Ye, Xiaoyan Lv, Limin Jia: Predictive Analysis Method Based on Railway Ticket Data Warehouse. IKE 2004: 378-384
	2003
2	EE	Limin Jia, Qiuhua Jiang: Study on Essential Characteristics of RITS. ISADS 2003: 216-
1	EE	Amal J. Ahmed, Limin Jia, David Walker: Reasoning about Hierarchical Storage. LICS 2003: 33-44

Coauthor Index

1	Amal Ahmed (Amal J. Ahmed)	[1]
2	Lujo Bauer	[21]
3	Guoqiang Cai	[3] [6] [11] [14] [15] [16] [18]
4	Qingwei Chen	[4]
5	Honghua Dai	[8]
6	Daniel S. Dantas	[22]
7	Kathleen Fisher	[22]
8	Wei Fu	[6]
9	Neal Glew	[7]
10	Weili Hu	[4] [10]
11	Qiuhua Jiang	[2]
12	Xi Li	[18]
13	Hongxing Lu	[17]
14	Xiaoyan Lv	[3]
15	Junxia Ma	[17]
16	Yitzhak Mandelbaum	[22]
17	Karl Mazurak	[19] [20]
18	Vivek Pai	[22]
19	Frances Perry	[12]
20	Michael K. Reiter	[21]
21	Joseph Schorr	[19]
22	Frances Spalding	[7]
23	David Swasey	[21]
24	Jeffrey A. Vaughan	[19] [20]
25	David Walker	[1] [5] [7] [12] [13] [22]
26	Juan Wang	[9]
27	Fu Wei	[11]
28	Zongyi Xing	[4] [10]
29	Yangdong Ye	[3] [6] [8] [9] [14] [17]
30	Jia Yuquan	[16]
31	Luke Zarko	[19]
32	Steve Zdancewic	[19] [20]
33	Ye Zhang	[6] [11] [15] [16]
34	Yong Zhang	[10]
35	Zundong Zhang	[8] [14]
36	Jianzhou Zhao	[19]
37	Kenny Qili Zhu	[22]
38	Xiaoning Zhu	[18]

Colors in the list of coauthors