Concepedia

Marco Pistore

MP

Statistics

Publications

73

Citations

4K

H-Index

34

Active since

1995

Affiliations

University of Trento(Current)

Fondazione Bruno Kessler

Construction Technologies Institute

University of Pisa

Marco Pistore is an author at University of Trento specializing in computing, computer science, and service-oriented architecture.

Publications per year

1995–2021

73

Publications

73

Weak, strong, and strong cyclic planning via symbolic model checking

Alessandro Cimatti, Marco Pistore, Marco Roveri et al. · Artificial Intelligence · 2003 · 358 citations · Full text

Computing, Autonomous Systems, Formal Methods +6

Run-Time Monitoring of Instances and Classes of Web Service Compositions

Fabio Barbon, Paolo Traverso, Marco Pistore et al. · 2006 · 246 citations

Computing, Computer Engineering, Computer Science +12

Specifying and analyzing early requirements in Tropos

Ariel Fuxman, Lin Liu, John Mylopoulos et al. · Requirements Engineering · 2004 · 243 citations

Engineering, Systems Engineering, Formal Methods +10

Automated composition of web services by planning at the knowledge level

Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli et al. · 2005 · 199 citations

Business, Information Systems, Information Technology +12

Model checking early requirements specifications in Tropos

Ariel Fuxman, Marco Pistore, John Mylopoulos et al. · 2002 · 176 citations

Computing, Computer Science, Formal Methods +11

1–5 of 73