dblp.uni-trier.dewww.uni-trier.de

Jun Yuan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
30EELang 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
29EEShiying Wang, Jun Yuan, Aixia Liu: k-Restricted edge connectivity for some interconnection networks. Applied Mathematics and Computation 201(1-2): 587-596 (2008)
28EEJun Yuan, Wei Yu: Joint source coding, routing and power allocation in wireless sensor networks. IEEE Transactions on Communications 56(6): 886-896 (2008)
2007
27EEYun Zhou, Jun Yuan, Ying Wang, Ping Zhang: Service-Oriented FMIPv6 Framework for Efficient Handovers in 4G Networks. GLOBECOM 2007: 4478-4482
2006
26EEJun Yuan, Wei Yu: Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach. GLOBECOM 2006
25EEAli Bahrami, Changzhou Wang, Jun Yuan, Anne Hunt: The Workflow Based Architecture for Mobile Information Access in Occasionally Connected Computing. IEEE SCC 2006: 406-413
24EESheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: A Novel Tour Construction Heuristic for Traveling Salesman Problem Using LFF Principle. JCIS 2006
23EESheqin Dong, Rensheng Wang, Fan Guo, Jun Yuan, Xianlong Hong: Floorplanning by A Revised 3-D Corner Block List with sub-C+-tree. JCIS 2006
22EESheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: Stochastic Local Search Using the Search Space Smoothing Meta-Heuristic: A Case Study. JCIS 2006
21EEJun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt: A Semantic Information Integration Tool Suite. VLDB 2006: 1171-1174
20EEJun 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
19EEJun Yuan, Sheqin Dong, Xianlong Hong, Yuliang Wu: LFF algorithm for heterogeneous FPGA floorplanning. ASP-DAC 2005: 1123-1126
18EETom 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
17EEJun 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
16EEJun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Constraint synthesis for environment modeling in functional verification. DAC 2003: 296-299
15EEJun Yuan, Carl Pixley, Adnan Aziz, Ken Albin: A Framework for Constrained Functional Verification. ICCAD 2003: 142-145
2002
14EEJun 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
11EETorsten 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
9EEAdnan 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
8EENaphtali 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
7EEJun 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
6EEJun 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
4EEIn-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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)