The SCEAS System
Navigation Menu

Search the dblp DataBase


Jun Yuan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ali Bahrami, Changzhou Wang, Jun Yuan, Anne Hunt
    The Workflow Based Architecture for Mobile Information Access in Occasionally Connected Computing. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2006, pp:406-413 [Conf]
  2. Jun Yuan, Lilin Liu, Zhanqiu Dong
    Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:536-548 [Conf]
  3. Jun Yuan, Sheqin Dong, Xianlong Hong, Yuliang Wu
    LFF algorithm for heterogeneous FPGA floorplanning. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1123-1126 [Conf]
  4. Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz
    On Combining Formal and Informal Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:376-387 [Conf]
  5. Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
    Constraint synthesis for environment modeling in functional verification. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:296-299 [Conf]
  6. Torsten Suel, Jun Yuan
    Compressing the Graph Structure of the Web. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 2001, pp:213-222 [Conf]
  7. In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley
    Approximate reachability don't cares for CTL model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1998, pp:351-358 [Conf]
  8. Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
    Simplifying Boolean constraint solving for random simulation-vector generation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2002, pp:123-127 [Conf]
  9. Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin
    A Framework for Constrained Functional Verification. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:142-145 [Conf]
  10. Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
    Modeling design constraints and biasing in simulation using BDDs. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1999, pp:584-590 [Conf]
  11. 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). [Citation Graph (0, 0)][DBLP]
    ISAS-SCI (1), 2001, pp:82-87 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    ITC, 1996, pp:839-848 [Conf]
  13. Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
    A Method for Synthesizing Boolean Constrains. [Citation Graph (0, 0)][DBLP]
    IWLS, 2002, pp:351-353 [Conf]
  14. Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
    Simplifying Constraint Solving in Random Simulation Generation. [Citation Graph (0, 0)][DBLP]
    IWLS, 2002, pp:185-190 [Conf]
  15. Sheqin Dong, Rensheng Wang, Fan Guo, Jun Yuan, Xianlong Hong
    Floorplanning by A Revised 3-D Corner Block List with sub-C+-tree. [Citation Graph (0, 0)][DBLP]
    JCIS, 2006, pp:- [Conf]
  16. Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong
    Stochastic Local Search Using the Search Space Smoothing Meta-Heuristic: A Case Study. [Citation Graph (0, 0)][DBLP]
    JCIS, 2006, pp:- [Conf]
  17. Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong
    A Novel Tour Construction Heuristic for Traveling Salesman Problem Using LFF Principle. [Citation Graph (0, 0)][DBLP]
    JCIS, 2006, pp:- [Conf]
  18. Carl Pixley, Kurt Shultz, Jun Yuan
    Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1061-1068 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    VLDB, 2000, pp:591-594 [Conf]
  20. Jun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt
    A Semantic Information Integration Tool Suite. [Citation Graph (0, 0)][DBLP]
    VLDB, 2006, pp:1171-1174 [Conf]
  21. Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan
    Efficient control state-space search. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2001, v:20, n:2, pp:332-336 [Journal]
  22. Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin
    Simplifying Boolean constraint solving for random simulation-vector generation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:3, pp:412-420 [Journal]
  23. Jun Yuan, Wei Yu
    Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    GLOBECOM, 2006, pp:- [Conf]

  24. Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China. [Citation Graph (, )][DBLP]

  25. Optimized Handover Scheme Using IEEE 802.21 MIH Service in Multi-Service Environment. [Citation Graph (, )][DBLP]

  26. A New Queueing Policy for Handoff Calls with Finite Queue Size in Wireless Cellular Networks. [Citation Graph (, )][DBLP]

  27. Service-Oriented FMIPv6 Framework for Efficient Handovers in 4G Networks. [Citation Graph (, )][DBLP]

  28. Distributed Cooperative Dynamic Spectrum Management Schemes for Industrial Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  29. Median based network selection in heterogeneous wireless networks. [Citation Graph (, )][DBLP]

  30. Sufficient conditions for bipartite graphs to be super-k-restricted edge connected. [Citation Graph (, )][DBLP]

  31. Sufficient conditions for lambdak-optimality in triangle-free graphs. [Citation Graph (, )][DBLP]

Search in 0.023secs, Finished in 0.025secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002