Publications

Edoardo Baldini, Stefano Chessa, Antonio Brogi. Estimating the Environmental Impact of Green IoT Deployments. Sensors, 2023.

Jacopo Soldani, Antonio Brogi. Anomaly Detection and Failure Root Cause Analysis in (Micro) Service-Based Cloud Applications: A Survey. ACM Comput. Surv., 2023.

Alessandro Bocci, Stefano Forti, Gian Luigi Ferrari, Antonio Brogi. Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations. 22nd IEEE International Symposium on Cluster, Cloud and Internet Computing, CCGrid 2022, Taormina, Italy, May 16-19, 2022, 2022.

Stefano Forti. Trending Topics in Software Engineering (1). ACM SIGSOFT Softw. Eng. Notes, 2022.

Stefano Forti, Uwe Breitenbücher, Jacopo Soldani. Trending Topics in Software Engineering. ACM SIGSOFT Softw. Eng. Notes, 2022.

Stefano Forti, Uwe Breitenbücher, Jacopo Soldani. Trending Topics in Software Engineering. ACM SIGSOFT Softw. Eng. Notes, 2022.

Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Frank Leymann. Standards-based modeling and deployment of serverless function orchestrations using BPMN and TOSCA. Softw. Pract. Exp., 2022.

Uwe Breitenbücher, Stefano Forti, Jacopo Soldani. Software Engineering After the COVID-19 Outbreak. ACM SIGSOFT Softw. Eng. Notes, 2022.

Francisco Ponce, Jacopo Soldani, Hernán Astudillo, Antonio Brogi. Smells and refactorings for microservices security: A multivocal literature review. J. Syst. Softw., 2022.

Francisco Ponce, Jacopo Soldani, Hernán Astudillo, Antonio Brogi. Should Microservice Security Smells Stay or be Refactored? Towards a Trade-off Analysis. Software Architecture - 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, Proceedings, 2022.

Vladimir Yussupov, Uwe Breitenbücher, Antonio Brogi, Lukas Harzenetter, Frank Leymann, Jacopo Soldani. Serverless or Serverful? A Pattern-Based Approach for Exploring Hosting Alternatives. Service-Oriented Computing - 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers, 2022.

Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani. Self-healing trans-cloud applications. Computing, 2022.

Alessandro Bocci, Roberto Guanciale, Stefano Forti, Gian Luigi Ferrari, Antonio Brogi. Secure Partitioning of Composite Cloud Applications. Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings, 2022.

Stefano Forti, Federica Paganelli, Antonio Brogi. Probabilistic QoS-aware Placement of VNF Chains at the Edge. Theory Pract. Log. Program., 2022.

Jacopo Soldani, Riccardo Paoletti, Antonio Brogi. Pattern-Based Resolution of Integration Mismatches in Enterprise Applications. Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings, 2022.

Stefano Forti, Isaac Lera, Carlos Guerrero, Antonio Brogi. Osmotic management of distributed complex systems: A declarative decentralised approach. J. Softw. Evol. Process., 2022.

Jacopo Soldani, Javad Khalili, Antonio Brogi. Offline Mining of Microservice-based Architectures. Proceedings of the 12th International Conference on Cloud Computing and Services Science, CLOSER 2022„ Online Streaming, April 27-29, 2022, 2022.

Jacopo Soldani, Marco Cameriero, Giulio Paparelli, Antonio Brogi. Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications. ACM Trans. Internet Techn., 2022.

Marco Gaglianese, Stefano Forti, Federica Paganelli, Antonio Brogi. Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds. IEEE INFOCOM 2022 - IEEE Conference on Computer Communications Workshops, INFOCOM 2022 - Workshops, New York, NY, USA, May 2-5, 2022, 2022.

Stefano Forti. Keynote: The fog is rising, in sustainable smart cities. 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom 2022 Workshops, Pisa, Italy, March 21-25, 2022, 2022.

Stefano Forti, Antonio Brogi. Green Application Placement in the Cloud-IoT Continuum. Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings, 2022.

Jacopo Soldani, Stefano Forti, Antonio Brogi. Failure Root Cause Analysis for Microservices, Explained. Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings, 2022.

Stefano Forti, Giuseppe Bisicchia, Antonio Brogi. Declarative continuous reasoning in the cloud-IoT continuum. J. Log. Comput., 2022.

Jacopo Massa, Stefano Forti, Antonio Brogi. Data-Aware Service Placement in the Cloud-IoT Continuum. CCIS 1603 @ SummerSOC, 2022.

Jacopo Soldani, Lars Luthmann, Nicolas Gottwald, Malte Lochau, Antonio Brogi. Compositional testing of management conformance for multi-component enterprise applications. Serv. Oriented Comput. Appl., 2022.

Evangelos Ntentos, Uwe Zdun, Jacopo Soldani, Antonio Brogi. Assessing Architecture Conformance to Coupling-Related Infrastructure-as-Code Best Practices: Metrics and Case Studies. Software Architecture - 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, Proceedings, 2022.

Jacopo Soldani. An interview with Xin Xia - 2022 SIGSOFT Awardee. ACM SIGSOFT Softw. Eng. Notes, 2022.

Jacopo Soldani. An interview with Miryung Kim - 2022 SIGSOFT Awardee. ACM SIGSOFT Softw. Eng. Notes, 2022.

Christian Zirpins, Guadalupe Ortiz, Zoltán Nochta, Oliver P. Waldhorst, Jacopo Soldani, Massimo Villari, Damian A. Tamburri. Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Revised Selected Papers. Springer, 2022.

Jacopo Soldani, Giuseppe Montesano, Antonio Brogi. What Went Wrong? Explaining Cascading Failures in Microservice-Based Applications. Service-Oriented Computing - 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13-17, 2021, Proceedings, 2021.

Jacopo Soldani, Giuseppe Muntoni, Davide Neri, Antonio Brogi. The (μ)TOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures. Softw. Pract. Exp., 2021.

Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi, Leonardo Frioli, Frank Leymann, Michael Wurster. Tailoring Technology-Agnostic Deployment Models to Production-Ready Deployment Technologies. Cloud Computing and Services Science - 11th International Conference, CLOSER 2021, Virtual Event, April 28-30, 2021, Revised Selected Papers, 2021.

Francisco Ponce, Jacopo Soldani, Hernán Astudillo, Antonio Brogi. Smells and Refactorings for Microservices Security: A Multivocal Literature Review. CoRR, 2021.

Alessandro Bocci, Stefano Forti, Gian Luigi Ferrari, Antonio Brogi. Secure FaaS orchestration in the fog: how far are we?. Computing, 2021.

Federica Paganelli, Paola Cappanera, Antonio Brogi, Riccardo Falco. Profit-aware placement of multi-flavoured VNF chains. 10th IEEE International Conference on Cloud Networking, CloudNet 2021, Cookeville, TN, USA, November 8-10, 2021, 2021.

Ernesto Pimentel, Jacopo Soldani. Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications. Sci. Comput. Program., 2021.

Alessandro Bocci, Stefano Forti, Gian Luigi Ferrari, Antonio Brogi. Placing FaaS in the Fog, Securely. Proceedings of the Italian Conference on Cybersecurity, ITASEC 2021, All Digital Event, April 7-9, 2021, 2021.

Jacopo Soldani. Pains and Gains of Peer-Reviewing in Software Engineering (5). ACM SIGSOFT Softw. Eng. Notes, 2021.

Jacopo Soldani. Pains and Gains of Peer-Reviewing in Software Engineering (4). ACM SIGSOFT Softw. Eng. Notes, 2021.

Stefano Forti, Marco Gaglianese, Antonio Brogi. Lightweight self-organising distributed monitoring of Fog infrastructures. Future Gener. Comput. Syst., 2021.

Stefano Forti, Antonio Brogi. Green Application Placement in the Cloud-IoT Continuum. CoRR, 2021.

Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi, Frank Leymann. From Serverful to Serverless: A Spectrum of Patterns for Hosting Application Components. Proceedings of the 11th International Conference on Cloud Computing and Services Science, CLOSER 2021, Online Streaming, April 28-30, 2021, 2021.

Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi, Frank Leymann. FaaSten your decisions: A classification framework and technology review of function-as-a-Service platforms. J. Syst. Softw., 2021.

Stefano Forti, Antonio Brogi. Declarative Osmotic Application Placement. Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings, 2021.

Giuseppe Bisicchia, Stefano Forti, Antonio Brogi. Declarative Goal Mediation in Smart Environments. IEEE International Conference on Smart Computing, SMARTCOMP 2021, Irvine, CA, USA, August 23-27, 2021, 2021.

Antonio Brogi, Stefano Forti, Carlos Guerrero, Isaac Lera. Declarative Application Management in the Fog. J. Grid Comput., 2021.

Stefano Forti, Marco Gaglianese, Antonio Brogi. Corrigendum to \"Lightweight self-organising distributed monitoring of Fog infrastructures\" [Future Gener. Comput. Syst. 114 (2020) 605-618]. Future Gener. Comput. Syst., 2021.

Michael Wurster, Uwe Breitenbücher, Antonio Brogi, Felix Diez, Frank Leymann, Jacopo Soldani, Karoline Wild. Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies. Proceedings of the 11th International Conference on Cloud Computing and Services Science, CLOSER 2021, Online Streaming, April 28-30, 2021, 2021.

Jacopo Soldani, Antonio Brogi. Automated Generation of Configurable Cloud-Native Chaos Testbeds. Dependable Computing - EDCC 2021 Workshops - DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings, 2021.

Jacopo Soldani, Antonio Brogi. Anomaly Detection and Failure Root Cause Analysis in (Micro)Service-Based Cloud Applications: A Survey. CoRR, 2021.

Christian Zirpins, Iraklis Paraskakis, Vasilios Andrikopoulos, Nane Kratzke, Claus Pahl, Nabil El Ioini, Andreas S. Andreou, George Feuerlicht, Winfried Lamersdorf, Guadalupe Ortiz, Willem-Jan van den Heuvel, Jacopo Soldani, Massimo Villari, Giuliano Casale, Pierluigi Plebani. Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers. Springer, 2021.

Giuseppe Bisicchia, Stefano Forti, Antonio Brogi. A Declarative Goal-oriented Framework for Smart Environments with LPaaS. CoRR, 2021.

Giuseppe Bisicchia, Stefano Forti, Antonio Brogi. A Declarative Goal-oriented Framework for Smart Environments with LPaaS. Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021, 2021.

Antonio Brogi, Stefano Forti, Carlos Guerrero, Isaac Lera. Towards Declarative Decentralised Application Management in the Fog. 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, 2020.

Michael Wurster, Uwe Breitenbücher, Lukas Harzenetter, Frank Leymann, Jacopo Soldani. TOSCA Lightning: An Integrated Toolchain for Transforming TOSCA Light into Production-Ready Deployment Technologies. Advanced Information Systems Engineering - CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings, 2020.

Michael Wurster, Uwe Breitenbücher, Lukas Harzenetter, Frank Leymann, Jacopo Soldani, Vladimir Yussupov. TOSCA Light: Bridging the Gap between the TOSCA Specification and Production-ready Deployment Technologies. Proceedings of the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020, 2020.

Michael Wurster, Uwe Breitenbücher, Michael Falkenthal, Christoph Krieger, Frank Leymann, Karoline Saatkamp, Jacopo Soldani. The essential deployment metamodel: a systematic review of deployment automation technologies. SICS Softw.-Intensive Cyber Phys. Syst., 2020.

Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi. Testing Conformance in Multi-component Enterprise Application Management. Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings, 2020.

Michael Wurster, Uwe Breitenbücher, Antonio Brogi, Lukas Harzenetter, Frank Leymann, Jacopo Soldani. Technology-Agnostic Declarative Deployment Automation of Cloud Applications. Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings, 2020.

Marco Kuhrmann, Dietmar Pfahl, Jacopo Soldani. Software Engineering Worldwide. ACM SIGSOFT Softw. Eng. Notes, 2020.

Stefano Forti, Alessandro Pagiaro, Antonio Brogi. Simulating FogDirector Application Management. Simul. Model. Pract. Theory, 2020.

Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos. Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings. Springer, 2020.

Stefano Forti, Gian Luigi Ferrari, Antonio Brogi. Secure Cloud-Edge Deployments, with Trust. Future Gener. Comput. Syst., 2020.

Jean-Marie Jacquet, Jacopo Soldani. Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018). Sci. Comput. Program., 2020.

Vladimir Yussupov, Uwe Breitenbücher, Christoph Krieger, Frank Leymann, Jacopo Soldani, Michael Wurster. Pattern-based Modelling, Integration, and Deployment of Microservice Architectures. 24th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2020, Eindhoven, The Netherlands, October 5-8, 2020, 2020.

Jacopo Soldani. Pains and Gains of Peer-Reviewing in Software Engineering (3). ACM SIGSOFT Softw. Eng. Notes, 2020.

Jacopo Soldani. Pains and Gains of Peer-Reviewing in Software Engineering (2). ACM SIGSOFT Softw. Eng. Notes, 2020.

Jacopo Soldani, Marco Kuhrmann, Dietmar Pfahl. Pains and Gains of Peer-Reviewing in Software Engineering. ACM SIGSOFT Softw. Eng. Notes, 2020.

Jacopo Soldani. Pains and Gains of Peer- Reviewing in Software Engineering. ACM SIGSOFT Softw. Eng. Notes, 2020.

Giuseppe Muntoni, Jacopo Soldani, Antonio Brogi. Mining the Architecture of Microservice-Based Applications from their Kubernetes Deployment. Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers, 2020.

Antonio Brogi, Stefano Forti, Carlos Guerrero, Isaac Lera. How to place your apps in the fog: State of the art and open challenges. Softw. Pract. Exp., 2020.

Gastón Márquez, Jacopo Soldani, Francisco Ponce, Hernán Astudillo. Frameworks and High-Availability in Microservices: An Industrial Survey. Proceedings of the XXIII Iberoamerican Conference on Software Engineering, CIbSE 2020, Curitiba, Paraná, Brazil, November 9-13, 2020, 2020.

Matteo Bogo, Jacopo Soldani, Davide Neri, Antonio Brogi. Fine-grained management of cloud-native applications, based on TOSCA. Internet Technol. Lett., 2020.

Jacopo Soldani. Finding Feasible Application Deployments in Edge Clusters, with Limited Resources. Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers, 2020.

Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi, Frank Leymann. FaaSten Your Decisions: Classification Framework and Technology Review of Function-as-a-Service Platforms. CoRR, 2020.

Antonio Brogi, Antonio Bucchiarone, Rafael Capilla, Pooyan Jamshidi, Maurizio Leotta, Zoltán Ádám Mann, Marina Mongiello, Francesco Nocera. Ensemble-Based Software Engineering for Modern Computing Platforms. ACM SIGSOFT Softw. Eng. Notes, 2020.

Davide Neri, Jacopo Soldani, Olaf Zimmermann, Antonio Brogi. Design principles, architectural smells and refactorings for microservices: a multivocal review. SICS Softw.-Intensive Cyber Phys. Syst., 2020.

Stefano Forti. Deployment and Management of Fog Applications. 2020.

Stefano Forti, Antonio Brogi. Continuous Reasoning for Managing Next-Gen Distributed Applications. Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020, 2020.

Matteo Bogo, Jacopo Soldani, Davide Neri, Antonio Brogi. Component-aware Orchestration of Cloud-based Enterprise Applications, from TOSCA to Docker and Kubernetes. CoRR, 2020.

Matteo Bogo, Jacopo Soldani, Davide Neri, Antonio Brogi. Component-aware orchestration of cloud-based enterprise applications, from TOSCA to Docker and Kubernetes. Softw. Pract. Exp., 2020.

Michael Wurster, Uwe Breitenbücher, Antonio Brogi, Frank Leymann, Jacopo Soldani. Cloud-native Deploy-ability: An Analysis of Required Features of Deployment Technologies to Deploy Arbitrary Cloud-native Applications. Proceedings of the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020, 2020.

Michael Wurster, Uwe Breitenbücher, Michael Falkenthal, Christoph Krieger, Frank Leymann, Karoline Saatkamp, Jacopo Soldani. The Essential Deployment Metamodel: A Systematic Review of Deployment Automation Technologies. CoRR, 2019.

Michael Wurster, Uwe Breitenbücher, Antonio Brogi, Ghareeb Falazi, Lukas Harzenetter, Frank Leymann, Jacopo Soldani, Vladimir Yussupov. The EDMM Modeling and Transformation System. Service-Oriented Computing - ICSOC 2019 Workshops - WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised Selected Papers, 2019.

Stefano Forti, Gian Luigi Ferrari, Antonio Brogi. Secure Cloud-Edge Deployments, with Trust. CoRR, 2019.

Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani. Robust Management of Trans-Cloud Applications. 12th IEEE International Conference on Cloud Computing, CLOUD 2019, Milan, Italy, July 8-13, 2019, 2019.

Francesco Nocera, Antonio Bucchiarone, Marina Mongiello, Rafael Capilla, Maurizio Leotta, Zoltán Ádám Mann, Pooyan Jamshidi, Antonio Brogi. Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms, EnSEmble@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019. ACM, 2019.

Antonio Brogi, Stefano Forti, Federica Paganelli. Probabilistic QoS-aware Placement of VNF chains at the Edge. CoRR, 2019.

Antonio Brogi, Stefano Forti, Ahmad Ibrahim. Predictive Analysis to Support Fog Application Deployment. Fog and Edge Computing, 2019.

Stefano Forti, Ahmad Ibrahim, Antonio Brogi. Mimicking FogDirector application management. SICS Softw.-Intensive Cyber Phys. Syst., 2019.

Antonio Brogi, Stefano Forti, Carlos Guerrero, Isaac Lera. Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog. 3rd IEEE International Conference on Edge Computing, EDGE 2019, Milan, Italy, July 8-13, 2019, 2019.

Antonio Brogi, Stefano Forti, Marco Gaglianese. Measuring the Fog, Gently. Service-Oriented Computing - 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings, 2019.

Giuseppe Astuti, Antonio Brogi, Stefano Forti. Making a Business Out of (Predictive Application Management in) the Fog. Fourth International Conference on Fog and Mobile Edge Computing, FMEC 2019, Rome, Italy, June 10-13, 2019, 2019.

Antonio Brogi, Jacopo Soldani. Identifying Failure Causalities in Multi-component Applications. Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers, 2019.

Antonio Brogi, Stefano Forti, Carlos Guerrero, Isaac Lera. How to Place Your Apps in the Fog - State of the Art and Open Challenges. CoRR, 2019.

Jacopo Soldani. Grey Literature: A Safe Bridge Between Academy and Industry?. ACM SIGSOFT Softw. Eng. Notes, 2019.

Antonio Brogi, Davide Neri, Jacopo Soldani. Freshening the Air in Microservices: Resolving Architectural Smells via Refactoring. Service-Oriented Computing - ICSOC 2019 Workshops - WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised Selected Papers, 2019.

Antonio Brogi, Andrea Corradini, Jacopo Soldani. Estimating costs of multi-component enterprise applications. Formal Aspects Comput., 2019.

Antonio Brogi, Davide Neri, Jacopo Soldani, Olaf Zimmermann. Design principles, architectural smells and refactorings for microservices: A multivocal review. CoRR, 2019.

Claus Pahl, Antonio Brogi, Jacopo Soldani, Pooyan Jamshidi. Cloud Container Technologies: A State-of-the-Art Review. IEEE Trans. Cloud Comput., 2019.

Antonio Brogi, Andrea Canciani, Jacopo Soldani. True Concurrent Management of Multi-component Applications. Service-Oriented and Cloud Computing - 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings, 2018.

Antonio Brogi, Luca Rinaldi, Jacopo Soldani. TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications. Softw. Pract. Exp., 2018.

Jacopo Soldani, Damian Andrew Tamburri, Willem-Jan van den Heuvel. The pains and gains of microservices: A Systematic grey literature review. J. Syst. Softw., 2018.

Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani. Simulation-based matching of cloud applications. Sci. Comput. Program., 2018.

Antonio Brogi, Gian Luigi Ferrari, Stefano Forti. Secure Apps in the Fog: Anything to Declare?. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers, 2018.

Stefano Forti. Predictive Management of Fog Applications. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers, 2018.

Antonio Brogi, Davide Neri, Luca Rinaldi, Jacopo Soldani. Orchestrating incomplete TOSCA applications with Docker. Sci. Comput. Program., 2018.

Antonio Brogi, Stefano Forti, Ahmad Ibrahim. Optimising QoS-Assurance, Resource Usage and Cost of Fog Application Deployments. Cloud Computing and Services Science - 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers, 2018.

Antonio Brogi, Claus Pahl, Jacopo Soldani. On Enhancing the Orchestration of Multi-container Docker Applications. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers, 2018.

Riccardo Guidotti, Jacopo Soldani, Davide Neri, Antonio Brogi, Dino Pedreschi. Helping Your Docker Images to Spread Based on Explainable Models. Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, Proceedings, Part III, 2018.

Antonio Brogi, Andrea Canciani, Jacopo Soldani. Fault-aware management protocols for multi-component applications. J. Syst. Softw., 2018.

Riccardo Guidotti, Jacopo Soldani, Davide Neri, Antonio Brogi. Explaining Successful Docker Images Using Pattern Mining Analysis. Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, 2018.

Antonio Brogi, Stefano Forti, Ahmad Ibrahim. Deploying Fog Applications: How Much Does It Cost, By the Way?. Proceedings of the 8th International Conference on Cloud Computing and Services Science, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, 2018.

Antonio Brogi, Stefano Forti, Ahmad Ibrahim, Luca Rinaldi. Bonsai in the Fog: An active learning lab with Fog computing. Third International Conference on Fog and Mobile Edge Computing, FMEC 2018, Barcelona, Spain, April 23-26, 2018, 2018.

Antonio Brogi, Marco Danelutto, Daniele De Sensi, Ahmad Ibrahim, Jacopo Soldani, Massimo Torquati. Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications. Int. J. Parallel Program., 2018.

Antonio Brogi, Davide Neri, Jacopo Soldani. A microservice-based architecture for (customisable) analyses of Docker images. Softw. Pract. Exp., 2018.

Antonio Brogi, Antonio Di Tommaso, Jacopo Soldani. Validating TOSCA Application Topologies. Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, 2017.

Antonio Brogi, Andrea Canciani, Davide Neri, Luca Rinaldi, Jacopo Soldani. Towards a Reference Dataset of Microservice-Based Applications. Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, 2017.

Antonio Brogi, Luca Rinaldi, Jacopo Soldani. TosKer: Orchestrating Applications with TOSCA and Docker. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers, 2017.

Antonio Brogi, Antonio Di Tommaso, Jacopo Soldani. Sommelier: A Tool for Validating TOSCA Application Topologies. Model-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers, 2017.

Antonio Brogi, Stefano Forti. QoS-Aware Deployment of IoT Applications Through the Fog. IEEE Internet Things J., 2017.

Jacopo Soldani. Modelling, analysing and reusing composite cloud applications. 2017.

Antonio Brogi, Andrea Canciani, Jacopo Soldani. Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included. Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, 2017.

Antonio Brogi. Keynote speech 3: QoS-aware deployment of Fog applications. 2017 Fourth International Conference on Software Defined Systems, SDS 2017, Valencia, Spain, May 8-11, 2017, 2017.

Antonio Brogi. Keynote speech 3: QoS-aware deployment of Fog applications. Second International Conference on Fog and Mobile Edge Computing, FMEC 2017, Valencia, Spain, May 8-11, 2017, 2017.

Antonio Brogi, Stefano Forti, Ahmad Ibrahim. How to Best Deploy Your Fog Applications, Probably. 1st IEEE International Conference on Fog and Edge Computing, ICFEC 2017, Madrid, Spain, May 14-15, 2017, 2017.

Antonio Brogi, Davide Neri, Luca Rinaldi, Jacopo Soldani. From (Incomplete) TOSCA Specifications to Running Applications, with Docker. Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, 2017.

Antonio Brogi, Paolo Cifariello, Jacopo Soldani. DrACO: Discovering available cloud offerings. Comput. Sci. Res. Dev., 2017.

Antonio Brogi, Davide Neri, Jacopo Soldani. DockerFinder: Multi-attribute Search of Docker Images. 2017 IEEE International Conference on Cloud Engineering, IC2E 2017, Vancouver, BC, Canada, April 4-7, 2017, 2017.

Antonio Brogi, Gabriele Mencagli, Davide Neri, Jacopo Soldani, Massimo Torquati. Container-Based Support for Autonomic Data Stream Processing Through the Fog. Euro-Par 2017: Parallel Processing Workshops - Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers, 2017.

Antonio Brogi. Application Deployment through the Fog. 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, 2017.

Jacopo Soldani, Tobias Binz, Uwe Breitenbücher, Frank Leymann, Antonio Brogi. ToscaMart: A method for adapting and reusing cloud applications. J. Syst. Softw., 2016.

Antonio Brogi, Jose Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Michele Guerriero, Diego Pérez, Ernesto Pimentel, Jacopo Soldani. SeaClouds: An Open Reference Architecture for Multi-cloud Governance. Software Architecture - 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016, Proceedings, 2016.

Antonio Brogi, Jacopo Soldani. Finding available services in TOSCA-compliant clouds. Sci. Comput. Program., 2016.

Antonio Brogi, Andrea Canciani, Jacopo Soldani. Fault-Aware Application Management Protocols. Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, 2016.

Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani. Behaviour-Aware Matching of Cloud Applications. 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, 2016.

Antonio Brogi, Andrea Canciani, Jacopo Soldani, PengWei Wang. A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications. Trans. Petri Nets Other Model. Concurr., 2016.

Dionysis Athanasopoulos, Miguel Barrientos, Leonardo Bartoloni, Antonio Brogi, Mattia Buccarella, Jose Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Adrián Nieto, Marc Oriol, Ernesto Pimentel, Simone Zenzaro. SeaClouds: Agile management of complex applications across multiple heterogeneous clouds. Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L’Aquila, Italy, July 22, 2015, 2015.

Antonio Brogi, Andrea Canciani, Jacopo Soldani, PengWei Wang. Modelling the Behaviour of Management Operations in Cloud-based Applications. Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015, 2015.

Antonio Brogi, Andrea Canciani, Jacopo Soldani. Modelling and Analysing Cloud Application Management. Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings, 2015.

Leonardo Bartoloni, Antonio Brogi, Ahmad Ibrahim. Automated Prediction of the QoS of Service Orchestrations: PASO at Work. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, 2015.

Antonio Brogi, Jose Carrasco, Javier Cubo, Elisabetta Di Nitto, Francisco Durán, Michela Fazzolari, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani, PengWei Wang, Francesco D'Andria. Adaptive management of applications across multiple clouds: The SeaClouds Approach. CLEI Electron. J., 2015.

Antonio Brogi, Ernesto Pimentel. Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers, 2014.

Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani. WebASM: An Abstract State Machine Execution Environment for the Web. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, 2014.

Antonio Brogi, Jacopo Soldani, PengWei Wang. TOSCA in a Nutshell: Promises and Perspectives. Service-Oriented and Cloud Computing - Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings, 2014.

Antonio Brogi, Jose Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani. SeaClouds: Seamless adaptive multi-cloud management of service-based applications. Proceedings of the XVII Iberoamerican Conference on Software Engineering, CIbSE 2014, Pucon, Chile, April 23-25, 2014, 2014.

Antonio Brogi, Ahmad Ibrahim, Jacopo Soldani, Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francesco D'Andria. SeaClouds: a European project on seamless management of multi-cloud applications. ACM SIGSOFT Softw. Eng. Notes, 2014.

Antonio Brogi, Jacopo Soldani. Reusing cloud-based services with TOSCA. 44. Jahrestagung der Gesellschaft für Informatik, Big Data - Komplexität meistern, INFORMATIK 2014, Stuttgart, Germany, September 22-26, 2014, 2014.

Leonardo Bartoloni, Antonio Brogi, Ahmad Ibrahim. Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach. Service-Oriented Computing - 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings, 2014.

Antonio Brogi, Jose Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani. EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds. CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science, Barcelona, Spain, April 3-5, 2014, 2014.

Antonio Brogi, Javier Cubo, Laura González, Ernesto Pimentel, Raúl Ruggia. Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform. J. Univers. Comput. Sci., 2014.

Laura González, Javier Cubo, Antonio Brogi, Ernesto Pimentel, Raúl Ruggia. Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers, 2013.

Antonio Brogi, Jacopo Soldani. Matching Cloud Services with TOSCA. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers, 2013.

Javier Cubo, Antonio Brogi, Ernesto Pimentel. Towards behaviour-aware compositions of things in the future internet. Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), Bertinoro, Italy, September 19, 2012, 2012.

Annapaola Marconi, Antonio Bucchiarone, Konstantinos Bratanis, Antonio Brogi, Javier Cámara, Dimitris Dranidis, Holger Giese, Raman Kazhamiakin, Rogério de Lemos, Clarissa Cassales Marquezan, Andreas Metzger. Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. First International Workshop on European Software Services and Systems Research - Results and Challenges, S-Cube 2012, Zurich, Switzerland, June 5, 2012, 2012.

Javier Cubo, Antonio Brogi, Ernesto Pimentel. Behaviour-Aware Compositions of Things. 2012 IEEE International Conference on Green Computing and Communications, Conference on Internet of Things, and Conference on Cyber, Physical and Social Computing, GreenCom/iThings/CPSCom 2012, Besancon, France, November 20-23, 2012, 2012.

Razvan Popescu, Athanasios Staikopoulos, Antonio Brogi, Peng Liu, Siobhán Clarke. A formalized, taxonomy-driven approach to cross-layer application adaptation. ACM Trans. Auton. Adapt. Syst., 2012.

Antonio Brogi. On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. J. Log. Algebraic Methods Program., 2011.

José Antonio Martín, Antonio Brogi, Ernesto Pimentel. Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, 2011.

José Júlio Alferes, Federico Banti, Antonio Brogi. Evolving reactive logic programs. Intelligenza Artificiale, 2011.

Razvan Popescu, Athanasios Staikopoulos, Peng Liu, Antonio Brogi, Siobhán Clarke. Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates. Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27 September - 1 October 2010, 2010.

Antonio Brogi, Razvan Popescu, Matteo Tanca. Design and implementation of Sator: A web service aggregator. ACM Trans. Softw. Eng. Methodol., 2010.

Antonio Brogi, Sara Corfini. Analysing the Behaviour of Peer Specifications for mobile P2P applications. Proceedings of the 13th Iberoamerican Conference on Software Engineering, CIbSE 2010, Cuenca, Ecuador, April 12-16, 2010, 2010.

Antonio Brogi, Cesare Pautasso, George Angelos Papadopoulos. 8th IEEE European Conference on Web Services (ECOWS 2010), 1-3 December 2010, Ayia Napa, Cyprus. IEEE Computer Society, 2010.

Ana M. Roldán, Ernesto Pimentel, Antonio Brogi. Software composition with Linda. Comput. Lang. Syst. Struct., 2009.

Antonio Brogi, João Araújo, Raquel Anaya. Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medellín, Colombia, Abril 13-17, 2009. 2009.

Antonio Brogi, Sara Corfini, Thaizel Fuentes. A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings, 2009.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae, 2009.

Antonio Brogi, Razvan Popescu. Workflow-based semantics for peer-to-peer specifications. Frontiers Comput. Sci. China, 2008.

Antonio Brogi, Razvan Popescu. Workflow Semantics of Peer and Service Behaviour. Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, 2008.

Antonio Brogi, Sara Corfini, Thaizel Fuentes. Tailoring service discovery to embedded P2P systems. 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2008, July 21-25, 2008, Dublin, Ireland, 2008.

Antonio Brogi, Sara Corfini, Razvan Popescu. Semantics-based composition-oriented discovery of Web services. ACM Trans. Internet Techn., 2008.

Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu. Secure P2P Programming on Top of Tuple Spaces. 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2008, Rome, Italy, June 23-25, 2008, Proceedings, 2008.

Antonio Brogi, Sara Corfini. Ontology- and Behavior-Aware Discovery of Web Service Compositions. Int. J. Cooperative Inf. Syst., 2008.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae, 2008.

Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu. Modelado de sistemas P2P con control de excepciones. Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), Recife, Pernambuco, Brasil, February 13-17, 2008, 2008.

José Júlio Alferes, Federico Banti, Antonio Brogi. Evolving Reactive Logic Programs. Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008, 2008.

Fabrizio Benigni, Antonio Brogi, Sara Corfini. Discovering service compositions that feature a desired behaviour. Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), Recife, Pernambuco, Brasil, February 13-17, 2008, 2008.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings, 2008.

Antonio Brogi, Razvan Popescu. Service adaptation through trace inspection. Int. J. Bus. Process. Integr. Manag., 2007.

Antonio Brogi, Sara Corfini. SAM : A Semantic Web Service Discovery System. Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III, 2007.

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel. Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004. Elsevier, 2007.

Antonio Brogi, Sara Corfini, Stefano Iardella. From OWL-S Descriptions to Petri Nets. Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers, 2007.

Fabrizio Benigni, Antonio Brogi, Sara Corfini. Discovering Service Compositions That Feature a Desired Behaviour. Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings, 2007.

Antonio Brogi, Sara Corfini. Behaviour-Aware Discovery of Web Service Compositions. Int. J. Web Serv. Res., 2007.

Antonio Brogi, Razvan Popescu. Automated Generation of BPEL Adapters. Memorias de la X Conferencia Iberoamericana de Software Engineering (CIbSE 2007), Isla de Marguerita, Venezuela, Mayo 7-11, 2007, 2007.

Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel. A Service-Oriented Model for Embedded Peer-to-Peer Systems. Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007, 2007.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. A Behavioural Congruence for Web Services. International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, 2007.

Antonio Brogi, Razvan Popescu. Towards Semi-automated Workflow-based Aggregation of Web Services. Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), La Plata, Argentina, Abril 24-28, 2006, 2006.

Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel. Preface. Sci. Comput. Program., 2006.

Antonio Brogi, Carlos Canal, Ernesto Pimentel. On the semantics of software adaptation. Sci. Comput. Program., 2006.

Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi. On the expressiveness of timed coordination models. Sci. Comput. Program., 2006.

Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden. Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. Fundam. Informaticae, 2006.

Antonio Brogi, Razvan Popescu. From BPEL Processes to YAWL Workflows. Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, 2006.

Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok. Foundations on Coordination Languages and Software Architectures. Fundam. Informaticae, 2006.

Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel. Dynamic Contextual Adaptation. Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006, 2006.

Antonio Brogi, Carlos Canal, Ernesto Pimentel. Component adaptation through flexible subservicing. Sci. Comput. Program., 2006.

Antonio Brogi, Razvan Popescu. Automated Generation of BPEL Adapters. Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings, 2006.

Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado. Automated Discovery of Compositions of Services Described with Separate Ontologies. Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings, 2006.

José Júlio Alferes, Federico Banti, Antonio Brogi. An Event-Condition-Action Logic Programming Language. Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, 2006.

Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado. A Prototype for Discovering Compositions of Semantic Web Services. SWAP 2006 - Semantic Web Applications and Perspectives, Proceedings of the 3rd Italian Semantic Web Workshop, Scuola Normale Superiore, Pisa, Italy, 18-20 December, 2006, 2006.

Antonio Brogi, Razvan Popescu. Towards Semi-automated Workflow-Based Aggregation of Web Services. Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, 2005.

Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler. The Well Supported Semantics for Multidimensional Dynamic Logic Programs. Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, 2005.

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite. The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica, 2005.

Federico Banti, José Júlio Alferes, Antonio Brogi. Operational Semantics for DyLPs. Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, 2005.

Antonio Brogi, Sara Corfini, Razvan Popescu. Composition-Oriented Service Discovery. Software Composition - 4th International Workshop, SC@ETAPS 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers, 2005.

Andrea Bracciali, Antonio Brogi, Franco Turini. A framework for specifying and verifying the behaviour of open systems. J. Log. Algebraic Methods Program., 2005.

Andrea Bracciali, Antonio Brogi, Carlos Canal. A formal approach to component adaptation. J. Syst. Softw., 2005.

Federico Banti, José Júlio Alferes, Antonio Brogi. Well Founded Semantics for Logic Program Updates. Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, 2004.

Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli. Towards an Engineering Approach to Component Adaptation. Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004.

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite. Semantics for Dynamic Logic Programming: A Principle-Based Approach. Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, 2004.

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel. Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003. Elsevier, 2004.

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel. Preface. Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004, 2004.

Antonio Brogi. On the Semantics of Logic Program Composition. Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004.

Antonio Brogi, Carlos Canal, Ernesto Pimentel. Measuring Component Adaptation. Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, 2004.

José Júlio Alferes, Federico Banti, Antonio Brogi. From Logic Programs Updates to Action Description Updates. Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers, 2004.

Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo. Formalizing Web Service Choreographies. Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004, 2004.

Clara Baracchini, Antonio Brogi, Marco Callieri, Lucia Capitani, Paolo Cignoni, Andrea Fasano, Claudio Montani, C. Nenci, R. P. Novello, Paolo Pingi, Federico Ponchio, Roberto Scopigno. Digital reconstruction of the Arrigo VII funerary complex. 5th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage, incorporating the 2nd Eurographics Workshop on Graphics and Cultural Heritage, VAST 2004, Brussels and Oudenaarde, Belgium, December 7-10, 2004, 2004.

Antonio Brogi, Carlos Canal, Ernesto Pimentel. Behavioural Types for Service Integration: Achievements and Challenges. Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004, 2004.

Antonio Brogi, Carlos Canal, Ernesto Pimentel. Behavioural Types and Component Adaptation. Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, 2004.

Antonio Brogi, Carlos Canal, Ernesto Pimentel. Soft component adaptation. First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, 2003.

Ana M. Roldán, Ernesto Pimentel, Antonio Brogi. Safe Composition of Linda-based Components. International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, 2003.

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel. Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003, 2003.

Antonio Brogi, Carlos Canal, Ernesto Pimentel. On the specification of software adaptation. Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003, 2003.

Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi. On the Expressiveness of Relative-Timed Coordination Models. Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003, 2003.

Antonio Brogi, Jean-Marie Jacquet. On the expressiveness of coordination via shared dataspaces. Sci. Comput. Program., 2003.

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. Logic Programming for Evolving Agents. Cooperative Information Agents VII, 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings, 2003.

Antonio Brogi, Jean-Marie Jacquet. Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Elsevier, 2003.

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. An Evolving Agent with EVOLP. 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, 2003.

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. An Evolvable Rule-Based E-mail Agent. Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings, 2003.

Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo. A Deductive Database Approach to A.I. Planning. J. Intell. Inf. Syst., 2003.

Andrea Bracciali, Antonio Brogi, Carlos Canal. Systematic Component Adaptation. Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002, 2002.

Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto. Security and Dynamic Compositions of Open Systems. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA ‘02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3, 2002.

Antonio Brogi, Jean-Marie Jacquet. Preface. Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002, 2002.

Antonio Brogi, Ernesto Pimentel. Preface. Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002, 2002.

Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden. On Modeling Coordination via Asynchronous Communication and Enhanced Matching. Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002, 2002.

Antonio Brogi, Ernesto Pimentel. Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002. Elsevier, 2002.

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. Evolving Logic Programs. Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, 2002.

Andrea Bracciali, Antonio Brogi, Carlos Canal. Dynamically Adapting the Behaviour of Software Components. Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings, 2002.

Antonio Brogi, Ernesto Pimentel, Ana M. Roldán. Compatibility of Linda-based Component Interfaces. Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002, 2002.

Andrea Bracciali, Antonio Brogi, Carlos Canal. Adapting Components with Mismatching Behaviours. Component Deployment, IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings, 2002.

Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto. Security Issues in Component-based Design. International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001, 2001.

Antonio Brogi. Probabilistic behaviours of reactive agents. Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, 2001.

Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky. Linear Embedding for a Quantitative Comparison of Language Expressiveness. Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001, 2001.

Antonio Brogi, Gianluca Caruso. From Subject Directories to Subject Meta-directories via Declarative Programming. Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, 2001.

Andrea Bracciali, Antonio Brogi, Franco Turini. Coordinating interaction patterns. Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA, 2001.

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. Computing Environment-Aware Agent Behaviours with Logic Program Updates. Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers, 2001.

Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro. Comparative analysis of the expressiveness of shared dataspace coordination. Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001, 2001.

Antonio Brogi, Patricia M. Hill. Special Issue on Logical Formalisms for Program Composition - Editorial. J. Funct. Log. Program., 2000.

Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi. On Timed Coordination Languages. Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings, 2000.

Antonio Brogi, Simone Contiero, Franco Turini. On the Interplay between Reactivity and Computation. CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000, 2000.

Antonio Brogi, Simone Contiero, Franco Turini. Programming by Combining General Logic Programs. J. Log. Comput., 1999.

Antonio Brogi, Jean-Marie Jacquet. On the Expressiveness of Coordination Models. Coordination Languages and Models, Third International Conference, COORDINATION ‘99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings, 1999.

Clara Baracchini, Antonio Brogi, Davide Merlitti. Interactive Information System for the Camposanto Monumentale of Pisa. 20th Annual Conference of the European Association for Computer Graphics, Eurographics 1999 - Short Presentations, Milan, Italy, September 7-11, 1999, 1999.

Antonio Brogi, G. Marongiu. ExpertFinder: A Prolog Recommender System Integrated with the WWW. 1999 Joint Conference on Declarative Programming, AGP'99, L’Aquila, Italy, September 6-9, 1999, 1999.

Antonio Brogi, Chiara Renso, Franco Turini. Dynamic composition of parameterised logic modules. Comput. Lang., 1999.

Antonio Brogi, Simone Contiero, Franco Turini. The Use of Renaming in Composing General Programs. Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, 1998.

Antonio Brogi, Jean-Marie Jacquet. On the Expressiveness of Linda-like Concurrent Languages. Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998, 1998.

Antonio Brogi, Simone Contiero. A Program Specialiser for Meta-Level Compositions of Logic Programs. New Gener. Comput., 1998.

Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo. The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. Ann. Math. Artif. Intell., 1997.

Antonio Brogi, Jean-Marie Jacquet. Modeling Coordination via Asynchronous Communication. Coordination Languages and Models, Second International Conference, COORDINATION ‘97, Berlin, Germany, September 1-3, 1997, Proceedings, 1997.

Antonio Brogi, Simone Contiero, Franco Turini. Composing General Logic Programs. Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, 1997.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci., 1997.

Antonio Brogi. A Turing machine contest for introducing high school students to computer science. ACM SIGCSE Bull., 1997.

Antonio Brogi, Simone Contiero. Specialising Meta-level Compositions of Logic Programs. Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings, 1996.

Antonio Brogi, Simone Contiero. Specialising Meta-level Compositions of Logic Programs. 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996, 1996.

Antonio Brogi, Cosimo Guarino. Pruning the Search Space of Logic Programs. Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, 1996.

Antonio Brogi, Franco Turini. Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theor. Comput. Sci., 1995.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. An Abductive Framework for Extended Logic Programming. Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings, 1995.

Antonio Brogi, Franco Turini. Semantics of Meta-Logic in an Algebra of Programs. Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS ‘94), Paris, France, July 4-7, 1994, 1994.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Modular Logic Programming. ACM Trans. Program. Lang. Syst., 1994.

Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini. Implementations of Program Composition Operations. Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, 1994.

Koenraad De Bosschere, Jean-Marie Jacquet, Antonio Brogi. ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994. 1994.

Antonio Brogi, Simone Contiero. Gödel as a Meta-Language for Composing Logic Programs. Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, 1994.

Antonio Brogi, Chiara Renso, Franco Turini. Amalgamating Language and Meta-language for Composing Logic Programs. 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2, 1994.

Antonio Brogi, Roberto Gorrieri. Distributed Logic Programming. J. Log. Program., 1993.

Antonio Brogi, Evelina Lamma, Paola Mello. Composing Open Logic Programs. J. Log. Comput., 1993.

Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello. The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Inf. Process. Lett., 1992.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. Normal Logic Programs as Open Positive Programs. Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992, 1992.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. Normal logic programs as open positive programs. CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, 1992.

Antonio Brogi, Franco Turini. Metalogic for State Oriented Programming. Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, 1992.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Meta for Modularising Logic Programming. Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings, 1992.

Antonio Brogi, Evelina Lamma, Paola Mello. Compositional Model-Theoretic Semantics for Logic Programs. New Gener. Comput., 1992.

Antonio Brogi, Evelina Lamma, Paola Mello. ATMS for Implementing Logic Programming. 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings, 1992.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Theory Construction in Computational Logic. Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, 1991.

Antonio Brogi, Paolo Ciancarini. The Concurrent Language, Shared Prolog. ACM Trans. Program. Lang. Syst., 1991.

Antonio Brogi, Evelina Lamma, Paola Mello. Open Logic Theories. Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings, 1991.

Antonio Brogi, Evelina Lamma, Paola Mello. Objects in a Logic Programming Framework. Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, 1991.

Antonio Brogi, Franco Turini. Metalogic for Knowledge Representation. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991, 1991.

Antonio Brogi, Maurizio Gabbrielli. Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, 1991.

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. Abductive Reasoning in a Multi-Theory Framework. Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AIIA, Palermo, Italy, October, 29-31, 1991, Proceedings*, 1991.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Universal Quantification by Case Analysis. 9th European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, 1990, 1990.

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Logic Programming within a Functional Framework. Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, 1990.

Antonio Brogi, Evelina Lamma, Paola Mello. Inheritance and Hypothetical Reasoning in Logic Programming. 9th European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, 1990, 1990.

Antonio Brogi, Evelina Lamma, Paola Mello. Hypothetical Reasoning in Logic Programming: A Semantic Approach. Inf. Process. Lett., 1990.

Antonio Brogi. AND-Parallelism without Shared Variables. Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990, 1990.

Antonio Brogi, Roberto Gorrieri. Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, 1989.

Antonio Brogi, Roberto Gorrieri. A Distributed, Net Oriented Semantics for Delta Prolog. TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89), 1989.