| 2024 | PPAM | Private Computation of Boolean Functions Using Single Qubits. | Zeinab Rahmani, Armando N. Pinto, Lus Soares Barbosa |
| 2024 | QCE | Trainability Issues in Quantum Policy Gradients with Softmax Activations. | Andr Sequeira, Lus Paulo Santos, Lus Soares Barbosa |
| 2024 | SEFM | Paraconsistency for the Working Software Engineer (Extended Abstract). | Lus Soares Barbosa |
| 2024 | SEFM | Paraconsistent Reactive Graphs. | Juliana Cunha, Alexandre Madeira, Lus Soares Barbosa |
| 2024 | SEFM | Reconfiguring Staggered Quantum Walks with ZX. | Bruno Jardim, Jaime Santos, Lus Soares Barbosa |
| 2023 | TASE | Stepwise Development of Paraconsistent Processes. | Juliana Cunha, Alexandre Madeira, Lus Soares Barbosa |
| 2021 | TASE | Towards a specification theory for fuzzy modal logic. | Manisha Jain, Leandro Gomes, Alexandre Madeira, Lus Soares Barbosa |
| 2020 | ICSE | Software engineering for 'quantum advantage'. | Lus Soares Barbosa |
| 2019 | ETFA | Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. | Luiz Fernando Puttow Southier, Muriel Mazzetto, Dalcimar Casanova, Marco A. C. Barbosa, Lus Soares Barbosa, Marcelo Teixeira |
| 2019 | ICFEM | On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. | Leandro Gomes, Alexandre Madeira, Manisha Jain, Lus Soares Barbosa |
| 2017 | CLOSER | A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. | Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Lus Soares Barbosa |
| 2017 | ICSE | Modeling Families of Public Licensing Services: A Case Study. | Guillermina Cledou, Lus Soares Barbosa |
| 2017 | TABLEAUX | Layered Logics, Coalgebraically. | Lus Soares Barbosa |
| 2016 | ICTAC | Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. | Alexandre Madeira, Lus Soares Barbosa, Rolf Hennicker, Manuel A. Martins |
| 2016 | ICTAC | Hybrid Automata as Coalgebras. | Renato Neves, Lus Soares Barbosa |
| 2014 | IRI | Paradigm integration in a specification course. | Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa, Renato Neves |
| 2014 | SAC | Quantitative analysis of Reo-based service coordination. | Nuno Oliveira, Alexandra Silva, Lus Soares Barbosa |
| 2014 | SEFM | Modelling and Verifying Smell-Free Architectures with the Archery Language. | Alejandro Sanchez, Lus Soares Barbosa, Alexandre Madeira |
| 2013 | CALCO | Hybridisation at Work. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | Giving Alloy a family. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | IRI | An Institution for Alloy and Its Translation to Second-Order Logic. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | ITiCSE | A pilot project on non-conventional learning. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2013 | SAC | On the reconfiguration of software connectors. | Nuno Oliveira, Lus Soares Barbosa |
| 2013 | SEFM | Analysis of FLOSS Communities as Learning Contexts. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2013 | TASE | When Even the Interface Evolves... | Alexandre Madeira, Renato Neves, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | TASE | Verifying Bigraphical Models of Architectural Reconfigurations. | Alejandro Sanchez, Lus Soares Barbosa, Daniel Riesco |
| 2012 | SEFM | Mathematical Literacy as a Condition for Sustainable Development. | Lus Soares Barbosa, Maria Helena Martinho |
| 2012 | SEFM | A Preliminary Analysis of Learning Awareness in FLOSS Projects. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa |
| 2012 | SEFM | FLOSS in Technology-Enhanced Learning. | Sara Fernandes, Antonio Cerone, Lus Soares Barbosa, Pantelis M. Papadopoulos |
| 2012 | SEW | Analysing Tactics in Architectural Patterns. | Alejandro Sanchez, Ademar Aguiar, Lus Soares Barbosa, Daniel Riesco |
| 2011 | CALCO | Shacc: A Functional Prototyper for a Component Calculus. | Andr Martins, Lus Soares Barbosa, Nuno F. Rodrigues |
| 2011 | CALCO | Hybridization of Institutions. | Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Lus Soares Barbosa |
| 2011 | SEFM | Hybrid Specification of Reactive Systems: An Institutional Approach. | Alexandre Madeira, Jos M. Faria, Manuel A. Martins, Lus Soares Barbosa |
| 2010 | CISIS | QoS-aware Component Composition. | Lus Soares Barbosa, Sun Meng |
| 2010 | SAC | Towards the introduction of QoS information in a component model. | Sun Meng, Lus Soares Barbosa |
| 2010 | SYNASC | Revisiting Context-Aware Component Interconnection. | Lus Soares Barbosa, Marco Antonio Barbosa, Csar Jesus Rodrigues |
| 2009 | SEFM | Refinement via Interpretation. | Manuel A. Martins, Alexandre Madeira, Lus Soares Barbosa |
| 2008 | SCAM | CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. | Nuno F. Rodrigues, Lus Soares Barbosa |
| 2008 | SERVICES | On the Discovery of Business Processes Orchestration Patterns. | Nuno F. Rodrigues, Lus Soares Barbosa |
| 2008 | SYNASC | UML Model Refactoring as Refinement: A Coalgebraic Perspective. | Lus Soares Barbosa, Sun Meng |
| 2008 | TASE | A Relational Model for Confined Separation Logic. | Shuling Wang, Lus Soares Barbosa, Jos Nuno Oliveira |
| 2005 | ICTAC | On Refinement of Software Architectures. | Sun Meng, Lus Soares Barbosa, Zhang Naixiao |
| 2004 | ICTAC | Specifying Software Connectors. | Marco Antonio Barbosa, Lus Soares Barbosa |
| 2004 | SEFM | On Semantics and Refinement of UML Statecharts: A Coalgebraic View. | Sun Meng, Zhang Naixiao, Lus Soares Barbosa |
| 2002 | FLOPS | Coinductive Interpreters for Process Calculi. | Lus Soares Barbosa, Jos Nuno Oliveira |