Luís Soares Barbosa

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 61

Top Venues

Sci. Comput. Program.

ICEGOV

CoRR

SBMF

Publications

André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
On Quantum Natural Policy Gradients. CoRR (2024)
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
Trainability issues in quantum policy gradients. CoRR (2024)
José Diogo Guimarães, Mikhail I. Vasilevskiy, Luís Soares Barbosa
Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials. Quantum 8 (2024)
Zeinab Rahmani, Armando Nolasco Pinto, Luís Soares Barbosa
Secure two-party computation via measurement-based quantum computing. Quantum Inf. Process. 23 (6) (2024)
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
Structured Specification of Paraconsistent Transition Systems. FSEN (2023)
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
Policy gradients using variational quantum circuits. Quantum Mach. Intell. 5 (1) (2023)
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
Stepwise Development of Paraconsistent Processes. TASE (2023)
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
Paraconsistent Transition Systems. CoRR (2023)
Luiz Fernando Puttow Southier, Dalcimar Casanova, Luís Soares Barbosa, Cesar Torrico, Marco A. C. Barbosa, Marcelo Teixeira
Modelling and control of manufacturing systems subject to context recognition and switching. Int. J. Prod. Res. 61 (10) (2023)
Luís Soares Barbosa, Alexandre Madeira
Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming (2023)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Weighted synchronous automata. Math. Struct. Comput. Sci. 32 (9) (2022)
Nuno Ernesto Salgado Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques
A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. 128 (2022)
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
Variational Quantum Policy Gradients with an Application to Quantum Control. CoRR (2022)
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
A Logic for Paraconsistent Transition Systems. NCL (2022)
Luís Soares Barbosa
Coalgebra for the working software engineer. FLAP 9 (1) (2022)
Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Towards a specification theory for fuzzy modal logic. TASE (2021)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25 (9) (2021)
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
Generalised Quantum Tree Search. Q-SE@ICSE (2021)
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa
Quantum Tree-Based Planning. IEEE Access 9 (2021)
Marijn Janssen, Paul Brous, Elsa Estevez, Luís Soares Barbosa, Tomasz Janowski
Data governance: Organizing data for trustworthy Artificial Intelligence. Gov. Inf. Q. 37 (3) (2020)
Ali Hussain Al-Lawati, Luís Soares Barbosa
Towards a register-based census in Oman. ICEGOV (2020)
José Diogo Guimarães, Carlos Tavares, Luís Soares Barbosa, Mikhail I. Vasilevskiy
Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. Complex. 2020 (2020)
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
A component-based framework for certification of components in a cloud of HPC services. Sci. Comput. Program. 191 (2020)
Michael de Oliveira, Luís Soares Barbosa
Quantum Bayesian decision-making. CoRR (2020)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29 (2) (2019)
Nuno Ramos Carvalho, Luís Soares Barbosa
Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation. ICEGOV (2019)
Luiz Fernando Puttow Southier, Muriel Mazzetto, Dalcimar Casanova, Marco A. C. Barbosa, Luís Soares Barbosa, Marcelo Teixeira
Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. ETFA (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Generalising KAT to verify weighted computations. CoRR (2019)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
Introducing Synchrony in Fuzzy Automata. LSFA (2019)
Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM (2019)
Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa
A taxonomy for planning and designing smart mobility services. Gov. Inf. Q. 35 (1) (2018)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744 (2018)
Luís Paulo Santos, Luís Nuno Barbosa, Diogo Aires Bessa, Lúcia Pereira Martins, Luís Soares Barbosa
Communities of Practice as a tool to support the GCIO function. ICEGOV (2018)
Luís Soares Barbosa, Alexandre Madeira
A Research Agenda on Quantum Algoritmics. ERCIM News 2018 (113) (2018)
Nuno Ramos Carvalho, Luís Soares Barbosa
Transforming Legal Documents for Visualization and Analysis. ICEGOV (2018)
Daniel Figueiredo, Luís Soares Barbosa
Reactive Models for Biological Regulatory Networks. MLCSB (2018)
Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa
A Note on Reactive Transitions and Reo Connectors. It's All About Coordination (2018)
Renato Neves, Luís Soares Barbosa
Languages and models for hybrid automata: A coalgebraic perspective. Theor. Comput. Sci. 744 (2018)
Luís Soares Barbosa
Digital Governance for Sustainable Development. I3E (2017)
Luís Soares Barbosa
Layered Logics, Coalgebraically. DALI@TABLEAUX (2017)
Morten Meyerhoff Nielsen, Nuno Ramos Carvalho, Linda Veiga, Luís Soares Barbosa
Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. ICEGOV (2017)
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. CLOSER (2017)
Guillermina Cledou, José Proença, Luís Soares Barbosa
Composing Families of Timed Automata. FSEN (2017)
Luís Soares Barbosa, Luís Paulo Santos
Networks of Universities as a Tool for GCIO Education. EGOV (2017)
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
On Kleene Algebras for Weighted Computation. SBMF (2017)
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. FACS (2017)
Guillermina Cledou, José Proença, Luís Soares Barbosa
A Refinement Relation for Families of Timed Automata. SBMF (2017)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
Hierarchical Hybrid Logic. LSFA (2017)
Guillermina Cledou, Luís Soares Barbosa
Modeling Families of Public Licensing Services: A Case Study. FormaliSE@ICSE (2017)
Nuno Oliveira, Luís Soares Barbosa
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM (2016)
Maria Guillermina Cledou, Luís Soares Barbosa
An Ontology for Licensing Public Transport Services. ICEGOV (2016)
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC (2016)
Sara Fernandes, Luís Soares Barbosa
Electronic governance in Portugal: a silent pioneer. EGOSE (2016)
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins
Asymmetric Combination of Logics is Functorial: A Survey. WADT (2016)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126 (2016)
Linda Veiga, Tomasz Janowski, Luís Soares Barbosa
Digital Government and Administrative Burden Reduction. ICEGOV (2016)
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132 (2016)
Renato Neves, Luís Soares Barbosa
Hybrid Automata as Coalgebras. ICTAC (2016)
Sara Fernandes, Luís Soares Barbosa
Applying the 3C Model to FLOSS Communities. CRIWG (2016)
Luís Soares Barbosa, Alcino Cunha, Alexandra Silva
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebraic Methods Program. 85 (5) (2016)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85 (5) (2016)
Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44 (2015)
Nuno Oliveira, Luís Soares Barbosa
Self-adaptation by coordination-targeted reconfigurations. J. Softw. Eng. Res. Dev. 3 (2015)
Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques
A perspective on architectural re-engineering. Sci. Comput. Program. 98 (2015)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. CoRR (2015)
Nuno Oliveira, Luís Soares Barbosa
Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comput. Program. 110 (2015)
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5 (1) (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
A logic for n-dimensional hierarchical refinement. Refine@FM (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker
Refinement in hybridised institutions. Formal Aspects Comput. 27 (2) (2015)
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa
Towards an engine for coordination-based architectural reconfigurations. Comput. Sci. Inf. Syst. 12 (2) (2015)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10 (1) (2014)
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
Quantitative analysis of Reo-based service coordination. SAC (2014)
Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops (2014)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
A Dynamic Logic for Every Season. SBMF (2014)
Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J. Log. Lang. Inf. 23 (1) (2014)
Francisco Heron de Carvalho Junior, Luís Soares Barbosa
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. Sci. Comput. Program. 96 (2014)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
Paradigm integration in a specification course. IRI (2014)
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. SLATE (2014)
Nuno Oliveira, Luís Soares Barbosa
A Self-Adaptation Strategy for Service-Based Architectures. SBCARS (2014)
Luís Soares Barbosa, Siraj Ahmed Shaikh
Selected contributions from the Open Source Software Certification (OpenCert) workshops. Sci. Comput. Program. 91 (2014)
Renato Neves, Manuel A. Martins, Luís Soares Barbosa
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF (2014)
Luís Soares Barbosa, Markus Lumpe
Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94 (2014)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Hybridisation at Work. CALCO (2013)
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101 (4) (2013)
Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. CRIWG (2013)
Nuno Oliveira, Luís Soares Barbosa
On the reconfiguration of software connectors. SAC (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Giving Alloy a family. IRI (2013)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops (2013)
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa
When Even the Interface Evolves... TASE (2013)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP (2013)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
A pilot project on non-conventional learning. ITiCSE (2013)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Bisimilarity and refinement for hybrid(ised) logics Refine@IFM (2013)
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) (2013)
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco
Verifying Bigraphical Models of Architectural Reconfigurations. TASE (2013)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events (2012)
Luís Soares Barbosa, Sun Meng
A Calculus for Generic, QoS-Aware Component Composition. Math. Comput. Sci. 6 (4) (2012)
Luís Soares Barbosa, Maria Helena Martinho
Mathematical Literacy as a Condition for Sustainable Development. SEFM Satellite Events (2012)
Nuno Oliveira, Luís Soares Barbosa
Reconfiguration Mechanisms for Service Coordination. WS-FM (2012)
Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco
Analysing Tactics in Architectural Patterns. SEW (2012)
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events (2012)

Luís Soares Barbosa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luís Soares Barbosa