Bertoli, Piergiorgio

Bertoli, Piergiorgio  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
A Framework for Planning with Extended Goals under Partial Observability 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Hybridized Planner for Stochastic Domains 1-gen-2007 Mausam, ; Bertoli, Piergiorgio; Daniel S., Weld
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 1-gen-2002 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 1-gen-1998 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 1-gen-2007 Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro
ASTRO: Supporting the Composition and Execution of Web Services 1-gen-2005 Trainotti, Michele; Pistore, Marco; Calabrese, Gaetano; Zacco, Gabriele; P., Lucchese; F., Barbon; Bertoli, Piergiorgio; Traverso, Paolo
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain 1-gen-2009 Pistore, Marco; Braghieri, Pietro; Bertoli, Piergiorgio; Antonio, Biscaglia; Marconi, Annapaola; Stefano, Pintarelli; Trainotti, Michele
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification 1-gen-2006 Trainotti, Michele; Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; Marconi, Annapaola; Traverso, Paolo; Zacco, Gabriele
Automated Composition of Web Services by Planning at the Knowledge Level 1-gen-2005 M. Pistore; A. Marconi; P. Bertoli; P. Traverso
Automated Composition of Web Services by Planning in Asynchronous Domains 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio
Automated composition of web services via planning in asynchronous domains 1-gen-2010 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
Automated Synthesis of Composite BPEL4WS Web Services 1-gen-2005 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes 1-gen-2005 M. Pistore; P. Traverso; P. Bertoli; A. Marconi
Automated Web Service Composition by On-The-Fly Belief Space Search 1-gen-2006 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
Bounded-Resource Reasoning as (Strong or Classical) Planning 1-gen-2009 Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan
Certification of Translators via Off-line and On-line Proof Logging and Checking 1-gen-1997 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 1-gen-2001 Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri
Conformant Planning via Symbolic Model Checking and Heuristic Search 1-gen-2004 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
Continuous Orchestration of Web Services via Planning 1-gen-2009 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
Control Flow Requirements for Automated Service Composition 1-gen-2009 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner