| Analysis of interacting BPEL web services X Fu, T Bultan, J Su Proceedings of the 13th international conference on World Wide Web, 621-630, 2004 | 983 | 2004 |
| Conversation specification: a new approach to design and analysis of e-service composition T Bultan, X Fu, R Hull, J Su Proceedings of the 12th international conference on World Wide Web, 403-410, 2003 | 580 | 2003 |
| A static analysis framework for detecting SQL injection vulnerabilities X Fu, X Lu, B Peltsverger, S Chen, K Qian, L Tao 31st annual international computer software and applications conference …, 2007 | 223 | 2007 |
| Conversation protocols: a formalism for specification and verification of reactive electronic services X Fu, T Bultan, J Su Theoretical Computer Science 328 (1-2), 19-37, 2004 | 199 | 2004 |
| Wsat: A tool for formal analysis of web services X Fu, T Bultan, J Su Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 193 | 2004 |
| Synchronizability of conversations among web services X Fu, T Bultan, J Su IEEE Transactions on Software Engineering 31 (12), 1042-1055, 2005 | 168 | 2005 |
| Analyzing conversations of web services T Bultan, J Su, X Fu IEEE Internet Computing 10 (1), 18-25, 2006 | 129 | 2006 |
| Specification of realizable service conversations using collaboration diagrams T Bultan, X Fu Service Oriented Computing and Applications 2 (1), 27-39, 2008 | 106 | 2008 |
| Formal verification of e-services and workflows X Fu, T Bultan, J Su Web Services, E-Business, and the Semantic Web: CAiSE 2002 International …, 2002 | 97 | 2002 |
| Towards a theory of web service choreographies J Su, T Bultan, X Fu, X Zhao Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008 | 95 | 2008 |
| Conversation protocols: A formalism for specification and verification of reactive electronic services X Fu, T Bultan, J Su International Conference on Implementation and Application of Automata, 188-200, 2003 | 92 | 2003 |
| Model checking XML manipulating software X Fu, T Bultan, J Su ACM SIGSOFT Software Engineering Notes 29 (4), 252-262, 2004 | 85 | 2004 |
| Realizability of conversation protocols with message contents X Fu, T Bultan, J Su International Journal of Web Services Research (IJWSR) 2 (4), 68-93, 2005 | 84 | 2005 |
| SAFELI: SQL injection scanner using symbolic execution X Fu, K Qian Proceedings of the 2008 workshop on Testing, analysis, and verification of …, 2008 | 79 | 2008 |
| APOGEE: automated project grading and instant feedback system for web based computing X Fu, B Peltsverger, K Qian, L Tao, J Liu ACM SIGCSE Bulletin 40 (1), 77-81, 2008 | 71 | 2008 |
| Design for verification for asynchronously communicating web services A Betin-Can, T Bultan, X Fu Proceedings of the 14th international conference on World Wide Web, 750-759, 2005 | 67 | 2005 |
| Software architecture and design illuminated K Qian Jones & Bartlett Learning, 2010 | 61 | 2010 |
| Effect of intracoronary administration of anisodamine on slow reflow phenomenon following primary percutaneous coronary intervention in patients with acute myocardial infarction XH Fu, WZ Fan, XS Gu, Y Wei, YF Jiang, WL Wu, SQ Li, GZ Hao, QM Wei, ... Chinese medical journal 120 (14), 1226-1231, 2007 | 55 | 2007 |
| A model of entrepreneurship education for computer science and computer engineering students S Doboli, GL Kamberova, J Impagliazzo, X Fu, EH Currie 2010 IEEE Frontiers in Education Conference (FIE), T4D-1-T4D-6, 2010 | 48 | 2010 |
| Formal specification and* verification of asynchronously communicating Web services X Fu University of California, Santa Barbara, 2004 | 48 | 2004 |
