Jun Yuan

Jun Yuan, Aixia Liu, Hongmei Wu, Jing Li: Panconnectivity of n-dimensional torus networks with faulty vertices and edges. Discrete Applied Mathematics 161(3): 404-423 (2013)

Jun Yuan, Szu Hui Ng, Kwok Leung Tsui: Calibration of Stochastic Computer Models Using Stochastic Approximation Methods. IEEE T. Automation Science and Engineering 10(1): 171-186 (2013)

Jing Li, Di Liu, Jun Yuan: Pancyclicity of k-ary n-cube networks with faulty vertices and edges. Discrete Applied Mathematics 160(3): 231-238 (2012)

Yedatore Venkatakrishnaiya Venkatesh, Ashraf A. Kassim, Jun Yuan, Tan Dat Nguyen: On the simultaneous recognition of identity and expression from BU-3DFE datasets. Pattern Recognition Letters 33(13): 1785-1793 (2012)

Jun Yuan, Qiao Wang: Delay quality-of-service driven resource allocation for relay-based OFDMA cognitive radio networks. GLOBECOM 2012: 3994-3999

Jun Yuan, Qiao Wang: Delay quality-of-service driven resource allocation for relay-based multiuser OFDMA networks. ICC 2012: 3889-3894

Jun Yuan, Rob Johnson: CAWDOR: Compiler Assisted Worm Defense. SCAM 2012: 54-63

Jun Yuan, Aixia Liu: The k-Restricted Edge Connectivity of Balanced Bipartite Graphs. Graphs and Combinatorics 27(2): 289-303 (2011)

Meng Zhang, Wei Yu, Jun Yuan: Embracement of E-Tourism in Ecotourism: A Case Study of Tourism Websites for Galapagos. ACIS-ICIS 2011: 171-176

Yao Yao, Ming-min Zhang, Xie Yang, Jun Yuan: Adaptive beam pattern optimization of planar array under main lobe interference condition. EMEIT 2011: 3341-3344

Jun Yuan, Szu Hui Ng: Bayesian calibration of stochastic computer models. IEEM 2011: 1695-1699

Jun Yuan, Aixia Liu: Sufficient conditions for lambda_k-optimality in triangle-free graphs. Discrete Mathematics 310(5): 981-987 (2010)

Ying Wang, Ping Zhang, Yun Zhou, Jun Yuan, Fang Liu, Gen Li: Handover Management in Enhanced MIH Framework for Heterogeneous Wireless Networks Environment. Wireless Personal Communications 52(3): 615-636 (2010)

Jun Yuan, Qiao Wang: Adaptive Resource Allocation Schemes for Multiuser OFDMA Nonregenerative Relay Networks. ICC 2010: 1-5

Zhixiong Lu, Lanying Zhao, Xiaoqin Li, Jun Yuan: Simulation of Road Surface Roughness Based on the Piecewise Fractal Function. CCTA (4) 2010: 294-305

Jun Yuan, Ying Wang, Fang Liu, Lei Zheng: Optimized Handover Scheme Using IEEE 802.21 MIH Service in Multi-Service Environment. VTC Spring 2010: 1-5

Lei Zheng, Ying Wang, Jun Yuan, Fang Liu: A New Queueing Policy for Handoff Calls with Finite Queue Size in Wireless Cellular Networks. VTC Spring 2010: 1-5

Jun Yuan, Aixia Liu, Shiying Wang: Sufficient conditions for bipartite graphs to be super-k-restricted edge connected. Discrete Mathematics 309(9): 2886-2896 (2009)

Jun Yuan, Yongchao Zhu, Minzhe Wu: Vibration Characteristics and Effectiveness of Floating Slab Track System. JCP 4(12): 1249-1254 (2009)

Lang 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)

Tapsie Giridher, Raksik Kim, Divya Rai, Adam Hanover, Jun Yuan, Fatima Zarinni, Christelle Scharff, Anita Wasilewska, Jennifer L. Wong: Mobile applications for informal economies. IMCSIT 2009: 345-352

Ying Wang, Lei Zheng, Jun Yuan, Wensheng Sun: Median based network selection in heterogeneous wireless networks. WCNC 2009: 2531-2535

Shiying Wang, Jun Yuan, Aixia Liu: k-Restricted edge connectivity for some interconnection networks. Applied Mathematics and Computation 201(1-2): 587-596 (2008)

Shiying Wang, Jun Yuan, Aixia Liu: Sufficient Conditions for Super-Arc-Strongly Connected Oriented Graphs. Graphs and Combinatorics 24(6): 587-595 (2008)

Jun Yuan, Wei Yu: Joint source coding, routing and power allocation in wireless sensor networks. IEEE Transactions on Communications 56(6): 886-896 (2008)

Hai 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

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

Ying Wang, Yun Zhou, Jun Yuan, Ping Zhang: An Enhanced Media Independent Handover Framework for Heterogeneous Networks. VTC Spring 2008: 2306-2310

Ying Wang, Jun Yuan, Yun Zhou, Gen Li, Ping Zhang: Vertical Handover Decision in an Enhanced Media Independent Handover Framework. WCNC 2008: 2693-2698

Yun Zhou, Jun Yuan, Ying Wang, Ping Zhang: Service-Oriented FMIPv6 Framework for Efficient Handovers in 4G Networks. GLOBECOM 2007: 4478-4482

Jun Yuan, Carl Pixley, Adnan Aziz: Constraint-based verification. Springer 2006, isbn 978-0-387-25947-5, pp. I-XII, 1-253

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)

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

Jun Yuan, Wei Yu: Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach. GLOBECOM 2006

Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: A Novel Tour Construction Heuristic for Traveling Salesman Problem Using LFF Principle. JCIS 2006

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

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

Jun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt: A Semantic Information Integration Tool Suite. VLDB 2006: 1171-1174

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)

Jun Yuan, Sheqin Dong, Xianlong Hong, Yuliang Wu: LFF algorithm for heterogeneous FPGA floorplanning. ASP-DAC 2005: 1123-1126

Wei Yu, Jun Yuan: Joint source coding, routing and resource allocation for wireless sensor networks. ICC 2005: 737-741

Mohamed Ibnkahla, Jun Yuan: A Neural Network MLSE Receiver Based on Natural Gradient Descent: Application to Satellite Communications. EURASIP J. Adv. Sig. Proc. 2004(16): 2580-2591 (2004)

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)

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Constraint synthesis for environment modeling in functional verification. DAC 2003: 296-299

Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin: A Framework for Constrained Functional Verification. ICCAD 2003: 142-145

Mohamed Ibnkahla, Jun Yuan: Neural Network MLSE Receiver for Satellite Channels in the Presence of Nonlinear Distortions and Frequency-selective Fading. Neural Networks and Computational Intelligence 2003: 157-162

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD 2002: 123-127

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Constraint Solving in Random Simulation Generation. IWLS 2002: 185-190

Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz: A Method for Synthesizing Boolean Constrains. IWLS 2002: 351-353

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)

Torsten Suel, Jun Yuan: Compressing the Graph Structure of the Web. Data Compression Conference 2001: 213-222

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

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)

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

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz: Modeling design constraints and biasing in simulation using BDDs. ICCAD 1999: 584-590

Carl Pixley, Kurt Shultz, Jun Yuan: Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. PDPTA 1999: 1061-1068

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

Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz: On Combining Formal and Informal Verification. CAV 1997: 376-387

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

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