The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paolo Traverso: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco
    Understanding Scene Descriptions by Integrating Different Sources of Knowledge. [Citation Graph (1, 0)][DBLP]
    International Journal of Man-Machine Studies, 1992, v:37, n:1, pp:47-81 [Journal]
  2. Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:875-881 [Conf]
  3. Ugo Dal Lago, Marco Pistore, Paolo Traverso
    Planning with a Language for Extended Goals. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:447-454 [Conf]
  4. Dmitry Shaparau, Marco Pistore, Paolo Traverso
    Contingent Planning with Goal Preferences. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  5. David A. Basin, Fausto Giunchiglia, Paolo Traverso
    Automating Meta-Theory Creation and System Extension. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:48-57 [Conf]
  6. 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]
  7. Paolo Traverso, Alessandro Armando, Enrico Giunchiglia
    A Knowledge Based System for Automatic 3D Scene. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1992, pp:255-264 [Conf]
  8. Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Strong Planning in Non-Deterministic Domains Via Model Checking. [Citation Graph (0, 0)][DBLP]
    AIPS, 1998, pp:36-43 [Conf]
  9. 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]
  10. Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso
    Planning with Failure. [Citation Graph (0, 0)][DBLP]
    AIPS, 1994, pp:74-79 [Conf]
  11. Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
    A Hierarchical Task-Network Planner based on Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2005, pp:300-309 [Conf]
  12. 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]
  13. Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia
    Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. [Citation Graph (0, 0)][DBLP]
    ATAL, 1995, pp:65-78 [Conf]
  14. Paolo Traverso
    Planning Under Uncertainty and Its Applications. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:213-228 [Conf]
  15. Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu
    A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:202-213 [Conf]
  16. Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer
    05462 Service-Oriented Computing: A Research Roadmap. [Citation Graph (0, 0)][DBLP]
    Service Oriented Computing, 2005, pp:- [Conf]
  17. 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]
  18. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi
    Beyond the Single Planning Paradigm: Introspective Planning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:643-647 [Conf]
  19. Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso
    Planning via Model Checking: A Decision Procedure for AR. [Citation Graph (0, 0)][DBLP]
    ECP, 1997, pp:130-142 [Conf]
  20. Marco Daniele, Paolo Traverso, Moshe Y. Vardi
    Strong Cyclic Planning Revisited. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:35-48 [Conf]
  21. Fausto Giunchiglia, Paolo Traverso
    Planning as Model Checking. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:1-20 [Conf]
  22. Marco Pistore, Pierluigi Roberti, Paolo Traverso
    Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:62-77 [Conf]
  23. Marco Pistore, Luca Spalazzi, Paolo Traverso
    A Minimalist Approach to Semantic Annotations for Web Processes Compositions. [Citation Graph (0, 0)][DBLP]
    ESWC, 2006, pp:620-634 [Conf]
  24. Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
    Formal Specification and Validation of a Vital Communication Protocol. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1584-1604 [Conf]
  25. Annapaola Marconi, Marco Pistore, Paolo Traverso
    Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:459-464 [Conf]
  26. 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]
  27. 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]
  28. Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
    Run-Time Monitoring of Instances and Classes of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
    ICWS, 2006, pp:63-71 [Conf]
  29. 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]
  30. Fausto Giunchiglia, Paolo Traverso
    Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:111-117 [Conf]
  31. 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]
  32. Marco Pistore, Paolo Traverso
    Planning as Model Checking for Extended Goals in Non-deterministic Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:479-486 [Conf]
  33. Paolo Traverso, Luca Spalazzi
    A Logic for Acting, Sensing and Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1941-1949 [Conf]
  34. Fausto Giunchiglia, Paolo Traverso
    Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:16-30 [Conf]
  35. Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso
    Model Checking Early Requirements Specifications in Tropos. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:174-181 [Conf]
  36. 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]
  37. Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
    Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:284-295 [Conf]
  38. A. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
    Formal Specification and Development of a Safety-Critical Train Management System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:410-419 [Conf]
  39. Marco Pistore, Luca Spalazzi, Paolo Traverso
    A Minimalist Approach to Semantic Annotations for Web Processes Compositions. [Citation Graph (0, 0)][DBLP]
    SEBD, 2006, pp:208-216 [Conf]
  40. Annapaola Marconi, Marco Pistore, Paolo Traverso
    Specifying Data-Flow Requirements for the Automated Composition of Web Services. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:147-156 [Conf]
  41. Paolo Traverso, Marco Pistore
    Automated Composition of Semantic Web Services into Executable Processes. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2004, pp:380-394 [Conf]
  42. Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark Carman, Marco Pistore, Luciano Serafini, Paolo Traverso
    A Request Language for Web-Services Based on Planning and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    TES, 2002, pp:76-85 [Conf]
  43. 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]
  44. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
    MRG: Building planers for real-world complex applications. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1994, v:8, n:3, pp:333-357 [Journal]
  45. 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]
  46. Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
    Weak, strong, and strong cyclic planning via symbolic model checking. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:147, n:1-2, pp:35-84 [Journal]
  47. Fausto Giunchiglia, Paolo Traverso
    A Metatheory of a Mechanized Object Theory. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:80, n:1-2, pp:197-241 [Journal]
  48. Fausto Giunchiglia, Paolo Traverso
    Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:235-259 [Journal]
  49. Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
    Formal Verification of a Railway Interlocking System using Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:4, pp:361-380 [Journal]
  50. Luca Spalazzi, Paolo Traverso
    A dynamic logic for acting, sensing, and planning. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:6, pp:787-821 [Journal]
  51. Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso
    Specifying and analyzing early requirements in Tropos. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2004, v:9, n:2, pp:132-150 [Journal]
  52. Fausto Giunchiglia, Paolo Traverso
    Theorem proving in technology transfer: the user's point of view. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:1-12 [Journal]
  53. 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]
  54. Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
    Run-Time Monitoring of the Execution of Plans for Web Service Composition. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:346-349 [Conf]
  55. 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]
  56. Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso
    AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:767-774 [Conf]
  57. Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
    Web Service Discovery at Process-level Based on Semantic Annotation. [Citation Graph (0, 0)][DBLP]
    SEBD, 2007, pp:220-232 [Conf]

  58. Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. [Citation Graph (, )][DBLP]


  59. 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. [Citation Graph (, )][DBLP]


  60. Agree or Change! Making Services Evolve. [Citation Graph (, )][DBLP]


  61. Semantic Annotation for Web Service Processes. [Citation Graph (, )][DBLP]


  62. Task decomposition on abstract states, for planning under nondeterminism. [Citation Graph (, )][DBLP]


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


  64. Service-Oriented Computing: State of the Art and Research Challenges. [Citation Graph (, )][DBLP]


  65. Automated Composition of Web Services: the ASTRO Approach. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.021secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002