Roberto Lucchi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2009

Service chaining architectures for applications implementing distributed geographic information processingAnders Friis-Christensen, Roberto Lucchi, Michael Lutz, Nicole Ostländer. gis, 23(5):561-580, 2009. [doi]

2007

2006

Atomic Commit and Negotiation in Service Oriented ComputingLaura Bocchi, Roberto Lucchi. coordination 2006: 16-27 [doi]

Choreography and Orchestration Conformance for System DesignNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. coordination 2006: 63-81 [doi]

Secure shared data-space coordination languages: A process algebraic surveyRiccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro. SCP, 63(1):3-15, 2006. [doi]

Supporting Secure Coordination in SecSpacesRoberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. FUIN, 73(4):479-506, 2006. [doi]

Mobility Mechanisms in Service Oriented ComputingClaudio Guidi, Roberto Lucchi. fmoods 2006: 233-250 [doi]

: A Calculus for Service Oriented ComputingClaudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro. icsoc 2006: 327-338 [doi]

SensoriaProcess Calculi for Service-Oriented ComputingMartin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro. tgc 2007: 30-50 [doi]

2005

Supporting e-commerce systems formalization with choreography languagesMario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. SAC 2005: 831-835 [doi]

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in LindaMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. ENTCS, 128(5):39-53, 2005. [doi]

Quantitative information in the tuple space coordination modelMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. TCS, 346(1):28-57, 2005. [doi]

Towards a formal framework for ChoreographyNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. wetice 2005: 107-112 [doi]

Choreography and Orchestration: A Synergic Approach for System DesignNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. icsoc 2005: 228-240 [doi]

Reasoning About Interaction Patterns in ChoreographyRoberto Gorrieri, Claudio Guidi, Roberto Lucchi. epew 2005: 333-348 [doi]

2004

Probabilistic and Prioritized Data Retrieval in the Linda Coordination ModelMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. coordination 2004: 55-70 [doi]

Web Services for E-commerce: guaranteeing security access and quality of serviceMario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri. SAC 2004: 800-806 [doi]

Security Issues in the Tuple-Space Coordination ModelMario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. ifip1-7 2005: 1-12 [doi]

Combining Partitions in SecSpacesMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. ENTCS, 99:31-47, 2004. [doi]

Security, probability and priority in the tuple-space coordination modelRoberto Lucchi. PhD thesis, University of Bologna, Italy, 2004. [doi]

WSSecSpaces: a secure data-driven coordination service for Web Services applicationsRoberto Lucchi, Gianluigi Zavattaro. SAC 2004: 487-491 [doi]

A Framework for Generic Error Handling in Business ProcessesManuel Mazzara, Roberto Lucchi. ENTCS, 105:133-145, 2004. [doi]

2003

A formal approach for checking security properties in SecSpacesMario Bravetti, Roberto Gorrieri, Roberto Lucchi. ENTCS, 85(3):54-70, 2003. [doi]

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted AgentsNadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. ENTCS, 68(3):310-327, 2003. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Roberto Lucchi'

Viewing Publication 1 - 28 from 28

2009

2007

2006

2005

2004

2003

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by VenueOR AND NOT 1

Filter by AuthorOR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Roberto Lucchi'

Viewing Publication 1 - 28 from 28

2009

2007

2006

2005

2004

2003

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1