The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laura Bocchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laura Bocchi, Paolo Ciancarini
    A Perspective on Multiagent Coordination Models. [Citation Graph (0, 0)][DBLP]
    Communication in Multiagent Systems, 2003, pp:146-163 [Conf]
  2. Laura Bocchi, Paolo Ciancarini, Davide Rossi
    Transactional Aspects in Semantic Based Discovery of Services. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:283-297 [Conf]
  3. Laura Bocchi, Roberto Lucchi
    Atomic Commit and Negotiation in Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:16-27 [Conf]
  4. Laura Bocchi
    Compositional Nested Long Running Transactions. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:194-208 [Conf]
  5. Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
    A Calculus for Long-Running Transactions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:124-138 [Conf]
  6. Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi
    An OWL-S based approach to express grid services coordination. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1661-1667 [Conf]
  7. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
    A Formal Approach to Service Component Architecture. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:193-213 [Conf]
  8. Laura Bocchi, Lucian Wischik
    A Process Calculus of Atomic Commit. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:119-132 [Journal]
  9. Laura Bocchi, Paolo Ciancarini
    On the Impact of Formal Methods in the SOA. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:113-126 [Journal]
  10. João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
    Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:358-373 [Conf]
  11. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
    Algebraic Semantics of Service Component Modules. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:37-55 [Conf]

  12. Service-Oriented Modelling of Automotive Systems. [Citation Graph (, )][DBLP]


  13. A Theory of Design-by-Contract for Distributed Multiparty Interactions. [Citation Graph (, )][DBLP]


  14. Engineering Service Oriented Applications: From StPowla Processes to SRML Models. [Citation Graph (, )][DBLP]


  15. Testing Attribute-Based Transactions in SOC. [Citation Graph (, )][DBLP]


  16. A Use-Case Driven Approach to Formal Service-Oriented Modelling. [Citation Graph (, )][DBLP]


  17. From BPEL to SRML: A Formal Transformational Approach. [Citation Graph (, )][DBLP]


  18. Structure and Behaviour of Virtual Organisation Breeding Environments [Citation Graph (, )][DBLP]


  19. From Architectural to Behavioural Specification of Services. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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