CAMILA: Prototyping and Refinement of Constructive Specifications. - José João Almeida; Luís Soares Barbosa; F. Luis Neves; José Nuno Oliveira (AMAST, 1997)

Prototyping Processes. - Luís Soares Barbosa (APPIA-GULP-PRODE, 1999)

Components as Processes: An Exercise in Coalgebraic Modeling. - Luís Soares Barbosa (FMOODS, 2000)

Process Calculià la Bird-Meertens. - Luís Soares Barbosa (CMCS, 2001)

Components as coalgebras - Luís Soares Barbosa (2001)

Coinductive Interpreters for Process Calculi. - Luís Soares Barbosa; José Nuno Oliveira (FLOPS, 2002)

State-based Components Made Generic. - Luís Soares Barbosa; José Nuno Oliveira (CMCS, 2003)

Towards a Calculus of State-based Software Components. - Luís Soares Barbosa (J. Univers. Comput. Sci., 2003)

On Refinement of Generic State-Based Software Components. - Sun Meng; Luís Soares Barbosa (AMAST, 2004)

A Perspective on Component Refinement. - Luís Soares Barbosa (FMCO, 2004)

Specifying Software Connectors. - Marco Antonio Barbosa; Luís Soares Barbosa (ICTAC, 2004)

On Semantics and Refinement of UML Statecharts: A Coalgebraic View. - Sun Meng; Zhang Naixiao; Luís Soares Barbosa (SEFM, 2004)

A Coalgebraic Semantic Framework for Component-based Development in UML. - Sun Meng; Bernhard K. Aichernig; Luís Soares Barbosa; Zhang Naixiao (CTCS, 2004)

Architectural Prototyping: From CCS to .Net. - Nuno F. Rodrigues; Luís Soares Barbosa (SBMF, 2004)

A Relational Model for Component Interconnection. - Marco Antonio Barbosa; Luís Soares Barbosa (J. Univers. Comput. Sci., 2004)

Slicing Functional Programs by Calculation. - Nuno F. Rodrigues; Luís Soares Barbosa (Beyond Program Slicing, 2005)

On Refinement of Software Architectures. - Sun Meng; Luís Soares Barbosa; Zhang Naixiao (ICTAC, 2005)

Preface. - Zhiming Liu 001; Luís Soares Barbosa (FACS, 2005)

Component Identification Through Program Slicing. - Nuno F. Rodrigues; Luís Soares Barbosa (FACS, 2005)

From Algebras to Objects: Generation and Composition. - A. Miguel Cruz; Luís Soares Barbosa; José Nuno Oliveira (J. Univers. Comput. Sci., 2005)

Configurations of Web Services. - Marco Antonio Barbosa; Luís Soares Barbosa (FOCLASA, 2006)

An Orchestrator for Dynamic Interconnection of Software Components. - Marco Antonio Barbosa; Luís Soares Barbosa (CoOrg/MTCoord@COORDINATION, 2006)

Towards a Coordination Model for Interactive Systems. - Marco Antonio Barbosa; Luís Soares Barbosa; José Creissac Campos (FMIS@ICFEM, 2006)

Generic Process Algebra: A Programming Challenge. - Paula R. Ribeiro; Marco Antonio Barbosa; Luís Soares Barbosa (J. Univers. Comput. Sci., 2006)

Program Slicing by Calculation. - Nuno F. Rodrigues; Luís Soares Barbosa (J. Univers. Comput. Sci., 2006)

Transposing partial components - An exercise on coalgebraic refinement. - Luís Soares Barbosa; José Nuno Oliveira (Theor. Comput. Sci., 2006)

Components as coalgebras: The refinement dimension. - Sun Meng; Luís Soares Barbosa (Theor. Comput. Sci., 2006)

A type-level approach to component prototyping. - Luís Soares Barbosa; Jácome Cunha; Joost Visser 001 (SYANCO, 2007)

An Exercise on Transition Systems. - Paula R. Ribeiro; Luís Soares Barbosa; Shuling Wang (TTSS, 2007)

Higher-Order Lazy Functional Slicing. - Nuno F. Rodrigues; Luís Soares Barbosa (J. Univers. Comput. Sci., 2007)

Calculating Invariants as Coreflexive Bisimulations. - Luís Soares Barbosa; José Nuno Oliveira; Alexandra Silva 001 (AMAST, 2008)

A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. - Sun Meng; Luís Soares Barbosa (QSIC, 2008)

CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. - Nuno F. Rodrigues; Luís Soares Barbosa (SCAM, 2008)

On the Discovery of Business Processes Orchestration Patterns. - Nuno F. Rodrigues; Luís Soares Barbosa (SERVICES I, 2008)

UML Model Refactoring as Refinement: A Coalgebraic Perspective. - Luís Soares Barbosa; Sun Meng (SYNASC, 2008)

A Relational Model for Confined Separation Logic. - Shuling Wang; Luís Soares Barbosa; José Nuno Oliveira (TASE, 2008)

Co-Algebraic Semantic Framework for Reasoning about Interaction Designs. - Sun Meng; Luís Soares Barbosa (UML 2 Semantics and Applications, 2009)

A Coordination Model for Interactive Components. - Marco Antonio Barbosa; Luís Soares Barbosa; José Creissac Campos (FSEN, 2009)

Refinement via Interpretation. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (SEFM, 2009)

Which Mathematics for the Information Society? - João F. Ferreira 001; Alexandra Mendes; Roland Carl Backhouse; Luís Soares Barbosa (TFM, 2009)

Preface. - Luís Soares Barbosa; Antonio Cerone; Siraj Ahmed Shaikh (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Implementation of an Orchestration Language as a Haskell Domain Specific Language. - Marco Devesas Campos; Luís Soares Barbosa (FOCLASA, 2009)

Refinement by Interpretation in a General Setting. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (REFINE@FMWeek, 2009)

A Single Complete Relational Rule for Coalgebraic Refinement. - César Jesus Rodrigues; José Nuno Oliveira; Luís Soares Barbosa (REFINE@FMWeek, 2009)

A perspective on service orchestration. - Marco Antonio Barbosa; Luís Soares Barbosa (Sci. Comput. Program., 2009)

QoS-aware Component Composition. - Luís Soares Barbosa; Sun Meng (CISIS, 2010)

Towards the introduction of QoS information in a component model. - Sun Meng; Luís Soares Barbosa (SAC, 2010)

Revisiting Context-Aware Component Interconnection. - Luís Soares Barbosa; Marco Antonio Barbosa; César Jesus Rodrigues (SYNASC, 2010)

Certification of open-source software: A role for formal methods? - Luís Soares Barbosa; Antonio Cerone; Alexander K. Petrenko; Siraj A. Shaikh (Comput. Syst. Sci. Eng., 2010)

Special issue: Open Source Certification. - Ernesto Damiani; Luís Soares Barbosa; Peter T. Breuer; Claudio A. Ardagna (Comput. Syst. Sci. Eng., 2010)

Bringing class diagrams to life. - Luís Soares Barbosa; Sun Meng (Innov. Syst. Softw. Eng., 2010)

Slicing for architectural analysis. - Nuno F. Rodrigues; Luís Soares Barbosa (Sci. Comput. Program., 2010)

A language for behavioural modelling of architectural patterns. - Alejandro Sanchez; Luís Soares Barbosa; Daniel Riesco (BM-FA, 2011)

Shacc: A Functional Prototyper for a Component Calculus. - André Martins; Luís Soares Barbosa; Nuno F. Rodrigues (CALCO, 2011)

Hybridization of Institutions. - Manuel A. Martins 001; Alexandre Madeira; Razvan Diaconescu; Luís Soares Barbosa (CALCO, 2011)

Bigraphical Modelling of Architectural Patterns. - Alejandro Sanchez; Luís Soares Barbosa; Daniel Riesco (FACS, 2011)

The Role of Coordination Analysis in Software Integration Projects. - Nuno F. Rodrigues; Nuno Oliveira 001; Luís Soares Barbosa (OTM Workshops, 2011)

Hybrid Specification of Reactive Systems: An Institutional Approach. - Alexandre Madeira; José M. Faria; Manuel A. Martins 001; Luís Soares Barbosa (SEFM, 2011)

Logic Training through Algorithmic Problem Solving. - João F. Ferreira 001; Alexandra Mendes; Alcino Cunha; Carlos Baquero; Paulo F. Silva 001; Luís Soares Barbosa; José Nuno Oliveira (TICTTL, 2011)

Refinement by interpretation in π-institutions - César Jesus Rodrigues; Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (Refine@FM, 2011)

Preface. - Luís Soares Barbosa; Dimitrios Settas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. - Sara Fernandes; Antonio Cerone; Luís Soares Barbosa (ICEGOV, 2012)

Software Components as Invariant-Typed Arrows - (Keynote Talk). - Luís Soares Barbosa (SBLP, 2012)

Mathematical Literacy as a Condition for Sustainable Development. - Luís Soares Barbosa; Maria Helena Martinho (SEFM Satellite Events, 2012)

A Preliminary Analysis of Learning Awareness in FLOSS Projects. - Sara Fernandes; Antonio Cerone; Luís Soares Barbosa (SEFM Satellite Events, 2012)

FLOSS in Technology-Enhanced Learning. - Sara Fernandes; Antonio Cerone; Luís Soares Barbosa; Pantelis M. Papadopoulos (SEFM Satellite Events, 2012)

Analysing Tactics in Architectural Patterns. - Alejandro Sanchez; Ademar Aguiar; Luís Soares Barbosa; Daniel Riesco (SEW, 2012)

Reconfiguration Mechanisms for Service Coordination. - Nuno Oliveira 001; Luís Soares Barbosa (WS-FM, 2012)

A Calculus for Generic, QoS-Aware Component Composition. - Luís Soares Barbosa; Meng Sun 002 (Math. Comput. Sci., 2012)

Hybridisation at Work. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (CALCO, 2013)

Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. - Sara Fernandes; Maria Helena Martinho; Antonio Cerone; Luís Soares Barbosa (CRIWG, 2013)

Giving Alloy a family. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (IRI, 2013)

An Institution for Alloy and Its Translation to Second-Order Logic. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (IRI (best papers), 2013)

A pilot project on non-conventional learning. - Sara Fernandes; Antonio Cerone; Luís Soares Barbosa (ITiCSE, 2013)

On the reconfiguration of software connectors. - Nuno Oliveira 001; Luís Soares Barbosa (SAC, 2013)

Boilerplates for Reconfigurable Systems: A Language and Its Semantics. - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (SBLP, 2013)

Analysis of FLOSS Communities as Learning Contexts. - Sara Fernandes; Antonio Cerone; Luís Soares Barbosa (SEFM Workshops, 2013)

When Even the Interface Evolves... - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (TASE, 2013)

Verifying Bigraphical Models of Architectural Reconfigurations. - Alejandro Sanchez; Luís Soares Barbosa; Daniel Riesco (TASE, 2013)

Bisimilarity and refinement for hybrid(ised) logics - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (Refine@IFM, 2013)

A Coalgebraic Perspective on Logical Interpretations. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (Stud Logica, 2013)

Paradigm integration in a specification course. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa; Renato Neves (IRI, 2014)

Quantitative analysis of Reo-based service coordination. - Nuno Oliveira 001; Alexandra Silva 001; Luís Soares Barbosa (SAC, 2014)

A Self-Adaptation Strategy for Service-Based Architectures. - Nuno Oliveira 001; Luís Soares Barbosa (SBCARS, 2014)

A Dynamic Logic for Every Season. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (SBMF, 2014)

Completeness and Decidability Results for Hybrid(ised) Logics. - Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (SBMF, 2014)

Modelling and Verifying Smell-Free Architectures with the Archery Language. - Alejandro Sanchez; Luís Soares Barbosa; Alexandre Madeira (SEFM Workshops, 2014)

ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. - Flávio Rodrigues; Nuno Oliveira 001; Luís Soares Barbosa (SLATE, 2014)

The role of logical interpretations in program development. - Manuel A. Martins 001; Alexandre Madeira; Luís Soares Barbosa (Log. Methods Comput. Sci., 2014)

A Hilbert-Style Axiomatisation for Equational Hybrid Logic. - Luís Soares Barbosa; Manuel A. Martins 001; Marta Carreteiro (J. Log. Lang. Inf., 2014)

Formal Aspects of Component Software (FACS 2010 selected and extended papers). - Luís Soares Barbosa; Markus Lumpe (Sci. Comput. Program., 2014)

Selected contributions from the Open Source Software Certification (OpenCert) workshops. - Luís Soares Barbosa; Siraj Ahmed Shaikh (Sci. Comput. Program., 2014)

Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. - Francisco Heron de Carvalho Junior; Luís Soares Barbosa (Sci. Comput. Program., 2014)

On the verification of architectural reconfigurations. - Alejandro Sanchez; Alexandre Madeira; Luís Soares Barbosa (Comput. Lang. Syst. Struct., 2015)

Towards an engine for coordination-based architectural reconfigurations. - Flávio Rodrigues; Nuno Oliveira 001; Luís Soares Barbosa (Comput. Sci. Inf. Syst., 2015)

A logic for n-dimensional hierarchical refinement. - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (Refine@FM, 2015)

Refinement in hybridised institutions. - Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa; Rolf Hennicker (Formal Aspects Comput., 2015)

IMCReo: interactive Markov chains for Stochastic Reo. - Nuno Oliveira 001; Alexandra Silva 001; Luís Soares Barbosa (J. Internet Serv. Inf. Secur., 2015)

Self-adaptation by coordination-targeted reconfigurations. - Nuno Oliveira 001; Luís Soares Barbosa (J. Softw. Eng. Res. Dev., 2015)

Reasoning about software reconfigurations: The behavioural and structural perspectives. - Nuno Oliveira 001; Luís Soares Barbosa (Sci. Comput. Program., 2015)

A perspective on architectural re-engineering. - Alejandro Sanchez; Nuno Oliveira 001; Luís Soares Barbosa; Pedro Rangel Henriques (Sci. Comput. Program., 2015)

Applying the 3C Model to FLOSS Communities. - Sara Fernandes; Luís Soares Barbosa (CRIWG, 2016)

Electronic governance in Portugal: a silent pioneer. - Sara Fernandes; Luís Soares Barbosa (EGOSE, 2016)

An Ontology for Licensing Public Transport Services. - Maria Guillermina Cledou; Luís Soares Barbosa (ICEGOV, 2016)

Digital Government and Administrative Burden Reduction. - Linda Veiga; Tomasz Janowski; Luís Soares Barbosa (ICEGOV, 2016)

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. - Alexandre Madeira; Luís Soares Barbosa; Rolf Hennicker; Manuel A. Martins 001 (ICTAC, 2016)

Hybrid Automata as Coalgebras. - Renato Neves; Luís Soares Barbosa (ICTAC, 2016)

Asymmetric Combination of Logics is Functorial: A Survey. - Renato Neves; Alexandre Madeira; Luís Soares Barbosa; Manuel A. Martins 001 (WADT, 2016)

An Enhanced Model for Stochastic Coordination. - Nuno Oliveira 001; Luís Soares Barbosa (iFMCloud@IFM, 2016)

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. - Luís Soares Barbosa; Alcino Cunha; Alexandra Silva 001 (J. Log. Algebraic Methods Program., 2016)

Continuity as a computational effect. - Renato Neves; Luís Soares Barbosa; Dirk Hofmann; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2016)

A method for rigorous design of reconfigurable systems. - Alexandre Madeira; Renato Neves; Luís Soares Barbosa; Manuel A. Martins 001 (Sci. Comput. Program., 2016)

Proof theory for hybrid(ised) logics. - Renato Neves; Alexandre Madeira; Manuel A. Martins 001; Luís Soares Barbosa (Sci. Comput. Program., 2016)

Reuse and Integration of Specification Logics: The Hybridisation Perspective. - Luís Soares Barbosa; Manuel A. Martins 001; Alexandre Madeira; Renato Neves (Theoretical Information Reuse and Integration, 2016)

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; Luís Soares Barbosa (CLOSER, 2017)

Networks of Universities as a Tool for GCIO Education. - Luís Soares Barbosa; Luís Paulo Santos (EGOV, 2017)

Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. - Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa (FACS, 2017)

Composing Families of Timed Automata. - Guillermina Cledou; José Proença; Luís Soares Barbosa (FSEN, 2017)

Digital Governance for Sustainable Development. - Luís Soares Barbosa (I3E, 2017)

Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. - Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga; Luís Soares Barbosa (ICEGOV, 2017)

Modeling Families of Public Licensing Services: A Case Study. - Guillermina Cledou; Luís Soares Barbosa (FormaliSE@ICSE, 2017)

A Refinement Relation for Families of Timed Automata. - Guillermina Cledou; José Proença; Luís Soares Barbosa (SBMF, 2017)

On Kleene Algebras for Weighted Computation. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (SBMF, 2017)

Layered Logics, Coalgebraically. - Luís Soares Barbosa (DALI@TABLEAUX, 2017)

Hierarchical Hybrid Logic. - Alexandre Madeira; Renato Neves; Manuel A. Martins 001; Luís Soares Barbosa (LSFA, 2017)

A Note on Reactive Transitions and Reo Connectors. - Daniel Figueiredo 001; Manuel A. Martins 001; Luís Soares Barbosa (It's All About Coordination, 2018)

Transforming Legal Documents for Visualization and Analysis. - Nuno Ramos Carvalho; Luís Soares Barbosa (ICEGOV, 2018)

Communities of Practice as a tool to support the GCIO function. - Luís Paulo Santos; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa (ICEGOV, 2018)

Reactive Models for Biological Regulatory Networks. - Daniel Figueiredo 001; Luís Soares Barbosa (MLCSB, 2018)

A Research Agenda on Quantum Algoritmics. - Luís Soares Barbosa; Alexandre Madeira (ERCIM News, 2018)

A taxonomy for planning and designing smart mobility services. - Guillermina Cledou; Elsa Estevez; Luís Soares Barbosa (Gov. Inf. Q., 2018)

A logic for the stepwise development of reactive systems. - Alexandre Madeira; Luís Soares Barbosa; Rolf Hennicker; Manuel A. Martins 001 (Theor. Comput. Sci., 2018)

Languages and models for hybrid automata: A coalgebraic perspective. - Renato Neves; Luís Soares Barbosa (Theor. Comput. Sci., 2018)

Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. - Luiz Fernando Puttow Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A. C. Barbosa; Luís Soares Barbosa; Marcelo Teixeira (ETFA, 2019)

Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation. - Nuno Ramos Carvalho; Luís Soares Barbosa (ICEGOV, 2019)

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. - Leandro Gomes 001; Alexandre Madeira; Manisha Jain; Luís Soares Barbosa (ICFEM, 2019)

Introducing Synchrony in Fuzzy Automata. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2019)

Generalising KAT to Verify Weighted Computations. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Sci. Ann. Comput. Sci., 2019)

Towards a register-based census in Oman. - Ali Hussain Al-Lawati; Luís Soares Barbosa (ICEGOV, 2020)

Software engineering for 'quantum advantage'. - Luís Soares Barbosa (ICSE (Workshops), 2020)

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. - José Diogo Guimarães; Carlos Tavares; Luís Soares Barbosa; Mikhail I. Vasilevskiy (Complex., 2020)

Quantum Bayesian decision-making. - Michael de Oliveira; Luís Soares Barbosa (CoRR, 2020)

Data governance: Organizing data for trustworthy Artificial Intelligence. - Marijn Janssen; Paul Brous; Elsa Estevez; Luís Soares Barbosa; Tomasz Janowski (Gov. Inf. Q., 2020)

A component-based framework for certification of components in a cloud of HPC services. - Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa (Sci. Comput. Program., 2020)

Generalised Quantum Tree Search. - André Sequeira; Luís Paulo Santos; Luís Soares Barbosa (Q-SE@ICSE, 2021)

Towards a specification theory for fuzzy modal logic. - Manisha Jain; Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (TASE, 2021)

Quantum Tree-Based Planning. - André Sequeira; Luís Paulo Santos; Luís Soares Barbosa (IEEE Access, 2021)

A semantics and a logic for Fuzzy Arden Syntax. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Soft Comput., 2021)

Variational Quantum Policy Gradients with an Application to Quantum Control. - André Sequeira; Luís Paulo Santos; Luís Soares Barbosa (CoRR, 2022)

A Logic for Paraconsistent Transition Systems. - Ana Cruz; Alexandre Madeira; Luís Soares Barbosa (NCL, 2022)

Paraconsistent Transition Systems. - Ana Cruz; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2022)

Coalgebra for the working software engineer. - Luís Soares Barbosa (FLAP, 2022)

A tribute to José Manuel Valença. - José Nuno Oliveira; Jorge Sousa Pinto; Luís Soares Barbosa; Pedro Rangel Henriques (J. Log. Algebraic Methods Program., 2022)

Weighted synchronous automata. - Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (Math. Struct. Comput. Sci., 2022)

Structured Specification of Paraconsistent Transition Systems. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (FSEN, 2023)

Capturing Qubit Decoherence through Paraconsistent Transition Systems. - Luís Soares Barbosa; Alexandre Madeira (Programming, 2023)

Stepwise Development of Paraconsistent Processes. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (TASE, 2023)

Quantum privacy-preserving service for secure lane change in vehicular networks. - Zeinab Rahmani; Luís Soares Barbosa; Armando N. Pinto (IET Quantum Commun., 2023)

Modelling and control of manufacturing systems subject to context recognition and switching. - Luiz Fernando Puttow Southier; Dalcimar Casanova; Luís Soares Barbosa; Cesar Torrico 001; Marco A. C. Barbosa; Marcelo Teixeira (Int. J. Prod. Res., 2023)

Policy gradients using variational quantum circuits. - André Sequeira; Luís Paulo Santos; Luís Soares Barbosa (Quantum Mach. Intell., 2023)

Private Computation of Boolean Functions Using Single Qubits. - Zeinab Rahmani; Armando N. Pinto; Luís Soares Barbosa (PPAM (2), 2024)

Trainability Issues in Quantum Policy Gradients with Softmax Activations. - André Sequeira; Luís Paulo Santos; Luís Soares Barbosa (QCE, 2024)

Paraconsistency for the Working Software Engineer (Extended Abstract). - Luís Soares Barbosa (SEFM, 2024)

Paraconsistent Reactive Graphs. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (SEFM, 2024)

Reconfiguring Staggered Quantum Walks with ZX. - Bruno Jardim; Jaime Santos; Luís Soares Barbosa (SEFM, 2024)

On Quantum Natural Policy Gradients. - André Sequeira; Luís Paulo Santos; Luís Soares Barbosa (CoRR, 2024)

Trainability issues in quantum policy gradients. - André Sequeira; Luís Paulo Santos; Luís Soares Barbosa (Mach. Learn. Sci. Technol., 2024)

Quantum advantage in temporally flat measurement-based quantum computation. - Michael de Oliveira; Luís Soares Barbosa; Ernesto F. Galvão (Quantum, 2024)

Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials. - José Diogo Guimarães; Mikhail I. Vasilevskiy; Luís Soares Barbosa (Quantum, 2024)

Paraconsistent Relations as a Variant of Kleene Algebras. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2024)

Secure two-party computation via measurement-based quantum computing. - Zeinab Rahmani; Armando Nolasco Pinto; Luís Soares Barbosa (Quantum Inf. Process., 2024)

Exploring a Quantum Programming Language with Concurrency. - Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa (Programming, 2025)

Specification of paraconsistent transition systems, revisited. - Juliana Cunha; Alexandre Madeira; Luís Soares Barbosa (Sci. Comput. Program., 2025)

Hybrid quantum-classical algorithm for near-optimal planning in POMDPs. - Gilberto Cunha; Alexandra Ramôa; André Sequeira; Michael de Oliveira; Luís Soares Barbosa (CoRR, 2025)

Bridging resource theory and quantum key distribution: geometric analysis and statistical testing. - Andrea D'Urbano; Michael de Oliveira; Luís Soares Barbosa (Quantum Inf. Process., 2025)