Home

Publications & Scientific Achievements

PUBLICATIONS:

  • Bin Li, Michael S. Hsiao, “gQBFs: A New Hybrid QBF Solving Algorithm for a Group of Formulae”, current in review.
  • Bin Le, Francisco A. G. Rodriguez, Qinqin Chen, Bin Philip Li, Feng Ge, Mustafa ElNainay, Thomas W. Rondeau, and Charles W. Bostian, "A Public Safety Cognitive Radio Node," 2007 SDR Forum Technical Conference, Denver, CO, Nov 5-9, 2007. [PDF] [BibTeX]
  • Bin Li, Lei Fang, and Michael S. Hsiao, "Efficient power droop aware delay fault testing," in Test Conference, 2007. ITC 2007. IEEE International, 2007, pp. 1-10. [PDF] [BibTeX]
  • Bin Li, Michael S. Hsiao, and Shuo Sheng, "A Novel SAT All-Solutions Solver for Efficient Preimage Computation," in Proceedings of the IEEE/ACM Design Automation and Test in Europe (DATE) Conference, February, 2004, pp. 272-277. [PDF] [BibTeX]
  • Xin Jiang, Bingwen Wang, Bin Li, “An Approach to Security of an Electronic Defrayal Communications Network System”, Computer Applications and Software, 2002 Vol. 19 No. 9. [Abstract] [PDF] [BibTeX]
  • Danhong Zhang, Bin Li, Yanni Deng, "An Automatic Test System for Testing Parameters of the SCR-DC Motor",Journal of Wuhan University of Technology, Vol.22 No.5 (Sum No. 92) Oct. 2000. [Link] [PDF] [CAJ] [BibTeX]
  • Bin Li, Bingwen Wang, "Accurately Composite Measure of Centralized Parameters RCL Based on stepping Feedback Compensation", Journal of Electronic Measurement Technology, No.1 (Sum No.114), Mar. 2000. [Link] [PDF] [CAJ] [BibTeX]

THESIS:

  • All-Solutions SAT Solver and Application. [Trac]
  • An Approach to Security of an Electronic Defrayal Communications Network System.

WHITE PAPER:

  • Ying Wang, Qinqin Chen, Bin Li, Alex Young, Charles W. Bostian, et al., "Dynamic Cellular Cognitive System", IEEE Dynamic Spectrum Access Networks (DySPAN), Chicago, Oct. 14-17, 2008. [PDF]

PRESENTATIONS DEMOSTRATIONS:

  • SDR Forum Smart Radio Challenge demo, Software Defined Radio Forum, Washington DC, October, 2008. [Poster]
  • Ying Wang, Qinqin Chen, Alex Young, Bin Li, Charles W. Bostian, et al., "Dynamic Cellular Cognitive System", IEEE Dynamic Spectrum Access Networks (DySPAN), Chicago, Oct. 14-17, 2008. [Poster]
  • Feng Ge, Alex Young, Bin Li, Terrance W. Brisebois, Qinqin Chen, Al mohanad Samir Fayez, Mark Silvius, and Charles W. Bostian, "A Public Safety Cognitive Radio", NIJ Commtech Technical Working Group Meeting & Program Review, CO, March 31, 2008. [PDF]
  • Feng Andrew Ge, Qinqin Chen, Thomas W. Rondeau, Bin Le, Paco Garcia Rodriguez, Bin Li, and Charles W. Bostian, "Reconfigurable Cognitive Radio for Interoperability & Spectrum Resource Sharing",  Virginia Tech Wireless Personal Communications Symposium, Blacksburg, VA, June 6-8, 2007. [PDF]

*File format notes:

  • PDF : is an open standard that has been officially published on July 1, 2008 by the ISO as ISO 32000-1:2008. [Download Reader]
  • CAJ : It is the offical file format used in China Academic Journals Full-text Database (CAJ), which is the largest searchable full-text and full-image interdisciplinary Chinese journals database in the world. [Download Viewer]
  • BibTex : is a tool for formatting lists of references. The BibTeX tool is typically used together with the LaTeX document preparation system. [Detail]
  • Trac: Web-base project management with Subversion.[Detail]