The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Piergiorgio Bertoli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
    Model-Checking Memory Requirements of Resource-Bounded Reasoners. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  2. Alexandre Albore, Piergiorgio Bertoli
    Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:495-500 [Conf]
  3. Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso
    Planning and Monitoring Web Service Composition. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2004, pp:106-115 [Conf]
  4. Piergiorgio Bertoli, Alessandro Cimatti
    Improving Heuristics for Planning as Search in Belief Space. [Citation Graph (0, 0)][DBLP]
    AIPS, 2002, pp:143-152 [Conf]
  5. Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso
    A Framework for Planning with Extended Goals under Partial Observability. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2003, pp:215-225 [Conf]
  6. Piergiorgio Bertoli, Marco Pistore
    Planning with Extended Goals and Partial Observability. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:270-278 [Conf]
  7. Marco Pistore, Paolo Traverso, Piergiorgio Bertoli
    Automated Composition of Web Services by Planning in Asynchronous Domains. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2005, pp:2-11 [Conf]
  8. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:231-245 [Conf]
  9. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
    Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:94-106 [Conf]
  10. Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini
    Verifying space and time requirements for resource-bounded agents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:217-219 [Conf]
  11. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:195-210 [Conf]
  12. Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore
    Stong Cyclic Planning Under Partial Observability. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:580-584 [Conf]
  13. Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux
    Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:576-580 [Conf]
  14. Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso
    Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:657-661 [Conf]
  15. Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso
    ASTRO: Supporting Composition and Execution of Web Services. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:495-501 [Conf]
  16. Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
    Automated Synthesis of Composite BPEL4WS Web Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:293-301 [Conf]
  17. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri
    Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:467-472 [Conf]
  18. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:473-478 [Conf]
  19. Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso
    Automated Composition of Web Services by Planning at the Knowledge Level. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1252-1259 [Conf]
  20. Mausam, Piergiorgio Bertoli, Daniel S. Weld
    A Hybridized Planner for Stochastic Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1972-1978 [Conf]
  21. Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso
    A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:221-230 [Conf]
  22. Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
    Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:313-327 [Conf]
  23. Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
    Automated synthesis of executable web service compositions from BPEL4WS processes. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:1186-1187 [Conf]
  24. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Strong planning under partial observability. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:4-5, pp:337-384 [Journal]
  25. Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
    Conformant planning via symbolic model checking and heuristic search. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:159, n:1-2, pp:127-206 [Journal]
  26. Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio
    The OMRS project: state of the art. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  27. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
    Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:39-57 [Journal]
  28. Paolo Traverso, Piergiorgio Bertoli
    Mechanized result verification: an industrial application. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:78-92 [Journal]
  29. Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore
    Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1013-1018 [Conf]
  30. Alexandre Albore, Piergiorgio Bertoli
    Safe LTL Assumption-Based Planning. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:193-202 [Conf]
  31. Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore
    Towards Strong Cyclic Planning under Partial Observability. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:354-357 [Conf]
  32. Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
    Automated Web Service Composition by On-the-Fly Belief Space Search. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:358-361 [Conf]
  33. Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
    Design and Verification ofWeb Services Compositions in the Telecommunication Domain. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:1214-1215 [Conf]
  34. Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore
    Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:815-822 [Conf]
  35. Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
    Verifying Space and Time Requirements for Resource-Bounded Agents. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:19-34 [Conf]
  36. Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti
    A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:1-18 [Conf]

  37. Continuous Orchestration of Web Services via Planning. [Citation Graph (, )][DBLP]


  38. Bounded-Resource Reasoning as (Strong or Classical) Planning. [Citation Graph (, )][DBLP]


  39. Design and Analysis of the Composed Telecom Services. [Citation Graph (, )][DBLP]


  40. Control Flow Requirements for Automated Service Composition. [Citation Graph (, )][DBLP]


  41. Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. [Citation Graph (, )][DBLP]


  42. Automated composition of Web services via planning in asynchronous domains. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.306secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002