default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPiergiorgio Bertoli
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j7]Piergiorgio Bertoli, Francesco Corcoglioniti, Chiara Di Francescomarino, Mauro Dragoni
, Chiara Ghidini, Marco Pistore:
Semantic modeling and analysis of complex data-aware processes and their executions. Expert Syst. Appl. 198: 116702 (2022)
2010 – 2019
- 2014
- [c47]Mauro Dragoni, Piergiorgio Bertoli, Chiara Di Francescomarino, Chiara Ghidini, Michele Nori, Marco Pistore, Roberto Tiella, Francesco Corcoglioniti:
Modeling and Monitoring Processes exploiting Semantic Reasoning. ISWC (Posters & Demos) 2014: 121-124 - [c46]Chiara Di Francescomarino, Francesco Corcoglioniti, Mauro Dragoni, Piergiorgio Bertoli, Roberto Tiella, Chiara Ghidini, Michele Nori, Marco Pistore:
Semantic-Based Process Analysis. ISWC (2) 2014: 228-243 - [i1]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. CoRR abs/1401.3470 (2014) - 2013
- [c45]Piergiorgio Bertoli, Chiara Di Francescomarino, Mauro Dragoni, Chiara Ghidini:
Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces. AI*IA 2013: 469-480 - [c44]Piergiorgio Bertoli, Mauro Dragoni, Chiara Ghidini, Emanuele Martufi, Michele Nori, Marco Pistore, Chiara Di Francescomarino:
Modeling and Monitoring Business Process Execution. ICSOC 2013: 683-687 - [c43]Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin:
Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. ICWS 2013: 571-578 - 2012
- [c42]Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore:
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. BIS (Workshops) 2012: 243-254 - [c41]Farhana H. Zulkernine, Piergiorgio Bertoli, Marco Pistore, Andreas Friesen, Jens Lemcke, Bernhard Thimmel, Otfried von Geisau:
A Constraint-Driven Business Object Model for Service-Based Business Processes. ITNG 2012: 182-188 - [c40]Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore:
SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. WISE 2012: 796-799 - 2010
- [j6]Piergiorgio Bertoli, Marco Pistore, Paolo Traverso:
Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3-4): 316-361 (2010) - [c39]Hermann Stern, Armin Ulbrich, Viktoria Pammer, Marco Pistore, Piergiorgio Bertoli, Stefanie N. Lindstaedt:
Message Filtering Based On Mobile User Context. CIAO@EKAW 2010
2000 – 2009
- 2009
- [j5]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. 35: 49-117 (2009) - [c38]Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner:
Continuous Orchestration of Web Services via Planning. ICAPS 2009 - [c37]Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner:
Control Flow Requirements for Automated Service Composition. ICWS 2009: 17-24 - 2008
- [c36]Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan:
Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA 2008: 77-96 - [c35]Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner:
YourWay!: a Platform for Composing and Executing Services Driven by User Resources. FIS (Posters & Demos) 2008 - [c34]Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner:
Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS 2008: 94-106 - 2007
- [c33]Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore:
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI 2007: 1013-1018 - [c32]Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz:
Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294 - [c31]Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore:
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS 2007: 815-822 - [c30]Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz:
Design and Verification ofWeb Services Compositions in the Telecommunication Domain. ICWS 2007: 1214-1215 - [c29]Mausam, Piergiorgio Bertoli, Daniel S. Weld:
A Hybridized Planner for Stochastic Domains. IJCAI 2007: 1972-1978 - 2006
- [j4]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006) - [c28]Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini:
Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI 2006: 213-218 - [c27]Alexandre Albore, Piergiorgio Bertoli:
Safe LTL Assumption-Based Planning. ICAPS 2006: 193-202 - [c26]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore:
Towards Strong Cyclic Planning under Partial Observability. ICAPS 2006: 354-357 - [c25]Piergiorgio Bertoli, Marco Pistore, Paolo Traverso:
Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS 2006: 358-361 - [c24]Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini:
Verifying space and time requirements for resource-bounded agents. AAMAS 2006: 217-219 - [c23]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore:
Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584 - [c22]Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti:
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt 2006: 1-18 - [c21]Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini:
Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt 2006: 19-34 - 2005
- [c20]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli:
Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS 2005: 2-11 - [c19]Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso:
ASTRO: Supporting Composition and Execution of Web Services. ICSOC 2005: 495-501 - [c18]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi:
Automated Synthesis of Composite BPEL4WS Web Services. ICWS 2005: 293-301 - [c17]Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso:
Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI 2005: 1252-1259 - [c16]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi:
Automated synthesis of executable web service compositions from BPEL4WS processes. WWW (Special interest tracks and posters) 2005: 1186-1187 - 2004
- [j3]Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli:
Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004) - [c15]Alexandre Albore, Piergiorgio Bertoli:
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. AAAI 2004: 495-500 - [c14]Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso:
Planning and Monitoring Web Service Composition. AIMSA 2004: 106-115 - [c13]Piergiorgio Bertoli, Marco Pistore:
Planning with Extended Goals and Partial Observability. ICAPS 2004: 270-278 - [c12]Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso:
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI 2004: 657-661 - 2003
- [c11]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso:
A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225 - 2002
- [c10]Piergiorgio Bertoli, Alessandro Cimatti:
Improving Heuristics for Planning as Search in Belief Space. AIPS 2002: 143-152 - [c9]Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani:
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002: 231-245 - [c8]Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani:
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. CADE 2002: 195-210 - [c7]Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux:
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI 2002: 576-580 - 2001
- [c6]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri:
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472 - [c5]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478 - [c4]Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli:
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327 - 2000
- [j2]Paolo Traverso, Piergiorgio Bertoli:
Mechanized result verification: an industrial application. Int. J. Softw. Tools Technol. Transf. 3(1): 78-92 (2000)
1990 – 1999
- 1999
- [j1]Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Informaticae 39(1-2): 39-57 (1999) - 1998
- [c3]Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106 - [c2]Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso:
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP 1998: 221-230 - [c1]Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio:
The OMRS project: state of the art. WRLA 1998: 127-146
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
