|
Search the dblp DataBase
Roberto Lucchi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Laura Bocchi, Roberto Lucchi
Atomic Commit and Negotiation in Service Oriented Computing. [Citation Graph (0, 0)][DBLP] COORDINATION, 2006, pp:16-27 [Conf]
- Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. [Citation Graph (0, 0)][DBLP] COORDINATION, 2004, pp:55-70 [Conf]
- Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration Conformance for System Design. [Citation Graph (0, 0)][DBLP] COORDINATION, 2006, pp:63-81 [Conf]
- Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
Reasoning About Interaction Patterns in Choreography. [Citation Graph (0, 0)][DBLP] EPEW/WS-FM, 2005, pp:333-348 [Conf]
- Claudio Guidi, Roberto Lucchi
Mobility Mechanisms in Service Oriented Computing. [Citation Graph (0, 0)][DBLP] FMOODS, 2006, pp:233-250 [Conf]
- Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design. [Citation Graph (0, 0)][DBLP] ICSOC, 2005, pp:228-240 [Conf]
- Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
: A Calculus for Service Oriented Computing. [Citation Graph (0, 0)][DBLP] ICSOC, 2006, pp:327-338 [Conf]
- Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Security Issues in the Tuple-Space Coordination Model. [Citation Graph (0, 0)][DBLP] Formal Aspects in Security and Trust, 2004, pp:1-12 [Conf]
- Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
Web Services for E-commerce: guaranteeing security access and quality of service. [Citation Graph (0, 0)][DBLP] SAC, 2004, pp:800-806 [Conf]
- Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Supporting e-commerce systems formalization with choreography languages. [Citation Graph (0, 0)][DBLP] SAC, 2005, pp:831-835 [Conf]
- Roberto Lucchi, Gianluigi Zavattaro
WSSecSpaces: a secure data-driven coordination service for Web Services applications. [Citation Graph (0, 0)][DBLP] SAC, 2004, pp:487-491 [Conf]
- Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Towards a formal framework for Choreography. [Citation Graph (0, 0)][DBLP] WETICE, 2005, pp:107-112 [Conf]
- Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
A formal approach for checking security properties in SecSpaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
- Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Combining Partitions in SecSpaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:31-47 [Journal]
- Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:39-53 [Journal]
- Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
- Manuel Mazzara, Roberto Lucchi
A Framework for Generic Error Handling in Business Processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:133-145 [Journal]
- Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Supporting Secure Coordination in SecSpaces. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:73, n:4, pp:479-506 [Journal]
- Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro
Secure shared data-space coordination languages: A process algebraic survey. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:63, n:1, pp:3-15 [Journal]
- Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative information in the tuple space coordination model. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:346, n:1, pp:28-57 [Journal]
- Michael Lutz, Roberto Lucchi, Anders Friis-Christensen, Nicole Ostländer
A Rule-Based Description Framework for the Composition of Geographic Information Services. [Citation Graph (0, 0)][DBLP] GeoS, 2007, pp:114-127 [Conf]
- Claudio Guidi, Roberto Lucchi, Manuel Mazzara
A Formal Framework for Web Services Coordination. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:55-70 [Journal]
- Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
JOLIE: a Java Orchestration Language Interpreter Engine. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:19-33 [Journal]
- Roberto Lucchi, Manuel Mazzara
A pi-calculus based semantics for WS-BPEL. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:70, n:1, pp:96-118 [Journal]
SensoriaProcess Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|