Zijiang Yang

	2009
41		Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. FASE 2009: 425-439
40		Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336
39		Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Model checking sequential software programs via mixed symbolic analysis. ACM Trans. Design Autom. Electr. Syst. 14(1): (2009)
	2008
38		Zijiang Yang, Guojun Gan: Application of Fuzzy Classification in Bankruptcy Prediction. ICIC (1) 2008: 921-928
37		Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta: Peephole Partial Order Reduction. TACAS 2008: 382-396
36		Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar: Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 27(8): 1513-1517 (2008)
35		Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar: Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. 404(3): 256-274 (2008)
	2007
34		Zijiang Yang, Shiyong Lu, Ping Yang: Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows. AINA Workshops (2) 2007: 506-511
33		Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365
32		Zille Huma Kamal, Ajay K. Gupta, Leszek Lilien, Zijiang Yang: The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks. CollaborateCom 2007: 150-159
31		Leszek Lilien, Ajay K. Gupta, Zijiang Yang: Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework. IPCCC 2007: 588-593
30		Ping Yang, Zijiang Yang, Shiyong Lu: Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines. eScience 2007: 619-626
29		Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): (2007)
28		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
27		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
26		Guojun Gan, Jianhong Wu, Zijiang Yang: A Fuzzy Subspace Algorithm for Clustering High Dimensional Data. ADMA 2006: 271-278
25		Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95
24		Zijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186
23		Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210
22		Zijiang Yang, Joseph C. Paradi: Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects. HICSS 2006
21		Guojun Gan, Jianhong Wu, Zijiang Yang: PARTCAT: A Subspace Clustering Algorithm for High Dimensional Categorical Data. IJCNN 2006: 4406-4412
20		Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26
19		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)
18		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)
17		Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)
16		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)
15		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
14		Guojun Gan, Zijiang Yang, Jianhong Wu: A Genetic k-Modes Algorithm for Clustering Categorical Data. ADMA 2005: 195-202
13		Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar: F-Soft: Software Verification Platform. CAV 2005: 301-306
	2004
12		Zijiang Yang, Rajeev Alur: Variable Reuse for Efficient Image Computation. FMCAD 2004: 430-444
11		Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins: Execution of A Requirement Model in Software Development. IASSE 2004: 203-208
10		Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang: Efficient SAT-based Bounded Model Checking for Software Verification. ISoLA (Preliminary proceedings) 2004: 157-164
	2003
9		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		Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar: Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking. CHARME 2003: 334-347
7		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		Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav Ashar: Iterative Abstraction using SAT-based BMC with Proof Analysis. ICCAD 2003: 416-423
	2002
5		Rajeev Alur, Michael McDougall, Zijiang Yang: Exploiting Behavioral Hierarchy for Efficient Model Checking. CAV 2002: 338-342
	2001
4		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		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		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		Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta: SAT-Based Image Computation with Application in Reachability Analysis. FMCAD 2000: 354-371

Coauthor Index

1	Bashar Al-Rawi	[40]
2	Rajeev Alur	[5] [12]
3	Pranav Ashar	[1] [3] [4] [6] [7] [8] [9] [10] [13] [15] [35] [36]
4	Srihari Cadambi	[36]
5	Qichang Chen	[41]
6	Kevin J. Compton	[11]
7	Kathi Fisler	[2]
8	Farshad Fotouhi	[27]
9	Ranan Fraer	[2]
10	Guojun Gan	[14] [21] [26] [38]
11	Malay K. Ganai	[6] [7] [8] [9] [10] [13] [15] [35] [36]
12	Radu Grosu	[40]
13	Mohsen Guizani	[11]
14	Aarti Gupta	[1] [3] [4] [6] [7] [8] [9] [10] [13] [15] [20] [23] [25] [29] [33] [35] [36] [37] [39]
15	Ajay K. Gupta	[31] [32]
16	Anubhav Gupta	[1] [4]
17	Xiaowan Huang	[40]
18	James Huggins	[11]
19	Franjo Ivancic	[10] [13] [20] [23] [25] [29] [33] [35] [36] [39]
20	Vineet Kahlon	[37]
21	Zille Huma Kamal	[32]
22	Gila Kamhi	[2]
23	Liang Liang	[16] [19] [28]
24	Lily R. Liang	[27]
25	Leszek Lilien	[31] [32]
26	Shiyong Lu	[24] [27] [30] [34]
27	Yi Lu	[27]
28	Sharad Malik	[3]
29	Michael McDougall	[5]
30	Supratik Mukhopadhyay	[17]
31	Manuel Muñiz	[18]
32	Joseph C. Paradi	[18] [22]
33	Abhik Roychoudhury	[17]
34	John Ruggiero	[18]
35	Karem Sakallah	[40]
36	Wuwei Shen	[11]
37	Ilya Shlyakhter	[13] [36]
38	Scott A. Smolka	[40]
39	Scott D. Stoller	[41]
40	Yan Lindsay Sun (Yan Sun)	[27]
41	Moshe Y. Vardi	[2]
42	Sandra Vela	[28]
43	Chao Wang	[7] [9] [20] [23] [25] [29] [33] [37] [39]
44	Liqiang Wang	[41]
45	Desheng Wu	[16] [19] [28]
46	Jianhong Wu	[14] [21] [26]
47	Ping Yang	[24] [30] [34]
48	Aleksandr Zaks	[36]
49	Lintao Zhang	[3]

Colors in the list of coauthors