Follow
Roberto Lucchi
Roberto Lucchi
Verified email at microsoft.com
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
3632007
SOCK: A Calculus for Service Oriented Computing
C Guidi, R Lucchi, R Gorrieri, N Busi, G Zavattaro
International Conference on Service-Oriented Computing, 327-338, 2006
2182006
Choreography and orchestration: A synergic approach for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
International Conference on Service-Oriented Computing, 228-240, 2005
1982005
Choreography and orchestration conformance for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
International Conference on Coordination Languages and Models, 63-81, 2006
1732006
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
922009
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
812007
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
672005
A formal framework for web services coordination
C Guidi, R Lucchi, M Mazzara
Electronic Notes in Theoretical Computer Science 180 (2), 55-70, 2007
582007
A framework for generic error handling in business processes
M Mazzara, R Lucchi
Electronic Notes in Theoretical Computer Science 105, 133-145, 2004
572004
Resource oriented architecture and REST
R Lucchi, M Millot, C Elfers
Assessment of impact and advantages on INSPIRE, Ispra: European Communities, 2008
542008
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
532004
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
Formal Techniques for Computer Systems and Business Processes, 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
372003
A rule-based description framework for the composition of geographic information services
M Lutz, R Lucchi, A Friis-Christensen, N Ostlšnder
International Conference on GeoSpatial Sematics, 114-127, 2007
342007
SOCK: a calculus for service oriented computing
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
Proc. of ICSOC 6, 327-338, 2006
272006
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
262004
Supporting secure coordination in SecSpaces
R Gorrieri, R Lucchi, G Zavattaro
Fundamenta Informaticae 73 (4), 479-506, 2006
252006
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
252005
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
The system can't perform the operation now. Try again later.
Articles 1–20