Concepedia

Piergiorgio Bertoli

PB

29

Publications

1.5K

Citations

19

H-Index

1999

Active since

Affiliations

University of Trento(Current)

Construction Technologies Institute

Fondazione Bruno Kessler

University of Milan

University of Nottingham

Piergiorgio Bertoli is an author at University of Trento specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsAutomated ReasoningFormal VerificationSoftware DesignPlanningSemantic WebVerification

Publications per year

1999–2013

29

Publications

29

Automated composition of web services by planning at the knowledge level

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

Planning in nondeterministic domains under partial observability via symbolic model checking

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri et al. · 2001 · 160 citations

Automated composition of Web services via planning in asynchronous domains

Piergiorgio Bertoli, Marco Pistore, Paolo Traverso · Artificial Intelligence · 2009 · 156 citations

Web Service Specification, Engineering, Web Service Modeling +9

Automated synthesis of composite BPEL4WS Web services

Marco Pistore, Paolo Traverso, Piergiorgio Bertoli et al. · 2005 · 147 citations

Bpel4ws Composite Services, Web Service Specification, Engineering +14

Automated composition of web services by planning in asynchronous domains

Marco Pistore, Paolo Traverso, Piergiorgio Bertoli · 2005 · 129 citations

Rows per page

1–5 of 29