Jin Yang

	2009
61		Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351
60		Jin Yang, XiaoJie Liu, Tao Li, Gang Liang, SunJun Liu: Distributed agents model for intrusion detection based on AIS. Knowl.-Based Syst. 22(2): 115-119 (2009)
	2008
59		Yan Chen, Fei Xie, Jin Yang: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. DAC 2008: 143-148
58		Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang: BackSpace: Formal Analysis for Post-Silicon Debug. FMCAD 2008: 1-10
57		Jin Yang, Yumei Wen, Ping Li: Application of blind system identification in acoustic source location. ICARCV 2008: 1764-1768
56		Yongquan Qiang, Guillaume Vivier, Jin Yang, Ning Xu: Inter-Cell Interference Modeling for OFDMA Systems with Beamforming. VTC Fall 2008: 1-5
55		Jin Yang, Jiannong Cao, Weigang Wu: Efficient global checkpointing algorithms for mobile agents. Concurrency and Computation: Practice and Experience 20(7): 825-838 (2008)
54		Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal: Using asynchrony and zero degradation to speed up indulgent consensus protocols. J. Parallel Distrib. Comput. 68(7): 984-996 (2008)
53		Weigang Wu, Jiannong Cao, Jin Yang: A fault tolerant mutual exclusion algorithm for mobile ad hoc networks. Pervasive and Mobile Computing 4(1): 139-160 (2008)
	2007
52		Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
51		Zhixiang Yin, Jianzhong Cui, Jin Yang: A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem. ICIC (1) 2007: 1-9
50		Zhixiang Yin, Jin Yang, Jianzhong Cui, Jiaxiu Zhang: Evolutionary Model for Sequence Generation. ICIC (1) 2007: 10-17
49		Jianzhong Cui, Zhixiang Yin, Jin Yang: Molecular Computation: Solving 3-Vertex-Colourability Problem. ICIC (3) 2007: 450-458
48		Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal: Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks. IEEE Trans. Computers 56(8): 1055-1070 (2007)
47		Jin Yang, Tao Li, SunJun Liu, Tiefang Wang, Diangang Wang, Gang Liang: Computer Forensics System Based on Artificial Immune Systems. J. UCS 13(9): 1354-1365 (2007)
	2006
46		Jin Yang: Verification Challenges and Opportunities in the New Era of Microprocessor Design. ATVA 2006: 6-7
45		Jin Yang, Jiannong Cao, Weigang Wu: Checkpoint Placement Algorithms for Mobile Agent System. GCC 2006: 339-346
44		Zhixiang Yin, Jianzhong Cui, Jin Yang, Jin Xu: DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon. ICIC (3) 2006: 238-247
43		Gang Liang, Tao Li, Jiancheng Ni, Yaping Jiang, Jin Yang, Xun Gong: An Immunity-Based Dynamic Multilayer Intrusion Detection System. ICIC (3) 2006: 641-650
42		Xun Gong, Tao Li, Gang Liang, Tiefang Wang, Jin Yang, Xiaoqin Hu: Immunity and Mobile Agent Based Grid Intrusion Detection. ICIC (3) 2006: 651-659
41		Gang Liang, Tao Li, Xun Gong, Yaping Jiang, Jin Yang, Jiancheng Ni: NASC: A Novel Approach for Spam Classification. ICIC (3) 2006: 672-681
40		Tiefang Wang, Tao Li, Xun Gong, Jin Yang, Xiaoqin Hu, Diangang Wang, Hui Zhao: Family Gene Based Grid Trust Model. ICNC (2) 2006: 110-113
39		Xun Gong, Tao Li, Tiefang Wang, Jin Yang, Gang Liang, Xiaoqin Hu: Grid Intrusion Detection Based on Immune Agent. ICNC (2) 2006: 73-82
38		Jin Yang, Jiannong Cao, Weigang Wu, Corentin Travers: The notification based approach to implementing failure detectors in distributed systems. Infoscale 2006: 14
37		Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal: A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. PDP 2006: 64-72
36		Xun Gong, Tao Li, Ji Lu, Tiefang Wang, Gang Liang, Jin Yang, Feixian Sun: Immunity and Mobile Agent Based Intrusion Detection for Grid. PRIMA 2006: 187-198
35		Xun Gong, Tao Li, Tiefang Wang, Jin Yang, SunJun Liu, Gang Liang: An Immune Mobile Agent Based Grid Intrusion Detection Model. SEAL 2006: 112-119
34		SunJun Liu, Tao Li, Kui Zhao, Jin Yang, Xun Gong, JianHua Zhang: Immune-Based Dynamic Intrusion Response Model. SEAL 2006: 96-103
33		Jin Yang, Jiannong Cao, Weigang Wu: CIC: An Integrated Approach to Checkpointing in Mobile Agent Systems. SKG 2006: 4
32		Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693
31		William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski: Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1652-1663 (2006)
30		Michael L. Blinov, Jin Yang, James R. Faeder, William S. Hlavacek: Graph Theory for Rule-Based Modeling of Biochemical Networks. T. Comp. Sys. Biology: 89-106 (2006)
	2005
29		Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song: Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063
28		Jin Yang, Avi Puder: Tightly integrate dynamic verification with formal verification: a GSTE based approach. ASP-DAC 2005: 327-330
27		Xiushan Feng, Alan J. Hu, Jin Yang: Partitioned model checking from software specifications. ASP-DAC 2005: 583-587
26		Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu: A Framework for Transactional Mobile Agent Execution. GCC 2005: 1002-1008
25		Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu: Parallel Algorithms for Fault-Tolerant Mobile Agent Execution. ICA3PP 2005: 246-256
24		Jiannong Cao, Jin Yang, Wai Ting Chan, Cheng-Zhong Xu: Exception Handling in Distributed Workflow Systems Using Mobile Agents. ICEBE 2005: 48-55
	2004
23		Jin Yang, Carl-Johan H. Seger: Compositional Specification and Model Checking in GSTE. CAV 2004: 216-228
22		Jin Yang, Ming Huang: A Case Study on Research Assistant System From Knowledge Management Perspective. CELDA 2004: 241-248
21		William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski: Quantum logic synthesis by symbolic reachability analysis. DAC 2004: 838-841
20		Kelvin Ng, Alan J. Hu, Jin Yang: Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD 2004: 409-416
19		Jiannong Cao, Liang Zhang, Jin Yang, Sajal K. Das: A Reliable Mobile Agent Communication Protocol. ICDCS 2004: 468-475
18		Juanru Wang, Songzheng Zhao, Jin Yang: Study on the Cultivation of Core Competence Based on Tacit Knowledge. ICEB 2004: 987-989
17		Yumei Wen, Ping Li, Jin Yang, Zhangmin Zhou: Adaptive Leak Detection and Location in Underground Buried Pipelines. I. J. Information Acquisition 1(3): 269-277 (2004)
	2003
16		Alan J. Hu, Jeremy Casas, Jin Yang: Reasoning about GSTE Assertion Graphs. CHARME 2003: 170-184
15		Alan J. Hu, Jeremy Casas, Jin Yang: Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD 2003: 154-160
14		Jin Yang, Carl-Johan H. Seger: Introduction to generalized symbolic trajectory evaluation. IEEE Trans. VLSI Syst. 11(3): 345-353 (2003)
	2002
13		Jin Yang, Carl-Johan H. Seger: Generalized Symbolic Trajectory Evaluation - Abstraction in Action. FMCAD 2002: 70-87
12		Jin Yang, Amit Goel: GSTE through a case study. ICCAD 2002: 534-541
	2001
11		Jin Yang, Carl-Johan H. Seger: Introduction to Generalized Symbolic Trajectory Evaluation. ICCD 2001: 360-367
	2000
10		John Weisgerber, Jin Yang, Pete Fisher: Pacific Rim Portable Translator. AMTA 2000: 196-201
9		Jin Yang, Andreas Tiemeyer: Lazy symbolic model checking. DAC 2000: 35-38
	1999
8		Jin Yang, Ioannis Kriaras: Wireless VoIP: Opportunities and Challenges. MDA 1999: 3-13
	1998
7		Jin Yang, Elke D. Lange: SYSTRAN on AltaVista: A User Study on Real-Time Machine Translation on the Internet. AMTA 1998: 275-285
	1997
6		Jin Yang, Aloysius K. Mok, Farn Wang: Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Trans. Program. Lang. Syst. 19(2): 386-412 (1997)
	1996
5		Peter Au, John Darlington, Moustafa Ghanem, Yike Guo, Hing Wing To, Jin Yang: Co-ordinating Heterogeneous Parallel Computation. Euro-Par, Vol. I 1996: 601-614
	1995
4		John Darlington, Yike Guo, Hing Wing To, Jin Yang: Functional Skeletons for Parallel Coordination. Euro-Par 1995: 55-66
3		Jin Yang, Aloysius K. Mok, Douglas A. Stuart: A new generation modechart verifie. IEEE Real Time Technology and Applications Symposium 1995: 116-125
2		John Darlington, Yike Guo, Hing Wing To, Jin Yang: Parallel Skeletons for Structured Composition. PPOPP 1995: 19-28
	1993
1		Jin Yang, Aloysius K. Mok, Farn Wang: Symbolic Model Checking for Event-Driven Real-Time Systems. IEEE Real-Time Systems Symposium 1993: 23-33

Coauthor Index

1	Peter Au	[5]
2	Michael L. Blinov	[30]
3	Jiannong Cao	[19] [24] [25] [26] [33] [37] [38] [45] [48] [53] [54] [55]
4	Jeremy Casas	[15] [16]
5	Wai Ting Chan	[24]
6	Yan Chen	[52] [59] [61]
7	Jianzhong Cui	[44] [49] [50] [51]
8	John Darlington	[2] [4] [5]
9	Sajal K. Das	[19]
10	James R. Faeder	[30]
11	Xiushan Feng	[27]
12	Pete Fisher	[10]
13	Moustafa Ghanem	[5]
14	Amit Goel	[12]
15	Xun Gong	[34] [35] [36] [39] [40] [41] [42] [43]
16	Marcel Gort	[58]
17	Yike Guo	[2] [4] [5]
18	Kecheng Hao	[61]
19	Yujing He	[52]
20	William S. Hlavacek	[30]
21	Alan J. Hu	[15] [16] [20] [27] [58]
22	Xiaoqin Hu	[39] [40] [42]
23	Ming Huang	[22]
24	William N. N. Hung	[21] [29] [31]
25	Yaping Jiang	[41] [43]
26	Ioannis Kriaras	[8]
27	Elke D. Lange	[7]
28	Ping Li	[17] [57]
29	Tao Li	[34] [35] [36] [39] [40] [41] [42] [43] [47] [60]
30	Gang Liang	[35] [36] [39] [41] [42] [43] [47] [60]
31	SunJun Liu	[34] [35] [47] [60]
32	XiaoJie Liu	[60]
33	Ji Lu	[36]
34	Aloysius K. Mok	[1] [3] [6]
35	Kelvin Ng	[20]
36	Jiancheng Ni	[41] [43]
37	Flavio M. de Paula	[58]
38	Marek A. Perkowski	[21] [31]
39	Avi Puder	[28]
40	Yongquan Qiang	[56]
41	Sandip Ray	[61]
42	Michel Raynal	[37] [48] [54]
43	Carl-Johan H. Seger	[11] [13] [14] [23]
44	Xiaoyu Song	[21] [29] [31] [32]
45	Douglas A. Stuart	[3]
46	Feixian Sun	[36]
47	Andreas Tiemeyer	[9]
48	Hing Wing To	[2] [4] [5]
49	Corentin Travers	[38]
50	Guillaume Vivier	[56]
51	Diangang Wang	[40] [47]
52	Farn Wang	[1] [6]
53	Juanru Wang	[18]
54	Tiefang Wang	[35] [36] [39] [40] [42] [47]
55	John Weisgerber	[10]
56	Yumei Wen	[17] [57]
57	Steven J. E. Wilton	[58]
58	Weigang Wu	[25] [26] [33] [37] [38] [45] [48] [53] [54] [55]
59	Fei Xie	[32] [52] [59] [61]
60	Cheng-Zhong Xu	[24] [25] [26]
61	Jin Xu	[44]
62	Ning Xu	[56]
63	Guowu Yang	[21] [29] [31] [32]
64	Zhixiang Yin	[44] [49] [50] [51]
65	JianHua Zhang	[34]
66	Jiaxiu Zhang	[50]
67	Liang Zhang	[19]
68	Hui Zhao	[40]
69	Kui Zhao	[34]
70	Songzheng Zhao	[18]
71	Zhangmin Zhou	[17]

Colors in the list of coauthors