To date, SMA Fellows have published 366 articles in 289 journals while 51 articles have been accepted for publication in 43 journals. Some articles are listed under more than one category.

Formal Methods

Journal Publication

Andrei, S., “Counting for Satisfiability by Inverting Resolution”, Artificial Intelligence Review, Vol. 22, No. 4, pp. 339-366 (2004).

Conference Publications

1. Andrei S. & Chin W. N., “Incremental Satisfiability Counting for Real-Time Systems”, 10th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
   
   
2. Dong J. S., Qin S. & Sun J., “Generating MSCs from an Integrated Formal Specification Language”, Integrated Formal Methods (IFM04), Vol. 2999, Springer-Verlag, Kent, UK, April 2004.
   
   
3. Qin S. & Chin W. N., “Mapping Statecharts to VERILOG for Hardware/ Software Co-Specification”, Proceedings of 12th International Symposium on Formal Methods Europe (FME2003), Pisa, Vol. 2805, Springer-Verlag, September 2003.
   
   
4. Qin S., Dong J. S. & Chin W. N., “A Semantic Foundation of TCOZ in Unifying Theory of Programming”, Proceedings of 12th International Symposium on Formal Methods Europe (FME2003), Pisa, Vol. 2805, Springer-Verlag, September 2003.
   
   
5. Andrei S., Chin, W. N., Cheng A. M. K. & Lupu M., “Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting”, The 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’05), San Francisco, United States, 7-10 March 2005.
   
   
6. Zhu Y., Wong W. F. & Andrei S., “An Integrated Performance and Power Model for Superscalar Processor Designs”, The IEEE/ACM Asia and South Pacific Design Automation Conference 2005 (ASP-DAC 2005), Shanghai, China, 18-21 January 2005.

Image Processing

Journal Publication

Fang B., Hsu W. & Lee M. L., “On the Accurate Counting of Tumor Cells”, IEEE Transactions on NanoBioscience, Vol. 2, No. 2, pp. 94-103 (2002).

Conference Publications

1. Fang B., Hsu W.J. & Lee M. L., “Reconstruction of Vascular Structures in Retinal Images”, Proceedings of The International Conference on Image Processing (ICIP 2003), Barcelona, Spain, September 2003.
   
   
2. Fang B., Hsu, W. & Lee M. L., “Tumor Cell Identification using Features Rules”, Proceedings of The 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Edmonton, Canada, July 2002.