LUCCHI, ROBERTO
LUCCHI, ROBERTO
DIP. DI SCIENZE DELL'INFORMAZIONE
JOLIE: a Java Orchestration Language Interpreter Engine
2007 F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro:
Choreography and Orchestration Conformance for System Design
2006 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Secure shared data-space Coordination Languages: a Process Algebraic survey
2006 R. Focardi; R. Lucchi; G. Zavattaro
Sensoria Process Calculi for Service-Oriented Computing
2006 M. Wirsing; R. De Nicola; S. Gilmore; M. Holzl; R. Lucchi; M. Tribastone; G. Zavattaro
SOCK : A Calculus for Service Oriented Computing
2006 C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro
Supporting Secure Coordination in SecSpaces
2006 R.Gorrieri; R.Lucchi; G.Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
2005 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
Quantitative Information in the Tuple Space Coordination Model
2005 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
Reasoning about interaction patterns in Choreography
2005 R. Gorrieri; C. Guidi; R. Lucchi
Security Issues in the Tuple-Space Coordination Model
2005 M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro
Supporting e-commerce systems formalization with choreography languages
2005 M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro
Towards a formal framework for Choreography
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;
Combining Partitions in SecSpaces
2004 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
2004 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
Web Services for E-commerce: guaranteeing security access and quality of service
2004 M. Bravetti; R. Lucchi; G. Zavattaro; R. Gorrieri
WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications
2004 R. Lucchi; G. Zavattaro
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| JOLIE: a Java Orchestration Language Interpreter Engine | F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro: | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Choreography and Orchestration Conformance for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2006-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Secure shared data-space Coordination Languages: a Process Algebraic survey | R. Focardi; R. Lucchi; G. Zavattaro | 2006-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Sensoria Process Calculi for Service-Oriented Computing | M. Wirsing; R. De Nicola; S. Gilmore; M. Holzl; R. Lucchi; M. Tribastone; G. Zavattaro | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| SOCK : A Calculus for Service Oriented Computing | C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Supporting Secure Coordination in SecSpaces | R.Gorrieri; R.Lucchi; G.Zavattaro | 2006-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Choreography and Orchestration: A Synergic Approach for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda | M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro | 2005-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Quantitative Information in the Tuple Space Coordination Model | M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro | 2005-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Reasoning about interaction patterns in Choreography | R. Gorrieri; C. Guidi; R. Lucchi | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Security Issues in the Tuple-Space Coordination Model | M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Supporting e-commerce systems formalization with choreography languages | M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro | 2005-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| Towards a formal framework for Choreography | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro; | 2005-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Combining Partitions in SecSpaces | M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro | 2004-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model | M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Web Services for E-commerce: guaranteeing security access and quality of service | M. Bravetti; R. Lucchi; G. Zavattaro; R. Gorrieri | 2004-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications | R. Lucchi; G. Zavattaro | 2004-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |