Search the dblp DataBase

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]