Xiang Fu, Ph.D. - Publications
Affiliations: | 2004 | University of California, Santa Barbara, Santa Barbara, CA, United States |
Year | Citation | Score | |||
---|---|---|---|---|---|
2013 | Fu X, Powell MC, Bantegui M, Li C. Simple linear string constraints Formal Aspects of Computing. 25: 847-891. DOI: 10.1007/S00165-011-0214-3 | 0.317 | |||
2006 | Bultan T, Su J, Fu X. Analyzing conversations of Web services Ieee Internet Computing. 10: 18-25. DOI: 10.1109/Mic.2006.1 | 0.601 | |||
2005 | Fu X, Bultan T, Su J. Realizability of conversation protocols with message contents International Journal of Web Services Research. 2: 68-93. DOI: 10.4018/Jwsr.2005100104 | 0.615 | |||
2005 | Fu X, Bultan T, Su J. Synchronizability of conversations among web services Ieee Transactions On Software Engineering. 31: 1042-1055. DOI: 10.1109/Tse.2005.141 | 0.618 | |||
2002 | Fu X, Bultan T, Su J. Formal verification of e-services and workflows Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2512: 188-202. DOI: 10.1007/3-540-36189-8_15 | 0.579 | |||
Show low-probability matches. |