Limin Jia

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	Guoqiang Cai	[3] [6] [11] [14] [15] [16] [18]
3	Qingwei Chen	[4]
4	Honghua Dai	[8]
5	Wei Fu	[6]
6	Neal Glew	[7]
7	Weili Hu	[4] [10]
8	Qiuhua Jiang	[2]
9	Xi Li	[18]
10	Hongxing Lu	[17]
11	Xiaoyan Lv	[3]
12	Junxia Ma	[17]
13	Karl Mazurak	[19] [20]
14	Frances Perry	[12]
15	Joseph Schorr	[19]
16	Frances Spalding	[7]
17	Jeffrey A. Vaughan	[19] [20]
18	David Walker	[1] [5] [7] [12] [13]
19	Juan Wang	[9]
20	Fu Wei	[11]
21	Zongyi Xing	[4] [10]
22	Yangdong Ye	[3] [6] [8] [9] [14] [17]
23	Jia Yuquan	[16]
24	Luke Zarko	[19]
25	Steve Zdancewic	[19] [20]
26	Ye Zhang	[6] [11] [15] [16]
27	Yong Zhang	[10]
28	Zundong Zhang	[8] [14]
29	Jianzhou Zhao	[19]
30	Xiaoning Zhu	[18]

Colors in the list of coauthors