The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Guowu Yang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang
    A fast congestion estimator for routing with bounded detours. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2004, pp:666-670 [Conf]
  2. Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
    Fast synthesis of exact minimal reversible circuits using group theory. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1002-1005 [Conf]
  3. Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song
    Implication of assertion graphs in GSTE. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1060-1063 [Conf]
  4. Fei Xie, Guowu Yang, Xiaoyu Song
    Compositional Reasoning for Hardware/Software Co-verification. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:154-169 [Conf]
  5. Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie
    A Theoretical Upper Bound for IP-Based Floorplanning. [Citation Graph (0, 0)][DBLP]
    COCOON, 2005, pp:411-419 [Conf]
  6. William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
    Quantum logic synthesis by symbolic reachability analysis. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:838-841 [Conf]
  7. Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
    Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:434-435 [Conf]
  8. Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song
    Congestion Estimation for 3D Routing. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2004, pp:239-240 [Conf]
  9. Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun
    A Hierachical Method for Wiring and Congestion Prediction. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2005, pp:307-308 [Conf]
  10. Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
    Bi-Direction Synthesis for Reversible Circuits. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2005, pp:14-19 [Conf]
  11. Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski
    Group Theory Based Synthesis of Binary Reversible Circuits. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:365-374 [Conf]
  12. Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie
    Maximal Models of Assertion Graph in GSTE. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:684-693 [Conf]
  13. Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski
    Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. [Citation Graph (0, 0)][DBLP]
    CIAA, 2006, pp:279-280 [Conf]
  14. Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng
    Probabilistic Estimation for Routing Space. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:6, pp:667-676 [Journal]
  15. Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun
    On synthesis of 3 × 3 reversible logic functions. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2005, v:82, n:4, pp:385-390 [Journal]
  16. Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
    Congestion estimation for hexagonal routing. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2006, v:83, n:3, pp:263-272 [Journal]
  17. Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
    On Theoretical Upper Bounds for Routing Estimation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:6, pp:916-925 [Journal]
  18. Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang
    Algebraic Characterization of Reversible Logic Gates. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2006, v:39, n:2, pp:311-319 [Journal]
  19. William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
    Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:9, pp:1652-1663 [Journal]
  20. Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
    Majority-based reversible logic gates. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:334, n:1-3, pp:259-274 [Journal]
  21. William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang
    Routability checking for three-dimensional architectures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 2004, v:12, n:12, pp:1371-1374 [Journal]
  22. Fei Xie, Guowu Yang, Xiaoyu Song
    Component-based hardware/software co-verification. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:27-36 [Conf]
  23. Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
    Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  24. Fei Xie, Guowu Yang, Xiaoyu Song
    Component-based hardware/software co-verification for building trustworthy embedded systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:5, pp:643-654 [Journal]

  25. The probability logics for nanoscale inverterscascade. [Citation Graph (, )][DBLP]


  26. Bi-Directional Synthesis of 4-Bit Reversible Circuits. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002