Jin Yang

	2012
87		Prakash Bhat, Satoshi Nagata, Luis Campoy, Ignacio Berberana, Thomas Derham, Guangyi Liu, Xiaodong Shen, Pingping Zong, Jin Yang: LTE-advanced: an operator perspective. IEEE Communications Magazine 50(2): 104-114 (2012)
86		Aleksandar Damnjanovic, Juan Montojo, Joonyoung Cho, Hyoungju Ji, Jin Yang, Pingping Zong: UE's role in LTE advanced heterogeneous networks. IEEE Communications Magazine 50(2): 164-176 (2012)
	2011
85		Caiming Liu, Run Chen, Yan Zhang, Luxin Xiao, Chao Chen, Jin Yang: A Distributed Surveillance Model for Network Security Inspired by Immunology. AICI (2) 2011: 53-60
84		Fuchun Sun, Jin Yang, Minnan Luo, Huaping Liu: Optimal necessary conditions for general SISO Mamdani fuzzy systems as function approximators within a given accuracy. FUZZ-IEEE 2011: 2319-2326
83		Chaozhe Jiang, Jin Yang, Jixue Yuan: Development and sustainable strategies of RITS in China. ICAL 2011: 281-286
82		Caiming Liu, Jin Yang, Run Chen, Yan Zhang, Jinquan Zeng: Research on immunity-based intrusion detection technology for the Internet of Things. ICNC 2011: 212-216
81		Dang-Hoan Tran, Jin Yang, Kai-Uwe Sattler: Decentralized Change Detection in Wireless Sensor Network Using DFT-based Synopsis. Mobile Data Management (1) 2011: 226-235
80		Jin Yang, Tobias Simon, Christopher Mueller, Daniel Klan, Kai-Uwe Sattler: Comparing and Refining Gossip Protocols for Fault Tolerance in Wireless P2P Systems. PDP 2011: 595-599
79		Bo Hagerman, Karl Werner, Jin Yang: MIMO Performance at 700MHz: Field Trials of LTE with Handheld UE. VTC Fall 2011: 1-5
78		Tang Liu, Jian Peng, Jin Yang, Chunli Wang: Energy efficient prediction clustering algorithm for multilevel heterogeneous wireless sensor networks CoRR abs/1105.6237: (2011)
77		Tianfei Wang, Jin Yang, Bin Li: Improved Upper Bounds for the Laplacian Spectral Radius of a Graph. Electr. J. Comb. 18(1): (2011)
76		Jin Yang, Tang Liu, Ling xi Peng, Xue Jun Li, Gang Luo: Multilevel Network Security Monitoring and Evaluation Model. JSW 6(5): 806-813 (2011)
	2010
75		Jin Yang: Self-organization Data Harvesting and Fusion for Building a Resource Map. AlgoSyn 2010: 178
74		Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang: Optimizing equivalence checking for behavioral synthesis. DATE 2010: 1500-1505
73		Jin Yang, Yu Sun, Yimin Zhou, Shixin Sun: Incremental Rate Control for H.264 Scalable Video Coding. GLOBECOM 2010: 1-5
72		Jin Yang, Yumei Wen, Ping Li: Approximate entropy-based leak detection using artificial neural network in water distribution pipelines. ICARCV 2010: 1029-1034
71		Dapeng Yan, Daqing Ge, Jin Yang, Ling Zhang, Yan Wang, Xiaofang Guo: PSI analyses of land subsidence due to economic development near the city of Hangzhou, China. IGARSS 2010: 2410-2413
70		Jin Yang: Gossip-Based Data Fusion Framework for Radio Resource Map. Mobile Data Management 2010: 293-294
69		Qinliang Su, Aiping Huang, Zhaoyang Zhang, Kai Xu, Jin Yang: A Non-Cooperative Method for Path Loss Estimation in Femtocell Networks CoRR abs/1008.0270: (2010)
68		Jin Yang: Faculty Adopters of Podcasting: Satisfaction, University Support and Belief in Podcasting. IJICTE 6(4): 74-88 (2010)
	2009
67		Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351
66		Meng Xu, Jin Yang, Ziyou Gao: Using One-at-a-Time Sensitivity Analysis Designs for Genetic Algorithm Solving Continuous Network Design Problems. CSO (2) 2009: 114-118
65		Jin Yang, Peng Jin, YanWei Hong, Gang Luo: Improved Method for Network Danger Evaluation Based on Immunology Principle. ICNC (4) 2009: 47-51
64		Pengyu Zhang, Jian Yuan, Jianshu Chen, Jian Wang, Jin Yang: Analyzing amplify-and-forward and decode-and-forward cooperative strategies in Wyner's channel model. WCNC 2009: 1-6
63		Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu: Efficient algorithms for fault tolerant mobile agent execution. IJHPCN 6(2): 106-118 (2009)
62		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
61		Nicola Ueffing, Jens Stephan, Evgeny Matusov, Loïc Dugast, George F. Foster, Roland Kuhn, Jean Senellart, Jin Yang: Tighter Integration of Rule-Based and Statistical MT in Serial System Combination. COLING 2008: 913-920
60		Yan Chen, Fei Xie, Jin Yang: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. DAC 2008: 143-148
59		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
58		Jin Yang, Yumei Wen, Ping Li: Application of blind system identification in acoustic source location. ICARCV 2008: 1764-1768
57		Yongquan Qiang, Guillaume Vivier, Jin Yang, Ning Xu: Inter-Cell Interference Modeling for OFDMA Systems with Beamforming. VTC Fall 2008: 1-5
56		Jin Yang, Jiannong Cao, Weigang Wu: Efficient global checkpointing algorithms for mobile agents. Concurrency and Computation: Practice and Experience 20(7): 825-838 (2008)
55		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)
54		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
53		Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
52		Zhixiang Yin, Jianzhong Cui, Jin Yang: A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem. ICIC (1) 2007: 1-9
51		Zhixiang Yin, Jin Yang, Jianzhong Cui, Jiaxiu Zhang: Evolutionary Model for Sequence Generation. ICIC (1) 2007: 10-17
50		Jianzhong Cui, Zhixiang Yin, Jin Yang: Molecular Computation: Solving 3-Vertex-Colourability Problem. ICIC (3) 2007: 450-458
49		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)
48		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
47		Jin Yang: Verification Challenges and Opportunities in the New Era of Microprocessor Design. ATVA 2006: 6-7
46		Jin Yang, Jiannong Cao, Weigang Wu: Checkpoint Placement Algorithms for Mobile Agent System. GCC 2006: 339-346
45		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
44		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
43		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
42		Gang Liang, Tao Li, Xun Gong, Yaping Jiang, Jin Yang, Jiancheng Ni: NASC: A Novel Approach for Spam Classification. ICIC (3) 2006: 672-681
41		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
40		Xun Gong, Tao Li, Tiefang Wang, Jin Yang, Gang Liang, Xiaoqin Hu: Grid Intrusion Detection Based on Immune Agent. ICNC (2) 2006: 73-82
39		Jin Yang, Jiannong Cao, Weigang Wu, Corentin Travers: The notification based approach to implementing failure detectors in distributed systems. Infoscale 2006: 14
38		Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal: A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. PDP 2006: 64-72
37		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
36		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
35		SunJun Liu, Tao Li, Kui Zhao, Jin Yang, Xun Gong, Jianhua Zhang: Immune-Based Dynamic Intrusion Response Model. SEAL 2006: 96-103
34		Jin Yang, Jiannong Cao, Weigang Wu: CIC: An Integrated Approach to Checkpointing in Mobile Agent Systems. SKG 2006: 4
33		Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693
32		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)
31		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
30		Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song: Implication of assertion graphs in GSTE. ASP-DAC 2005: 1060-1063
29		Jin Yang, Avi Puder: Tightly integrate dynamic verification with formal verification: a GSTE based approach. ASP-DAC 2005: 327-330
28		Xiushan Feng, Alan J. Hu, Jin Yang: Partitioned model checking from software specifications. ASP-DAC 2005: 583-587
27		Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu: A Framework for Transactional Mobile Agent Execution. GCC 2005: 1002-1008
26		Jin Yang, Jiannong Cao, Weigang Wu, Cheng-Zhong Xu: Parallel Algorithms for Fault-Tolerant Mobile Agent Execution. ICA3PP 2005: 246-256
25		Jiannong Cao, Jin Yang, Wai Ting Chan, Cheng-Zhong Xu: Exception Handling in Distributed Workflow Systems Using Mobile Agents. ICEBE 2005: 48-55
	2004
24		Jin Yang, Carl-Johan H. Seger: Compositional Specification and Model Checking in GSTE. CAV 2004: 216-228
23		Jin Yang, Ming Huang: A Case Study on Research Assistant System From Knowledge Management Perspective. CELDA 2004: 241-248
22		William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski: Quantum logic synthesis by symbolic reachability analysis. DAC 2004: 838-841
21		Kelvin Ng, Alan J. Hu, Jin Yang: Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD 2004: 409-416
20		Jiannong Cao, Liang Zhang, Jin Yang, Sajal K. Das: A Reliable Mobile Agent Communication Protocol. ICDCS 2004: 468-475
19		Juanru Wang, Songzheng Zhao, Jin Yang: Study on the Cultivation of Core Competence Based on Tacit Knowledge. ICEB 2004: 987-989
18		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
17		Alan J. Hu, Jeremy Casas, Jin Yang: Reasoning about GSTE Assertion Graphs. CHARME 2003: 170-184
16		Alan J. Hu, Jeremy Casas, Jin Yang: Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD 2003: 154-160
15		Jin Yang, Carl-Johan H. Seger: Introduction to generalized symbolic trajectory evaluation. IEEE Trans. VLSI Syst. 11(3): 345-353 (2003)
	2002
14		Jin Yang, Carl-Johan H. Seger: Generalized Symbolic Trajectory Evaluation - Abstraction in Action. FMCAD 2002: 70-87
13		Jin Yang, Amit Goel: GSTE through a case study. ICCAD 2002: 534-541
	2001
12		Jin Yang, Carl-Johan H. Seger: Introduction to Generalized Symbolic Trajectory Evaluation. ICCD 2001: 360-367
	2000
11		John Weisgerber, Jin Yang, Pete Fisher: Pacific Rim Portable Translator. AMTA 2000: 196-201
10		Jin Yang, Andreas Tiemeyer: Lazy symbolic model checking. DAC 2000: 35-38
	1999
9		Jin Yang, Ioannis Kriaras: Wireless VoIP: Opportunities and Challenges. MDA 1999: 3-13
8		Jin Yang: Diversity receiver scheme and system performance evaluation for a CDMA system. IEEE Transactions on Communications 47(2): 272-280 (1999)
	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	Ignacio Berberana	[87]
3	Prakash Bhat	[87]
4	Michael L. Blinov	[31]
5	Luis Campoy	[87]
6	Jiannong Cao	[20] [25] [26] [27] [34] [38] [39] [46] [49] [54] [55] [56] [63]
7	Jeremy Casas	[16] [17]
8	Wai Ting Chan	[25]
9	Chao Chen	[85]
10	Jianshu Chen	[64]
11	Run Chen	[82] [85]
12	Yan Chen	[53] [60] [67]
13	Joonyoung Cho	[86]
14	Jianzhong Cui	[45] [50] [51] [52]
15	Aleksandar Damnjanovic	[86]
16	John Darlington	[2] [4] [5]
17	Sajal K. Das	[20]
18	Thomas Derham	[87]
19	Loïc Dugast	[61]
20	James R. Faeder	[31]
21	Xiushan Feng	[28]
22	Pete Fisher	[11]
23	George F. Foster	[61]
24	Ziyou Gao	[66]
25	Daqing Ge	[71]
26	Moustafa Ghanem	[5]
27	Amit Goel	[13]
28	Xun Gong	[35] [36] [37] [40] [41] [42] [43] [44]
29	Marcel Gort	[59]
30	Xiaofang Guo	[71]
31	Yike Guo	[2] [4] [5]
32	Bo Hagerman	[79]
33	Kecheng Hao	[67] [74]
34	Yujing He	[53]
35	William S. Hlavacek	[31]
36	YanWei Hong	[65]
37	Alan J. Hu	[16] [17] [21] [28] [59]
38	Xiaoqin Hu	[40] [41] [43]
39	Aiping Huang	[69]
40	Ming Huang	[23]
41	William N. N. Hung	[22] [30] [32]
42	Hyoungju Ji	[86]
43	Chaozhe Jiang	[83]
44	Yaping Jiang	[42] [44]
45	Peng Jin	[65]
46	Daniel Klan	[80]
47	Ioannis Kriaras	[9]
48	Roland Kuhn	[61]
49	Elke D. Lange	[7]
50	Bin Li	[77]
51	Ping Li	[18] [58] [72]
52	Tao Li	[35] [36] [37] [40] [41] [42] [43] [44] [48] [62]
53	Xue Jun Li	[76]
54	Gang Liang	[36] [37] [40] [42] [43] [44] [48] [62]
55	Caiming Liu	[82] [85]
56	Guangyi Liu	[87]
57	Huaping Liu	[84]
58	SunJun Liu	[35] [36] [48] [62]
59	Tang Liu	[76] [78]
60	XiaoJie Liu	[62]
61	Ji Lu	[37]
62	Gang Luo	[65] [76]
63	Minnan Luo	[84]
64	Evgeny Matusov	[61]
65	Aloysius K. Mok	[1] [3] [6]
66	Juan Montojo	[86]
67	Christopher Mueller	[80]
68	Satoshi Nagata	[87]
69	Kelvin Ng	[21]
70	Jiancheng Ni	[42] [44]
71	Flavio M. de Paula	[59]
72	Jian Peng	[78]
73	Ling xi Peng	[76]
74	Marek A. Perkowski	[22] [32]
75	Avi Puder	[29]
76	Yongquan Qiang	[57]
77	Sandip Ray	[67] [74]
78	Michel Raynal	[38] [49] [55]
79	Kai-Uwe Sattler	[80] [81]
80	Carl-Johan H. Seger	[12] [14] [15] [24]
81	Jean Senellart	[61]
82	Xiaodong Shen	[87]
83	Tobias Simon	[80]
84	Xiaoyu Song	[22] [30] [32] [33]
85	Jens Stephan	[61]
86	Douglas A. Stuart	[3]
87	Qinliang Su	[69]
88	Feixian Sun	[37]
89	Fuchun Sun	[84]
90	Shixin Sun	[73]
91	Yu Sun	[73]
92	Andreas Tiemeyer	[10]
93	Hing Wing To	[2] [4] [5]
94	Dang-Hoan Tran	[81]
95	Corentin Travers	[39]
96	Nicola Ueffing	[61]
97	Guillaume Vivier	[57]
98	Chunli Wang	[78]
99	Diangang Wang	[41] [48]
100	Farn Wang	[1] [6]
101	Jian Wang	[64]
102	Juanru Wang	[19]
103	Tianfei Wang	[77]
104	Tiefang Wang	[36] [37] [40] [41] [43] [48]
105	Yan Wang	[71]
106	John Weisgerber	[11]
107	Yumei Wen	[18] [58] [72]
108	Karl Werner	[79]
109	Steven J. E. Wilton	[59]
110	Weigang Wu	[26] [27] [34] [38] [39] [46] [49] [54] [55] [56] [63]
111	Luxin Xiao	[85]
112	Fei Xie	[33] [53] [60] [67] [74]
113	Cheng-Zhong Xu	[25] [26] [27] [63]
114	Jin Xu	[45]
115	Kai Xu	[69]
116	Meng Xu	[66]
117	Ning Xu	[57]
118	Dapeng Yan	[71]
119	Guowu Yang	[22] [30] [32] [33]
120	Zhixiang Yin	[45] [50] [51] [52]
121	Jian Yuan	[64]
122	Jixue Yuan	[83]
123	Jinquan Zeng	[82]
124	Jianhua Zhang	[35]
125	Jiaxiu Zhang	[51]
126	Liang Zhang	[20]
127	Ling Zhang	[71]
128	Pengyu Zhang	[64]
129	Yan Zhang	[82] [85]
130	Zhaoyang Zhang	[69]
131	Hui Zhao	[41]
132	Kui Zhao	[35]
133	Songzheng Zhao	[19]
134	Yimin Zhou	[73]
135	Zhangmin Zhou	[18]
136	Pingping Zong	[86] [87]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page