| 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 | 250 | 2006 |
| 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 | 202 | 2005 |
| 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 | 178 | 2006 |
| Service-oriented programming with Jolie F Montesi, C Guidi, G Zavattaro Web Services Foundations, 81-107, 2013 | 129 | 2013 |
| Bridging the gap between interaction-and process-oriented choreographies I Lanese, C Guidi, F Montesi, G Zavattaro 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 127 | 2008 |
| 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 | 88 | 2007 |
| Composing services with JOLIE F Montesi, C Guidi, G Zavattaro Fifth European Conference on Web Services (ECOWS'07), 13-22, 2007 | 82 | 2007 |
| Microservices: a language-based approach C Guidi, I Lanese, M Mazzara, F Montesi Present and Ulterior Software Engineering, 217-225, 2017 | 68 | 2017 |
| 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 | 67 | 2005 |
| A formal framework for web services coordination C Guidi, R Lucchi, M Mazzara Electronic Notes in Theoretical Computer Science 180 (2), 55-70, 2007 | 60 | 2007 |
| Self-reconfiguring microservices M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 58 | 2016 |
| On the interplay between fault handling and request-response service invocations C Guidi, I Lanese, F Montesi, G Zavattaro 2008 8th International Conference on Application of Concurrency to System …, 2008 | 48 | 2008 |
| Dynamic error handling in service oriented applications C Guidi, I Lanese, F Montesi, G Zavattaro Fundamenta Informaticae 95 (1), 73-102, 2009 | 41 | 2009 |
| Reasoning about interaction patterns in choreography R Gorrieri, C Guidi, R Lucchi European Workshop on Performance Engineering, 333-348, 2005 | 41 | 2005 |
| Replicating web services for scalability M Bravetti, S Gilmore, C Guidi, M Tribastone Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008 | 36 | 2008 |
| A model-driven approach towards automatic migration to microservices A Bucchiarone, K Soysal, C Guidi Software Engineering Aspects of Continuous Development and New Paradigms of …, 2020 | 25 | 2020 |
| 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 |
| Dynamic fault handling mechanisms for service-oriented applications F Montesi, C Guidi, I Lanese, G Zavattaro 2008 Sixth European Conference on Web Services, 225-234, 2008 | 22 | 2008 |
| Formalizing languages for service oriented computing C Guidi alma, 2007 | 16 | 2007 |
| Interface-based service composition with aggregation M Dalla Preda, M Gabbrielli, C Guidi, J Mauro, F Montesi Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012 …, 2012 | 15 | 2012 |
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
