Verification of Vortex Workflows. - Xiang Fu 001; Tevfik Bultan; Richard Hull 001; Jianwen Su (TACAS, 2001)

Formal Verification of e-Services and Workflows. - Xiang Fu 001; Tevfik Bultan; Jianwen Su (WES, 2002)

Conversation specification: a new approach to design and analysis of e-service composition. - Tevfik Bultan; Xiang Fu 001; Richard Hull 001; Jianwen Su (WWW, 2003)

Tools for Automated Verification of Web Services. - Tevfik Bultan; Xiang Fu 001; Jianwen Su (ATVA, 2004)

WSAT: A Tool for Formal Analysis of Web Services. - Xiang Fu 001; Tevfik Bultan; Jianwen Su (CAV, 2004)

Model checking XML manipulating software. - Xiang Fu 001; Tevfik Bultan; Jianwen Su (ISSTA, 2004)

Analysis of interacting BPEL web services. - Xiang Fu 001; Tevfik Bultan; Jianwen Su (WWW, 2004)

Conversation protocols: a formalism for specification and verification of reactive electronic services. - Xiang Fu 001; Tevfik Bultan; Jianwen Su (Theor. Comput. Sci., 2004)

Web Service Interactions: Analysis and Design. - Jianwen Su; Tevfik Bultan; Xiang Fu 001 (SDWP@ICWS, 2005)

Design for verification for asynchronously communicating Web services. - Aysu Betin-Can; Tevfik Bultan; Xiang Fu 001 (WWW, 2005)

Realizability of Conversation Protocols with Message Contents. - Xiang Fu 001; Tevfik Bultan; Jianwen Su (Int. J. Web Serv. Res., 2005)

Synchronizability of Conversations among Web Services. - Xiang Fu 001; Tevfik Bultan; Jianwen Su (IEEE Trans. Software Eng., 2005)

Analyzing Conversations of Web Services. - Tevfik Bultan; Jianwen Su; Xiang Fu 001 (IEEE Internet Comput., 2006)

A Static Analysis Framework For Detecting SQL Injection Vulnerabilities. - Xiang Fu 001; Xin Lu; Boris Peltsverger; Shijun Chen; Kai Qian; Lixin Tao (COMPSAC (1), 2007)

Analyzing Conversations: Realizability, Synchronizability, and Verification. - Tevfik Bultan; Xiang Fu 001; Jianwen Su (Test and Analysis of Web Services, 2007)

An Analysis Tool for Execution of BPEL Services. - Ariane Gravel; Xiang Fu 001; Jianwen Su (CEC/EEE, 2007)

Towards a Theory of Web Service Choreographies. - Jianwen Su; Tevfik Bultan; Xiang Fu 001; Xiangpeng Zhao (WS-FM, 2007)

Race condition in Ajax-based web application. - Therese J. Albert; Kai Qian; Xiang Fu 001 (ACM Southeast Regional Conference, 2008)

The automated web application testing (AWAT) system. - Mate' Sztipanovits; Kai Qian; Xiang Fu 001 (ACM Southeast Regional Conference, 2008)

SAFELI: SQL injection scanner using symbolic execution. - Xiang Fu 001; Kai Qian (TAV-WEB, 2008)

APOGEE: automated project grading and instant feedback system for web based computing. - Xiang Fu 001; Boris Peltsverger; Kai Qian; Lixin Tao; Jigang Liu (SIGCSE, 2008)

Choreography Modeling and Analysis with Collaboration Diagrams. - Tevfik Bultan; Xiang Fu 001 (IEEE Data Eng. Bull., 2008)

Specification of realizable service conversations using collaboration diagrams. - Tevfik Bultan; Xiang Fu 001 (Serv. Oriented Comput. Appl., 2008)

A Tool for Choreography Analysis Using Collaboration Diagrams. - Tevfik Bultan; Chris Ferguson; Xiang Fu 001 (ICWS, 2009)

BAUT: A Bayesian Driven Tutoring System. - Song Tan; Kai Qian; Xiang Fu 001; Prabir Bhattacharya (ITNG, 2010)

Conformance Verification of Privacy Policies. - Xiang Fu 001 (WS-FM, 2010)

Relational Constraint Driven Test Case Synthesis for Web Applications - Xiang Fu 001 (TAV-WEB, 2010)

APOGEE: a tool for automated grading programming projects. - Xiang Fu 001; Mike Powell; Michael Bantegui; Boris Peltsverger; Rustico David; Lei Wang (J. Comput. Sci. Coll., 2011)

Simple linear string constraints. - Xiang Fu 001; Michael C. Powell; Michael Bantegui; Chung-Chih Li (Formal Aspects Comput., 2013)

WISEngineering: Achieving Scalability and Extensibility in Massive Online Learning. - Xiang Fu 001; Tyler Befferman; Jennie Chiu; M. David Burghardt (WISE (1), 2015)

LINK-REPORT: Outcome Analysis of Informal Learning at Scale. - Xiang Fu 001; Tyler Befferman; M. David Burghardt (L@S, 2016)

On detecting environment sensitivity using slicing. - Xiang Fu 001 (Theor. Comput. Sci., 2016)

ZeroAUDIT. - Aman Luthra; James Cavanaugh; Hugo Renzzo Olcese; Rina M. Hirsch; Xiang Fu 001 (ACSAC, 2020)

Efficient Zero Knowledge for Regular Language. - Michael Raymond; Gillian Evers; Jan Ponti; Diya Krishnan; Xiang Fu 001 (IACR Cryptol. ePrint Arch., 2023)

IZPR: Instant Zero Knowledge Proof of Reserve. - Trevor Conley; Nilsso Diaz; Diego Espada; Alvin Kuruvilla; Stenton Mayne; Xiang Fu 001 (FC Workshops, 2024)

Towards zero knowledge argument for double discrete logarithm with constant cost. - Diya Krishnan; Xiang Fu 001 (Theor. Comput. Sci., 2024)

Mitigating Ponzi schemes by zero-knowledge auditing. - Aman Luthra; James Cavanaugh; Hugo Renzzo Olcese; Michael Raymond; Reina Eustache; Rina M. Hirsch; Xiang Fu 001 (Inf. Secur. J. A Glob. Perspect., 2025)