| A pi-calculus based semantics for WS-BPEL R Lucchi, M Mazzara The Journal of Logic and Algebraic Programming 70 (1), 96-118, 2007 | 366 | 2007 |
| 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 | 244 | 2006 |
| 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 | 198 | 2005 |
| 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 | 177 | 2006 |
| 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 | 91 | 2009 |
| 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 | 81 | 2007 |
| 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 | 68 | 2005 |
| A framework for generic error handling in business processes M Mazzara, R Lucchi Electronic Notes in Theoretical Computer Science 105, 133-145, 2004 | 59 | 2004 |
| A formal framework for web services coordination C Guidi, R Lucchi, M Mazzara Electronic Notes in Theoretical Computer Science 180 (2), 55-70, 2007 | 58 | 2007 |
| Resource oriented architecture and REST R Lucchi, M Millot, C Elfers Assessment of impact and advantages on INSPIRE, Ispra: European Communities, 2008 | 55 | 2008 |
| 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 | 55 | 2004 |
| Quantitative information in the tuple space coordination model M Bravetti, R Gorrieri, R Lucchi, G Zavattaro Theoretical Computer Science 346 (1), 28-57, 2005 | 48 | 2005 |
| Reasoning about interaction patterns in choreography R Gorrieri, C Guidi, R Lucchi Formal Techniques for Computer Systems and Business Processes, 333-348, 2005 | 41 | 2005 |
| 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 | 37 | 2003 |
| 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 | 33 | 2007 |
| 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 | 26 | 2004 |
| 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 | 25 | 2008 |
| Supporting secure coordination in SecSpaces R Gorrieri, R Lucchi, G Zavattaro Fundamenta Informaticae 73 (4), 479-506, 2006 | 25 | 2006 |
| 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 | 24 | 2008 |
| 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 | 24 | 2005 |
