Search the dblp DataBase

Publications of Author

1. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
   Verifying Protocol Conformance for Logic-Based Communicating Agents. [Citation Graph (0, 0)][DBLP]
   CLIMA V, 2004, pp:196-212 [Conf]
   
2. Matteo Baldoni, Cristina Baroglio, I. Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella
   Reasoning About Agents' Interaction Protocols Inside DCaseLP. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:112-131 [Conf]
   
3. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
   Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. [Citation Graph (0, 0)][DBLP]
   EPEW/WS-FM, 2005, pp:257-271 [Conf]
   
4. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
   Interaction Protocols and Capabilities: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
   PPSWR, 2006, pp:63-77 [Conf]
   
5. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi
   Personalization, Verification and Conformance for Logic-based Communicating Agents. [Citation Graph (0, 0)][DBLP]
   WOA, 2005, pp:177-183 [Conf]
   
6. Claudio Schifanella, Luca Lusso, Matteo Baldoni, Cristina Baroglio
   Design and development of a visual environment for writing DyLOG programs. [Citation Graph (0, 0)][DBLP]
   WOA, 2004, pp:43-50 [Conf]
   
7. 
   Service selection by choreography-driven matching. [Citation Graph (, )][DBLP]
   
   
8. 
   Goal Preservation by Choreography-Driven Matchmaking. [Citation Graph (, )][DBLP]
   
   
9. 
   Preserving players goals: a choreography-driven matchmaking approach. [Citation Graph (, )][DBLP]
   
   
10. 
    Structure- and Extension-Informed Taxonomy Alignment. [Citation Graph (, )][DBLP]
    
    
11. 
    CoSeNa: a context-based search and navigation system. [Citation Graph (, )][DBLP]
    
    
12. 
    Joint Achievement of Services' Personal Goals. [Citation Graph (, )][DBLP]