Author: Tevfik Bultan
Publications
Co-authors
- Samik Basu
- Jianwen Su
- Xiang Fu
- 1
- 3
- 4
Productive Colleagues
- Xiang Fu
- Jianwen Su
- Richard Hull
- 4
- 6
- 7
Publications
Bultan, Tevfik, Su, Jianwen, Fu, Xiang (2006): Analyzing Conversations of Web Services. In IEEE Internet Computing, 10 (1) pp. 18-25. https://doi.ieeecomputersociety.org/10.1109/MIC.2006.1
Bultan, Tevfik, Fu, Xiang, Hull, Richard, Su, Jianwen (2003): Conversation specification: a new approach to design and analysis of e-service composition. In: Proceedings of the 2003 International Conference on the World Wide Web , 2003, . pp. 403-410. https://doi.acm.org/10.1145/775152.775210
Fu, Xiang, Bultan, Tevfik, Su, Jianwen (2004): Analysis of interacting BPEL web services. In: Proceedings of the 2004 International Conference on the World Wide Web , 2004, . pp. 621-630. https://doi.acm.org/10.1145/988672.988756
Betin-Can, Aysu, Bultan, Tevfik, Fu, Xiang (2005): Design for verification for asynchronously communicating Web services. In: Proceedings of the 2005 International Conference on the World Wide Web , 2005, . pp. 750-759. https://doi.acm.org/10.1145/1060745.1060853
Basu, Samik, Bultan, Tevfik (2011): Choreography conformance via synchronizability. In: Proceedings of the 2011 International Conference on the World Wide Web , 2011, . pp. 795-804. https://dx.doi.org/10.1145/1963405.1963516