| 2026 | Coordination | Runtime Adaptation as a Programming Pattern in Service Composition. | Carlos Gustavo Lpez Pombo, Pablo Montepagano, Emilio Tuosto |
| 2024 | Coordination | SEArch: An Execution Infrastructure for Service-Based Software Systems. | Carlos Gustavo Lpez Pombo, Pablo Montepagano, Emilio Tuosto |
| 2024 | FM | Automated Static Analysis of Quality of Service Properties of Communicating Systems. | Carlos Gustavo Lpez Pombo, Agustn Eloy Martinez Su, Emilio Tuosto |
| 2023 | ICTAC | A Dynamic Temporal Logic for Quality of Service in Choreographic Models. | Carlos Gustavo Lpez Pombo, Agustn E. Martinez Su, Emilio Tuosto |
| 2020 | Coordination | Quality of Service Ranking by Quantifying Partial Compliance of Requirements. | Agustn Eloy Martinez Su, Carlos Gustavo Lpez Pombo |
| 2019 | Coordination | Automatic Quality-of-Service Evaluation in Service-Oriented Computing. | Agustn E. Martinez Su, Carlos Gustavo Lpez Pombo |
| 2018 | ITP | Boosting the Reuse of Formal Specifications. | Mariano M. Moscato, Carlos Gustavo Lpez Pombo, Csar A. Muoz, Marco A. Feli |
| 2015 | TABLEAUX | A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. | Valentin Cassano, Carlos Gustavo Lpez Pombo, Thomas Stephen Edward Maibaum |
| 2014 | ICTAC | A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. | Carlos Gustavo Lpez Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
| 2010 | ICTAC | Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo Lpez Pombo, T. S. E. Maibaum |
| 2010 | ICTAC | Complete Calculi for Structured Specifications in Fork Algebra. | Carlos Gustavo Lpez Pombo, Marcelo Fabin Frias |