William N. N. Hung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
2001–2014
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICRA | Motion planning with Satisfiability Modulo Theories. | William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao |
| 2013 | ASPDAC | Sequential dependency and reliability analysis of embedded systems. | Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | CAV | Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. | Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu |
| 2013 | COMPSAC | Verification and Implementation of the Protocol Standard in Train Control System. | Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2011 | ICCD | Enhanced symbolic simulation of a round-robin arbiter. | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song |
| 2011 | ICFEM | Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. | Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2010 | CEC | Synthesizing hybrid quantum circuits without ancilla qudits. | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
| 2010 | DSD | A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. | Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song |
| 2010 | TASE | Compositional Abstraction Refinement for Timed Systems. | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2009 | FMCAD | Data mining based decomposition for assume-guarantee reasoning. | He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2008 | CEC | The probability logics for nanoscale inverterscascade. | Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung |
| 2006 | CEC | A Constructive Algorithm for Reversible Logic Synthesis. | Guowu Yang, Fei Xie, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski |
| 2006 | TAMC | Group Theory Based Synthesis of Binary Reversible Circuits. | Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski |
| 2005 | ASPDAC | Fast synthesis of exact minimal reversible circuits using group theory. | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski |
| 2005 | ASPDAC | Implication of assertion graphs in GSTE. | Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song |
| 2005 | DATE | Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
| 2005 | ISCAS | Segmented channel routing with pin rearrangements via satisfiability. | Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2004 | DAC | Quantum logic synthesis by symbolic reachability analysis. | William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski |
| 2002 | ISCAS | On data address computation for embedded DSP systems. | William N. N. Hung, Xiaoyu Song |
| 2002 | ISCAS | On segmented channel routability. | William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings |
| 2001 | ICCD | BDD Variable Ordering by Scatter Search. | William N. N. Hung, Xiaoyu Song |