According to QuadSearch (as of 08/26/2010), my H-index is 14. The average cite of my publications is 32 per paper, and the max cite (single paper) is 477.

Journal papers

  1. Xiang Fu, "On Detecting Environment Sensitivity using Slicing", Theoretical Computer Science 656(A), pp. 27-45, Springer, December 2016.
  2. Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li: Simple linear string constraints. Formal Asp. Comput. 25(6): 847-891 (2013) Link to full paper at Springer: http://link.springer.com/article/10.1007%2Fs00165-011-0214-3 A draft version of the paper is available here

  3. T. Bultan and X. Fu. "Choreography Modeling and Analysis with Collaboration Diagrams." In IEEE Data Eng. Bull., vol 31, no. 3, pp. 27-30, 2008.

  4. T. Bultan and X. Fu. "Specification of Realizable Service Conversations Using Collaboration Diagrams." In Service Oriented Computing and Applications, vol. 2, no. 1, pp. 27-39, April 2008.

  5. T. Bultan, X. Fu and J. Su. "Analyzing Conversations of Web Services." In IEEE Internet Computing

  6. , vol. 10, no. 1, pp. 18-25, Jan/Feb 2006.

  7. X. Fu, T. Bultan and J. Su. "Synchronizability of Conversations Among Web Services." In IEEE Transactions on Software Engineering (TSE) , vol. 31, no. 12, pp. 1042-1055, December 2005.

  8. X. Fu, T. Bultan and J. Su. "Realizability of Conversation Protocols With Message Contents." In International Journal of Web Services (JWSR), vol. 2, no. 4, pp. 68-93, 2005.

  9. X. Fu, T. Bultan and J. Su. "Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services." In Theoretical Computer Science (TCS), vol. 328, no. 1-2, pp. 19-37, November 2004.

Books and Book Chapters

  1. K. Qian, X. Fu, L. Tao, J. Diaz-Herrera, and C.W. Xu. "Software Architecture and Design Illuminated." ISBN:9780763754204, Jones & Bartlett, 2009.

  2. R. Allen, K. Qian, X. Fu, and L. Tao. " Web Development with JavaScript and Ajax Illuminated." ISBN: 9780763754891, Jones & Bartlett, 2009.

  3. X. Fu, T. Bultan, and J. Su. "Realizability Analysis of Top-down Web Service Composition Specifications." Invited book chapter. Web Services Research and Practices, Volume 2 of the Advances in Web Services Research (WSR) Series, Liang-Jie Zhang (ed.), Idea Group, Inc., April 2008.

  4. T. Bultan, X. Fu, and J. Su. "Analyzing Conversations: Realizability, Synchronizability, and Verification." Book chapter. In Testing and Analysis of Web Services, Luciano Baresi and Elisabetta Di Nitto (eds.), Springer, 2007.

  5. L. Tao, X. Fu and K. Qian. "Software Architecture Design Methodologies and Styles." Stipes Publishing, ISBN: 1588746216, July 2006.

Conference Papers

  1. X. Fu, T. Befferman, M.D. Burghardt, LINK-REPORT: Outcome Analysis of Informal Learning at Scale, , in Proceedings of the 2016 ACM Conference on Learning @ Scale, pp 173-176, Edinburgh UK, April 2016
  2. X. Fu, T. Befferman, J. Chiu, M.D. Burghardt, WISEngineering: Achieving Scalability and Extensibility in Massive Online Learning, in Proceedings of 16th International Conference on Web Information System Engineering, pp 323-337, LNCS 9418, Springer, 2015.
  3. X. Fu and K. Qian, " Evolutionary Security Testing of Web Applications (Fast Abstract)." n Proceedings of The 21st IEEE International Symposium on Software Reliability Engineering, San Jose, CA, USA, November 1 - 4, 2010 .

  4. X. Fu and C.C. Li, " A String Constraint Solver for Detecting Web Application Vulnerability ." In Proceedings of The 22nd International Conference on Software Engineering and Knowledge Engineering, Redwood City, San Francisco Bay, USA July 1 - July 3, 2010 . Presentation (PPT)

  5. X. Fu and C.C. Li, " Modeling Regular Replacement for String Constraint Solving." In Proceedings of the Second NASA Formal Methods Symposium, pp. 67-76, Washington D.C., USA, April 13 - 15, 2010 . Presentation (PPT)

  6. X. Fu, K. Qian, K. Palmer, B. Peltsverger, B. Campbell, B. Lim, and P. Vogt " Making Failure The Mother of Success " (To appear) Proceedings of the 40th Frontiers in Education, Arlington, Virginia, October 27-30, 2010.

  7. S. Tan, K. Qian, and X. Fu, " Work in Progress: Intelligent Project Failure Analysis " (To appear) Proceedings of the 40th Frontiers in Education, Arlington, Virginia, October 27-30, 2010.

  8. S. Doboli, G. L. Kamberova, J. Impagliazzo, X. Fu, and E. H. Currie, " A Model of Entrepreneurship Education for Computer Science and Computer Engineering Students " (To appear) Proceedings of the 40th Frontiers in Education, Arlington, Virginia, October 27-30, 2010.

  9. X. Fu, S. Doboli, and J. Impagliazzo, " Work-in-Progress: A Sandbox Model for Teaching Entrepreneurship. " (To appear) Proceedings of the 40th Frontiers in Education, Arlington, Virginia, October 27-30, 2010.

  10. S. Tan, K. Qian, X. Fu, and P. Bhattacharya, " BAUT: A Bayesian Driven Tutoring System." Seventh International Conference on Information Technology: New Generations, ITNG 2010, pp. 476-481, Las Vegas, Nevada, USA, 12-14 April 2010. IEEE Computer Society 2010, ISBN 978-0-7695-3984-3 .

  11. T. Bultan, C. Ferguson and X. Fu "A Tool for Choreography Analysis Using Collaboration Diagrams." Proceedings of the 7th IEEE International Conference on Web Services (ICWS 2009).

  12. X. Fu, B. Peltsverger, K. Qian, L. Tao, and J. Liu."APOGEE: automated project grading and instant feedback system for web based computing." In Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education (SIGCSE 2008), pp. 77-81. Portland, OR, USA. March 12-15, 2008.

  13. T. Bultan and X. Fu. "Specification of Realizable Service Conversations Using Collaboration Diagrams."  in Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2007).

  14. X. Fu, X. Lu, K. Qian, B. Peltsverger, L. Tao, and S. Chen. "A Static Analysis Framework for Detecting SQL Injection Vulnerabilities." In Proceedings of the 31st IEEE Annual Computer Software and Applications Conference (COMPSAC 2007), Beijing, July 2007.

  15. A. Gravel, X. Fu, and J. Su, "An Analysis Tool for Execution of BPEL Services." In Proceedings of the Ninth IEEE Conference on E-Commerce Technology and the 4th IEEE Conference on Enterprise Computing, E-Commerce, & E-Services (CEC/EEE 2007), Tokyo, Japan, July 24-26, 2007.

  16. B. Campbell, X. Fu, and B. Peltsverger. "Innovative Student Recruiting Approaches for Smaller and Liberal Arts Institutions." In Proceedings of the Tenth Annual Meeting of National Collegiate Inventors and Innovators Alliance (NCIIA), Portland, Oregon, USA, March 23-25, 2006.

  17. A. Betin-Can, T. Bultan, and X. Fu. "Design for Verification for Asynchronously Communicating Web Services." In Proceedings of the Fourteenth International World Wide Web Conference (WWW 2005), pp. 750-759, Chiba, Japan, May 10-14, 2005.

  18. T. Bultan, X. Fu, and J. Su. "Tools for Automated Verification of Web Services." Invited paper. In Proceedings of the Second International Symposium on Automated Technology on Verification and Analysis (AVTA 2004), Farn Wang (ed.), LNCS 3299, pp. 8-10, Taipei, Taiwan, October 31 -November 3, 2004.

  19. X. Fu, T. Bultan and J. Su. "Model Checking XML Manipulating Software." In Proceedings of the 2004 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) , pp. 252 - 262, Boston, Massachusetts, July 11-14, 2004.

  20. X. Fu, T. Bultan and J. Su. "WSAT: A Tool For Formal Analysis of Web Services." Tool paper, in Proceedings of the Sixteenth International Conference on Computer Aided Verification (CAV) , pp. 501 - 504, Boston Massachusetts, July 11-14, 2004.

  21. X. Fu, T. Bultan and J. Su. "Realizability of Conversation Protocols with Message Contents." In Proceedings of the 2004 IEEE International Conference on Web Services (ICWS) , pp. 96 - 103, San Diego, California, July 6 – 9 , 2004.

  22. X. Fu, T. Bultan and J. Su. "Analysis of Interacting BPEL Web Services." In Proceedings of the Thirteenth International World Wide Web Conference (WWW), pp. 621 - 630, New York, NY, May 17-22, 2004.

  23. X. Fu, T. Bultan and J. Su. "Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services." In Proceedings of the Eighth International Conference on Implementation and Application of Automata (CIAA), LNCS 2759, pp. 188 - 200, Springer, Santa Barbara, July 2003.

  24. T. Bultan, X. Fu, R. Hull and J. Su. "Conversation Specification: A New Approach to Design and Analysis of E-Service Composition." In Proceedings of the Twelfth International World Wide Web Conference (WWW), pp. 403 - 410. Budapest, Hungary, May 2003.

  25. X. Fu, T. Bultan, R. Hull and J. Su. "Verification of Vortex Workflows." In Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2031, pp. 143 - 157, Springer. Genova, Italy, April 2001.

Workshop Papers

  1. X. Fu, " Relational Constraint Driven Test Case Synthesis forWeb Applications ." In Proceedings of Fourth International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2010), DOI: 10.4204/EPTCS.35, ISSN: 2075-2180, Antwerp, Belgium, 21 September 2010. Presentation (PPT)

  2. X. Fu, " Conformance Verification of Privacy Policies ." (To appear) in Proceedings of 7th International Workshop on Web Services and Formal Methods Formal aspects of service oriented and cloud computing (WS-FM'10), Hoboken, New Jersey, USA, September 16-17, 2010. Presentation (PPT)

  3. X. Fu, and K. Qian. "SAFELI: SQL injection scanner using symbolic execution." In Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications (TAV-WEB 2008), held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), pp. 34-39, Seattle, Washington, USA. July, 2008.

  4. J. Su, T. Bultan, X. Fu, and X. Zhao. "Towards a Theory of Web Service Choreographies." Invited paper. In Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007). Marlon Dumas, Reiko Heckel (eds.), LNCS 4937, pp. 1-16, Brisbane, Australia, September 28-29, 2007.

  5. J. Su, T. Bultan, and X. Fu. "Web Service Interactions: Analysis and Design." Invited Paper. In Proceedings of the Second International Workshop on Semantic and Dynamic Web Processes (SDWP 2005), pp. 14-19, Orlando, Florida, USA, July 12-15, 2005.

  6. X. Fu, T. Bultan and J. Su. "A Top-Down Approach to Modeling Global Behaviors of Web Services." In Proceedings of Workshop on Requirements Engineering and Open Systems (REOS), Monterey, CA, September 2003.

  7. X. Fu, T. Bultan and J. Su. "Formal Verification of E-Services and Workflows." In Proceedings of International Workshop on Web Services, E-Business, and the Semantic Web (WES), in conjunction with the 14th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS 2512, pp. 188 - 202, Springer. Toronto, Canada, May 2002.

Posters

  1. X. Fu, K. Qian, B. Peltsverger, K. Palmer, Y. Zhang, "2010 NSF-CCLI Showcase: APOGEE: An Instant Grading Tool for Sophisticated Course Projects". ACM Technical Symposium on Computer Science Education (SIGCSE 2010), Milwaukee, WI, USA, March 10-13, 2010. Project Poster All in Zip (user manuals etc)

  2. X. Fu, K. Qian, B. Peltsverger, K. Palmer, C.W. Xu, Y. Zhang, "New Trends in Automated Project Grading for Web Programming Classes" Poster. ACM Technical Symposium on Computer Science Education (SIGCSE 2010), Milwaukee, WI, USA, March 10-13, 2010. PDF

  3. L. Tao, K. Qian, X. Fu, and J. Liu, "Curriculum and Lab Renovations for Teaching Server-Based Computing." Poster. ACM Technical Symposium on Computer Science Education (SIGCSE 2007), Covington, Kentucky, USA, March 7-10, 2007.

Ph.D Thesis

  1. Xiang Fu. "Formal Specification and Verification of Asynchronously Communicating Web Services.", Ph.D Thesis, University of California, Santa Barbara. June, 2004.