default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuís Soares Barbosa
Person information
- affiliation: Universidade do Minho, Braga, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j52]Juliana Cunha
, Alexandre Madeira, Luís Soares Barbosa:
Specification of paraconsistent transition systems, revisited. Sci. Comput. Program. 240: 103196 (2025)- 2024
- [j51]Zeinab Rahmani, Armando Nolasco Pinto, Luís Soares Barbosa:
Secure two-party computation via measurement-based quantum computing. Quantum Inf. Process. 23(6): 221 (2024) - [j50]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: 1242 (2024) - [i8]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
On Quantum Natural Policy Gradients. CoRR abs/2401.08307 (2024) - [i7]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Trainability issues in quantum policy gradients. CoRR abs/2406.09614 (2024) - 2023
- [j49]Zeinab Rahmani, Luís Soares Barbosa, Armando N. Pinto:
Quantum privacy-preserving service for secure lane change in vehicular networks. IET Quantum Commun. 4(3): 103-111 (2023) - [j48]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): 3396-3414 (2023) - [j47]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Policy gradients using variational quantum circuits. Quantum Mach. Intell. 5(1): 1-15 (2023) - [c105]Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Structured Specification of Paraconsistent Transition Systems. FSEN 2023: 1-17 - [c104]Luís Soares Barbosa, Alexandre Madeira:
Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming 2023: 109-110 - [c103]Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Stepwise Development of Paraconsistent Processes. TASE 2023: 327-343 - 2022
- [j46]Luís Soares Barbosa:
Coalgebra for the working software engineer. FLAP 9(1): 41-92 (2022) - [j45]José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques:
A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. 128: 100792 (2022) - [j44]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Weighted synchronous automata. Math. Struct. Comput. Sci. 32(9): 1234-1253 (2022) - [c102]Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
Paraconsistent Transition Systems. LSFA 2022: 3-15 - [c101]Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
A Logic for Paraconsistent Transition Systems. NCL 2022: 270-284 - [i6]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Variational Quantum Policy Gradients with an Application to Quantum Control. CoRR abs/2203.10591 (2022) - 2021
- [j43]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Quantum Tree-Based Planning. IEEE Access 9: 125416-125427 (2021) - [j42]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25(9): 6789-6805 (2021) - [c100]André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Generalised Quantum Tree Search. Q-SE@ICSE 2021: 39-40 - [c99]Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Towards a specification theory for fuzzy modal logic. TASE 2021: 175-182 - 2020
- [j41]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: 3510676:1-3510676:12 (2020) - [j40]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): 101493 (2020) - [j39]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: 102379 (2020) - [c98]Ali Hussain Al-Lawati, Luís Soares Barbosa:
Towards a register-based census in Oman. ICEGOV 2020: 823-826 - [c97]Luís Soares Barbosa:
Software engineering for 'quantum advantage'. ICSE (Workshops) 2020: 427-429 - [e7]Luís Soares Barbosa, Alexandru Baltag:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2 [contents] - [e6]Luís Soares Barbosa, Mohammad Ali Abam:
Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings. Lecture Notes in Computer Science 12281, Springer 2020, ISBN 978-3-030-57851-0 [contents] - [i5]Michael de Oliveira, Luís Soares Barbosa:
Quantum Bayesian decision-making. CoRR abs/2010.02088 (2020)
2010 – 2019
- 2019
- [j38]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29(2): 141-184 (2019) - [c96]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: 370-377 - [c95]Nuno Ramos Carvalho, Luís Soares Barbosa:
Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation. ICEGOV 2019: 76-79 - [c94]Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa:
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM 2019: 154-169 - [c93]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Introducing Synchrony in Fuzzy Automata. LSFA 2019: 43-60 - [i4]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to verify weighted computations. CoRR abs/1911.01146 (2019) - 2018
- [j37]Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa:
A taxonomy for planning and designing smart mobility services. Gov. Inf. Q. 35(1): 61-76 (2018) - [j36]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [j35]Renato Neves, Luís Soares Barbosa:
Languages and models for hybrid automata: A coalgebraic perspective. Theor. Comput. Sci. 744: 113-142 (2018) - [c92]Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa:
A Note on Reactive Transitions and Reo Connectors. It's All About Coordination 2018: 57-67 - [c91]Nuno Ramos Carvalho, Luís Soares Barbosa:
Transforming Legal Documents for Visualization and Analysis. ICEGOV 2018: 23-26 - [c90]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: 118-126 - [c89]Daniel Figueiredo, Luís Soares Barbosa:
Reactive Models for Biological Regulatory Networks. MLCSB 2018: 74-88 - [i3]Luís Soares Barbosa, Alexandre Madeira:
A Research Agenda on Quantum Algoritmics. ERCIM News 2018(113) (2018) - 2017
- [c88]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: 201-212 - [c87]Luís Soares Barbosa, Luís Paulo Santos:
Networks of Universities as a Tool for GCIO Education. EGOV 2017: 117-127 - [c86]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: 198-215 - [c85]Guillermina Cledou, José Proença, Luís Soares Barbosa:
Composing Families of Timed Automata. FSEN 2017: 51-66 - [c84]Luís Soares Barbosa:
Digital Governance for Sustainable Development. I3E 2017: 85-93 - [c83]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: 140-148 - [c82]Guillermina Cledou, Luís Soares Barbosa:
Modeling Families of Public Licensing Services: A Case Study. FormaliSE@ICSE 2017: 37-43 - [c81]Guillermina Cledou, José Proença, Luís Soares Barbosa:
A Refinement Relation for Families of Timed Automata. SBMF 2017: 161-178 - [c80]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
On Kleene Algebras for Weighted Computation. SBMF 2017: 271-286 - [c79]Luís Soares Barbosa:
Layered Logics, Coalgebraically. DALI@TABLEAUX 2017: 55-63 - [c78]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Hierarchical Hybrid Logic. LSFA 2017: 167-184 - 2016
- [j34]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): 805 (2016) - [j33]Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85(5): 1057-1085 (2016) - [j32]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016) - [j31]Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016) - [c77]Sara Fernandes, Luís Soares Barbosa:
Applying the 3C Model to FLOSS Communities. CRIWG 2016: 139-150 - [c76]Sara Fernandes, Luís Soares Barbosa:
Electronic governance in Portugal: a silent pioneer. EGOSE 2016: 77-82 - [c75]Maria Guillermina Cledou, Luís Soares Barbosa:
An Ontology for Licensing Public Transport Services. ICEGOV 2016: 230-239 - [c74]Linda Veiga, Tomasz Janowski, Luís Soares Barbosa:
Digital Government and Administrative Burden Reduction. ICEGOV 2016: 323-326 - [c73]Renato Neves, Luís Soares Barbosa:
Hybrid Automata as Coalgebras. ICTAC 2016: 385-402 - [c72]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: 422-440 - [c71]Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55 - [c70]Nuno Oliveira, Luís Soares Barbosa:
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM 2016: 35-45 - [p2]Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30 - 2015
- [j30]Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa:
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44: 218-237 (2015) - [j29]Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
Towards an engine for coordination-based architectural reconfigurations. Comput. Sci. Inf. Syst. 12(2): 607-634 (2015) - [j28]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015) - [j27]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
IMCReo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015) - [j26]Nuno Oliveira, Luís Soares Barbosa:
Self-adaptation by coordination-targeted reconfigurations. J. Softw. Eng. Res. Dev. 3: 6 (2015) - [j25]Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques:
A perspective on architectural re-engineering. Sci. Comput. Program. 98: 764-784 (2015) - [j24]Nuno Oliveira, Luís Soares Barbosa:
Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comput. Program. 110: 78-103 (2015) - [c69]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56 - [i2]Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015) - 2014
- [j23]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10(1) (2014) - [j22]Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro:
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J. Log. Lang. Inf. 23(1): 31-52 (2014) - [j21]Luís Soares Barbosa, Siraj Ahmed Shaikh:
Selected contributions from the Open Source Software Certification (OpenCert) workshops. Sci. Comput. Program. 91: 139-140 (2014) - [j20]Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94: 253-254 (2014) - [j19]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: 175-176 (2014) - [c68]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499 - [c67]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254 - [c66]Nuno Oliveira, Luís Soares Barbosa:
A Self-Adaptation Strategy for Service-Based Architectures. SBCARS 2014: 1-10 - [c65]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145 - [c64]Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161 - [c63]Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira:
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163 - [c62]Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. SLATE 2014: 61-76 - [e5]Elsa Estevez, Marijn Janssen, Luís Soares Barbosa:
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014. ACM 2014, ISBN 978-1-60558-611-3 [contents] - 2013
- [j18]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101(4): 783-825 (2013) - [c61]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345 - [c60]Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa:
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. CRIWG 2013: 208-214 - [c59]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: 45-75 - [c58]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519 - [c57]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A pilot project on non-conventional learning. ITiCSE 2013: 346 - [c56]Nuno Oliveira, Luís Soares Barbosa:
On the reconfiguration of software connectors. SAC 2013: 1885-1892 - [c55]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89 - [c54]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops 2013: 405-416 - [c53]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82 - [c52]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Verifying Bigraphical Models of Architectural Reconfigurations. TASE 2013: 135-138 - [c51]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98 - 2012
- [j17]Luís Soares Barbosa, Meng Sun:
A Calculus for Generic, QoS-Aware Component Composition. Math. Comput. Sci. 6(4): 475-497 (2012) - [c50]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. ICEGOV 2012: 475-476 - [c49]Luís Soares Barbosa:
Software Components as Invariant-Typed Arrows - (Keynote Talk). SBLP 2012: 1-5 - [c48]Luís Soares Barbosa, Maria Helena Martinho:
Mathematical Literacy as a Condition for Sustainable Development. SEFM Satellite Events 2012: 64-77 - [c47]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos:
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events 2012: 121-132 - [c46]Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events 2012: 133-139 - [c45]Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco:
Analysing Tactics in Architectural Patterns. SEW 2012: 32-41 - [c44]Nuno Oliveira, Luís Soares Barbosa:
Reconfiguration Mechanisms for Service Coordination. WS-FM 2012: 134-149 - [e4]Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 [contents] - [e3]Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7554, Springer 2012, ISBN 978-3-642-33181-7 [contents] - 2011
- [j16]Luís Soares Barbosa, Dimitrios Settas:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011) - [c43]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
A language for behavioural modelling of architectural patterns. BM-FA 2011: 17-24 - [c42]Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa:
Hybridization of Institutions. CALCO 2011: 283-297 - [c41]André Martins, Luís Soares Barbosa, Nuno F. Rodrigues:
Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419 - [c40]Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. FACS 2011: 313-330 - [c39]