Jun Yuan

2008
28	EE	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
27	EE	Shiying Wang, Jun Yuan, Aixia Liu: k-Restricted edge connectivity for some interconnection networks. Applied Mathematics and Computation 201(1-2): 587-596 (2008)
26	EE	Jun Yuan, Wei Yu: Joint source coding, routing and power allocation in wireless sensor networks. IEEE Transactions on Communications 56(6): 886-896 (2008)
2006
25	EE	Jun Yuan, Wei Yu: Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach. GLOBECOM 2006
24	EE	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
23	EE	Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: A Novel Tour Construction Heuristic for Traveling Salesman Problem Using LFF Principle. JCIS 2006
22	EE	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
21	EE	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
20	EE	Jun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt: A Semantic Information Integration Tool Suite. VLDB 2006: 1171-1174
19	EE	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
18	EE	Jun Yuan, Sheqin Dong, Xianlong Hong, Yuliang Wu: LFF algorithm for heterogeneous FPGA floorplanning. ASP-DAC 2005: 1123-1126
17	EE	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
16	EE	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
15	EE	Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Constraint synthesis for environment modeling in functional verification. DAC 2003: 296-299
14	EE	Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin: A Framework for Constrained Functional Verification. ICCAD 2003: 142-145
2002
13	EE	Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD 2002: 123-127
12		Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Constraint Solving in Random Simulation Generation. IWLS 2002: 185-190
11		Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz: A Method for Synthesizing Boolean Constrains. IWLS 2002: 351-353
2001
10	EE	Torsten Suel, Jun Yuan: Compressing the Graph Structure of the Web. Data Compression Conference 2001: 213-222
9		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
8	EE	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
7	EE	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
1999
6	EE	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	EE	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	[11] [12] [13] [14] [15] [16]
3	Rukshan Athauda	[7]
4	Adnan Aziz	[3] [6] [8] [11] [12] [13] [14] [15] [16]
5	Ali Bahrami	[20] [24]
6	Tom Barrett	[17]
7	W. C. Bruce	[1]
8	Michael Burns	[1]
9	Maxim Chekmasov	[9]
10	Shu-Ching Chen	[7]
11	Sheqin Dong	[18] [21] [22] [23]
12	Zhanqiu Dong	[2]
13	Lang Gou	[28]
14	Fan Guo	[21] [22] [23]
15	Gary D. Hachtel	[4]
16	John Havlicek	[11]
17	Xianlong Hong	[18] [21] [22] [23]
18	Anne Hunt	[20] [24]
19	Jae-Young Jang	[4]
20	Nan Jiang	[28]
21	David Jones	[17]
22	Matt Kaufmann	[1]
23	James H. Kukula	[8]
24	Jainendra Kumar	[1]
25	Baochun Li	[19]
26	Mingshu Li	[28]
27	Zongpeng Li	[19]
28	Aixia Liu	[27]
29	Lilin Liu	[2]
30	Xiaoling Lu	[7]
31	Xiaobin Ma	[7]
32	Alejandro Mendoza	[9]
33	Hillel Miller	[6]
34	In-Ho Moon	[4]
35	Marie O. Murray	[20]
36	Janet Nguyen	[1]
37	Luis Pachas	[9]
38	Jaehong Park	[1]
39	Carl Pixley	[1] [4] [5] [6] [12] [13] [14] [15] [16]
40	Naphtali Rishe	[7] [9]
41	Artyom Shaposhnikov	[7]
42	Jian Shen	[3]
43	Thomas R. Shiple	[8]
44	Kurt Shultz	[1] [5] [6] [11]
45	Fabio Somenzi	[4]
46	Noel R. Strader	[1]
47	Torsten Suel	[10]
48	Mike Uschold	[17]
49	Alexander Vaschillo	[7]
50	Dmitry Vasilevsky	[7]
51	Changzhou Wang	[20] [24]
52	Qing Wang	[28]
53	Rensheng Wang	[21] [22] [23]
54	Shiying Wang	[27]
55	Yuliang Wu	[18]
56	Li Yang	[9]
57	Ye Yang	[28]
58	Wei Yu	[19] [25] [26]

Colors in the list of coauthors