Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiang 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
![[0000-0002-9690-2302]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-9690-2302")
— National University of Defense Technology, College of Computer, Key Laboratory of Software Engineering for Complex Systems, Changsha, China (and 2 more) - Xiang Fu 0003 — National University of Defense Technology, College of Computer, Institute for Quantum Information & State Key Laboratory of High Performance Computing (HPCL), Changsha, China (and 1 more)
- Xiang Fu 0004 — Nanchang Hangkong University, School of Software, Nanchang, China (and 1 more)
- Xiang Fu 0005 — Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, USA (and 1 more)
- 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
Journal Articles
- 2016
[j8]Xiang Fu:
On detecting environment sensitivity using slicing. Theor. Comput. Sci. 656: 27-45 (2016)- 2013
- [j7]Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li:
Simple linear string constraints. Formal Aspects Comput. 25(6): 847-891 (2013) - 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) - 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, Tevfik Bultan, Jianwen Su:
Realizability of Conversation Protocols with Message Contents. Int. J. Web Serv. Res. 2(4): 68-93 (2005) - [j2]Xiang Fu, Tevfik Bultan, Jianwen Su:
Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005) - 2004
- [j1]Xiang Fu, Tevfik Bultan, Jianwen Su:
Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2): 19-37 (2004)
Conference and Workshop Papers
- 2020
- [c26]Aman Luthra, James Cavanaugh, Hugo Renzzo Oclese, Rina M. Hirsch, Xiang Fu:
ZeroAUDIT. ACSAC 2020: 798-812 - 2016
- [c25]Xiang Fu, Tyler Befferman, M. David Burghardt:
LINK-REPORT: Outcome Analysis of Informal Learning at Scale. L@S 2016: 173-176 - 2015
- [c24]Xiang Fu, Tyler Befferman, Jennie Chiu, M. David Burghardt:
WISEngineering: Achieving Scalability and Extensibility in Massive Online Learning. WISE (1) 2015: 323-337 - 2010
- [c23]Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya:
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 - 2009
- [c20]Tevfik Bultan, Chris Ferguson, Xiang Fu:
A Tool for Choreography Analysis Using Collaboration Diagrams. ICWS 2009: 856-863 - 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, Kai Qian:
SAFELI: SQL injection scanner using symbolic execution. TAV-WEB 2008: 34-39 - [c16]Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, Jigang Liu:
APOGEE: automated project grading and instant feedback system for web based computing. SIGCSE 2008: 77-81 - 2007
- [c15]Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao:
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, Jianwen Su:
An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432 - [c12]Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao:
Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16 - 2005
- [c11]Jianwen Su, Tevfik Bultan, Xiang Fu:
Web Service Interactions: Analysis and Design. SDWP@ICWS 2005 - [c10]Aysu Betin-Can, Tevfik Bultan, Xiang Fu:
Design for verification for asynchronously communicating Web services. WWW 2005: 750-759 - 2004
- [c9]Tevfik Bultan, Xiang Fu, Jianwen Su:
Tools for Automated Verification of Web Services. ATVA 2004: 8-10 - [c8]Xiang Fu, Tevfik Bultan, Jianwen Su:
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, Tevfik Bultan, Jianwen Su:
Analysis of interacting BPEL web services. WWW 2004: 621-630 - 2003
- [c4]Xiang Fu, Tevfik Bultan, Jianwen Su:
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200 - [c3]Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su:
Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003: 403-410 - 2002
- [c2]Xiang Fu, Tevfik Bultan, Jianwen Su:
Formal Verification of e-Services and Workflows. WES 2002: 188-202 - 2001
- [c1]Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su:
Verification of Vortex Workflows. TACAS 2001: 143-157
Parts in Books or Collections
- 2007
- [p1]Tevfik Bultan, Xiang Fu, Jianwen Su:
Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85
Editorship
- 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]
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-06-03 23:04 CEST 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:
