default search action
Xiang Fu 0001
Person information
- affiliation: Hofstra University, Department of Computer Science, Hempstead, NY, USA
- affiliation: Georgia Southwestern State University, Department of Computer Science, Americus, GA, USA
- affiliation: University of California, Department of Computer Science, Santa Barbara, CA, USA
Other persons with the same name
- Xiang Fu — disambiguation page
- Xiang Fu 0002
— National University of Defense Technology, College of Computer, Key Laboratory of Software Engineering for Complex Systems, Changsha, China (and 2 more)
- Xiang Fu 0003
- Xiang Fu 0004
- Xiang Fu 0005
- Xiang Fu 0006 — University of Southern California, Department of Electrical Engineering, Los Angeles, CA, USA
- Xiang Fu 0007 — Chinese Academy and Sciences, Institute of Computing Technology, Key Laboratory of Computer System and Architecture, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Diya Krishnan, Xiang Fu
Towards zero knowledge argument for double discrete logarithm with constant cost. Theor. Comput. Sci. 1018: 114799 (2024) - 2020
- [c26]Aman Luthra, James Cavanaugh
ZeroAUDIT. ACSAC 2020: 798-812
2010 – 2019
- 2016
- [j8]Xiang Fu
On detecting environment sensitivity using slicing. Theor. Comput. Sci. 656: 27-45 (2016) - [c25]Xiang Fu
LINK-REPORT: Outcome Analysis of Informal Learning at Scale. L@S 2016: 173-176 - 2015
- [c24]Xiang Fu
WISEngineering: Achieving Scalability and Extensibility in Massive Online Learning. WISE (1) 2015: 323-337 - 2013
- [j7]Xiang Fu
Simple linear string constraints. Formal Aspects Comput. 25(6): 847-891 (2013) - [e1]Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu:
Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings. Lecture Notes in Computer Science 8274, Springer 2013, ISBN 978-3-642-45004-4 [contents] - 2010
- [c23]Song Tan, Kai Qian, Xiang Fu
BAUT: A Bayesian Driven Tutoring System. ITNG 2010: 476-481 - [c22]Xiang Fu
Conformance Verification of Privacy Policies. WS-FM 2010: 86-100 - [c21]Xiang Fu:
Relational Constraint Driven Test Case Synthesis for Web Applications. TAV-WEB 2010: 39-50
2000 – 2009
- 2009
- [c20]Tevfik Bultan, Chris Ferguson, Xiang Fu
A Tool for Choreography Analysis Using Collaboration Diagrams. ICWS 2009: 856-863 - 2008
- [j6]Tevfik Bultan, Xiang Fu:
Choreography Modeling and Analysis with Collaboration Diagrams. IEEE Data Eng. Bull. 31(3): 27-30 (2008) - [j5]Tevfik Bultan, Xiang Fu
Specification of realizable service conversations using collaboration diagrams. Serv. Oriented Comput. Appl. 2(1): 27-39 (2008) - [c19]Mate' Sztipanovits, Kai Qian, Xiang Fu
The automated web application testing (AWAT) system. ACM Southeast Regional Conference 2008: 88-93 - [c18]Therese J. Albert, Kai Qian, Xiang Fu
Race condition in Ajax-based web application. ACM Southeast Regional Conference 2008: 390-393 - [c17]Xiang Fu
SAFELI: SQL injection scanner using symbolic execution. TAV-WEB 2008: 34-39 - [c16]Xiang Fu
APOGEE: automated project grading and instant feedback system for web based computing. SIGCSE 2008: 77-81 - 2007
- [c15]Xiang Fu
A Static Analysis Framework For Detecting SQL Injection Vulnerabilities. COMPSAC (1) 2007: 87-96 - [c14]Tevfik Bultan, Xiang Fu
Specification of Realizable Service Conversations Using Collaboration Diagrams. SOCA 2007: 122-132 - [c13]Ariane Gravel, Xiang Fu
An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432 - [c12]Jianwen Su, Tevfik Bultan, Xiang Fu
Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16 - [p1]Tevfik Bultan, Xiang Fu
Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85 - 2006
- [j4]Tevfik Bultan, Jianwen Su, Xiang Fu
Analyzing Conversations of Web Services. IEEE Internet Comput. 10(1): 18-25 (2006) - 2005
- [j3]Xiang Fu
Realizability of Conversation Protocols with Message Contents. Int. J. Web Serv. Res. 2(4): 68-93 (2005) - [j2]Xiang Fu
Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005) - [c11]Jianwen Su, Tevfik Bultan, Xiang Fu:
Web Service Interactions: Analysis and Design. SDWP@ICWS 2005 - [c10]Aysu Betin-Can
Design for verification for asynchronously communicating Web services. WWW 2005: 750-759 - 2004
- [j1]Xiang Fu
Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2): 19-37 (2004) - [c9]Tevfik Bultan, Xiang Fu
Tools for Automated Verification of Web Services. ATVA 2004: 8-10 - [c8]Xiang Fu
WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514 - [c7]Xiang Fu, Tevfik Bultan, Jianwen Su:
Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96- - [c6]Xiang Fu, Tevfik Bultan, Jianwen Su:
Model checking XML manipulating software. ISSTA 2004: 252-262 - [c5]Xiang Fu
Analysis of interacting BPEL web services. WWW 2004: 621-630 - 2003
- [c4]Xiang Fu
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200 - [c3]Tevfik Bultan, Xiang Fu
Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003: 403-410 - 2002
- [c2]Xiang Fu
Formal Verification of e-Services and Workflows. WES 2002: 188-202 - 2001
- [c1]Xiang Fu
Verification of Vortex Workflows. TACAS 2001: 143-157
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 20:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: