Search the dblp DataBase
Guowu Yang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] Fei Xie , Guowu Yang , Xiaoyu Song Compositional Reasoning for Hardware/Software Co-verification. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:154-169 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Fei Xie , Guowu Yang , Xiaoyu Song Component-based hardware/software co-verification. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2006, pp:27-36 [Conf ] 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 ] 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 ] The probability logics for nanoscale inverterscascade. [Citation Graph (, )][DBLP ] Bi-Directional Synthesis of 4-Bit Reversible Circuits. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.306secs