A Formal Framework for Web Services Coordination. - Claudio Guidi; Roberto Lucchi; Manuel Mazzara (FOCLASA, 2004)

Reasoning About Interaction Patterns in Choreography. - Roberto Gorrieri; Claudio Guidi; Roberto Lucchi (EPEW/WS-FM, 2005)

Choreography and Orchestration: A Synergic Approach for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (ICSOC, 2005)

Supporting e-commerce systems formalization with choreography languages. - Mario Bravetti; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (SAC, 2005)

Towards a formal framework for Choreography. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (WETICE, 2005)

Choreography and Orchestration Conformance for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2006)

Mobility Mechanisms in Service Oriented Computing. - Claudio Guidi; Roberto Lucchi (FMOODS, 2006)

: A Calculus for Service Oriented Computing. - Claudio Guidi; Roberto Lucchi; Roberto Gorrieri; Nadia Busi; Gianluigi Zavattaro (ICSOC, 2006)

JOLIE: a Java Orchestration Language Interpreter Engine. - Fabrizio Montesi; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (CoOrg/MTCoord@COORDINATION, 2006)

Composing Services with JOLIE. - Fabrizio Montesi; Claudio Guidi; Gianluigi Zavattaro (ECOWS, 2007)

Replicating Web Services for Scalability. - Mario Bravetti; Stephen Gilmore; Claudio Guidi; Mirco Tribastone (TGC, 2007)

Formalizing Mobility in Service Oriented Computing. - Claudio Guidi; Roberto Lucchi (J. Softw., 2007)

Formalizing languages for service oriented computing. - Claudio Guidi (2007)

On the interplay between fault handling and request-response service invocations. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (ACSD, 2008)

Dynamic Fault Handling Mechanisms for Service-Oriented Applications. - Fabrizio Montesi; Claudio Guidi; Ivan Lanese; Gianluigi Zavattaro (ECOWS, 2008)

Bridging the Gap between Interaction- and Process-Oriented Choreographies. - Ivan Lanese; Claudio Guidi; Fabrizio Montesi; Gianluigi Zavattaro (SEFM, 2008)

Reasoning About a Service-oriented Programming Paradigm - Claudio Guidi; Fabrizio Montesi (YR-SOC, 2009)

Dynamic Error Handling in Service Oriented Applications. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (Fundam. Informaticae, 2009)

An Efficient Management of Correlation Sets with Broadcast. - Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi (COORDINATION, 2011)

Reasoning about service oriented recursion. - Claudio Guidi; Alessandro Sperduti (SOCA, 2011)

Towards a New Paas Architecture Generation. - Claudio Guidi; Paolo Anedda; Tullio Vardanega (CLOSER, 2012)

PaaSSOA: An Open PaaS Architecture for Service Oriented Applications. - Claudio Guidi; Paolo Anedda; Tullio Vardanega (ESOCC, 2012)

Interface-Based Service Composition with Aggregation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (ESOCC, 2012)

Service integration via target-transparent mediation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (SOCA, 2012)

Service-Oriented Programming with Jolie. - Fabrizio Montesi; Claudio Guidi; Gianluigi Zavattaro (Web Services Foundations, 2014)

Towards a Composition-based APIaaS Layer. - Claudio Guidi; Saverio Giallorenzo; Maurizio Gabbrielli (CLOSER, 2014)

Self-Reconfiguring Microservices. - Maurizio Gabbrielli; Saverio Giallorenzo; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (Theory and Practice of Formal Methods, 2016)

Microservices: A Language-Based Approach. - Claudio Guidi; Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (Present and Ulterior Software Engineering, 2017)

Microservices: a Language-based Approach. - Claudio Guidi; Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (CoRR, 2017)

A Model-Driven Approach Towards Automatic Migration to Microservices. - Antonio Bucchiarone; Kemal Soysal; Claudio Guidi (DEVOPS, 2019)

A MAPE-K Approach to Autonomic Microservices. - Antonio Bucchiarone; Claudio Guidi; Ivan Lanese; Nelly Bencomo; Josef Spillner (ICSA Companion, 2022)

Towards Self-Architecting Autonomic Microservices. - Claudio Guidi (Microservices, 2022)

gSeaGen code by KM3NeT: An efficient tool to propagate muons simulated with CORSIKA. - Sebastiano Aiello; Albert Akhriev; A. R. Alhebsi; M. Alshamsi; Sergio Alves Garre; Antonio Ambrosone; Fabrizio Ameli; Michel André 002; L. Aphecetche; M. Ardid; S. Ardid; H. Atmani; et al. (Comput. Phys. Commun., 2025)