The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fabio Patrizi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marco Cadoli, Fabio Patrizi
    On the Separability of Subproblems in Benders Decompositions. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2006, pp:74-88 [Conf]
  2. Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
    Evaluating ASP and Commercial Solvers on the CSPLib. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:68-72 [Conf]
  3. Marco Cadoli, Toni Mancini, Fabio Patrizi
    SAT as an Effective Solving Technology for Constraint Problems. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:540-549 [Conf]
  4. Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
    Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:54-63 [Conf]
  5. Alessandro Farinelli, Luca Iocchi, Daniele Nardi, Fabio Patrizi
    A Multi Agent System approach for emergency intervention: experimental analysis and evaluation. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2005, v:2, n:1, pp:47-53 [Journal]
  6. Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
    Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1063-1069 [Conf]
  7. Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi
    AutomaticWorkflows Composition of Mobile Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:823-830 [Conf]

  8. Two-Player Game Structures for Generalized Planning and Agent Composition. [Citation Graph (, )][DBLP]


  9. Composition of Partially Observable Services Exporting their Behaviour. [Citation Graph (, )][DBLP]


  10. Agent programming via planning programs. [Citation Graph (, )][DBLP]


  11. Automatic verification of data-centric business processes. [Citation Graph (, )][DBLP]


  12. Behavior Composition in the Presence of Failure. [Citation Graph (, )][DBLP]


  13. Generalized Planning with Loops under Strong Fairness Constraints. [Citation Graph (, )][DBLP]


  14. Automated Composition of Nondeterministic Stateful Services. [Citation Graph (, )][DBLP]


  15. Evaluating ASP and Commercial Solvers on the CSPLib. [Citation Graph (, )][DBLP]


  16. An Introduction to Simulation-Based Techniques for Automated Service Composition [Citation Graph (, )][DBLP]


  17. Automatic Service Composition and Synthesis: the Roman Model. [Citation Graph (, )][DBLP]


Search in 0.116secs, Finished in 0.117secs
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