Marco Pistore

Artificial Intelligence · 2002–2006

A researcher in the Science corpus: 6 papers; trusts 12 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 19 citations into it; #23,042 of 35,345 by trust here, #22,463 by citations
• Information Systems — 16 citations into it; #6,110 of 8,771 by trust here, #6,770 by citations
• Management Information Systems — 13 citations into it; #2,285 of 3,376 by trust here, #2,829 by citations
• Computational Theory and Mathematics — 6 citations into it; #11,292 of 12,182 by trust here, #5,465 by citations

Whom Marco Pistore trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. A. Cimatti
2. Blai Bonet
3. Daniela Berardi
4. S. Narayanan
5. Sheila A. McIlraith
6. Fausto Giunchiglia
7. Matjaz B. Juric
8. Paolo Traverso
9. Hector Geffner
10. Craig Boutilier

Who trusts Marco Pistore overall

1. Paolo Traverso
2. Malik Ghallab

Papers from Marco Pistore's perspective

Ordered by how strongly the researchers Marco Pistore trusts endorse each paper. Same corpus, a different order for every researcher.

1. Planning as Model Checking
2. Simulation, verification and automated composition of web services (The Web Conference)
3. HTN planning for Web Service composition using SHOP2 (Journal of Web Semantics)
4. Planning with Incomplete Information as Heuristic Search in Belief Space (International Conference on Artificial Intelligence Planning Systems)
5. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage
6. Learning to Act Using Real-Time Dynamic Programming
7. Conversation specification: a new approach to design and analysis of e-service composition (The Web Conference)
8. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
9. Analysis of interacting BPEL web services (The Web Conference)
10. Automatic Composition of E-services That Export Their Behavior (International Conference on Service Oriented Computing)

Their papers

• NuSMV 2: An OpenSource Tool for Symbolic Model Checking (2002) — 1,709 citations
• Weak, strong, and strong cyclic planning via symbolic model checking (2003) — 439 citations
• Run-Time Monitoring of Instances and Classes of Web Service Compositions (2006) — 303 citations
• Automated composition of Web services via planning in asynchronous domains (2005) — 329 citations
• Automated Composition of Semantic Web Services into Executable Processes (2004) — 407 citations
• Nusmv version 2: an opensource tool for symbolic model checking (2002) — 460 citations