Follow
Roberto Lucchi
Roberto Lucchi
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
A pi-calculus based semantics for WS-BPEL
R Lucchi, M Mazzara
The Journal of Logic and Algebraic Programming 70 (1), 96-118, 2007
3712007
SOCK: A Calculus for Service Oriented Computing
C Guidi, R Lucchi, R Gorrieri, N Busi, G Zavattaro
Service-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 2006
2482006
Choreography and orchestration: A synergic approach for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005
2012005
Choreography and orchestration conformance for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
Coordination Models and Languages: 8th International Conference …, 2006
1782006
Service chaining architectures for applications implementing distributed geographic information processing
A Friis-Christensen, R Lucchi, M Lutz, N Ostländer
International Journal of Geographical Information Science 23 (5), 561-580, 2009
912009
Jolie: a java orchestration language interpreter engine
F Montesi, C Guidi, R Lucchi, G Zavattaro
Electronic Notes in Theoretical Computer Science 181, 19-33, 2007
902007
Towards a formal framework for choreography
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
14th IEEE International Workshops on Enabling Technologies: Infrastructure …, 2005
682005
A formal framework for web services coordination
C Guidi, R Lucchi, M Mazzara
Electronic Notes in Theoretical Computer Science 180 (2), 55-70, 2007
602007
A framework for generic error handling in business processes
M Mazzara, R Lucchi
Electronic Notes in Theoretical Computer Science 105, 133-145, 2004
582004
Resource oriented architecture and REST
R Lucchi, M Millot, C Elfers
Assessment of impact and advantages on INSPIRE, Ispra: European Communities, 2008
562008
WSSecSpaces: a secure data-driven coordination service for web services applications
R Lucchi, G Zavattaro
Proceedings of the 2004 ACM symposium on Applied computing, 487-491, 2004
542004
Quantitative information in the tuple space coordination model
M Bravetti, R Gorrieri, R Lucchi, G Zavattaro
Theoretical Computer Science 346 (1), 28-57, 2005
482005
Reasoning about interaction patterns in choreography
R Gorrieri, C Guidi, R Lucchi
European Workshop on Performance Engineering, 333-348, 2005
412005
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗
N Busi, R Gorrieri, R Lucchi, G Zavattaro
Electronic Notes in Theoretical Computer Science 68 (3), 310-327, 2003
382003
A rule-based description framework for the composition of geographic information services
M Lutz, R Lucchi, A Friis-Christensen, N Ostländer
GeoSpatial Semantics: Second International Conference, GeoS 2007, Mexico …, 2007
322007
Resource Oriented Architecture and REST: Assessment of impact and advantages on INSPIRE
R Lucchi, M Millot, C Elfers
JCR Scientific and Technical Report EUR 23397, 2008
272008
Web Services for E-commerce: guaranteeing security access and quality of service
M Bravetti, R Lucchi, G Zavattaro, R Gorrieri
Proceedings of the 2004 ACM symposium on Applied computing, 800-806, 2004
272004
Supporting secure coordination in SecSpaces
R Gorrieri, R Lucchi, G Zavattaro
Fundamenta Informaticae 73 (4), 479-506, 2006
252006
Orchestra: an open service architecture for risk management
JFE Lauzán, T Usländer, C Parker, D Overton, G Vowles, J Douglas, ...
ORCHESTRA Consortium, 2008
242008
Supporting e-commerce systems formalization with choreography languages
M Bravetti, C Guidi, R Lucchi, G Zavattaro
Proceedings of the 2005 ACM symposium on Applied computing, 831-835, 2005
242005
The system can't perform the operation now. Try again later.
Articles 1–20