Tevfik Bultan
Information Systems · 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 Tevfik Bultan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Tevfik Bultan overall
Papers from Tevfik Bultan's perspective
Ordered by how strongly the researchers Tevfik Bultan 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
- Adapting Golog for Composition of Semantic Web Services
- Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
- Simulation, verification and automated composition of web services (The Web Conference)
- DAML-S: Semantic Markup for Web Services (International Conference on Semantic Web & Web Services)
- The semantic Web and its languages
- Introduction to Automata Theory, Languages and Computation
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