dblp.uni-trier.de Honglei Zeng List of publications from the DBLP Bibliography Server - FAQ ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ 2005 5 EE Honglei Zeng, Sheila A. McIlraith: The Role of Redundant Clauses in Solving Satisfiability Problems. CP 2005: 873 2001 4 EE Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, Honglei Zeng: DAML-S: Semantic Markup for Web Services. SWWS 2001: 411-430 3 EE Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb 2001 2 Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, Honglei Zeng: DAML-S: Semantic Markup for Web Services. The Emerging Semantic Web 2001 1 EE Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Semantic Web Services. IEEE Intelligent Systems 16(2): 46-53 (2001) Coauthor Index 1 Anupriya Ankolekar [2] [4] 2 Mark H. Burstein [2] [4] 3 Jerry R. Hobbs [2] [4] 4 Ora Lassila [2] [4] 5 David L. Martin [2] [4] 6 Sheila A. McIlraith [1] [2] [3] [4] [5] 7 Srini Narayanan [2] [4] 8 Massimo Paolucci [2] [4] 9 Terry R. Payne [2] [4] 10 Tran Cao Son [1] [3] 11 Katia P. Sycara [2] [4] ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ DBLP: [Home | Search: Author, Title | Conferences | Journals] Michael Ley (ley@uni-trier.de) Fri Oct 6 12:59:39 2006