Zijiang Yang

2008
31	EE	Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta: Peephole Partial Order Reduction. TACAS 2008: 382-396
2007
30	EE	Zijiang Yang, Shiyong Lu, Ping Yang: Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511
29	EE	Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365
28	EE	Leszek Lilien, Ajay Gupta, Zijiang Yang: Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework. IPCCC 2007: 588-593
27	EE	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): (2007)
26	EE	Desheng Wu, Zijiang Yang, Sandra Vela, Liang Liang: Simultaneous analysis of production and investment performance of Canadian life and health insurance companies using data envelopment analysis. Computers & OR 34(1): 180-198 (2007)
2006
25		Yi Lu, Shiyong Lu, Farshad Fotouhi, Yan Sun, Zijiang Yang, Lily R. Liang: PDC: Pattern discovery with confidence in DNA sequences. ACST 2006: 345-350
24	EE	Guojun Gan, Jianhong Wu, Zijiang Yang: A Fuzzy Subspace Algorithm for Clustering High Dimensional Data. ADMA 2006: 271-278
23	EE	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95
22	EE	Zijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186
21	EE	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210
20	EE	Zijiang Yang, Joseph C. Paradi: Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects. HICSS 2006
19	EE	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26
18	EE	Desheng Wu, Zijiang Yang, Liang Liang: Efficiency analysis of cross-region bank branches using fuzzy data envelopment analysis. Applied Mathematics and Computation 181(1): 271-281 (2006)
17	EE	Manuel Muñiz, Joseph C. Paradi, John Ruggiero, Zijiang Yang: Evaluating alternative DEA models used to control for non-discretionary inputs. Computers & OR 33: 1173-1183 (2006)
16	EE	Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)
15	EE	Desheng Wu, Zijiang Yang, Liang Liang: Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank. Expert Syst. Appl. 31(1): 108-115 (2006)
14	EE	Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar: Efficient distributed SAT and SAT-based distributed Bounded Model Checking. STTT 8(4-5): 387-396 (2006)
2005
13	EE	Guojun Gan, Zijiang Yang, Jianhong Wu: A Genetic k-Modes Algorithm for Clustering Categorical Data. ADMA 2005: 195-202
12	EE	Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306
2004
11	EE	Zijiang Yang, Rajeev Alur: Variable Reuse for Efficient Image Computation. FMCAD 2004: 430-444
10		Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins: Execution of A Requirement Model in Software Development. IASSE 2004: 203-208
2003
9	EE	Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar: Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209
8	EE	Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar: Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. CHARME 2003: 334-347
7	EE	Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar: Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829
6	EE	Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar: Iterative Abstraction using SAT-based BMC with Proof Analysis. ICCAD 2003: 416-423
2002
5	EE	Rajeev Alur, Michael McDougall, Zijiang Yang: Exploiting Behavioral Hierarchy for Efficient Model Checking. CAV 2002: 338-342
2001
4	EE	Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar: Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. DAC 2001: 536-541
3	EE	Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik: Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs. ICCAD 2001: 286-292
2	EE	Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
2000
1	EE	Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta: SAT-Based Image Computation with Application in Reachability Analysis. FMCAD 2000: 354-371

Coauthor Index

1	Rajeev Alur	[5] [11]
2	Pranav Ashar	[1] [3] [4] [6] [7] [8] [9] [12] [14]
3	Kevin J. Compton	[10]
4	Kathi Fisler	[2]
5	Farshad Fotouhi	[25]
6	Ranan Fraer	[2]
7	Guojun Gan	[13] [24]
8	Malay K. Ganai	[6] [7] [8] [9] [12] [14]
9	Mohsen Guizani	[10]
10	Aarti Gupta	[1] [3] [4] [6] [7] [8] [9] [12] [14] [19] [21] [23] [27] [29] [31]
11	Ajay Gupta	[28]
12	Anubhav Gupta	[1] [4]
13	James Huggins	[10]
14	Franjo Ivancic	[12] [19] [21] [23] [27] [29]
15	Vineet Kahlon	[31]
16	Gila Kamhi	[2]
17	Liang Liang	[15] [18] [26]
18	Lily R. Liang	[25]
19	Leszek Lilien	[28]
20	Shiyong Lu	[22] [25] [30]
21	Yi Lu	[25]
22	Sharad Malik	[3]
23	Michael McDougall	[5]
24	Supratik Mukhopadhyay	[16]
25	Manuel Muñiz	[17]
26	Joseph C. Paradi	[17] [20]
27	Abhik Roychoudhury	[16]
28	John Ruggiero	[17]
29	Wuwei Shen	[10]
30	Ilya Shlyakhter	[12]
31	Yan Sun	[25]
32	Moshe Y. Vardi	[2]
33	Sandra Vela	[26]
34	Chao Wang	[7] [9] [19] [21] [23] [27] [29] [31]
35	Desheng Wu	[15] [18] [26]
36	Jianhong Wu	[13] [24]
37	Ping Yang	[22] [30]
38	Lintao Zhang	[3]

Colors in the list of coauthors