Xiang Fu
Information Systems · with Bultan · 2003–2004
A researcher in the Science corpus: 2 papers; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Information Systems — 8 citations into it
- Artificial Intelligence — 7 citations into it
- Management Information Systems — 7 citations into it
Whom Xiang Fu trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Xiang Fu overall
Papers from Xiang Fu's perspective
Ordered by how strongly the researchers Xiang Fu trusts endorse each paper. Same corpus, a different order for every researcher.
- Conversation specification: a new approach to design and analysis of e-service composition (The Web Conference)
- Model-based verification of Web service compositions (18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.)
- E-services: a look behind the curtain (ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems)
- Business Process Execution Language for Web Services Version 1.1
- Simulation, verification and automated composition of web services (The Web Conference)
- Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
- Adapting Golog for Composition of Semantic Web Services
- DAML-S: Semantic Markup for Web Services (International Conference on Semantic Web & Web Services)
- Bringing semantics to Web services (IEEE Intelligent Systems)
- Concurrency State Models and Java Programs (Parallel Distributed Comput. Pract.)
Their papers
- Analysis of interacting BPEL web services (2004) — 729 citations
- Conversation specification: a new approach to design and analysis of e-service composition (2003) — 419 citations