Jun Yuan

	2008
30		Lang Gou, Qing Wang, Jun Yuan, Ye Yang, Mingshu Li, Nan Jiang: Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China. ICSP 2008: 369-380
29		Shiying Wang, Jun Yuan, Aixia Liu: k-Restricted edge connectivity for some interconnection networks. Applied Mathematics and Computation 201(1-2): 587-596 (2008)
28		Jun Yuan, Wei Yu: Joint source coding, routing and power allocation in wireless sensor networks. IEEE Transactions on Communications 56(6): 886-896 (2008)
	2007
27		Yun Zhou, Jun Yuan, Ying Wang, Ping Zhang: Service-Oriented FMIPv6 Framework for Efficient Handovers in 4G Networks. GLOBECOM 2007: 4478-4482
	2006
26		Jun Yuan, Wei Yu: Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach. GLOBECOM 2006
25		Ali Bahrami, Changzhou Wang, Jun Yuan, Anne Hunt: The Workflow Based Architecture for Mobile Information Access in Occasionally Connected Computing. IEEE SCC 2006: 406-413
24		Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: A Novel Tour Construction Heuristic for Traveling Salesman Problem Using LFF Principle. JCIS 2006
23		Sheqin Dong, Rensheng Wang, Fan Guo, Jun Yuan, Xianlong Hong: Floorplanning by A Revised 3-D Corner Block List with sub-C+-tree. JCIS 2006
22		Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: Stochastic Local Search Using the Search Space Smoothing Meta-Heuristic: A Case Study. JCIS 2006
21		Jun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt: A Semantic Information Integration Tool Suite. VLDB 2006: 1171-1174
20		Jun Yuan, Zongpeng Li, Wei Yu, Baochun Li: A Cross-Layer Optimization Framework for Multihop Multicast in Wireless Mesh Networks. IEEE Journal on Selected Areas in Communications 24(11): 2092-2103 (2006)
	2005
19		Jun Yuan, Sheqin Dong, Xianlong Hong, Yuliang Wu: LFF algorithm for heterogeneous FPGA floorplanning. ASP-DAC 2005: 1123-1126
18		Tom Barrett, David Jones, Jun Yuan, Mike Uschold: Applying Semantic Web technology to the integration of corporate information. Int. J. Web Eng. Technol. 2(2/3): 231-247 (2005)
	2004
17		Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin: Simplifying Boolean constraint solving for random simulation-vector generation. IEEE Trans. on CAD of Integrated Circuits and Systems 23(3): 412-420 (2004)
	2003
16		Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Constraint synthesis for environment modeling in functional verification. DAC 2003: 296-299
15		Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin: A Framework for Constrained Functional Verification. ICCAD 2003: 142-145
	2002
14		Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD 2002: 123-127
13		Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Constraint Solving in Random Simulation Generation. IWLS 2002: 185-190
12		Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz: A Method for Synthesizing Boolean Constrains. IWLS 2002: 351-353
	2001
11		Torsten Suel, Jun Yuan: Compressing the Graph Structure of the Web. Data Compression Conference 2001: 213-222
10		Li Yang, Naphtali Rishe, Jun Yuan, Maxim Chekmasov, Luis Pachas, Alejandro Mendoza: XML Wrapper: Storing and Retrieving XML Documents Using Semantic Binary Object-Oriented Database (Sem-ODB). ISAS-SCI (1) 2001: 82-87
9		Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan: Efficient control state-space search. IEEE Trans. on CAD of Integrated Circuits and Systems 20(2): 332-336 (2001)
	2000
8		Naphtali Rishe, Jun Yuan, Rukshan Athauda, Shu-Ching Chen, Xiaoling Lu, Xiaobin Ma, Alexander Vaschillo, Artyom Shaposhnikov, Dmitry Vasilevsky: Semantic Access: Semantic Interface for Querying Databases. VLDB 2000: 591-594
7		Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz: Automatic Vector Generation Using Constraints and Biasing. J. Electronic Testing 16(1-2): 107-120 (2000)
	1999
6		Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz: Modeling design constraints and biasing in simulation using BDDs. ICCAD 1999: 584-590
5		Carl Pixley, Kurt Shultz, Jun Yuan: Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. PDPTA 1999: 1061-1068
	1998
4		In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley: Approximate reachability don't cares for CTL model checking. ICCAD 1998: 351-358
	1997
3		Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz: On Combining Formal and Informal Verification. CAV 1997: 376-387
	1996
2		Jun Yuan, Lilin Liu, Zhanqiu Dong: Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. Application and Theory of Petri Nets 1996: 536-548
1		Carl Pixley, Noel R. Strader, W. C. Bruce, Jaehong Park, Matt Kaufmann, Kurt Shultz, Michael Burns, Jainendra Kumar, Jun Yuan, Janet Nguyen: Commercial Design Verification: Methodology and Tools. ITC 1996: 839-848

Coauthor Index

1	Jacob A. Abraham	[3]
2	Ken Albin	[12] [13] [14] [15] [16] [17]
3	Rukshan Athauda	[8]
4	Adnan Aziz	[3] [6] [7] [9] [12] [13] [14] [15] [16] [17]
5	Ali Bahrami	[21] [25]
6	Tom Barrett	[18]
7	W. C. Bruce	[1]
8	Michael Burns	[1]
9	Maxim Chekmasov	[10]
10	Shu-Ching Chen	[8]
11	Sheqin Dong	[19] [22] [23] [24]
12	Zhanqiu Dong	[2]
13	Lang Gou	[30]
14	Fan Guo	[22] [23] [24]
15	Gary D. Hachtel	[4]
16	John Havlicek	[12]
17	Xianlong Hong	[19] [22] [23] [24]
18	Anne Hunt	[21] [25]
19	Jae-Young Jang	[4]
20	Nan Jiang	[30]
21	David Jones	[18]
22	Matt Kaufmann	[1]
23	James H. Kukula	[9]
24	Jainendra Kumar	[1]
25	Baochun Li	[20]
26	Mingshu Li	[30]
27	Zongpeng Li	[20]
28	Aixia Liu	[29]
29	Lilin Liu	[2]
30	Xiaoling Lu	[8]
31	Xiaobin Ma	[8]
32	Alejandro Mendoza	[10]
33	Hillel Miller	[6] [7]
34	In-Ho Moon	[4]
35	Marie O. Murray	[21]
36	Janet Nguyen	[1]
37	Luis Pachas	[10]
38	Jaehong Park	[1]
39	Carl Pixley	[1] [4] [5] [6] [7] [13] [14] [15] [16] [17]
40	Naphtali Rishe	[8] [10]
41	Artyom Shaposhnikov	[8]
42	Jian Shen	[3]
43	Thomas R. Shiple	[9]
44	Kurt Shultz	[1] [5] [6] [7] [12]
45	Fabio Somenzi	[4]
46	Noel R. Strader	[1]
47	Torsten Suel	[11]
48	Mike Uschold	[18]
49	Alexander Vaschillo	[8]
50	Dmitry Vasilevsky	[8]
51	Changzhou Wang	[21] [25]
52	Qing Wang	[30]
53	Rensheng Wang	[22] [23] [24]
54	Shiying Wang	[29]
55	Ying Wang	[27]
56	Yuliang Wu	[19]
57	Li Yang	[10]
58	Ye Yang	[30]
59	Wei Yu	[20] [26] [28]
60	Ping Zhang	[27]
61	Yun Zhou	[27]

Colors in the list of coauthors