Limin Jia

	2012
56		Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov: Maintaining distributed logic programs incrementally. Computer Languages, Systems & Structures 38(2): 158-180 (2012)
	2011
55		Deepak Garg, Limin Jia, Anupam Datta: Policy auditing over incomplete logs: theory, implementation and applications. ACM Conference on Computer and Communications Security 2011: 151-162
54		Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov: Analyzing BGP Instances in Maude. FMOODS/FORTE 2011: 334-348
53		Yong Qin, Li Wang, Huan Lian, Xuelei Meng, Xuewen Li, Fugui Shi, Limin Jia: Fuzzy optimization model based tolerance approach to timetable rescheduling for high speed railway in China. FUZZ-IEEE 2011: 2552-2558
52		Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha: Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS 2011: 1-27
51		Jiang Yu, Yong Qin, Limin Jia, Zongyi Xing: Optimization of Vehicles Arrangement in Distribution Center. LISS (2) 2011: 180-184
50		Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov: Maintaining distributed logic programs incrementally. PPDP 2011: 125-136
49		Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford: FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM 2011: 440-441
48		Deepak Garg, Limin Jia, Anupam Datta: A Logical Method for Policy Enforcement over Evolving Audit Logs CoRR abs/1102.2521: (2011)
47		Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar: On Adversary Models and Compositional Security. IEEE Security & Privacy 9(3): 26-32 (2011)
46		Yuanyuan Chai, Limin Jia: Choquet Integral-OWA Based Adaptive Neural Fuzzy Inference System with Application. International Journal of Computational Intelligence and Applications 10(1): 15-34 (2011)
	2010
45		Yan Ping Du, Yunyun Zhao, Limin Jia, Yong Qin: Optimization Model for Railway Freight Station Layout Based on Agent. CASoN 2010: 211-214
44		Lujo Bauer, Limin Jia, Divya Sharma: Constraining Credential Usage in Logic-Based Access Control. CSF 2010: 154-168
43		Hesheng Zhang, Cheng Pan, Jun Yang, Honghui Dong, Yong Qin, Limin Jia: SN-UTIA: A sensor network for urban traffic information acquisition. Intelligent Vehicles Symposium 2010: 566-571
42		Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich: Dependent types and program equivalence. POPL 2010: 275-286
41		Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta: Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES 2010: 73-82
40		Guoqiang Cai, Limin Jia, Jianwei Yang, Haibo Liu: Improved Wavelet Neural Network Based on Hybrid Genetic Algorithm Applicationin on Fault Diagnosis of Railway Rolling Bearing. JDCTA 4(2): 135-141 (2010)
	2009
39		Huijuan Zhou, Limin Jia, Yong Qin: Integrating GIS with Cellular Automaton Model for Railway Transportation Safety System. CSIE (5) 2009: 503-507
38		Honghui Dong, Yong Qin, Limin Jia: Chinese Prosodic Word Prediction Using the Conditional Random Fields. FSKD (1) 2009: 137-139
37		Yuanyuan Chai, Limin Jia, Zundong Zhang: Mamdani Model Based Adaptive Neural Fuzzy Inference System and its Application in Traffic Level of Service Evaluation. FSKD (4) 2009: 555-559
36		Honghui Dong, Limin Jia, Xiaoliang Sun, Yong Qin, Chenxi Li: An Experiment Study on Level of Service for the Regional Road Traffic. ICNC (5) 2009: 233-235
35		Honghui Dong, Limin Jia, Xiaoliang Sun, Chenxi Li, Yong Qin: Road Traffic Flow Prediction with a Time-Oriented ARIMA Model. NCM 2009: 1649-1652
34		Xinyuan Zhang, Limin Jia, Honghui Dong, Zhuo Wang, Ke Wang, Yong Qin: Analysis and Evaluation of Connectivity Reliability for Dynamic Transportation Network. NCM 2009: 353-356
33		Honghui Dong, Limin Jia, Xiaoliang Sun, Chenxi Li, Yong Qin, Min Guo: Road Traffic State Prediction with a Maximum Entropy Method. NCM 2009: 628-630
32		Limin Jia, Steve Zdancewic: Encoding information flow in Aura. PLAS 2009: 17-29
31		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
30		Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey: xDomain: cross-border proofs of access. SACMAT 2009: 43-52
	2008
29		Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic: Evidence-Based Audit. CSF 2008: 177-191
28		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
27		Xuelei Meng, Limin Jia: A New Kind of PSO--Convergent Fuzzy Particle Swarm Optimization and Performance Analysis. NCM (2) 2008: 102-107
26		Guoqiang Cai, Limin Jia, Yuquan Jia, Ye Zhang, Xi Li: Application of Quantitative Analysis Method in Traffic Volume Prediction. NCM (2) 2008: 238-243
25		Ye Zhang, Limin Jia, Guoqiang Cai, Min Guo: Approach and Application of Transportation State Analysis. NCM (2) 2008: 260-265
24		Limin Jia, Ruyan Zhang, Yong Zhang, Zongyi Xing, Guoqiang Cai: Approach of Fuzzy Classification Based on Hybrid Co-Evolution Algorithm. NCM (2) 2008: 266-271
23		Guoqiang Cai, Shimin Zhao, Limin Jia, Yangdong Ye, Xi Li: Approach of Train Group Operation Conflict Prevention Reasoning Based on Fuzzy Time Petri Nets. NCM (2) 2008: 272-277
22		Ye Zhang, Limin Jia, Guoqiang Cai, Min Guo, Xiaoqing Cheng: Modeling and Application of Urban Dynamic Region Traffic Model Based on Information Fusion. NCM (2) 2008: 535-539
21		Yong Qin, Yong Jiang, Jingen Fang, Yanhui Wang, Limin Jia: Research on Emergency Management Information System of Qinghai-Tibet Railway Line. NCM (2) 2008: 635-638
	2007
20		Guoqiang Cai, Limin Jia, Xi Li, Xiaoning Zhu: A Novel Self Accommodate Control Network. Communications in Computing 2007: 76-82
19		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
18		Guoqiang Cai, Limin Jia, Ye Zhang, Yuquan Jia: Application Research on Track Safety Assessment Based on Artificial Neural Network. IKE 2007: 280-284
17		Guoqiang Cai, Limin Jia, Ye Zhang: Integrating Software Requirements Analysis and Safety Control Approach. IMECS 2007: 1127-1131
16		Ye Zhang, Limin Jia, Guoqiang Cai: Modeling and Application of Railway Safety System through Object Petri Nets. IMECS 2007: 2173-2176
	2006
15		Guoqiang Cai, Zundong Zhang, Limin Jia, Yangdong Ye: A multi-agent model of railway intelligent safety guarantee system. Computational Intelligence 2006: 138-143
14		Limin Jia, David Walker: ILC: A Foundation for Automated Reasoning About Pointer Programs. ESOP 2006: 131-145
13		Frances Perry, Limin Jia, David Walker: Expressing heap-shape contracts in linear logic. GPCE 2006: 101-110
	2005
12		Ye Zhang, Guoqiang Cai, Limin Jia, Fu Wei: Application of Petri Net with Objects in Safety System Process Modeling. CSREA EEE 2005: 120-126
11		Zongyi Xing, Yong Zhang, Limin Jia, Weili Hu: Design of Interpretable and Accurate Fuzzy Models from Data. FSKD (1) 2005: 69-78
10		Yangdong Ye, Juan Wang, Limin Jia: Analysis of Temporal Uncertainty of Trains Converging Based on Fuzzy Time Petri Nets. FSKD (1) 2005: 89-99
9		Yangdong Ye, Zundong Zhang, Limin Jia, Honghua Dai: Research on train group operation model in RITS. ISADS 2005: 242-249
8		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		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		Limin Jia, David Walker: Modal Proofs as Distributed Programs (Extended Abstract). ESOP 2004: 219-233
4		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		Limin Jia, Qiuhua Jiang: Study on Essential Characteristics of RITS. ISADS 2003: 216-221
1		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	[30] [44]
3	Jeremiah Blocki	[52]
4	Guoqiang Cai	[3] [6] [12] [15] [16] [17] [18] [20] [22] [23] [24] [25] [26] [40]
5	Yuanyuan Chai	[37] [46]
6	Qingwei Chen	[4]
7	Xiaoqing Cheng	[22]
8	Nicolas Christin	[52]
9	Honghua Dai	[8] [9]
10	Daniel S. Dantas	[31]
11	Anupam Datta	[41] [47] [48] [52] [55]
12	Henry DeYoung	[41] [52]
13	Honghui Dong	[33] [34] [35] [36] [38] [43]
14	Yan Ping Du	[45]
15	Jingen Fang	[21]
16	Kathleen Fisher	[31]
17	Jason Franklin	[47]
18	Wei Fu	[6]
19	Deepak Garg	[41] [47] [48] [52] [55]
20	Neal Glew	[7]
21	Min Guo	[22] [25] [33]
22	Alexander J. T. Gurney	[49]
23	Weili Hu	[4] [11]
24	Yuquan Jia	[18] [26]
25	Qiuhua Jiang	[2]
26	Yong Jiang	[21]
27	Dilsun Kirli Kaynar	[41] [47] [52]
28	Chenxi Li	[33] [35] [36]
29	Xi Li	[20] [23] [26]
30	Xuewen Li	[53]
31	Huan Lian	[53]
32	Haibo Liu	[40]
33	Boon Thau Loo	[49] [50] [54] [56]
34	Hongxing Lu	[19]
35	Xiaoyan Lv	[3]
36	Junxia Ma	[19]
37	Yitzhak Mandelbaum	[31]
38	Karl Mazurak	[28] [29]
39	Xuelei Meng	[27] [53]
40	Vivek Nigam	[50] [56]
41	Vivek Pai	[31]
42	Cheng Pan	[43]
43	Frances Perry	[13]
44	Yong Qin	[21] [33] [34] [35] [36] [38] [39] [43] [45] [51] [53]
45	Michael K. Reiter	[30]
46	Yiqing Ren	[49]
47	Jennifer Rexford	[49]
48	Andre Scedrov	[50] [54] [56]
49	Joseph Schorr	[28]
50	Divya Sharma	[44]
51	Fugui Shi	[53]
52	Arunesh Sinha	[52]
53	Vilhelm Sjöberg	[42]
54	Frances Spalding	[7]
55	Xiaoliang Sun	[33] [35] [36]
56	David Swasey	[30]
57	Carolyn L. Talcott	[54]
58	Jeffrey A. Vaughan	[28] [29]
59	David Walker	[1] [5] [7] [13] [14] [31]
60	Anduo Wang	[49] [54]
61	Juan Wang	[10]
62	Ke Wang	[34]
63	Li Wang	[53]
64	Yanhui Wang	[21]
65	Zhuo Wang	[34]
66	Fu Wei	[12]
67	Stephanie Weirich	[42]
68	Zongyi Xing	[4] [11] [24] [51]
69	Jianwei Yang	[40]
70	Jun Yang	[43]
71	Yangdong Ye	[3] [6] [8] [9] [10] [15] [19] [23]
72	Jiang Yu	[51]
73	Luke Zarko	[28]
74	Steve Zdancewic	[28] [29] [32]
75	Hesheng Zhang	[43]
76	Ruyan Zhang	[24]
77	Xinyuan Zhang	[34]
78	Ye Zhang	[6] [12] [16] [17] [18] [22] [25] [26]
79	Yong Zhang	[11] [24]
80	Zundong Zhang	[8] [9] [15] [37]
81	Jianzhou Zhao	[28] [42]
82	Shimin Zhao	[23]
83	Yunyun Zhao	[45]
84	Huijuan Zhou	[39]
85	Wenchao Zhou	[49]
86	Kenny Qili Zhu	[31]
87	Xiaoning Zhu	[20]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page