Jun Yuan Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLang Gou, Qing Wang, Jun Yuan, Ye Yang, Mingshu Li, Nan Jiang: Quantitative defects management in iterative development with BiDefect. Software Process: Improvement and Practice 14(4): 227-241 (2009)
2008
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai Hu, Yutang Min, Xianzhong Xie, Furong Wang, Jun Yuan: Distributed Cooperative Dynamic Spectrum Management Schemes for Industrial Wireless Sensor Networks. FGCN (2) 2008: 381-386
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLang 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShiying Wang, Jun Yuan, Aixia Liu: k-Restricted edge connectivity for some interconnection networks. Applied Mathematics and Computation 201(1-2): 587-596 (2008)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Wei Yu: Joint source coding, routing and power allocation in wireless sensor networks. IEEE Transactions on Communications 56(6): 886-896 (2008)
2007
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYun Zhou, Jun Yuan, Ying Wang, Ping Zhang: Service-Oriented FMIPv6 Framework for Efficient Handovers in 4G Networks. GLOBECOM 2007: 4478-4482
2006
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Wei Yu: Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach. GLOBECOM 2006
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Bahrami, Changzhou Wang, Jun Yuan, Anne Hunt: The Workflow Based Architecture for Mobile Information Access in Occasionally Connected Computing. IEEE SCC 2006: 406-413
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: A Novel Tour Construction Heuristic for Traveling Salesman Problem Using LFF Principle. JCIS 2006
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheqin Dong, Rensheng Wang, Fan Guo, Jun Yuan, Xianlong Hong: Floorplanning by A Revised 3-D Corner Block List with sub-C+-tree. JCIS 2006
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: Stochastic Local Search Using the Search Space Smoothing Meta-Heuristic: A Case Study. JCIS 2006
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt: A Semantic Information Integration Tool Suite. VLDB 2006: 1171-1174
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Sheqin Dong, Xianlong Hong, Yuliang Wu: LFF algorithm for heterogeneous FPGA floorplanning. ASP-DAC 2005: 1123-1126
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Constraint synthesis for environment modeling in functional verification. DAC 2003: 296-299
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Carl Pixley, Adnan Aziz, Ken Albin: A Framework for Constrained Functional Verification. ICCAD 2003: 142-145
2002
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD 2002: 123-127
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Constraint Solving in Random Simulation Generation. IWLS 2002: 185-190
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz: A Method for Synthesizing Boolean Constrains. IWLS 2002: 351-353
2001
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Suel, Jun Yuan: Compressing the Graph Structure of the Web. Data Compression Conference 2001: 213-222
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaphtali 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz: Modeling design constraints and biasing in simulation using BDDs. ICCAD 1999: 584-590
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Pixley, Kurt Shultz, Jun Yuan: Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. PDPTA 1999: 1061-1068
1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIn-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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz: On Combining Formal and Informal Verification. CAV 1997: 376-387
1996
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl 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] [32]
14Fan Guo [22] [23] [24]
15Gary D. Hachtel [4]
16John Havlicek [12]
17Xianlong Hong [19] [22] [23] [24]
18Hai Hu [31]
19Anne Hunt [21] [25]
20Jae-Young Jang [4]
21Nan Jiang [30] [32]
22David Jones [18]
23Matt Kaufmann [1]
24James H. Kukula [9]
25Jainendra Kumar [1]
26Baochun Li [20]
27Mingshu Li [30] [32]
28Zongpeng Li [20]
29Aixia Liu [29]
30Lilin Liu [2]
31Xiaoling Lu [8]
32Xiaobin Ma [8]
33Alejandro Mendoza [10]
34Hillel Miller [6] [7]
35Yutang Min [31]
36In-Ho Moon [4]
37Marie O. Murray [21]
38Janet Nguyen [1]
39Luis Pachas [10]
40Jaehong Park [1]
41Carl Pixley [1] [4] [5] [6] [7] [13] [14] [15] [16] [17]
42Naphtali Rishe [8] [10]
43Artyom Shaposhnikov [8]
44Jian Shen [3]
45Thomas R. Shiple [9]
46Kurt Shultz [1] [5] [6] [7] [12]
47Fabio Somenzi [4]
48Noel R. Strader [1]
49Torsten Suel [11]
50Mike Uschold [18]
51Alexander Vaschillo [8]
52Dmitry Vasilevsky [8]
53Changzhou Wang [21] [25]
54Furong Wang [31]
55Qing Wang [30] [32]
56Rensheng Wang [22] [23] [24]
57Shiying Wang [29]
58Ying Wang [27]
59Yuliang Wu [19]
60Xianzhong Xie [31]
61Li Yang [10]
62Ye Yang [30] [32]
63Wei Yu [20] [26] [28]
64Ping Zhang [27]
65Yun Zhou [27]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)