Piergiorgio Bertoli

	2009
40		Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner: Control Flow Requirements for Automated Service Composition. ICWS 2009: 17-24
	2008
39		Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan: Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA IX 2008: 77-96
38		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
37		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
36		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
35		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
34		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
33		Mausam, Piergiorgio Bertoli, Daniel S. Weld: A Hybridized Planner for Stochastic Domains. IJCAI 2007: 1972-1978
	2006
32		Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini: Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI 2006
31		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
30		Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584
29		Alexandre Albore, Piergiorgio Bertoli: Safe LTL Assumption-Based Planning. ICAPS 2006: 193-202
28		Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Towards Strong Cyclic Planning under Partial Observability. ICAPS 2006: 354-357
27		Piergiorgio Bertoli, Marco Pistore, Paolo Traverso: Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS 2006: 358-361
26		Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt 2006: 1-18
25		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
24		Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006)
	2005
23		Marco Pistore, Paolo Traverso, Piergiorgio Bertoli: Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS 2005: 2-11
22		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
21		Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi: Automated Synthesis of Composite BPEL4WS Web Services. ICWS 2005: 293-301
20		Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso: Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI 2005: 1252-1259
19		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
18		Alexandre Albore, Piergiorgio Bertoli: Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. AAAI 2004: 495-500
17		Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso: Planning and Monitoring Web Service Composition. AIMSA 2004: 106-115
16		Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso: Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI 2004: 657-661
15		Piergiorgio Bertoli, Marco Pistore: Planning with Extended Goals and Partial Observability. ICAPS 2004: 270-278
14		Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004)
	2003
13		Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso: A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225
	2002
12		Piergiorgio Bertoli, Alessandro Cimatti: Improving Heuristics for Planning as Search in Belief Space. AIPS 2002: 143-152
11		Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002: 231-245
10		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
9		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
8		Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri: Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472
7		Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478
6		Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327
	2000
5		Paolo Traverso, Piergiorgio Bertoli: Mechanized result verification: an industrial application. STTT 3(1): 78-92 (2000)
	1999
4		Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Inform. 39(1-2): 39-57 (1999)
	1998
3		Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106
2		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
1		Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: (1998)

Coauthor Index

1	Alexandre Albore	[18] [29] [32] [39]
2	Natasha Alechina	[25] [31] [32] [39]
3	Gilles Audemard	[10] [11]
4	Fabio Barbon	[17] [22]
5	Marco Bozzano	[26]
6	Gaetano Calabrese	[22]
7	Jacques Calmet	[3] [4]
8	Alessandro Cimatti	[2] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [24] [26] [28] [30]
9	Alessandro Coglio	[1]
10	Laura Ferrari	[35] [36]
11	Chiara Ghidini	[25] [31] [32] [39]
12	Fausto Giunchiglia	[1] [2] [3] [4]
13	Jörg Hoffmann	[34] [37]
14	Karsten Homann	[3] [4]
15	Mark Jago	[25] [31]
16	Raman Kazhamiakin	[35] [36] [38] [40]
17	Artur Kornilowicz	[10] [11]
18	Freddy Lécué	[34]
19	Brian Logan	[25] [31] [32] [39]
20	Gigi Lucchese	[22]
21	Annapaola Marconi	[19] [20] [21]
22	Mausam	[33]
23	Corrado Moiso	[35] [36]
24	Massimo Paolucci	[38] [40]
25	Marco Pistore	[13] [15] [17] [19] [20] [21] [22] [23] [27] [28] [30] [34] [35] [36] [37] [38] [40]
26	Heorhi Raik	[40]
27	Marco Roveri	[6] [7] [8] [14] [24]
28	Roberto Sebastiani	[10] [11]
29	Luciano Serafini	[25] [31] [32]
30	Dmitry Shaparau	[17]
31	John K. Slaney	[9]
32	Sylvie Thiébaux	[9]
33	Ermes Thuegaz	[35] [36]
34	Michele Trainotti	[22]
35	Paolo Traverso	[2] [5] [7] [13] [16] [17] [19] [20] [21] [22] [23] [24] [27]
36	Matthias Wagner	[38] [40]
37	Daniel S. Weld	[33]
38	Gabriele Zacco	[22]