???global.info.a_carregar???
Luís Soares Barbosa. I am Full Professor in Computer Science at the Informatics Department, Universidade do Minho, and a senior researcher at the High Assurance Software laboratory, HASLab INESC TEC. I have double academic affiliations with INL (the International Iberian Nanotechnology Laboratory), within the Quantum and Linear Optical Research Group since August 2019, and to the United Nations University, currently serving as Deputy Head of its Operational Unit on Policy-driven Electronic Governance. I am a member of IFIP WG1.3 (Foundations of System Specification), IFIP WG1.11/2.17 (Foundations of Quantum Computation), and chair of IFIP Technical Committee TC1, on Foundations of Computer Science. Previously, since 2013, I have served as the Portugal representative on this Committee. My main research focuses on program semantics, logics and calculi applied to rigorous software analysis, design, and construction. I am particularly interested in the architectural dimension (interaction, composition, and reconfiguration) of different sorts of software components, namely non-deterministic, probabilistic, continuous, hybrid, and quantum. Most of my work is framed on Coalgebra and Modal Logic. I coordinated several institutional projects at UMinho and UNU-EGOV, including the PT-FLAD Chair on Smart Cities & Smart Governance at UMinho, entirely funded by the private sector (2016-19). Previously I served as Head of the Department of Informatics at UMinho (2010-12), and again from 2022 to the present date, and Director of MAP-i, the Joint Doctoral Programme in Computer Science of the Minho, Aveiro and Porto Universities (2010-13). I also coordinated a number of consultancy missions to International Institutions and Governments, including the UN, UNESCO, ITU, World Bank, UNECA, CPLP, and Governments of Colômbia, Uganda, Cabo Verde, Guiné-Bissau and S. Tomé. Recently, I coordinated the West Africa Digital Governance Forum (The Gambia,2023), the South and East Africa Digital Governance Forum (Pretoria, 2024) and the Central Asia Digital Governance Forum (Samarkand, 2025), on behalf of the United Nations. I represented the Portuguese Minister for Science and Technology on the Governmental Strategic Panel for the launch of the EU Quantum Flagship in Vienna, October, 2018, and was involved in coordinating the Portugal Quantum Initiative, sponsored by FCT. I am a project evaluator for the national research foundations in Belgium (FWO) and the Netherlands (NWO), as well as the Carnegie Mellon University - Portugal Dual PhD Degree in Computer Science. I coordinate the Steering Committee of FACS (Formal Aspects of Computer Software), and DaLí (Dynamic Logic: new trends and applications) conference series, and serve in the SC of ICEGOV (ACM International Conference on Theory and Practice of Electronic Governance) conference series. I belong to the Editorial Board of the the Journal Logical and Algebraic Methods in Programming, Elsevier, and the IFIP Series in Springer Verlag. I was Guest Editor of Special Issues for several scientific, indexed journals, as well as a regular reviewer for more than 20 indexed scientific journals, and a member of more than 120 Programme Committees of international, indexed conferences. In different occasions I served as (co-)Chair of the following international conferences: FACS'10, SBLP'12, ICEGOV'14, SMARTGOV'19, DALI, OPENCERT'19, SmartGOV'19, and TTCS'20. I was a member of several PhD/Aggregation panels in Portugal, Italy, the Netherlands, Brazil, Denmark, and China, and lectured invited PhD courses in Estonia (Tartu U.), China (Peking U.), Brazil (UF Ceará), and Argentina (UNS, Bahia Blanca). NOTE: The urgency to move from FCT-SIG to CIENCIAVITAE forced me to include only data concerning projects and publications, supervisions and projects. For a complete CV (almost updated), and lecturing experience you are referred to my webpage at www.di.uminho.pt/~lsb.
Read full resume ↓
Identification

Personal identification

Full name
Luís Soares Barbosa

Citation names

  • Barbosa, Luís

Author identifiers

Ciência ID
431C-9C2E-CDAA
ORCID iD
0000-0002-5037-2588
Scopus Author Id
35605847400

Email addresses

  • lsb@di.uminho.pt (Professional)
  • barbosa@unu.edu (Professional)
  • luis.barbosa@inl.int (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
French Elementary (A2) Advanced (C1) Intermediate (B1) Advanced (C1) Advanced (C1)
Spanish; Castilian Intermediate (B1) Advanced (C1) Elementary (A2) Advanced (C1) Advanced (C1)
Portuguese (Mother tongue)
Education
Degree Classification
2016
Concluded
 Agregação em Informática (Título de Agregado)
Universidade do Minho, Portugal
2001
Concluded
 PhD in Informatics (Foundations of Computing) (Doutoramento)
Universidade do Minho, Portugal
Affiliation

Science

Category
Host institution 		Employer
2019/09/01 - Current Principal Investigator (Research) International Iberian Nanotechnology Laboratory, Portugal
International Iberian Nanotechnology Laboratory, Portugal
2012/01/01 - Current Principal Investigator (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2019/09/11 - Current Full Professor (University Teacher) Universidade do Minho, Portugal

Positions / Appointments

Category
Host institution 		Employer
2017/09/01 - Current Vice-President United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
Projects

Contract

Designation Funders
2025/09/01 - 2028/08/31 BANSKY - A paraconsistent inference engine to support research in age-related macular degeneragion
COMPETE2030-FEDER-00892000
Principal investigator
INESC Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2022/01/01 - 2024/12/31 Ibex - Quantitative methods for cyber-physical programming
PTDC/CCI-COM/4280/2021
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2018/06/01 - 2021/05/31 KLEE - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
POCI-01-0145-FEDER-030947
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2016 - 2020/12/01 Dynamic logics for cyber-physical systems: towards contract based design
PTDC/EEI-CTP/4836/2014
Researcher
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2017 - 2020 GOV3.0: Scientific Foundations, Training and Entrepreneurship in the domain of ICT-enabled Governance
588306-EPP-1-2017-1-EL-EPPKA2-KA
Researcher
United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
Concluded
2016/01/01 - 2019/12/31 SmartEGOV - Harnessing EGOV for smart governance: Foundations and tools.
NORTE-45-2015-23
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluded
2016 - 2019 TRUST: Trustworthy software design with Alloy
PTDC/EEI-CTP/2904/2014
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluded
2013/07 - 2016/06 NASONI -- Heterogeneous software coordination: Foundations, methods, tools
PTDC/EEI-CTP/2341/2012
info:eu-repo/grantAgreement/FCT/COMPETE/128057/PT
Universidade do Minho, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal

Universidade de Aveiro, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2015 - 2016 GCIO.CO: Education system for government technology leadership in Colombia
GCIO.CO
Researcher
United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
 Programa de las Naciones Unidas para el Desarrollo Colombia
Concluded
2013/04/01 - 2015 Qais: Quantitative analysis of interacting systems: foundations and algorithms
PTDC/EIA-CCO/122240/2010
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2013 - 2015 NASONI: Heterogenous software coordination: Foundations, methods, tools.
PTDC/EEI-CTP/2341/2012
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2013 - 2015 BESTCASE-RL4: Cooperation and Perception for Augmented Autonomy
NORTE-07-0124-FEDER-000060
Researcher
Concluded
2011/01/01 - 2013/12/31 Projecto Estratégico - UI 752 - 2011-2012
PEst-OE/EEI/UI0752/2011
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2010 - 2013 MONDRIAN: Foundations for architectural design
PTDC/EIA-CCO/108302/2008
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
2010 - 2013 CROSS: An Infrastructure for Certification and Re-engineering of Open Source Software.
PTDC/EIA-CCO/108995/2008
Researcher
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2008 - 2011 MATHIS: Reinvigorating mathematics for the information society
PTDC/EIA/73252/2006
Principal investigator
Universidade do Minho Escola de Engenharia, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2008 - 2011 EVOLVE: Evolutionary Validation, Verification and Certification
ADI (QREN1621)
Researcher
Universidade do Minho, Portugal
Concluded
2008 - 2011 IVY: A model based usability analysis tool.
POSI/EIA/56646/2004
Researcher
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2005 - 2009 Lernet - Language engineering and rigorous software development
EU-ALFA (II-0472-FA)
Researcher
Universidade do Minho, Portugal
Concluded
2005 - 2007 GRICES - Formal foundations for component-based programming
GRICES - 00342
Principal investigator
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2003 - 2007 PURE: Program understanding and re-engineering: Calculi and applications.
POSI/CHS/44304/2002
Principal investigator
Universidade do Minho, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2003 - 2006 APPSEM II: Thematic Network - Applied Semantics II.
(IST-2001-38957
Researcher
Universidade do Minho, Portugal
Concluded
Outputs

Publications

Book
  1. Barbosa, Luís. Dynamic Logic. New Trends and Applications. Springer International Publishing. 2020.
    10.1007/978-3-030-38808-9 • Editor
  2. Barbosa, Luís. Topics in Theoretical Computer Science. Springer International Publishing. 2020.
    10.1007/978-3-030-57852-7 • Editor
  3. Barbosa, Luís. Formal Aspects of Component Software. Springer Berlin Heidelberg. 2012.
    Published • 10.1007/978-3-642-27269-1 • Editor
  4. Language Engineering and Rigorous Software Development. Springer Berlin Heidelberg. 2009.
    Published • 10.1007/978-3-642-03153-3 • Editor
Book chapter
  1. Luís Soares Barbosa. "Paraconsistency for the Working Software Engineer (Extended Abstract)". 2025.
    10.1007/978-3-031-77382-2_2
  2. Zeinab Rahmani; Armando N. Pinto; Luis S. Barbosa. "Private Computation of Boolean Functions Using Single Qubits". 2025.
    10.1007/978-3-031-85700-3_22
  3. Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís S.. "Paraconsistent Reactive Graphs". In Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 105-111. Springer Nature Switzerland, 2025.
    10.1007/978-3-031-94748-3_9
  4. Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S.. "On the Generation of Equational Dynamic Logics for Weighted Imperative Programs". In Formal Methods and Software Engineering, 154-169. LNCS - Springer International Publishing, 2019.
    Published • 10.1007/978-3-030-32409-4_10
  5. Figueiredo, Daniel; Barbosa, Luís Soares. "Reactive Models for Biological Regulatory Networks". In Molecular Logic and Computational Synthetic Biology, 74-88. Springer International Publishing, 2019.
    Published • 10.1007/978-3-030-19432-1_5
  6. Daniel Figueiredo; Manuel A. Martins; Luís S. Barbosa. "A Note on Reactive Transitions and Reo Connectors". In Springer LNCS - It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 57-67. Springer International Publishing, 2018.
    Published • 10.1007/978-3-319-90089-6_4
  7. Barbosa, LS; Martins, MA; Madeira, A; Neves, R. "Reuse and Integration of Specification Logics: The Hybridisation Perspective". In Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing, 1-30. Springer, 2016.
    Published • 10.1007/978-3-319-31311-5_1
  8. Meng, S; Barbosa, LS. "Coalgebraic Semantic Framework for Reasoning about Interaction Designs". In UML 2 Semantics and Applications. American Samoa: Wiley, 2009.
    Published • 10.1002/9780470522622.ch10
  9. Barbosa, L.S.; Martinho, M.H.. "Modelling is for reasoning". In Mathematical Modelling: Education, Engineering and Economics - ICTMA 12, 480-489. Springer, 2007.
    Published • 10.1533/9780857099419
Conference paper
  1. Sequeira, André; Paulo Santos, Luis; Soares Barbosa, Luis. "Trainability Issues in Quantum Policy Gradients with Softmax Activations". 2024.
    Published • 10.1109/qce60285.2024.10302
  2. Barbosa, Luís; CUNHA, JULIANA; Madeira, Alexandre. "Stepwise Development of Paraconsistent Processes". Paper presented in TASE - Theoretical Aspects of Software Engineering - 17th International Symposium, 2023.
    Published • 10.1007/978-3-031-35257-7\_20
  3. CUNHA, JULIANA; Madeira, Alexandre; Barbosa, Luís. Corresponding author: Barbosa, Luís. "Structured Specification of Paraconsistent Transition Systems}". Paper presented in FSEN 2023 - Fundamentals of Software Engineering - 10th International Conference, 2023.
    Published
  4. Barbosa, Luís Soares; Madeira, Alexandre. "Capturing Qubit Decoherence through Paraconsistent Transition Systems". Paper presented in 7th International Conference on the Art, Science, and Engineering of Programming, 2023.
    Published • 10.1145/3594671.3594689
  5. Cunha, J; Madeira, A; Barbosa, LS. "Stepwise Development of Paraconsistent Processes". 2023.
    10.1007/978-3-031-35257-7_20
  6. Cruz, A; Madeira, A; Barbosa, LS. "Paraconsistent Transition Systems". 2023.
    10.4204/eptcs.376.3
  7. Cunha, J; Madeira, A; Barbosa, LS. "Structured Specification of Paraconsistent Transition Systems". 2023.
    10.1007/978-3-031-42441-0_1
  8. Ana Luzia Cruz; Madeira, Alexandre; Barbosa, Luis Soares. Corresponding author: Barbosa, Luis Soares. "A logic for paraconsistent transition system". Paper presented in NCL'22: Non-Classical Logics - Theory and Applications, Lodzi, 2022.
    Published • 10.4204/EPTCS.358.20
  9. Cruz, A; Madeira, A; Barbosa, LS. "A Logic for Paraconsistent Transition Systems". 2022.
    10.4204/eptcs.358.20
  10. Jain, Manisha; Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S.. "Towards a specification theory for fuzzy modal logic". Paper presented in Theoretical Aspects of Software Engineering (TASE), Shangai, 2021.
    Published • 10.1109/tase52547.2021.00031
  11. Barbosa, Luís; Santos, Luis Paulo. "Generalised quantum tree search". Paper presented in Q-SE 2021, Second International Workshop on Quantum Software Engineering at ICSE 2021, virtual, 2021.
    Published
  12. Sequeira, A; Santos, LP; Barbosa, LS. "Generalised Quantum Tree Search". 2021.
    10.1109/q-se52541.2021.00015
  13. Barbosa, Luís. "Software engineering for ‘quantum advantage’". Paper presented in First International Workshop on Quantum Software Engineering (Q-SE 2020) at ICSE 2020, Seoul, 2020.
    In press
  14. Al-Lawati, Ali Hussain; Barbosa, Luís Soares. "Towards a register-based census in Oman". Paper presented in ICEGOV 2020 (13th International Conference on Theory and Practice of Electronic Governance), Athens (virtual), 2020.
    Published • 10.1145/3428502.3428631
  15. Barbosa, LS. "Software engineering for 'quantum advantage'". 2020.
    10.1145/3387940.3392184
  16. Southier, Luiz F. P.; Mazzetto, Muriel; Casanova, Dalcimar; Barbosa, Marco A. C.; Barbosa, Luis S.; Teixeira, Marcelo. "Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems". Paper presented in 24th IEEE International Conference on Emerging Technologies and Factory Automation, Zaragoza, 2019.
    Published • 10.1109/etfa.2019.8869175
  17. Carvalho, NR; Barbosa, LS. "Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation". 2019.
    10.1145/3326365.3326375
  18. Carvalho, NR; Barbosa, LS. "Transforming Legal Documents for Visualization and Analysis". Paper presented in ICEGOV - 11th International Conference on Theory and Practice of Electronic Governance, Galway, 2018.
    Published • 10.1145/3209415.3209424
  19. Santos, LP; Barbosa, LN; Bessa, DA; Martins, LP; Barbosa, LS. "Communities of Practice as a tool to support the GCIO function". Paper presented in ICEGOV - 11th International Conference on Theory and Practice of Electronic Governance, Galway, 2018.
    Published • 10.1145/3209415.3209507
  20. Barbosa, LS. "Layered logics, coalgebraically". Paper presented in DALÍ: Int. Workshop on Dynamic Logic: New Trends and Applications, Brasília, 2017.
    Published • 10.1007/978-3-319-73579-5_4
  21. Dantas, AllbersonBrunodeOliveira; Junior, FranciscoHerondeCarvalho; Barbosa, LS. "A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services". Paper presented in CLOSER - 7th International Conference on Cloud Computing and Services Science, Porto, 2017.
    Published
  22. Nielsen, MM; Carvalho, NR; Veiga, L; Barbosa, LS. "Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis". Paper presented in ICEGOV - 10th International Conference on Theory and Practice of Electronic Governance, Delhi, 2017.
    Published • 10.1145/3047273.3047334
  23. Barbosa, LS; Santos, LP. "Networks of Universities as a Tool for GCIO Education". Paper presented in EGOV - 16th IFIP WG 8.5 International Conference on Electronic Government, S. Petersburg, 2017.
    Published • 10.1007/978-3-319-64677-0_10
  24. de Oliveira Dantas, ABD; Heron de Carvalho Junior, FH; Barbosa, LS. "Certification of Workflows in a Component-Based Cloud of High Performance Computing Services". Paper presented in FACS'17 - 14th International Symposium Formal Aspects of Component Software, Braga, 2017.
    Published • 10.1007/978-3-319-68034-7_12
  25. Cledou, G; Proenca, J; Barbosa, LS. "Composing Families of Timed Automata". Paper presented in FSEN - 7th Int. Conf. on Fundamentals of Software Engineering, Tehran, 2017.
    Published • 10.1007/978-3-319-68972-2_4
  26. Cledou, G; Barbosa, LS. "Modeling Families of Public Licensing Services: A Case Study". Paper presented in FormaliSE@ICSE 2017 - 5th IEEE/ACM International Workshop on Formal Methods in Software Engineering, Buenos Aires, 2017.
    Published • 10.1109/formalise.2017.8
  27. Barbosa, LS. "Digital Governance for Sustainable Development". Paper presented in I3E - 6th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, Delhi, 2017.
    Published • 10.1007/978-3-319-68557-1_9
  28. Cledou, G; Proenca, J; Barbosa, LS. "A Refinement Relation for Families of Timed Automata". Paper presented in FSEN - 7th Int. Conf. on Fundamentals of Software Engineering, Tehran, 2017.
    Published • 10.1007/978-3-319-70848-5_11
  29. Gomes, L; Madeira, A; Barbosa, LS. "On Kleene Algebras for Weighted Computation". Paper presented in SBMF 2017 - 20th Brazilian Symposium onFormal Methods, Recife, 2017.
    Published • 10.1007/978-3-319-70848-5_17
  30. Neves, R; Martins, MA; Barbosa, LS. "Completeness and Decidability Results for Hybrid(ised) Logics". Paper presented in SBMF - 17th Brazilian Symposium on Formal Methods, Maceió, 2017.
    Published • 10.1007/978-3-319-15075-8_10
  31. Barbosa, LS. "Layered Logics, Coalgebraically". 2017.
  32. Fernandesand, S; Barbosa, LS. "Collaborative Environments in Software Engineering Teaching: A FLOSS Approach". Paper presented in ECEL - 15th European Conference on e-learning, Prague, 2016.
    Published
  33. Neves, R; Madeira, A; Barbosa, LS; Martins, MA. "Asymmetric Combination of Logics is Functorial: A Survey". Paper presented in WADT - 23rd WG 1.3 International Workshop on Recent Trends in Algebraic Development Techniques, Gregynog, 2016.
    Published • 10.1007/978-3-319-72044-9_4
  34. Neves, R; Barbosa, LS. "Hybrid Automata as Coalgebras". Paper presented in ICTAC - 13th International Colloquium Theoretical Aspects of Computing, Taipei, 2016.
    Published • 10.1007/978-3-319-46750-4_22
  35. Fernandes, Sara; Barbosa, LuisSoares. "Electronic governance in Portugal: A silent pioneer". Paper presented in EGOSE'2016 - International Conference on Electronic Governance and Open Society, S. Petersburg, 2016.
    Published • 10.1145/3014087.3014108
  36. Veiga, L; Janowski, T; Barbosa, LS. "Digital Government and Administrative Burden Reduction". Paper presented in ICEGOV - 9th International Conference on Theory and Practice of Electronic Governance, Montevideo, 2016.
    Published • 10.1145/2910019.2910107
  37. Cledou, G; Barbosa, LS. "An Ontology for Licensing Public Transport Services". Paper presented in ICEGOV - 9th International Conference on Theory and Practice of Electronic Governance, Montevideo, 2016.
    Published • 10.1145/2910019.2910101
  38. Fernandes, S; Barbosa, LS. "Applying the 3C Model to FLOSS Communities". Paper presented in CRWRIG - 22nd International Conference on Collaboration and Technology, 2016.
    Published • 10.1007/978-3-319-44799-5_11
  39. Madeira, A; Barbosa, LS; Hennicker, R; Martins, MA. "Dynamic Logic with Binders and Its Application to the Development of Reactive Systems". Paper presented in ICTAC - 13th International Colloquium Theoretical Aspects of Computing, Taipei, 2016.
    Published • 10.1007/978-3-319-46750-4_24
  40. Sanchez, A; Barbosa, LS; Riesco, D. "Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language". Paper presented in AIP Conference Proceedings 1648, 310008, 2015.
    Published • 10.1063/1.4912561
  41. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. "A Logic for Robotics?". Paper presented in AIP Conference Proceedings, 2015.
    Published • 10.1063/1.4912930
  42. Sanchez, A; Barbosa, LS; Madeira, A. "Modelling and Verifying Smell-Free Architectures with the ARCHERY Language". Paper presented in SEFM 2014 Collocated Workshops - Software Engineering and Formal Methods - Revised Selected Papers, Grenoble, 2014.
    Published • 10.1007/978-3-319-15201-1_10
  43. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. "A Dynamic Logic for Every Season". Paper presented in SBMF - 17th Brazilian Symposium on Formal Methods, Maceió, 2014.
    Published • 10.1007/978-3-319-15075-8-9
  44. Oliveira, N; Silva, A; Barbosa, LS. "Quantitative analysis of Reo-based service coordination". Paper presented in SAC 2014 - Symposium on Applied Computing, Gyeongju, 2014.
    Published • 10.1145/2554850.2555025
  45. Rodrigues, F; Oliveira, N; Barbosa, LS. "ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures". Paper presented in SLATE - 3rd Symposium on Languages, Applications and Technologies, Bragança, 2014.
    Published • 10.4230/oasics.slate.2014.61
  46. Martins, MA; Madeira, A; Barbosa, LS; Neves, R. "Paradigm integration in a specification course". Paper presented in 15th IEEE International Conference on Information Reuse and Integration, Redwood City, 2014.
    Published • 10.1109/IRI.2014.7051929
  47. Oliveira, N; Barbosa, LS. "A self-adaptation strategy for service-based architectures". Paper presented in SBCARS - Eighth Brazilian Symposium on Software Components, Architectures and Reuse, Maceió, 2014.
    Published • 10.1109/sbcars.2014.12
  48. Madeira, A; Martins, MA; Barbosa, LS. "Bisimilarity and refinement for hybrid(ised) logics". Paper presented in Refine@IFM 2013 - 16th International Refinement Workshop, Turku, 2013.
    Published • 10.4204/EPTCS.115.6
  49. Neves, R; Madeira, A; Martins, MA; Barbosa, LS. "Giving Alloy a family". Paper presented in IRI - IEEE 4th International Conference on Information Reuse & Integration, San Francisco, 2013.
    Published • 10.1109/IRI.2013.6642513
  50. Fernandes, S; Cerone, A; Barbosa, LS. "Analysis of FLOSS Communities as Learning Contexts". Paper presented in SEFM 2013 Collocated Workshops - Revised Selected Papers, Madrid, 2013.
    Published • 10.1007/978-3-319-05032-4_29
  51. Neves, R.; Madeira, A.; Martins, M.A.; Barbosa, L.S.. "Hybridisation at work". Paper presented in CALCO - 5th International Conference on Algebra and Coalgebra in Computer Science, Warsaw, 2013.
    Published • 10.1007/978-3-642-40206-7-28
  52. Fernandes, S.; Cerone, A.; Barbosa, L.S.. "A pilot project on non-conventional learning". Paper presented in ITiCSE '13 - Innovation and Technology in Computer Science Education, Canterbury, 2013.
    Published • 10.1145/2462476.2466522
  53. Madeira, A.; Martins, M.A.; Barbosa, L.S.. "Boilerplates for reconfigurable systems: A language and its semantics". Paper presented in SBLP - 17th Brazilian Symposium on Programming Languages, Brasília, 2013.
    Published • 10.1007/978-3-642-40922-6_6
  54. Neves, R; Madeira, A; Martins, MA; Barbosa, LS. "An Institution for Alloy and Its Translation to Second-Order Logic". Paper presented in International Workshop on Formal Methods Integration, San Francisco, 2013.
    Published • 10.1007/978-3-319-04717-1_3
  55. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. "When even the interface evolves ...". Paper presented in TASE - Seventh International Symposium on Theoretical Aspects of Software Engineering, Birmingham, 2013.
    Published • 10.1109/tase.2013.19
  56. Sanchez, A; Soares Barbosa, LS; Riesco, D. "Verifying bigraphical models of architectural reconfigurations". Paper presented in TASE - Seventh International Symposium on Theoretical Aspects of Software Engineering, Birmingham, 2013.
    Published • 10.1109/tase.2013.25
  57. Fernandes, S; Martinho, MH; Cerone, A; Barbosa, LS. "Integrating formal and informal learning through a FLOSS-based innovative approach". Paper presented in CRIWG - 19th International Conference on Collaboration and Technology, Wellington, 2013.
    Published • 10.1007/978-3-642-41347-6_15
  58. Fernandes, S; Cerone, A; Barbosa, LS; Papadopoulos, PM. "FLOSS in technology-enhanced learning". Paper presented in InSuEdu - Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, Thessaloniki, 2012.
    Published • 10.1007/978-3-642-54338-8_9
  59. Fernandes, S.; Cerone, A.; Barbosa, L.S.. "Exploiting the FLOSS paradigm in collaborative e-learning-application to e-Government". Paper presented in ICEGOV - 6th International Conference on Theory and Practice of Electronic Governance, Albany, 2012.
    Published • 10.1145/2463728.2463825
  60. Fernandes, Sara; Cerone, Antonio; Barbosa, LuisSoares. "A Preliminary Analysis of Learning Awareness in FLOSS Projects". Paper presented in SEFM'12 Collocated Workshop on Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012.
    Published • 10.1007/978-3-642-54338-8_10
  61. Barbosa, LS; Martinho, MariaHelena. "Mathematical Literacy as a Condition for Sustainable Development". Paper presented in InSuEdu - Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012.
    Published • 10.1007/978-3-642-54338-8_5
  62. Oliveira, N.; Barbosa, L.S.. "Reconfiguration mechanisms for service coordination". Paper presented in WS-FM - 9th International Workshop Web Services and Formal Methods, Tallin, 2012.
    Published • 10.1007/978-3-642-38230-7_9
  63. Sanchez, A; Aguiar, A; Barbosa, LS; Riesco, D. "Analysing Tactics in Architectural Patterns". Paper presented in SEW - 35th Annual IEEE Software Engineering Workshop, 2012.
    Published • 10.1109/sew.2012.10
  64. Barbosa, L.S.. "Software components as invariant-typed arrows (Keynote Talk)". Paper presented in SBLP - 16th Brazilian Symposium on Programming Languages, Natal, 2012.
    Published • 10.1007/978-3-642-33182-4_1
  65. Sanchez, A.; Barbosa, L.S.; Riesco, D.. "Bigraphical modelling of architectural patterns". Paper presented in FACS'11 - 8th International Symposium Formal Aspects of Component Software, Oslo, 2011.
    Published • 10.1007/978-3-642-35743-5_19
  66. Sanchez, A.; Barbosa, L.S.; Riesco, D.. "A language for behavioural modelling of architectural patterns". Paper presented in BM-FA - Third Workshop on Behavioural Modelling, Birmingham, 2011.
    Published • 10.1145/1993956.1993959
  67. Ferreira, J.F.; Mendes, A.; Cunha, A.; Baquero, C.; Silva, P.; Barbosa, L.S.; Oliveira, J.N.. "Logic training through algorithmic problem solving". Paper presented in TICTTL -Third International Congress on Tools for Teaching Logic, Salamanca, 2011.
    Published • 10.1007/978-3-642-21350-2_8
  68. Madeira, A.; Faria, J.M.; Martins, M.A.; Barbosa, L.S.. "Hybrid specification of reactive systems: An institutional approach". Paper presented in SEFM - 9th International Conference on Software Engineering and Formal Methods, Montevideo, 2011.
    Published • 10.1007/978-3-642-24690-6_19
  69. Martins, A.; Barbosa, L.S.; Rodrigues, N.F.. "Shacc: A functional prototyper for a component calculus". Paper presented in CALCO - 4th International Conference Algebra and Coalgebra in Computer Science, Winchester, 2011.
    Published • 10.1007/978-3-642-22944-2_32
  70. Rodrigues, N.F.; Oliveira, N.; Barbosa, L.S.. "The role of coordination analysis in software integration projects". Paper presented in OTM'2011 - On the Move to Meaningful Internet Systems, Hersonissos, 2011.
    Published • 10.1007/978-3-642-25126-9_16
  71. Martins, M.A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S.. "Hybridization of institutions". Paper presented in CALCO - 4th International Conference Algebra and Coalgebra in Computer Science, Winchester, 2011.
    Published • 10.1007/978-3-642-22944-2_20
  72. Rodrigues, CJ; Martins, MA; Madeira, A; Barbosa, LS. "Refinement by interpretation in pi-institutions". Paper presented in Refine@IFM 2011 - 15th International Refinement Workshop, Limerik, 2011.
    Published • 10.4204/EPTCS.55.4
  73. Meng, S.; Barbosa, L.S.. "Towards the introduction of QoS information in a component model". Paper presented in SAC 2010 - Symposium on Applied Computing, Sierra, 2010.
    Published • 10.1145/1774088.1774517
  74. Barbosa, LS; Meng, S. "QoS-aware Component Composition". Paper presented in CISIS - The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, 2010.
    Published • 10.1109/cisis.2010.141
  75. Barbosa, LS; Barbosa, MAC; Rodrigues, CJ. "Revisiting context-aware component interconnection". Paper presented in SYNASC - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 2010.
    Published • 10.1109/synasc.2010.38
  76. Barbosa, M.A.; Barbosa, L.S.; Campos, J.C.. "A coordination model for interactive components". Paper presented in FSEN - 3rd Int. Conf. on Fundamentals of Software Engineering, Kish Island, 2009.
    Published • 10.1007/978-3-642-11623-0_25
  77. Martins, MA; Madeira, A; Barbosa, LS. "Refinement via interpretation". Paper presented in SEFM - 7th International Conference on Software Engineering and Formal Methods, Hanoi, 2009.
    Published • 10.1109/sefm.2009.35
  78. Ferreira, JF; Mendes, A; Backhouse, R; Barbosa, LS. "Which Mathematics for the Information Society?". Paper presented in TFM - Second International Conference on Teaching Formal Methods, Eindhoven, 2009.
    Published
  79. Barbosa, LS; Meng, S. "UML Model Refactoring as Refinement: A Coalgebraic Perspective". Paper presented in SYNASC - 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 2008.
    Published • 10.1109/synasc.2008.88
  80. Rodrigues, NF; Barbosa, LS. "On The Discovery of Business Processes Orchestration Patterns". Paper presented in Services - IEEE Congress on Services, Honolulu, 2008.
    Published • 10.1109/services-1.2008.58
  81. Rodrigues, Nuno F.; Barbosa, Luis S.. "CoordInspector: A Tool for Extracting Coordination Data from Legacy Code". Paper presented in 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, Beijing, 2008.
    10.1109/scam.2008.10
  82. Wang, SL; Barbosa, LS; Oliveira, JN. "A relational model for confined separation logic". Paper presented in TASE - Second International Symposium on Theoretical Aspects of Software Engineering, 2008.
    Published • 10.1109/tase.2008.38
  83. Meng, S; Barbosa, LS. "A coalgebraic semantic framework for reasoning about UML sequence diagrams". Paper presented in QSIC - Eighth International Conference on Quality Software, Oxford, 2008.
    Published • 10.1109/qsic.2008.13
  84. Barbosa, L.S.; Oliveira, J.N.; Silva, A.. "Calculating invariants as coreflexive bisimulations". Paper presented in AMAST - 12th International Conference on Algebraic Methodology and Software Technology, Urbana, 2008.
    Published • 10.1007/978-3-540-79980-1_7
  85. Barbosa, L.; Cunha, J.; Visser, J.. "A type-level approach to component prototyping". Paper presented in SYANCO'07 - International Workshop on Synthesis and Analysis of Component Connectors, 2007.
    Published • 10.1145/1294917.1294920
  86. Rodrigues, NF; Barbosa, LS. "Slicing Functional Programs by Calculation". Paper presented in Beyond Program Slicing, Schloss Dagstuhl, 2005.
    Published
  87. Meng, S.; Barbosa, L.S.; Naixiao, Z.. "On refinement of software architectures". Paper presented in ICTAC - 2nd International Colloquium Theoretical Aspects of Computing, Hanoi, 2005.
    Published • 10.1007/11560647_31
  88. Barbosa, M.A.; Barbosa, L.S.. "Specifying software connectors". Paper presented in ICTAC - 1st International Colloquium Theoretical Aspects of Computing, Guiyang, 2004.
    Published • 10.1007/978-3-540-31862-0_6
  89. Barbosa, L.S.. "A perspective on component refinement". Paper presented in FMCO - Third International Symposium on Formal Methods for Components and Objects, Leiden, 2004.
    Published • 10.1007/11561163_2
  90. Sun, M.; Zhang, N.; Barbosa, L.S.. "On semantics and refinement of UML statecharts: A coalgebraic view". Paper presented in SEFM - 2nd International Conference on Software Engineering and Formal Methods, Beijing, 2004.
    Published • 10.1109/sefm.2004.1347517
  91. Meng, S.; Barbosa, L.S.. "On refinement of generic state-based software components". Paper presented in AMAST - 10th International Conference on Algebraic Methodology and Software Technology, Stirling, 2004.
    Published • 10.1007/978-3-540-27815-3_38
  92. Barbosa, LS; Oliveira, JN. "Coinductive Interpreters for Process Calculi". Paper presented in FLOPS - 6th International Symposium Functional and Logic Programming, Aizu, 2002.
    Published • 10.1007/3-540-45788-7_11
  93. Barbosa, L.S.. "Components as processes: An exercise in coalgebraic modeling". Paper presented in FMOODS - Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, San Francisco, 2000.
    Published • 10.1007/978-0-387-35520-7_20
  94. Barbosa, LS. "Prototyping Processes". Paper presented in AGP'99 - 1999 Joint Conference on Declarative Programming, L'Aquila, 1999.
    Published
  95. Almeida, JJ; Barbosa, LS; Neves, FL; Oliveira, JN. "CAMILA: Prototyping and Refinement of Constructive Specifications". Paper presented in AMAST - 6th International Conference on Algebraic Methodology and Software Technology, Sydney, 1997.
    Published • 10.1007/BFb0000496
Edited book
  1. Barbosa, LS; Abam, MA, ed. Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings. 2020.
  2. Barbosa, LS; Baltag, A, ed. Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. 2020.
  3. Estevez, E; Janssen, M; Barbosa, LS, ed. Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014. ACM. 2014.
  4. Junior, FHdC; Barbosa, LS, ed. Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. 2012.
    10.1007/978-3-642-33182-4
  5. Bove, A; Barbosa, LS; Pardo, A; Pinto, JS, ed. Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. 2009.
    10.1007/978-3-642-03153-3
Journal article
  1. Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.. "Paraconsistent transition structures: compositional principles and a modal logic". Mathematical Structures in Computer Science 35 (2025): https://doi.org/10.1017/s0960129525100170.
    Published • 10.1017/s0960129525100170
  2. Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares. "Specification of paraconsistent transition systems, revisited". Science of Computer Programming 240 (2025): 103196. https://doi.org/10.1016/j.scico.2024.103196.
    Published • 10.1016/j.scico.2024.103196
  3. Sequeira, André; Paulo Santos, Luis; Soares Barbosa, Luis. "Trainability issues in quantum policy gradients". Machine Learning: Science and Technology 5 3 (2024): 035037. https://doi.org/10.1088/2632-2153/ad6830.
    Published • 10.1088/2632-2153/ad6830
  4. Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco; Barbosa, Luis Manuel Dias Coelho Soares. "Secure two-party computation via measurement-based quantum computing". Quantum Information Processing 23 6 (2024): https://doi.org/10.1007/s11128-024-04433-7.
    Published • 10.1007/s11128-024-04433-7
  5. Guimarães, José D.; Vasilevskiy, Mikhail I.; Barbosa, Luís S.. "Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials". Quantum 8 (2024): 1-25. http://dx.doi.org/10.22331/q-2024-02-05-1242.
    Open access • Published • 10.22331/q-2024-02-05-1242
  6. Sequeira, André; Santos, Luis Paulo; Barbosa, Luis Soares. "Policy gradients using variational quantum circuits". Quantum Machine Intelligence 5 1 (2023): 1-15. http://dx.doi.org/10.1007/s42484-023-00101-8.
    Open access • Published • 10.1007/s42484-023-00101-8
  7. Rahmani, Zeinab; Barbosa, Luis S.; Pinto, Armando N.. "Quantum privacy-preserving service for secure lane change in vehicular networks". IET Quantum Communication 4 3 (2023): 103-111. http://dx.doi.org/10.1049/qtc2.12059.
    Open access • Published • 10.1049/qtc2.12059
  8. Gomes, L; Madeira, A; Barbosa, LS. "Weighted synchronous automata". MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2023):
    10.1017/s0960129522000421
  9. Barbosa, Luis Soares; Madeira, Alexre; Gomes, Leandro. "Guarded weighted synchronous automata". Mathematical Structures in Computer Science (2022):
    Accepted
  10. Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo. "Modelling and control of manufacturing systems subject to context recognition and switching". International Journal of Production Research 61 10 (2022): 3396-3414. http://dx.doi.org/10.1080/00207543.2022.2081631.
    Open access • Published • 10.1080/00207543.2022.2081631
  11. Barbosa, Luis Soares. "Coalgebra for the working software engineer". Journal of Applied Logics - IfCoLog Journal 9 1 (2022): 41-92. https://collegepublications.co.uk/ifcolog/?00053.
    Open access • Published
  12. Barbosa, LS. "Coalgebra for the working software engineer". FLAP (2022):
  13. Oliveira, JN; Pinto, JS; Barbosa, LS; Henriques, PR. "A tribute to Jose Manuel Valenca". JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2022):
    10.1016/j.jlamp.2022.100792
  14. Sequeira, Andre; Santos, Luis Paulo; Barbosa, Luis Soares. "Quantum Tree-Based Planning". IEEE Access 9 (2021): 125416-125427. http://dx.doi.org/10.1109/access.2021.3110652.
    Open access • Published • 10.1109/access.2021.3110652
  15. Barbosa, Luís; Michael de Oliveira. "Quantum Bayesian decision-making". Foundations of Science (2021): https://arxiv.org/abs/2010.02088.
    Open access • Accepted
  16. Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares. "A semantics and a logic for Fuzzy Arden Syntax". Soft Computing 25 9 (2021): 6789-6805. http://dx.doi.org/10.1007/s00500-021-05593-9.
    Published • 10.1007/s00500-021-05593-9
  17. Liu, Ai; Wang, Shun; Barbosa, Luis Soares; Sun, Meng. "Fuzzy Automata as Coalgebras". Mathematics 9 3 (2021): 272. http://dx.doi.org/10.3390/math9030272.
    10.3390/math9030272
  18. de Oliveira, M; Barbosa, LS. "Quantum Bayesian Decision-Making". FOUNDATIONS OF SCIENCE (2021):
    10.1007/s10699-021-09781-6
  19. Guimarães, José Diogo; Tavares, Carlos; Barbosa, Luís Soares; Vasilevskiy, Mikhail I.. "Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer". Complexity 2020 (2020): 1-12. http://dx.doi.org/10.1155/2020/3510676.
    Open access • Published • 10.1155/2020/3510676
  20. Janssen, Marijn; Brous, Paul; Estevez, Elsa; Barbosa, Luis S.; Janowski, Tomasz. "Data governance: Organizing data for trustworthy Artificial Intelligence". Government Information Quarterly 37 3 (2020): 101493. http://dx.doi.org/10.1016/j.giq.2020.101493.
    10.1016/j.giq.2020.101493
  21. de Oliveira Dantas, Allberson Bruno; de Carvalho Junior, Francisco Heron; Barbosa, Luis Soares. "A component-based framework for certification of components in a cloud of HPC services". Science of Computer Programming 191 (2020): 102379. http://dx.doi.org/10.1016/j.scico.2019.102379.
    Published • 10.1016/j.scico.2019.102379
  22. Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares. "Introducing Synchrony in Fuzzy Automata". Electronic Notes in Theoretical Computer Science 348 (2020): 43-60. http://dx.doi.org/10.1016/j.entcs.2020.02.004.
    10.1016/j.entcs.2020.02.004
  23. Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares. "Generalising KAT to Verify Weighted Computations". Scientific Annals of Computer Science 19 2 (2019): 141-184. http://dx.doi.org/10.7561/sacs.2019.2.141.
    Published • 10.7561/sacs.2019.2.141
  24. Madeira, A; Barbosa, LS; Hennicker, R; Martins, MA. "A logic for the stepwise development of reactive systems". Theoretical Computer Science 744 (2018): 78-96.
    Published • 10.1016/j.tcs.2018.03.004
  25. Neves, R; Barbosa, LS. "Languages and models for hybrid automata: A coalgebraic perspective". Theoretical Computer Science 744 (2018): 113-142.
    Published • 10.1016/j.tcs.2017.09.038
  26. Barbosa, LS; Madeira, A. "A Research Agenda on Quantum Algoritmics". ERCIM NEWS 113 (2018):
    Published
  27. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. "Hierarchical Hybrid Logic". Electronic Notes in Theoretical Computer Science 388 (2018): 167-184.
    Published • 10.1016/j.entcs.2018.10.011
  28. Cledou, G; Estevez, E; Barbosa, LS. "A taxonomy for planning and designing smart mobility services". Government Information Quarterly 35 1 (2018): 61-76.
    Published • 10.1016/j.giq.2017.11.008
  29. Madeira, A; Neves, R; Barbosa, LS; Martins, MA. "A method for rigorous design of reconfigurable systems". Science of Computer Programming 132 (2016): 50-76.
    Published • 10.1016/j.scico.2016.05.001
  30. Oliveira, N; Barbosa, LS. "An Enhanced Model for Stochastic Coordination". Electronic Proceedings in Theoretical Computer Science 228 (2016): 35-45.
    Published • 10.4204/eptcs.228.5
  31. Neves, R; Madeira, A; Martins, MA; Barbosa, LS. "Proof theory for hybrid(ised) logics". Science of Computing Programming 126 (2016): 73-93.
    Published • 10.1016/j.scico.2016.03.001
  32. Neves, R; Barbosa, LS; Hofmann, D; Martins, MA. "Continuity as a computational effect". The Journal of Logic and Algebraic Methods in Programming 85 1 (2016): 1057-1085.
    Published • 10.1016/j.jlamp.2016.05.005
  33. Sanchez, A; Oliveira, N; Barbosa, LS; Henriques, P. "A perspective on architectural re-engineering". Science of Computer Programming 98 (2015): 764-784. https://www.authenticus.pt/P-00A-4QE.
    Published • 10.1016/j.scico.2014.02.026
  34. Madeira, A; Martins, MA; Barbosa, LS; Hennicker, R. "Refinement in hybridised institutions". Formal Aspects of Computing 27 2 (2015): 375-395. https://www.authenticus.pt/P-00A-6SS.
    Published • 10.1007/s00165-014-0327-6
  35. Madeira, A; Martins, MA; Barbosa, LS. "A logic for n-dimensional hierarchical refinement". Electronic Proceedings in Theoretical Computer Science 209 (2015): 46-50.
    Published • 10.4204/eptcs.209.4
  36. Oliveira, Nuno; Silva, Alexandra; Barbosa, LS. "IMCReo: interactive Markov chains for Stochastic Reo". J. Internet Serv. Inf. Secur. 5 1 (2015): 3-28.
    Published
  37. Sanchez, A; Madeira, A; Barbosa, LS. "On the verification of architectural reconfigurations". Computer Languages, Systems & Structures 44 (2015): 218-237. https://www.authenticus.pt/P-00J-YXD.
    Published • 10.1016/j.cl.2015.07.001
  38. Rodrigues, F; Oliveira, N; Barbosa, LS. "Towards an engine for coordination-based architectural reconfigurations". Computer Science and Information Systems 12 2 (2015): 607-634. https://www.authenticus.pt/P-00G-E96.
    Published • 10.2298/csis140912019r
  39. Oliveira, N; Barbosa, LS. "Self-adaptation by coordination-targeted reconfigurations". Journal of Software Engineering Research and Development 3 6 (2015): https://www.authenticus.pt/P-00K-ANZ.
    Published • 10.1186/s40411-015-0021-2
  40. Oliveira, N; Barbosa, LS. "Reasoning about software reconfigurations: The behavioural and structural perspectives". Science of Computer Programming 110 (2015): 78-103. https://www.authenticus.pt/P-00G-FZ5.
    Published • 10.1016/j.scico.2015.05.013
  41. Barbosa, LS; Martins, MA; Carreteiro, M. "A Hilbert-Style Axiomatisation for Equational Hybrid Logic". Journal of Logic, Language and Information 23 1 (2014): 31-52. https://www.authenticus.pt/P-009-H0Y.
    10.1007/s10849-013-9184-6
  42. Martins, MA; Madeira, A; Barbosa, LS. "The Role of Logic Interpretation in Program Development". Logical Methods in Computer Science 10 1 (2014):
    Published • 10.2168/lmcs-10(1:1)2014
  43. Martins, M.A.; Madeira, A.; Barbosa, L.S.. "A Coalgebraic Perspective on Logical Interpretations". Studia Logica 101 4 (2013): 783-825.
    Published • 10.1007/s11225-013-9498-z
  44. Oliveira, N.; Barbosa, L.S.. "On the reconfiguration of software connectors". Proceedings of the ACM Symposium on Applied Computing (2013): 1885-1892. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877988565&partnerID=MN8TOARS.
    10.1145/2480362.2480712
  45. Barbosa, L.S.; Meng, S.. "A Calculus for Generic, QoS-Aware Component Composition". Mathematics in Computer Science 6 4 (2012): 475-497.
    Published • 10.1007/s11786-012-0137-2
  46. Damiani, E.; Barbosa, L.; Breuer, P.T.; Ardagna, C.A.; Barbosa, Luís. "Special issue: Open source certification". Computer Systems Science and Engineering 25 4 (2010): 271-272. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957324516&partnerID=MN8TOARS.
  47. Barbosa, L.S.; Cerone, A.; Petrenko, A.K.; Shaikh, S.A.. "Certification of open-source software: A role for formal methods?". Computer Systems Science and Engineering 25 4 (2010): 273-281.
    Published
  48. Rodrigues, N.F.; Barbosa, L.S.. "Slicing for architectural analysis". Science of Computer Programming 75 10 (2010): 828-847.
    Published • 10.1016/j.scico.2010.02.002
  49. Barbosa, L.S.; Meng, S.. "Bringing class diagrams to life". Innovations in Systems and Software Engineering 6 1 (2010): 91-98.
    Published • 10.1007/s11334-009-0118-z
  50. Barbosa, LS; Cerone, A; Shaikh, SA. "Preface". ECEASST (2009): https://www.authenticus.pt/P-008-M6Q.
  51. Campos, M.D.; Barbosa, L.S.. "Implementation of an Orchestration Language as a Haskell Domain Specific Language". Electronic Notes in Theoretical Computer Science 255 (2009): 45-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-71849105397&partnerID=MN8TOARS.
    Published • 10.1016/j.entcs.2009.10.024
  52. Barbosa, M.A.; Barbosa, L.S.. "A perspective on service orchestration". Science of Computer Programming 74 9 (2009): 671-687. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349259974&partnerID=MN8TOARS.
    Published • 10.1016/j.scico.2008.09.019
  53. Martins, M.A.; Madeira, A.; Barbosa, L.S.. "Refinement via interpretation". SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods (2009): 250-259. http://www.scopus.com/inward/record.url?eid=2-s2.0-77749267937&partnerID=MN8TOARS.
    10.1109/SEFM.2009.35
  54. Rodrigues, C.J.; Oliveira, J.N.; Barbosa, L.S.. "A Single Complete Relational Rule for Coalgebraic Refinement". Electronic Notes in Theoretical Computer Science 259 C (2009): 3-19.
    Published • 10.1016/j.entcs.2009.12.014
  55. Martins, M.A.; Madeira, A.; Barbosa, L.S.. "Refinement by Interpretation in a General Setting". Electronic Notes in Theoretical Computer Science 259 C (2009): 105-121. http://www.scopus.com/inward/record.url?eid=2-s2.0-72049121165&partnerID=MN8TOARS.
    Published • 10.1016/j.entcs.2009.12.020
  56. Ribeiro, P.R.; Barbosa, L.S.; Wang, S.. "An Exercise on Transition Systems". Electronic Notes in Theoretical Computer Science 207 C (2008): 89-106.
    Published • 10.1016/j.entcs.2008.03.087
  57. Rodrigues, N.F.; Barbosa, L.S.. "On the discovery of business processes orchestration patterns". Proceedings - 2008 IEEE Congress on Services, SERVICES 2008 PART 1 (2008): 391-398. http://www.scopus.com/inward/record.url?eid=2-s2.0-51749125063&partnerID=MN8TOARS.
    10.1109/SERVICES-1.2008.58
  58. Barbosa, L.S.; Meng, S.. "UML model refactoring as refinement: A coalgebraic perspective". Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008 (2008): 340-347. http://www.scopus.com/inward/record.url?eid=2-s2.0-70449495406&partnerID=MN8TOARS.
    10.1109/SYNASC.2008.88
  59. Barbosa, M.A.; Barbosa, L.S.. "An Orchestrator for Dynamic Interconnection of Software Components". Electronic Notes in Theoretical Computer Science 181 1 (2007): 49-61.
    Published • 10.1016/j.entcs.2007.01.053
  60. Barbosa, M.A.; Barbosa, L.S.. "Configurations of Web Services". Electronic Notes in Theoretical Computer Science 175 2 (2007): 39-57.
    Published • 10.1016/j.entcs.2007.03.004
  61. Barbosa, M.A.; Barbosa, L.S.; Campos, J.C.. "Towards a Coordination Model for Interactive Systems". Electronic Notes in Theoretical Computer Science 183 SPEC. ISS. (2007): 89-103.
    Published • 10.1016/j.entcs.2007.01.063
  62. Bigonha, R.S.; Musicante, M.A.; Pardo, A.; Garcia, A.; Martini, A.; Moreira, Á.F.; De Melo, A.C.V.; et al. "Selected papers from SBLP 2007: The 11th brazilian symposium on programming languages J.UCS special issue". Journal of Universal Computer Science 13 6 (2007): 679-681. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548013342&partnerID=MN8TOARS.
  63. Rodrigues, N.F.; Barbosa, L.S.. "Higher-order lazy functional slicing". Journal of Universal Computer Science 13 6 (2007): 854-873.
    Published
  64. Barbosa, L.S.; Oliveira, J.N.. "Transposing partial components-An exercise on coalgebraic refinement". Theoretical Computer Science 365 1-2 (2006): 2-22.
    Published • 10.1016/j.tcs.2006.07.030
  65. Bigonha, M.A.S.; De Vasconcellos Garcia, A.; Compagnoni, A.; Pardo, A.; Martini, A.; Santos, A.; Rubira, C.; et al. "Selected papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages J.UCS Special Issue". Journal of Universal Computer Science 12 7 (2006): 762-763. http://www.scopus.com/inward/record.url?eid=2-s2.0-33747888037&partnerID=MN8TOARS.
  66. Rodrigues, N.F.; Barbosa, L.S.. "Component Identification Through Program Slicing". Electronic Notes in Theoretical Computer Science 160 1 (2006): 291-304.
    Published • 10.1016/j.entcs.2006.05.029
  67. Meng, S.; Barbosa, L.S.. "Components as coalgebras: The refinement dimension". Theoretical Computer Science 351 2 (2006): 276-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-31544449115&partnerID=MN8TOARS.
    Published • 10.1016/j.tcs.2005.09.072
  68. Rodrigues, N.F.; Barbosa, L.S.. "Program slicing by calculation". Journal of Universal Computer Science 12 7 (2006): 828-848.
    Published
  69. Ribeiro, P.R.; Barbosa, M.A.; Barbosa, L.S.. "Generic process algebra: A programming challenge". Journal of Universal Computer Science 12 7 (2006): 922-937.
    Published
  70. Cruz, A.M.; Barbosa, L.S.; Oliveira, J.N.. "From algebras to objects: Generation and composition". Journal of Universal Computer Science 11 10 (2005): 1580-1612.
    Published
  71. Rodrigues, N.F.; Barbosa, L.S.. "Architectural prototyping: From CCS to. Net". Electronic Notes in Theoretical Computer Science 130 (2005): 151-167.
    Published • 10.1016/j.entcs.2005.03.009
  72. Meng, S.; Aichernig, B.K.; Barbosa, L.S.; Naixiao, Z.. "A coalgebraic semantic framework for component-based development in UML". Electronic Notes in Theoretical Computer Science 122 (2005): 229-245. http://www.scopus.com/inward/record.url?eid=2-s2.0-14544306013&partnerID=MN8TOARS.
    10.1016/j.entcs.2004.06.051
  73. Barbosa, M.A.; Barbosa, L.S.. "A relational model for component interconnection". Journal of Universal Computer Science 10 7 (2004): 808-823.
    Published
  74. Barbosa, L.S.; Oliveira, J.N.. "State-based components made generic". Electronic Notes in Theoretical Computer Science 82 1 (2003): 41-58.
    Published • 10.1016/S1571-0661(04)80631-5
  75. Barbosa, L.S.. "Towards a calculus of state-based software components". Journal of Universal Computer Science 9 8 (2003):
    Published
  76. Barbosa, L.S.. "Process calculi à la bird-meertens". Electronic Notes in Theoretical Computer Science 44 1 (2001): 49-68.
    Published • 10.1016/S1571-0661(04)80902-2
Journal issue
  1. Barbosa, Luís. "ICEGOV 2014 Supplement: The Rise of Data Post-2015 - Empowered Citizens, Accountable Institutions". Government Information Quarterly (2019):
    In press • Invited editor
  2. Barbosa, Luís; Silva, Alexandra; Cunha, Alcino. "Articles dedicated to Prof. J. N. Oliveira on the occasion of his 60th birthday". Journal of Logical and Algebraic Methods in Programming 85 5 - 2 (2016): https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/85/issue/5/part/P2.
    Published • Invited editor
  3. Barbosa, Luís; Heron de Carvalho Junior, FH. "Selected and extended papers of the Brazilian Symposium on Programming Languages 2012". Science of Computer Programming 96 2 (2014): https://www.sciencedirect.com/journal/science-of-computer-programming/vol/96/part/P2.
    Published • Invited editor
  4. Barbosa, Luís; Lumpe, M.; Barbosa, LS; Lumpe, M. "Formal Aspects of Component Software (FACS 2010 selected and extended papers)". Science of Computer Programming 94 3 (2014): https://www.sciencedirect.com/journal/science-of-computer-programming/vol/94/part/P3.
    Published • 10.1016/j.scico.2014.03.010 • Invited editor
  5. Barbosa, Luís; Settas, D. "Proceedings of the Fifth International Workshop on Foundations and Techniques for Open source Software Certification (OpernCert 2011)". Electronic Communications of the EASST 48 (2011): https://journal.ub.tu-berlin.de/eceasst/issue/view/66.
    Published • Invited editor
  6. Barbosa, Luís; Cerone, Antonio; Shaikh, S.A.. "Foundations and Techniques for Open Source Software Certification 2010". Electronic Communications of the EASST 33 (2010): https://journal.ub.tu-berlin.de/eceasst/issue/view/44.
    Published
  7. Barbosa, Luís; Cerone, Antonio; Shaikh, S.A.. "Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2009)". Electronic Communications of the EASST 20 (2009): https://journal.ub.tu-berlin.de/eceasst/article/view/252/309.
    Published • Invited editor
Preface / Postscript
  1. Barbosa, Luís; Pinto, Jorge Sousa; Pedro Rangel Henriques; Jose Nuno Fonseca Oliveira. Corresponding author: Barbosa, Luís. "A tribute to Jose Manuel Valença". Preface to J. Log. Algebraic Methods Program.. Elsevier. 2022.
    Published • 10.1016/J.JLAMP.2022.100792
  2. Barbosa, LS; Cunha, A; Silva, A. "Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira". Preface to Journal of Logic and Algebraic Methods in Programming --- J N Oliveira Festschrift. Braga, Portugal: Springer-Verlag. 2016.
    10.1016/j.jlamp.2016.07.002
  3. Lumpe, M.; Barbosa, L.S.. "FACS 2010 - Revised Selected Papers". Preface to Lecture Notes in Computer Science. Springer. 2012.
    Published • 10.1007/978-3-642-27269-1
  4. De Carvalho, FH; Barbosa, LS. "Preface to Proc. 16th Brazilian Symposium on Programming Languages". Preface to Lecture Notes in Computer Science. Springer. 2012.
    Published
  5. Barbosa, LS; Settas, D. "Preface OpenCert Proc. 2011". Preface to ECEASST. ECEASST. 2011.
    Published
  6. Barbosa, LS; Cerone, A; Shaikh, SA. "Preface OpenCert Proc. 2010". Preface to ECEASST. ECEASST. 2010.
    Published
  7. Barbosa, LS; Cerone, A; Shaikh, SA. "Preface OpenCert Proc. 2009". Preface to ECEASST. ECEASST. 2009.
  8. Liu, Z; Barbosa, LS. "Preface". Preface to Electr. Notes Theor. Comput. Sci.. Elsevier. 2006.
    Published • 10.1016/j.entcs.2006.05.011

Other

Other output
  1. Variational Quantum Policy Gradients with an Application to Quantum Control. 2022. Sequeira, A; Santos, LP; Barbosa, LS.
  2. Quantum Bayesian decision-making. 2020. Oliveira, Md; Barbosa, LS.
  3. Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface. 2014. de Carvalho Junior, FH; Barbosa, LS. https://www.authenticus.pt/P-00A-04W.
    10.1016/j.scico.2014.08.001
  4. Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface. Science of Computer Programming. 2014. Barbosa, LS; Shaikh, SA; Barbosa, Luís; Shaikh, S.A.. https://www.authenticus.pt/P-009-HC3.
    10.1016/j.scico.2014.04.007
  5. Preface. 2012. Barbosa, LS; Settas, D.
    10.14279/tuj.eceasst.48.810.804
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2025/10/21 Keynote Invited Lecture: Paraconsistency and Program Logics DaLí 2025: The 6th Workshop on Dynamic Logic - New Trends and Applications October 20-21, 2025
School of Philosophy, Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China (X'ian, China)
2024/11/06 Keynote Invited Lecture: Paraconsistency for the working software engineer SEFM'2024 - 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024
University of Aveiro (Aveiro, Portugal)
2023/10/19 Invited Lecture: Paraconsistent components FACS'2023 - 19th International Conference on Formal Aspects of Component Software
U. Oslo (Oslo, Norway)
2023/08/06 Keynote Invited Lecture: Paraconsistent transition systems and their logics AILA'2023 - 3rd International Conference on Artificial Intelligence Logic and Applications
Jilin University (Changchun, China)
2019/05/06 Keynote Invited Lecture: What coalgebra can do for you? EBL'2019 - Encontro Brasileiro de Lógica
(João Pessoa, Brazil)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2025/02/04 - Current A calculus of quantum programs (PhD Bruno Jardim Machado)
Supervisor
 Programa Doutoral em Informática das Universidades do Minho, Aveiro e Porto (MAP-I) (PhD)
Universidade do Minho, Portugal
2023/10/01 - Current Quantum programming in Quipper and Proto-Quipper (MSc Jorge Melo)
Supervisor
Universidade do Minho Laboratório de Software Confiável, Portugal
2023/09/01 - Current On paraconsistent transitions system (PhD Juliana Cunha)
Co-supervisor
 Programa Doutoral em Matemática (PhD)
Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
2021/10/01 - Current Learning open quantum systems using machine learning (PhD Antonio Ruiz Molero)
Co-supervisor
Universidade do Minho Escola de Engenharia, Portugal
2021/02/01 - Current Dynamic fuzzy logics for quantum programs: Foundations and applications (PhD Manisha Jain)
Co-supervisor
 PhD Program in Applied Mathematics (MAP-PDMA) (PhD)
Universidade de Aveiro, Portugal
2019/10/01 - Current Quantum technologies for data (PhD - Afonso Rodrigues)
Supervisor
 Computer Science (PhD)
Universidade do Minho Escola de Engenharia, Portugal
2021/01/01 - 2026/03/09 Time-structure in measurement-based quantum computing (PhD Vitor Fernandes)
Co-supervisor
 MAPi - MAP Doctoral Program in Computer Science (PhD)
Universidade do Minho, Portugal
2020/09/01 - 2025/12/03 Time-structure in measurement-based quantum computing (PhD Michael Oliveira)
Co-supervisor
Universidade do Minho Escola de Engenharia, Portugal
2021/02/01 - 2025/07/15 Quantum Assisted Secure Multi-Party Computation (PhD Zeinab Rahmani)
Co-supervisor
 Doctoral Programme in Electrical Engineering - Univ Aveiro (PhD)
Universidade de Aveiro, Portugal
2021/01/01 - 2025/05/02 Investigation of quantum effects in the energy and charge transport in photosynthetic systems by means of quantum simulations (PhD José Diogo Guimarães)
Co-supervisor
 Física (MAP-FIS) (PhD)
Universidade do Minho, Portugal
2022/01/05 - 2025/03/24 Quantum Reinforcement Learning: Foundations, algorithms, applications (PhD André Sequeira)
Co-supervisor
 MAP-i Doctoral Programme in Computer Science (PhD)
Universidade do Minho Escola de Engenharia, Portugal
2023/09 - 2024/12/11 Robustness of quantum walk speed-ups in dynamical graphs (MSc Eduardo Araujo)
Supervisor
Universidade do Minho Laboratório de Software Confiável, Portugal
2023/09/28 - 2024/12/05 Analyzing quantum learning protocols with ZX (MSc Bruno Machado)
Supervisor
 MSc Informatics Engineering (Master)
Universidade do Minho Laboratório de Software Confiável, Portugal
2022/10/02 - 2024/03/18 An Interpreter for a Concurrent Quantum Language (MSc Ines Dias)
Co-supervisor
Universidade do Minho Laboratório de Software Confiável, Portugal
2022/01/04 - 2022/12/28 Quantum Bayesian Reinforcement Learning (MSc Gilberto Cunha)
Co-supervisor
Universidade do Minho Escola de Engenharia, Portugal
2016/07/01 - 2022/04/08 Weighted computations: semantics and program logics (PhD - Leandro Gomes)
Co-supervisor
 PhD Computer Science (MAP-i) (PhD)
Universidade do Minho, Portugal
2020/03/01 - 2021/12/03 Exploring paraconsistent logics for quantum programs (MSc - Ana Cruz)
Supervisor
 Mestrado Integrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2020/02/01 - 2021/10/20 Combining paraconsistent and dynamic logic for Qiskit (MSc - Bernardo Faria)
Supervisor
 Mestrado Integrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2020/01/04 - 2021/09/20 Implementing quantum walks in Qiskit (MSc - Jaime Santos)
Supervisor
 Mestrado Integrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2016/10/15 - 2021/05/27 Foundations for quantum algorithms and complexity (PhD - Carlos Tavares)
Supervisor
 PhD Computer Science (MAP-i) (PhD)
Universidade do Minho, Portugal
2020/03/01 - 2021/01/14 Quantum-enhanced reinforcement learning (MSc André Sequeira)
Co-supervisor
 Integrated master in Physics Engineering (Master)
Universidade do Minho, Portugal
2019/10/01 - 2020/07/29 Flexible molecular alignment (MSc - Sofia Oliveira)
Supervisor
 Mestrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2019/11/01 - 2020/07/06 Simulation in quantum biology (MSc - José Guimarães)
Co-supervisor
 Mestrado Integrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2016/07/01 - 2020/02/15 Logic foundations and computational tools for synthetic biology (PhD - Daniel Figueiredo)
Co-supervisor
 PhD - Mathematics and Applications (MAP-PDMA) (PhD)
Universidade de Aveiro, Portugal
2019/01/01 - 2019/12/20 Integration of time in a quantum process algebra (MSc - Vitor Fernandes)
Co-supervisor
 Mestrado Integrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2019/01/01 - 2019/12/18 Quantum Bayesian networks (MSc -Michael Oliveira)
Supervisor
 Mestrado Integrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2014/07/01 - 2018/11/12 A virtual factory for smart city service integration (PhD - Guillermina Cledou)
Supervisor
 PhD - Computer Science (MAP-i) (PhD)
Universidade do Minho, Portugal
2018/01/01 - 2018/11/05 Validation of quantum simulations (MSc - Afonso Rodrigues)
Supervisor
 Mestrado Integrado em Engenharia Física (Master)
Universidade do Minho, Portugal
2014/07/01 - 2018/06/22 Hybrid programs (PhD - Renato Neves)
Co-supervisor
 PhD - Computer Science (MAP-i) (PhD)
Universidade do Minho, Portugal
2016/02/01 - 2017/02/24 A framework for architectural design and simulation of hybrid systems (Tiago Rodrigues)
Co-supervisor
 Mestrado Integrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2015/01/01 - 2015/12/10 Validation of IEC 61131-3 programmable logical controllers in KeYmaera (MSc - Yoan Ribeiro)
Co-supervisor
 Mestrado Integrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2015/02/01 - 2015/12/05 An engine for coordination-based architectural reconfigurations (MSc - Flávio Rodrigues)
Supervisor
 Mestrado Integrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2011/09/01 - 2015/03/10 Architectural reconfiguration of interacting services (PhD - Nuno Ernesto Oliveira)
Supervisor
 PhD - Computer Science (MAP-i) (PhD)
Universidade do Minho, Portugal
2013/02/01 - 2013/09/13 Proof support for hybrid logic (MSc - Renato Neves)
Co-supervisor
 Mestrado Engenharia Informática (Master)
Universidade do Minho, Portugal
2009/07/01 - 2013/07/08 Foundations and techniques for software reconfigurability (PhD - Alexandre Madeira; awarded the 2013 IBM Scientific Prize))
Co-supervisor
 PhD - MAP-I Joint Doctoral Programme in Computer Science U. Minho, Aveiro, Porto (PhD)
Universidade do Minho, Portugal
2011/02/01 - 2011/12/13 An animator for the component calculus (MSc - André Martins)
Supervisor
 Mestrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2007/07/01 - 2010/11/05 Algorithmic problem solving: Principles and applications (PhD - João Fernando Ferreira)
Co-supervisor
 PhD in Computer Science (co-supervision with Roland Backhouse) (PhD)
University of Nothingham, United Kingdom
2004/09/01 - 2009/09/07 Specification and refinement of software connectors (PhD - Marco Castro Barbosa)
Supervisor
 PhD in Computer Science, U. Minho (PhD)
Universidade do Minho, Portugal
2005/06/01 - 2009/02/09 Slicing techniques applied to architectural analysis of legacy software (PhD - Nuno Feixa Rodrigues)
Supervisor
 PhD - Computer Science (PhD)
Universidade do Minho, Portugal
2007/10/01 - 2008/06/21 An extended proof obligations generator for VMD++/OML (MSc - Augusto Ribeiro)
Co-supervisor
 MSc Computer Science (Master)
Aarhus University (Denmark), Denmark
2007/10/01 - 2008/06/21 Connecting VDM++ and JML (MSc - Carlos Vilhena)
Co-supervisor
 MSc Computer Science (Master)
Aarhus University (Denmark), Denmark
2007/10/01 - 2008/06/21 Combinatorial Test Automation Support for VDM+ (MSc - Adriana Sucena)
Co-supervisor
 MSc Computer Science (Master)
Aarhus University (Denmark), Denmark
2007/02/01 - 2007/12/07 Formal specification of an object-oriented framework for control systems design (MSc - David Sora)
Supervisor
 Mestrado em Engenharia Informática (Master)
Universidade do Minho, Portugal
2005/09/01 - 2006/03/16 Coinductive programming: Calculi and applications (MSc - Paula Ribeiro)
Supervisor
 Mestrado em Matemática Computacional (Master)
Universidade do Minho, Portugal
2001/01/01 - 2004/11/12 Coalgebra theory and its application to component software (PhD - Sun Meng)
Co-supervisor
 PhD - Mathematics and Information Sciences (PhD)
Peking University Department of Mathematics, China

Association member

Society Organization name Role
2024/10/19 - Current IFIP - Secretary to IFIP WG 1.11/2.17 on Foundations of Quantum Computing WG Secretary
2014/09/10 - Current IFIP WG1.3 (Foundations of System Specification) Regular member

Committee member

Activity description
Role 		Institution / Organization
2019/10/01 - Current Chair of the Steering Committee of FACS (International Symposium on Formal Aspects of Component Software)
Coordinator
2019/01/24 - Current Chair of IFIP Technical Committee TC1 - Foundations of Computer Science
Coordinator
2017/02/01 - Current Member of the Steering Committee of ICEGOV (International Conference on Theory and Practice of Electronic Governance series)
Member

Consulting

Activity description Institution / Organization
2025/11/03 - 2025/11/04 Coordination of WADGov - West Africa Digital Governance Forum, promoted by the United Nations University in Abuja, Nigeria, 3-4 November 2025 United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
2025/06/23 - 2025/06/24 Coordination of CADGov - Central Asia Digital Governance Forum, in Samarkand, Uzbekistan, 23-24 June 2025. United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
2024/06/01 - 2025/01/29 Team coordinator fo rthe development of Guiné-Bissau National Strategy for Digital Transformation Governo da Guiné-Bissau, Guinea-Bissau
2019/02/01 - 2020/03/01 Governo de S. Tomé e Princípe - Definição Estratégia Nacional para a Governação Electrónica Governo de S. Tomé e Princípe, São Tomé and Príncipe
2017/05/09 - 2019/12/31 ITU – International Telecommunication Union, Task Force on ICT for the Sustainable Development Goals - Partnership on Measuring ICT for Development, 2017-19 International Telecommunication Union, Switzerland
2016/02/01 - 2017/12/31 CPLP – Capacity building component of PASP - Projecto de Apoio à Melhoria da Qualidade e Proximidade dos Serviçs Públicos dos PALOP e Timor Leste on EGOV strategies an digital infrastructures; contract through CAMÕES Instituto da Cooperação e da Língua. Camões Instituto da Cooperação e da Língua, Portugal
2014/03/01 - 2015/11/05 Government of Colombia - Support to the definition and establishment of the GCIO function Gobierno de Colombia, Colombia

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2025/05/19 - 2025/05/22 Invited PhD course on Quantum Computing PhD (Doctor)

Journal scientific committee

Journal title (ISSN) Publisher
2020/12/01 - Current Journal of Logical and Algebraic Methods in Programming (2352-2208) Elsevier

Mentoring / Tutoring

Topic Student name
2015/07/01 - 2019/06/30 Post-doc supervision Alexandre Castro Madeira
2016/02/01 - 2019/04/30 Post-doc supervision Nuno Ramos Carvalho
2013/03/01 - 2019/01/15 Post-doc supervision José Miguel Paiva Proença
2013/09/01 - 2015/06/30 Post-doc supervision Alexandre Castro Madeira
2011/04/01 - 2012/04/15 Post-doc supervision Alexandra Silva

Other jury / evaluation

Activity description Institution / Organization
2007/05/02 - 2020/02/28 Project proposals and grant evaluation for NWO (The Netherlands Organisation for Scientific Research)
2011/01/01 - 2015/11/30 CMU-PORTUGAL Project evaluator for Carnegie Mellon University - Portugal Dual PhD Degree in Computer Science CMU-Portugal Partnership, United States
2012/02/01 - 2013/02/15 Project proposals and PhD grants evaluator for FWO (The Research Foundation Flanders, Belgium) Fonds Wetenschappelijk Onderzoek Vlaanderen, Belgium