Selected Publications

  1. F. He, X. Song, et al. Integrating evolutionary computation with abstraction refinement for model checking. IEEE Transactions on Computers, 2009.

  2. G. Chen, X. Song, et al. A theoretical investigation on CMOL FPGA cell assignment problem. IEEE Transactions on Nanotechnology, 8(3), 322-329, 2009.

  3. O. Neiroukh, S. Edwards, X. Song. Transforming cyclic circuits into acyclic equivalents. IEEE Transactions on Computer-Aided Design, 27(10), 1775 - 1787, 2008.

  4. W. Hung, C. Gao, X. Song, D. Hammerstrom. Defect tolerant CMOL cell assignment via satisfiability. IEEE Sensors Journal, 2008

  5. G. Chen, X. Song, et al. A note on "A mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Transactions on Design Automation of Electronic Systems, 12(4), 2007.

  6. G. Yang, F. Xie, X. Song, M. Perkowski. Universality of two-qudit ternary reversible gates. Journal of Physics A Mathematical and General, The Institute of Physics, 39, 2006.

  7. X. Song, G. Yang, M. Perkowski. Algebraic characteristics of reversible gates. Theory of Computing Systems (Mathematical Systems Theory), Springer-Verlag, 39(2), 2006.

  8. F. He, X. Song, etc. Probabilistic Optimization for FPGA Board Level Routing Problems IEEE Transactions on Circuits and Systems II 53(4), 264-268, 2006.

  9. G. Yang, X. Song, M. Perkowski and J. Wu. Realizing ternary quantum switching networks without ancilla bits. Journal of Physics A Mathematical and General, The Institute of Physics, 38, 2005.

  10. W. Hung, X. Song, G. Yang, etc. Optimal Synthesis of Multi-output Boolean Functions using a Set of Quantum Gates by Symbolic Reachability Analysis. IEEE Transactions on Computer-Aided Design, 2005.

  11. W. Hung, X. Song, et al, "Routability Checking for Three-Dimensional Architectures", IEEE Transactions on Very Large Scale Integration Systems, 2004.

  12. G. Yang, W. Hung, X. Song, et al, "Majority-Based Reversible Logic Gates", Theoretical Computer Science C, 2004.

  13. L. Cheng, W. Hung, G. Yang, X. Song, "Congestion Estimation for 3D Circuit Architectures", IEEE Transactions on Circuits and Systems II, 2004. .

  14. W. Hung, X. Song. Segmented channel routing via satisfiability. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2002.

  15. X. Song, etc. Multiterminal net assignment via satisfiability. IEEE Transactions on VLSI Systems, 2002.

  16. Y. Wang, C. Pai, X. Song. The Design of Hybrid Carry - Lookahead/Carry-Select Adders. IEEE Transactions on Circuits and Systems, 2002.

  17. X. Song, etc. On the non-termination of MDG-based abstract state enumeration. Theoretical Computer Science (TCS) , 2001.

  18. W. Hung, X. Song. BDD Minimization by Scatter Search. IEEE Transactions on Computer-Aided Design, 2001.

  19. Y. Wang, X. Song, M. Aboulhamid. Adder based residue to binary number converters. IEEE Transactions on Signal Processing, 2001.

  20. X. Song, Y. Tang. Wire space estimation and routability analysis. IEEE Transactions on Computer-Aided Design, 19(5), 2000.

  21. X. Song and Y. Wang. On the crossing distribution problem. ACM Transactions on Design Automation of Electronic Systems (TODAES), 4(1), 1999.

  22. S. Tahar, X. Song, E. Cerny, Z. Zhou, M. Langevin. Formal verification of an ATM switch fabric using multiway decision graphs. IEEE Transactions on Computer-Aided Design, vol. 18(7), 956-972, July 1999.

  23. Y. Tang, X. Song, Y. Wang. Diagnosis of clustered faults for identical degree topologies. IEEE Transactions on Computer-Aided Design, 18(8), 1999.

  24. Y. Tang and X. Song. Diagnosis for arbitrarily connected parallel computers. IEEE Transactions on Computers, 48(7), 1999.

  25. F. Corella, Z. Zhou, X. Song, M. Langevin, E. Cerny. Multiway decision graphs for automated hardware verification. Formal Methods in System Design, Kluwer Academic Publishers, 10(1), 7-46, 1997.

  26. S. Nicoloso, M. Sarrafzadeh, X. Song. On the sum coloring problem on interval graphs. Algorithmica, Springer-Verlag New York, Inc., 23(2), 1999.

  27. X. Tan, X. Song. Hexagonal three-layer channel routing. Information Processing Letters (IPL) , Elsevier Science Publishers, 55(4), 223-228, 1995.

  28. X. Song, X. Tan. An optimal channel routing algorithm in the times square model. IEEE Transactions on Computer-Aided Design, 13(7), 891-898, 1994.

  29. X. Song. An algorithm for L-shaped channel routing in a diagonal model. IEEE Transactions on Computer-Aided Design, 11, 267-270, 1992.

  30. O. Neiroukh, X. Song, etc. ACM/IEEE DATE 2005 (Design Automation and Test in Europe), Munich, Germany, 2005.

  31. G. Yang, X. Song, etc. "Exact Synthesis of 3-qubit Quantum Circuits from Non-binary Quantum Gates Using Multiple-Valued Logic" ACM/IEEE DATE 2005 (Design Automation and Test in Europe), Munich, Germany, 2005.

  32. W. Hung, X. Song, etc. Quantum Logic Synthesis by Symbolic Reachability Analysis. ACM/IEEE Design Automation Conference (DAC), 2004.

  33. Y. Xu, E. Cerny, X. Song, F. Corella, O. Ait-Mohamed. Model checking for a first-order temporal logic using multiway decision graphs. Proc. of the International Conference on Computer-Aided Verification (CAV'98), Lecture Notes in Computer Science 1427, 219-231, 1998.

  34. Z. Zhou, X. Song, F. Corella, M. Langevin, E.Cerny, and S. Tahar. MDG tools for the verification of RTL designs. Proc. of the International Conference on Computer Aided Verification (CAV `96), Lecture Notes in Computer Science 1102, 433-436, NJ, USA, 1996.

  35. Z. Zhou, X. Song, S. Tahar, E. Cerny, F. Corella and M. Langevin. Formal Verification of the Is land Tunnel Controller using Multiway Decision Graphs. Proc. of International Conference on For mal Methods in Computer Aided Design (FMCAD'96), Lecture Notes in Computer Science 1166, 233-24 7, Palo Alto, CA, USA, 1996.

    36.