Jun Yuan

2008
26	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
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	[26]
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	[26]
21	David Jones	[17]
22	Matt Kaufmann	[1]
23	James H. Kukula	[8]
24	Jainendra Kumar	[1]
25	Baochun Li	[19]
26	Mingshu Li	[26]
27	Zongpeng Li	[19]
28	Lilin Liu	[2]
29	Xiaoling Lu	[7]
30	Xiaobin Ma	[7]
31	Alejandro Mendoza	[9]
32	Hillel Miller	[6]
33	In-Ho Moon	[4]
34	Marie O. Murray	[20]
35	Janet Nguyen	[1]
36	Luis Pachas	[9]
37	Jaehong Park	[1]
38	Carl Pixley	[1] [4] [5] [6] [12] [13] [14] [15] [16]
39	Naphtali Rishe	[7] [9]
40	Artyom Shaposhnikov	[7]
41	Jian Shen	[3]
42	Thomas R. Shiple	[8]
43	Kurt Shultz	[1] [5] [6] [11]
44	Fabio Somenzi	[4]
45	Noel R. Strader	[1]
46	Torsten Suel	[10]
47	Mike Uschold	[17]
48	Alexander Vaschillo	[7]
49	Dmitry Vasilevsky	[7]
50	Changzhou Wang	[20] [24]
51	Qing Wang	[26]
52	Rensheng Wang	[21] [22] [23]
53	Yuliang Wu	[18]
54	Li Yang	[9]
55	Ye Yang	[26]
56	Wei Yu	[19] [25]

Colors in the list of coauthors