| 2021 | EUSPN | Business Analytics Components for Public Health Institution - Clinical Decision Area. | Joo Abreu, Tiago Guimares, Antnio Abelha, Manuel Filipe Santos |
| 2020 | DAIS | Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report). | Ana Nunes Alonso, Joo Abreu, David Nunes, Andr Vieira, Luiz Santos, Trcio Soares, Jos Pereira |
| 2017 | WorldCIST | Assessment of Microsoft Kinect in the Monitoring and Rehabilitation of Stroke Patients. | Joo Abreu, Srgio Rebelo, Hugo Paredes, Joo Barroso, Paulo Martins, Arsnio Reis, Eurico Vasco Amorim, Vtor Filipe |
| 2009 | FORTE | A Model-Checking Approach for Service Component Architectures. | Joo Abreu, Franco Mazzanti, Jos Luiz Fiadeiro, Stefania Gnesi |
| 2008 | Coordination | A Coordination Model for Service-Oriented Interactions. | Joo Abreu, Jos Luiz Fiadeiro |
| 2007 | FORTE | Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. | Joo Abreu, Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2006 | ICFEM | Checking the Conformance of Java Classes Against Algebraic Specifications. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos, Joo Abreu, Lus S. Reis |