???global.info.a_carregar???
Luís Soares Barbosa. I am Full Professor at the Computer Science Department, Universidade do Minho, and a senior researcher at the High Assurance Software laboratory, HASLab INESC TEC. I represent INESC TEC in the Management Team of QuantaLab, a collaborative research laboratory on Quantum Materials and Quantum Technologies. I am a member of IFIP WG1.3 (Foundations of System Specification). In January 2019 I was elected chair of IFIP Tecnhical Committee TC1, on Foundations of Computer science. Previously, since 2013, I have served as Portugal representative at 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, probabilisitic, continuous, or hybrid). Most of my work is framed on Coalgebra and Modal Logic. More recently I became interested in exploring connections between Physics and Computation at two levels: the discrete-continuous frontier and the classic-quantum interaction. In this context, I joined INL (the International Iberian Nanotechnology Laboratory) in August 2019 to form and lead the Quantum software Engineering Group, and I am currently serving as Director of the MSc Degree on Physics Engineering. I have a second academic affiliation to the United Nations University, currently serving as Deputy Head of its Operational Unit on Policy-driven Electronic Governance. UNU-EGOV is an international think-tank devoted to multidisciplinary research on how digital transformation may contribute to empowered democratic citizenship, trustworthy public infrastructures, more inclusive societies and, in broad terms, to sustainable development. These two dimensions of my academic work meet together in the scientific coordination of the PT-FLAD Chair on Smart Cities & Smart Governance, established in 2016 at UMinho and entirely funded by the private sector. NOTE: The urgency to move from FCT-SIG to CIENCIAVITAE forced me to include only data concerning publications, supervisions and projects. For a complete CV (almost updated) you are referred to my webpage at www.di.uminho.pt/~lsb.
Identificação

Identificação pessoal

Nome completo
Luís Soares Barbosa

Nomes de citação

  • Barbosa, Luís

Identificadores de autor

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

Endereços de correio eletrónico

  • barbosa@unu.edu (Profissional)
  • luis.barbosa@inl.int (Profissional)

Websites

  • http://www.di.uminho.pt/~lsb (Profissional)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Francês Utilizador elementar (A2) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador proficiente (C1) Utilizador elementar (A2) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português (Idioma materno)
Formação
Grau Classificação
2016
Concluído
Agregação em Informática (Título de Agregado)
Universidade do Minho, Portugal
2001
Concluído
PhD in Informatics (Foundations of Computing) (Doutoramento)
Universidade do Minho, Portugal
Percurso profissional

Ciência

2019/09/01 - Atual Investigador (Investigação)
International Iberian Nanotechnology Laboratory, Portugal

Docência no Ensino Superior

2019/09/11 - Atual Professor Catedrático (Docente Universitário)
Universidade do Minho, Portugal

Cargos e Funções

2017/09/01 - Atual Vice-Presidente
United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
Projetos

Projeto

Designação Financiadores
2016 - Atual Dynamic logics for cyber-physical systems: towards contract based design
PTDC/EEI-CTP/4836/2014
Investigador
Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
2018 - 2021/05/31 KLEE - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
POCI-01-0145-FEDER-030947
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
2017 - 2020 GOV3.0: Scientific Foundations, Training and Entrepreneurship in the domain of ICT-enabled Governance
588306-EPP-1-2017-1-EL-EPPKA2-KA
Investigador
United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
2016 - 2019/12/31 SmartEGOV - Harnessing EGOV for smart governance: Foundations and tools.
NORTE-45-2015-23
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2016 - 2019 TRUST: Trustworthy software design with Alloy
PTDC/EEI-CTP/2904/2014
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2015 - 2016 GCIO.CO: Education system for government technology leadership in Colombia
GCIO.CO
Investigador
United Nations University Operating Unit on Policy-Driven Electronic Governance, Portugal
Programa de las Naciones Unidas para el Desarrollo Colombia
2013 - 2015 Qais: Quantitative analysis of interacting systems: foundations and algorithms
PTDC/EIA-CCO/122240/2010
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
2013 - 2015 NASONI: Heterogenous software coordination: Foundations, methods, tools.
PTDC/EEI-CTP/2341/2012
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
2013 - 2015 BESTCASE-RL4: Cooperation and Perception for Augmented Autonomy
NORTE-07-0124-FEDER-000060
Investigador
2010 - 2013 MONDRIAN: Foundations for architectural design
PTDC/EIA-CCO/108302/2008
Investigador responsável
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
Investigador
Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
2008 - 2011 MATHIS: Reinvigorating mathematics for the information society
PTDC/EIA/73252/2006
Investigador responsável
Universidade do Minho Escola de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
2008 - 2011 EVOLVE: Evolutionary Validation, Verification and Certification
ADI (QREN1621)
Investigador
Universidade do Minho, Portugal
2008 - 2011 IVY: A model based usability analysis tool.
POSI/EIA/56646/2004
Investigador
Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
2005 - 2009 Lernet - Language engineering and rigorous software development
EU-ALFA (II-0472-FA)
Investigador
Universidade do Minho, Portugal
2005 - 2007 GRICES - Formal foundations for component-based programming
GRICES - 00342
Investigador responsável
Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
2003 - 2007 PURE: Program understanding and re-engineering: Calculi and applications.
POSI/CHS/44304/2002
Investigador responsável
Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
2003 - 2006 APPSEM II: Thematic Network - Applied Semantics II.
(IST-2001-38957
Investigador
Universidade do Minho, Portugal
Produções

Publicações

Artigo em conferência
  1. Southier, Luiz F. P.; Mazzetto, Muriel; Casanova, Dalcimar; Barbosa, Marco A. C.; Barbosa, Luis S.; Teixeira, Marcelo. 2019. "Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems". In 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA): 24th IEEE International Conference on Emerging Technologies and Factory Automation, Zaragoza, Espanha, 370-377. IEEE.
    Publicado • 10.1109/etfa.2019.8869175
  2. Carvalho, NR; Barbosa, LS. 2018. "Transforming Legal Documents for Visualization and Analysis". Trabalho apresentado em ICEGOV - 11th International Conference on Theory and Practice of Electronic Governance, Galway, Irlanda, 23-26. ACM.
    Publicado • 10.1145/3209415.3209424
  3. Santos, LP; Barbosa, LN; Bessa, DA; Martins, LP; Barbosa, LS. 2018. "Communities of Practice as a tool to support the GCIO function". Trabalho apresentado em ICEGOV - 11th International Conference on Theory and Practice of Electronic Governance, Galway, Irlanda, 118-126. ACM.
    Publicado • 10.1145/3209415.3209507
  4. Barbosa, LS. 2017. "Layered logics, coalgebraically". In LNCS (10669): DALÍ: Int. Workshop on Dynamic Logic: New Trends and Applications, Brasília, Brasil, 55-63. Springer.
    Publicado • 10.1007/978-3-319-73579-5_4
  5. Dantas, AllbersonBrunodeOliveira; Junior, FranciscoHerondeCarvalho; Barbosa, LS. 2017. "A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services". Trabalho apresentado em CLOSER - 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, 201-212. SciTePress.
    Publicado
  6. Nielsen, MM; Carvalho, NR; Veiga, L; Barbosa, LS. 2017. "Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis". Trabalho apresentado em ICEGOV - 10th International Conference on Theory and Practice of Electronic Governance, Delhi, Índia, 140-148. ACM.
    Publicado • 10.1145/3047273.3047334
  7. Barbosa, LS; Santos, LP. 2017. "Networks of Universities as a Tool for GCIO Education". In LNCS (10428): EGOV - 16th IFIP WG 8.5 International Conference on Electronic Government, S. Petersburg, Rússia, 117-127. Springer.
    Publicado • 10.1007/978-3-319-64677-0_10
  8. de Oliveira Dantas, ABD; Heron de Carvalho Junior, FH; Barbosa, LS. 2017. "Certification of Workflows in a Component-Based Cloud of High Performance Computing Services". In LNCS (10487): FACS'17 - 14th International Symposium Formal Aspects of Component Software, Braga, Portugal, 198-215. Springer.
    Publicado • 10.1007/978-3-319-68034-7_12
  9. Cledou, G; Proenca, J; Barbosa, LS. 2017. "Composing Families of Timed Automata". In LNCS (10522): FSEN - 7th Int. Conf. on Fundamentals of Software Engineering, Tehran, Irão, 51-66. Springer.
    Publicado • 10.1007/978-3-319-68972-2_4
  10. Cledou, G; Barbosa, LS. 2017. "Modeling Families of Public Licensing Services: A Case Study". Trabalho apresentado em FormaliSE@ICSE 2017 - 5th IEEE/ACM International Workshop on Formal Methods in Software Engineering, Buenos Aires, Argentina, 37-43. IEEE.
    Publicado • 10.1109/formalise.2017.8
  11. Barbosa, LS. 2017. "Digital Governance for Sustainable Development". In LNCS (10595): I3E - 6th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, Delhi, Índia, 85-93. Springer.
    Publicado • 10.1007/978-3-319-68557-1_9
  12. Cledou, G; Proenca, J; Barbosa, LS. 2017. "A Refinement Relation for Families of Timed Automata". In LNCS (10522): FSEN - 7th Int. Conf. on Fundamentals of Software Engineering, Tehran, Irão, 51-66.
    Publicado • 10.1007/978-3-319-70848-5_11
  13. Gomes, L; Madeira, A; Barbosa, LS. 2017. "On Kleene Algebras for Weighted Computation". In LNCS (10623): SBMF 2017 - 20th Brazilian Symposium onFormal Methods, Recife, Brasil, 271-286. Springer.
    Publicado • 10.1007/978-3-319-70848-5_17
  14. Neves, R; Martins, MA; Barbosa, LS. 2017. "Completeness and Decidability Results for Hybrid(ised) Logics". In LNCS (8941): SBMF - 17th Brazilian Symposium on Formal Methods, Maceió, Brasil, 146-161. Brasil: Springer.
    Publicado • 10.1007/978-3-319-15075-8_10
  15. Fernandesand, S; Barbosa, LS. 2016. "Collaborative Environments in Software Engineering Teaching: A FLOSS Approach". In ECEL: ECEL - 15th European Conference on e-learning, Prague, República Checa, 201-206.
    Publicado
  16. Neves, R; Madeira, A; Barbosa, LS; Martins, MA. 2016. "Asymmetric Combination of Logics is Functorial: A Survey". In LNCS (10644): WADT - 23rd WG 1.3 International Workshop on Recent Trends in Algebraic Development Techniques, Gregynog, Reino Unido, 39-55. Springer.
    Publicado • 10.1007/978-3-319-72044-9_4
  17. Neves, R; Barbosa, LS. 2016. "Hybrid Automata as Coalgebras". In LNCS (9965): ICTAC - 13th International Colloquium Theoretical Aspects of Computing, Taipei, Taiwan, 385-402. Springer.
    Publicado • 10.1007/978-3-319-46750-4_22
  18. Fernandes, Sara; Barbosa, LuisSoares. 2016. "Electronic governance in Portugal: A silent pioneer". In ACM: EGOSE'2016 - International Conference on Electronic Governance and Open Society, S. Petersburg, Rússia, 77-82. Springer.
    Publicado • 10.1145/3014087.3014108
  19. Veiga, L; Janowski, T; Barbosa, LS. 2016. "Digital Government and Administrative Burden Reduction". Trabalho apresentado em ICEGOV - 9th International Conference on Theory and Practice of Electronic Governance, Montevideo, Uruguai, 323-326. ACM.
    Publicado • 10.1145/2910019.2910107
  20. Cledou, G; Barbosa, LS. 2016. "An Ontology for Licensing Public Transport Services". Trabalho apresentado em ICEGOV - 9th International Conference on Theory and Practice of Electronic Governance, Montevideo, Uruguai, 230-239. ACM.
    Publicado • 10.1145/2910019.2910101
  21. Fernandes, S; Barbosa, LS. 2016. "Applying the 3C Model to FLOSS Communities". In LNCS (9848): CRWRIG - 22nd International Conference on Collaboration and Technology, 139-150.
    Publicado • 10.1007/978-3-319-44799-5_11
  22. Madeira, A; Barbosa, LS; Hennicker, R; Martins, MA. 2016. "Dynamic Logic with Binders and Its Application to the Development of Reactive Systems". In LNCS (9965): ICTAC - 13th International Colloquium Theoretical Aspects of Computing, Taipei, Taiwan, 422-440. Springer.
    Publicado • 10.1007/978-3-319-46750-4_24
  23. Sanchez, A; Barbosa, LS; Riesco, D. 2015. "Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language". Trabalho apresentado em AIP Conference Proceedings 1648, 310008, Grécia. AIP.
    Publicado • 10.1063/1.4912561
  24. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. 2015. "A Logic for Robotics?". In AIP Conference Proceedings - 1648 (1): AIP Conference Proceedings, Grécia. AIP.
    Publicado • 10.1063/1.4912930
  25. Sanchez, A; Barbosa, LS; Madeira, A. 2014. "Modelling and Verifying Smell-Free Architectures with the ARCHERY Language". In LNCS (8938): SEFM 2014 Collocated Workshops - Software Engineering and Formal Methods - Revised Selected Papers, Grenoble, França, 147-165. Springer.
    Publicado • 10.1007/978-3-319-15201-1_10
  26. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. 2014. "A Dynamic Logic for Every Season". In LNCS (8941): SBMF - 17th Brazilian Symposium on Formal Methods, Maceió, Brasil, 130-145. Springer.
    Publicado • 10.1007/978-3-319-15075-8-9
  27. Oliveira, N; Silva, A; Barbosa, LS. 2014. "Quantitative analysis of Reo-based service coordination". Trabalho apresentado em SAC 2014 - Symposium on Applied Computing, Gyeongju, Coreia do Sul, 1247-1254. ACM.
    Publicado • 10.1145/2554850.2555025
  28. Rodrigues, F; Oliveira, N; Barbosa, LS. 2014. "ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures". In OASICS: SLATE - 3rd Symposium on Languages, Applications and Technologies, Bragança, Portugal, 61-76. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
    Publicado • 10.4230/oasics.slate.2014.61
  29. Martins, MA; Madeira, A; Barbosa, LS; Neves, R. 2014. "Paradigm integration in a specification course". Trabalho apresentado em 15th IEEE International Conference on Information Reuse and Integration, Redwood City, Estados Unidos, 492-499. IEEE Computer Society.
    Publicado • 10.1109/IRI.2014.7051929
  30. Oliveira, N; Barbosa, LS. 2014. "A self-adaptation strategy for service-based architectures". In LNCS (8368): SBCARS - Eighth Brazilian Symposium on Software Components, Architectures and Reuse, Maceió, Brasil, 1-10. Springer.
    Publicado • 10.1109/sbcars.2014.12
  31. Madeira, A; Martins, MA; Barbosa, LS. 2013. "Bisimilarity and refinement for hybrid(ised) logics". In Electronic Proceedings in Theoretical Computer Science: Refine@IFM 2013 - 16th International Refinement Workshop, Turku, Finlândia, 84-98. EPTCS.
    Publicado • 10.4204/EPTCS.115.6
  32. Neves, R; Madeira, A; Martins, MA; Barbosa, LS. 2013. "Giving Alloy a family". Trabalho apresentado em IRI - IEEE 4th International Conference on Information Reuse & Integration, San Francisco, Estados Unidos, 512-519. Estados Unidos: IEEE Computer Society.
    Publicado • 10.1109/IRI.2013.6642513
  33. Fernandes, S; Cerone, A; Barbosa, LS. 2013. "Analysis of FLOSS Communities as Learning Contexts". In LNCS (8368): SEFM 2013 Collocated Workshops - Revised Selected Papers, Madrid, Espanha, 405-416. Springer.
    Publicado • 10.1007/978-3-319-05032-4_29
  34. Neves, R.; Madeira, A.; Martins, M.A.; Barbosa, L.S.. 2013. "Hybridisation at work". In LNCS (8089): CALCO - 5th International Conference on Algebra and Coalgebra in Computer Science, Warsaw, Polónia, 340-345. Springer.
    Publicado • 10.1007/978-3-642-40206-7-28
  35. Fernandes, S.; Cerone, A.; Barbosa, L.S.. 2013. "A pilot project on non-conventional learning". In Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE: ITiCSE '13 - Innovation and Technology in Computer Science Education, Canterbury, Reino Unido. ACM.
    Publicado • 10.1145/2462476.2466522
  36. Madeira, A.; Martins, M.A.; Barbosa, L.S.. 2013. "Boilerplates for reconfigurable systems: A language and its semantics". In LNCS (8129): SBLP - 17th Brazilian Symposium on Programming Languages, Brasília, Brasil, 75-89. Springer.
    Publicado • 10.1007/978-3-642-40922-6_6
  37. Neves, R; Madeira, A; Martins, MA; Barbosa, LS. 2013. "An Institution for Alloy and Its Translation to Second-Order Logic". In Advances in Intelligent Systems and Computing (263): International Workshop on Formal Methods Integration, San Francisco, Estados Unidos, 45-75. Springer.
    Publicado • 10.1007/978-3-319-04717-1_3
  38. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. 2013. "When even the interface evolves ...". Trabalho apresentado em TASE - Seventh International Symposium on Theoretical Aspects of Software Engineering, Birmingham, Reino Unido, 79-82. IEEE Computer Society.
    Publicado • 10.1109/tase.2013.19
  39. Sanchez, A; Soares Barbosa, LS; Riesco, D. 2013. "Verifying bigraphical models of architectural reconfigurations". Trabalho apresentado em TASE - Seventh International Symposium on Theoretical Aspects of Software Engineering, Birmingham, Reino Unido, 135-138. IEEE Computer Society.
    Publicado • 10.1109/tase.2013.25
  40. Fernandes, S; Martinho, MH; Cerone, A; Barbosa, LS. 2013. "Integrating formal and informal learning through a FLOSS-based innovative approach". In LNCS (8224): CRIWG - 19th International Conference on Collaboration and Technology, Wellington, Nova Zelândia, 208-214. Springer.
    Publicado • 10.1007/978-3-642-41347-6_15
  41. Fernandes, S; Cerone, A; Barbosa, LS; Papadopoulos, PM. 2012. "FLOSS in technology-enhanced learning". In LNCS (7991): InSuEdu - Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, Thessaloniki, Grécia, 121-132. Springer.
    Publicado • 10.1007/978-3-642-54338-8_9
  42. Fernandes, S.; Cerone, A.; Barbosa, L.S.. 2012. "Exploiting the FLOSS paradigm in collaborative e-learning-application to e-Government". Trabalho apresentado em ICEGOV - 6th International Conference on Theory and Practice of Electronic Governance, Albany, Estados Unidos, 475-476. ACM.
    Publicado • 10.1145/2463728.2463825
  43. Fernandes, Sara; Cerone, Antonio; Barbosa, LuisSoares. 2012. "A Preliminary Analysis of Learning Awareness in FLOSS Projects". In LNCS (7991): SEFM'12 Collocated Workshop on Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 121-132. Springer.
    Publicado • 10.1007/978-3-642-54338-8_10
  44. Barbosa, LS; Martinho, MariaHelena. 2012. "Mathematical Literacy as a Condition for Sustainable Development". In LNCS (7991): InSuEdu - Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 64-77. Springer.
    Publicado • 10.1007/978-3-642-54338-8_5
  45. Oliveira, N.; Barbosa, L.S.. 2012. "Reconfiguration mechanisms for service coordination". In LNCS (7843): WS-FM - 9th International Workshop Web Services and Formal Methods, Tallin, Estónia, 134-149. Springer.
    Publicado • 10.1007/978-3-642-38230-7_9
  46. Sanchez, A; Aguiar, A; Barbosa, LS; Riesco, D. 2012. "Analysing Tactics in Architectural Patterns". Trabalho apresentado em SEW - 35th Annual IEEE Software Engineering Workshop, 32-41. IEEE Computer Society.
    Publicado • 10.1109/sew.2012.10
  47. Barbosa, L.S.. 2012. "Software components as invariant-typed arrows (Keynote Talk)". In LNCS (7554): SBLP - 16th Brazilian Symposium on Programming Languages, Natal, Brasil, 1-5. Springer.
    Publicado • 10.1007/978-3-642-33182-4_1
  48. Sanchez, A.; Barbosa, L.S.; Riesco, D.. 2011. "Bigraphical modelling of architectural patterns". In LNCS (7253): FACS'11 - 8th International Symposium Formal Aspects of Component Software, Oslo, Noruega, 313-330. Springer.
    Publicado • 10.1007/978-3-642-35743-5_19
  49. Sanchez, A.; Barbosa, L.S.; Riesco, D.. 2011. "A language for behavioural modelling of architectural patterns". Trabalho apresentado em BM-FA - Third Workshop on Behavioural Modelling, Birmingham, Reino Unido, 17-24. ACM.
    Publicado • 10.1145/1993956.1993959
  50. Ferreira, J.F.; Mendes, A.; Cunha, A.; Baquero, C.; Silva, P.; Barbosa, L.S.; Oliveira, J.N.. 2011. "Logic training through algorithmic problem solving". In LNCS (6680): TICTTL -Third International Congress on Tools for Teaching Logic, Salamanca, Espanha, 62-69. Springer.
    Publicado • 10.1007/978-3-642-21350-2_8
  51. Madeira, A.; Faria, J.M.; Martins, M.A.; Barbosa, L.S.. 2011. "Hybrid specification of reactive systems: An institutional approach". In LNCS (7041): SEFM - 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguai, 269-285. Springer.
    Publicado • 10.1007/978-3-642-24690-6_19
  52. Martins, A.; Barbosa, L.S.; Rodrigues, N.F.. 2011. "Shacc: A functional prototyper for a component calculus". In LNCS (6859): CALCO - 4th International Conference Algebra and Coalgebra in Computer Science, Winchester, Reino Unido, 413-419. Springer.
    Publicado • 10.1007/978-3-642-22944-2_32
  53. Rodrigues, N.F.; Oliveira, N.; Barbosa, L.S.. 2011. "The role of coordination analysis in software integration projects". In LNCS (7046): OTM'2011 - On the Move to Meaningful Internet Systems, Hersonissos, Grécia, 83-92. Springer.
    Publicado • 10.1007/978-3-642-25126-9_16
  54. Martins, M.A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S.. 2011. "Hybridization of institutions". In LNCS (6859): CALCO - 4th International Conference Algebra and Coalgebra in Computer Science, Winchester, Reino Unido, 283-297. Springer.
    Publicado • 10.1007/978-3-642-22944-2_20
  55. Rodrigues, CJ; Martins, MA; Madeira, A; Barbosa, LS. 2011. "Refinement by interpretation in pi-institutions". In EPTCS (55): Refine@IFM 2011 - 15th International Refinement Workshop, Limerik, Irlanda, 53-64. EPTCS.
    Publicado • 10.4204/EPTCS.55.4
  56. Meng, S.; Barbosa, L.S.. 2010. "Towards the introduction of QoS information in a component model". Trabalho apresentado em SAC 2010 - Symposium on Applied Computing, Sierra, Suiça, 2045-2046. ACM.
    Publicado • 10.1145/1774088.1774517
  57. Barbosa, LS; Meng, S. 2010. "QoS-aware Component Composition". Trabalho apresentado em CISIS - The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, Krakow, Polónia, 1008-1013. IEEE Computer Society.
    Publicado • 10.1109/cisis.2010.141
  58. Barbosa, LS; Barbosa, MAC; Rodrigues, CJ. 2010. "Revisiting context-aware component interconnection". Trabalho apresentado em SYNASC - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Roménia, 377-384. IEEE Computer Society.
    Publicado • 10.1109/synasc.2010.38
  59. Barbosa, M.A.; Barbosa, L.S.; Campos, J.C.. 2009. "A coordination model for interactive components". In LNCS (5961): FSEN - 3rd Int. Conf. on Fundamentals of Software Engineering, Kish Island, Irão, 416-430. Springer.
    Publicado • 10.1007/978-3-642-11623-0_25
  60. Martins, MA; Madeira, A; Barbosa, LS. 2009. "Refinement via interpretation". Trabalho apresentado em SEFM - 7th International Conference on Software Engineering and Formal Methods, Hanoi, Vietname, 250-259. IEEE Computer Society.
    Publicado • 10.1109/sefm.2009.35
  61. Ferreira, JF; Mendes, A; Backhouse, R; Barbosa, LS. 2009. "Which Mathematics for the Information Society?". In LNCS (5846): TFM - Second International Conference on Teaching Formal Methods, Eindhoven, Países Baixos, 39-56. Springer.
    Publicado
  62. Barbosa, LS; Meng, S. 2008. "UML Model Refactoring as Refinement: A Coalgebraic Perspective". Trabalho apresentado em SYNASC - 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Roménia, 340-347. IEEE Computer Society.
    Publicado • 10.1109/synasc.2008.88
  63. Rodrigues, NF; Barbosa, LS. 2008. "On The Discovery of Business Processes Orchestration Patterns". Trabalho apresentado em Services - IEEE Congress on Services, Honolulu, Estados Unidos, 391-398. IEEE Computer Society.
    Publicado • 10.1109/services-1.2008.58
  64. Rodrigues, Nuno F.; Barbosa, Luis S.. 2008. "CoordInspector: A Tool for Extracting Coordination Data from Legacy Code". Trabalho apresentado em 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, Beijing, China, 265-266. IEEE Computer Society.
    10.1109/scam.2008.10
  65. Wang, SL; Barbosa, LS; Oliveira, JN. 2008. "A relational model for confined separation logic". Trabalho apresentado em TASE - Second International Symposium on Theoretical Aspects of Software Engineering, 263-270. IEEE Computer Society.
    Publicado • 10.1109/tase.2008.38
  66. Meng, S; Barbosa, LS. 2008. "A coalgebraic semantic framework for reasoning about UML sequence diagrams". Trabalho apresentado em QSIC - Eighth International Conference on Quality Software, Oxford, Reino Unido, 17-26. IEEE Computer Society.
    Publicado • 10.1109/qsic.2008.13
  67. Barbosa, L.S.; Oliveira, J.N.; Silva, A.. 2008. "Calculating invariants as coreflexive bisimulations". In LNCS (5140): AMAST - 12th International Conference on Algebraic Methodology and Software Technology, Urbana, Estados Unidos, 83-99. Springer.
    Publicado • 10.1007/978-3-540-79980-1_7
  68. Barbosa, L.; Cunha, J.; Visser, J.. 2007. "A type-level approach to component prototyping". Trabalho apresentado em SYANCO'07 - International Workshop on Synthesis and Analysis of Component Connectors, 23-36. ACM.
    Publicado • 10.1145/1294917.1294920
  69. Rodrigues, NF; Barbosa, LS. 2005. "Slicing Functional Programs by Calculation". Trabalho apresentado em Beyond Program Slicing, Schloss Dagstuhl, Alemanha. IBFI - Schloss Dagstuhl.
    Publicado
  70. Meng, S.; Barbosa, L.S.; Naixiao, Z.. 2005. "On refinement of software architectures". In LNCS (3722): ICTAC - 2nd International Colloquium Theoretical Aspects of Computing, Hanoi, Vietname, 469-484. Springer.
    Publicado • 10.1007/11560647_31
  71. Barbosa, M.A.; Barbosa, L.S.. 2004. "Specifying software connectors". In LNCS (3407): ICTAC - 1st International Colloquium Theoretical Aspects of Computing, Guiyang, China, 52-67. Springer.
    Publicado • 10.1007/978-3-540-31862-0_6
  72. Barbosa, L.S.. 2004. "A perspective on component refinement". In LNCS (3657): FMCO - Third International Symposium on Formal Methods for Components and Objects, Leiden, Países Baixos, 23-48. Springer.
    Publicado • 10.1007/11561163_2
  73. Sun, M.; Zhang, N.; Barbosa, L.S.. 2004. "On semantics and refinement of UML statecharts: A coalgebraic view". Trabalho apresentado em SEFM - 2nd International Conference on Software Engineering and Formal Methods, Beijing, China, 164-173. IEEE Computer Society.
    Publicado • 10.1109/sefm.2004.1347517
  74. Meng, S.; Barbosa, L.S.. 2004. "On refinement of generic state-based software components". In LNCS (3116): AMAST - 10th International Conference on Algebraic Methodology and Software Technology, Stirling, Reino Unido, 506-520. Springer.
    Publicado • 10.1007/978-3-540-27815-3_38
  75. Barbosa, LS; Oliveira, JN. 2002. "Coinductive Interpreters for Process Calculi". In LNCS (2441): FLOPS - 6th International Symposium Functional and Logic Programming, Aizu, Japão, 183-197. Springer.
    Publicado • 10.1007/3-540-45788-7_11
  76. Barbosa, L.S.. 2000. "Components as processes: An exercise in coalgebraic modeling". In IFIP Advances in Information and Communication Technology: FMOODS - Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, San Francisco, Estados Unidos, 397-417. IFIP.
    Publicado • 10.1007/978-0-387-35520-7_20
  77. Barbosa, LS. 1999. "Prototyping Processes". Trabalho apresentado em AGP'99 - 1999 Joint Conference on Declarative Programming, L'Aquila, Itália, 513-528. GALP-PRODE.
    Publicado
  78. Almeida, JJ; Barbosa, LS; Neves, FL; Oliveira, JN. 1997. "CAMILA: Prototyping and Refinement of Constructive Specifications". In LNCS (1349): AMAST - 6th International Conference on Algebraic Methodology and Software Technology, Sydney, Austrália, 554-559. Springer.
    Publicado • 10.1007/BFb0000496
Artigo em revista
  1. Madeira, A; Barbosa, LS; Hennicker, R; Martins, MA. 2018. "A logic for the stepwise development of reactive systems". Theoretical Computer Science 744: 78-96.
    Publicado • 10.1016/j.tcs.2018.03.004
  2. Neves, R; Barbosa, LS. 2018. "Languages and models for hybrid automata: A coalgebraic perspective". Theoretical Computer Science 744: 113-142.
    Publicado • 10.1016/j.tcs.2017.09.038
  3. Barbosa, LS; Madeira, A. 2018. "A Research Agenda on Quantum Algoritmics". ERCIM NEWS 113.
    Publicado
  4. Madeira, A; Neves, R; Martins, MA; Barbosa, LS. 2018. "Hierarchical Hybrid Logic". Electronic Notes in Theoretical Computer Science 388: 167-184.
    Publicado • 10.1016/j.entcs.2018.10.011
  5. Cledou, G; Estevez, E; Barbosa, LS. 2018. "A taxonomy for planning and designing smart mobility services". Government Information Quarterly 35 (1): 61-76.
    Publicado • 10.1016/j.giq.2017.11.008
  6. Madeira, A; Neves, R; Barbosa, LS; Martins, MA. 2016. "A method for rigorous design of reconfigurable systems". Science of Computer Programming 132: 50-76.
    Publicado • 10.1016/j.scico.2016.05.001
  7. Oliveira, N; Barbosa, LS. 2016. "An Enhanced Model for Stochastic Coordination". Electronic Proceedings in Theoretical Computer Science 228: 35-45.
    Publicado • 10.4204/eptcs.228.5
  8. Neves, R; Madeira, A; Martins, MA; Barbosa, LS. 2016. "Proof theory for hybrid(ised) logics". Science of Computing Programming 126: 73-93.
    Publicado • 10.1016/j.scico.2016.03.001
  9. Neves, R; Barbosa, LS; Hofmann, D; Martins, MA. 2016. "Continuity as a computational effect". The Journal of Logic and Algebraic Methods in Programming 85 (1): 1057-1085.
    Publicado • 10.1016/j.jlamp.2016.05.005
  10. Sanchez, A; Oliveira, N; Barbosa, LS; Henriques, P. 2015. "A perspective on architectural re-engineering". Science of Computer Programming 98: 764-784. https://www.authenticus.pt/P-00A-4QE.
    Publicado • 10.1016/j.scico.2014.02.026
  11. Madeira, A; Martins, MA; Barbosa, LS; Hennicker, R. 2015. "Refinement in hybridised institutions". Formal Aspects of Computing 27 (2): 375-395. https://www.authenticus.pt/P-00A-6SS.
    Publicado • 10.1007/s00165-014-0327-6
  12. Madeira, A; Martins, MA; Barbosa, LS. 2015. "A logic for n-dimensional hierarchical refinement". Electronic Proceedings in Theoretical Computer Science 209: 46-50.
    Publicado • 10.4204/eptcs.209.4
  13. Oliveira, Nuno; Silva, Alexandra; Barbosa, LS. 2015. "IMCReo: interactive Markov chains for Stochastic Reo". J. Internet Serv. Inf. Secur. 5 (1): 3-28.
    Publicado
  14. Sanchez, A; Madeira, A; Barbosa, LS. 2015. "On the verification of architectural reconfigurations". Computer Languages, Systems & Structures 44: 218-237. https://www.authenticus.pt/P-00J-YXD.
    Publicado • 10.1016/j.cl.2015.07.001
  15. Rodrigues, F; Oliveira, N; Barbosa, LS. 2015. "Towards an engine for coordination-based architectural reconfigurations". Computer Science and Information Systems 12 (2): 607-634. https://www.authenticus.pt/P-00G-E96.
    Publicado • 10.2298/csis140912019r
  16. Oliveira, N; Barbosa, LS. 2015. "Self-adaptation by coordination-targeted reconfigurations". Journal of Software Engineering Research and Development 3 (6). https://www.authenticus.pt/P-00K-ANZ.
    Publicado • 10.1186/s40411-015-0021-2
  17. Oliveira, N; Barbosa, LS. 2015. "Reasoning about software reconfigurations: The behavioural and structural perspectives". Science of Computer Programming 110: 78-103. https://www.authenticus.pt/P-00G-FZ5.
    Publicado • 10.1016/j.scico.2015.05.013
  18. Barbosa, LS; Martins, MA; Carreteiro, M. 2014. "A Hilbert-Style Axiomatisation for Equational Hybrid Logic". Journal of Logic, Language and Information 23 (1): 31-52. https://www.authenticus.pt/P-009-H0Y.
    10.1007/s10849-013-9184-6
  19. Martins, MA; Madeira, A; Barbosa, LS. 2014. "The Role of Logic Interpretation in Program Development". Logical Methods in Computer Science 10 (1).
    Publicado • 10.2168/lmcs-10(1:1)2014
  20. Martins, M.A.; Madeira, A.; Barbosa, L.S.. 2013. "A Coalgebraic Perspective on Logical Interpretations". Studia Logica 101 (4): 783-825.
    Publicado • 10.1007/s11225-013-9498-z
  21. Oliveira, N.; Barbosa, L.S.. 2013. "On the reconfiguration of software connectors". Proceedings of the ACM Symposium on Applied Computing: 1885-1892. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877988565&partnerID=MN8TOARS.
    10.1145/2480362.2480712
  22. Barbosa, L.S.; Meng, S.. 2012. "A Calculus for Generic, QoS-Aware Component Composition". Mathematics in Computer Science 6 (4): 475-497.
    Publicado • 10.1007/s11786-012-0137-2
  23. Damiani, E.; Barbosa, L.; Breuer, P.T.; Ardagna, C.A.. 2010. "Special issue: Open source certification". Computer Systems Science and Engineering 25 (4): 271-272. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957324516&partnerID=MN8TOARS.
  24. Barbosa, L.S.; Cerone, A.; Petrenko, A.K.; Shaikh, S.A.. 2010. "Certification of open-source software: A role for formal methods?". Computer Systems Science and Engineering 25 (4): 273-281.
    Publicado
  25. Rodrigues, N.F.; Barbosa, L.S.. 2010. "Slicing for architectural analysis". Science of Computer Programming 75 (10): 828-847.
    Publicado • 10.1016/j.scico.2010.02.002
  26. Barbosa, L.S.; Meng, S.. 2010. "Bringing class diagrams to life". Innovations in Systems and Software Engineering 6 (1): 91-98.
    Publicado • 10.1007/s11334-009-0118-z
  27. Barbosa, LS; Cerone, A; Shaikh, SA. 2009. "Preface". ECEASST. https://www.authenticus.pt/P-008-M6Q.
  28. Campos, M.D.; Barbosa, L.S.. 2009. "Implementation of an Orchestration Language as a Haskell Domain Specific Language". Electronic Notes in Theoretical Computer Science 255: 45-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-71849105397&partnerID=MN8TOARS.
    Publicado • 10.1016/j.entcs.2009.10.024
  29. Barbosa, M.A.; Barbosa, L.S.. 2009. "A perspective on service orchestration". Science of Computer Programming 74 (9): 671-687. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349259974&partnerID=MN8TOARS.
    Publicado • 10.1016/j.scico.2008.09.019
  30. Martins, M.A.; Madeira, A.; Barbosa, L.S.. 2009. "Refinement via interpretation". SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods: 250-259. http://www.scopus.com/inward/record.url?eid=2-s2.0-77749267937&partnerID=MN8TOARS.
    10.1109/SEFM.2009.35
  31. Rodrigues, C.J.; Oliveira, J.N.; Barbosa, L.S.. 2009. "A Single Complete Relational Rule for Coalgebraic Refinement". Electronic Notes in Theoretical Computer Science 259 (C): 3-19.
    Publicado • 10.1016/j.entcs.2009.12.014
  32. Martins, M.A.; Madeira, A.; Barbosa, L.S.. 2009. "Refinement by Interpretation in a General Setting". Electronic Notes in Theoretical Computer Science 259 (C): 105-121. http://www.scopus.com/inward/record.url?eid=2-s2.0-72049121165&partnerID=MN8TOARS.
    Publicado • 10.1016/j.entcs.2009.12.020
  33. Ribeiro, P.R.; Barbosa, L.S.; Wang, S.. 2008. "An Exercise on Transition Systems". Electronic Notes in Theoretical Computer Science 207 (C): 89-106.
    Publicado • 10.1016/j.entcs.2008.03.087
  34. Rodrigues, N.F.; Barbosa, L.S.. 2008. "On the discovery of business processes orchestration patterns". Proceedings - 2008 IEEE Congress on Services, SERVICES 2008 PART 1: 391-398. http://www.scopus.com/inward/record.url?eid=2-s2.0-51749125063&partnerID=MN8TOARS.
    10.1109/SERVICES-1.2008.58
  35. Barbosa, L.S.; Meng, S.. 2008. "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: 340-347. http://www.scopus.com/inward/record.url?eid=2-s2.0-70449495406&partnerID=MN8TOARS.
    10.1109/SYNASC.2008.88
  36. Barbosa, M.A.; Barbosa, L.S.. 2007. "An Orchestrator for Dynamic Interconnection of Software Components". Electronic Notes in Theoretical Computer Science 181 (1): 49-61.
    Publicado • 10.1016/j.entcs.2007.01.053
  37. Barbosa, M.A.; Barbosa, L.S.. 2007. "Configurations of Web Services". Electronic Notes in Theoretical Computer Science 175 (2): 39-57.
    Publicado • 10.1016/j.entcs.2007.03.004
  38. Barbosa, M.A.; Barbosa, L.S.; Campos, J.C.. 2007. "Towards a Coordination Model for Interactive Systems". Electronic Notes in Theoretical Computer Science 183 (SPEC. ISS.): 89-103.
    Publicado • 10.1016/j.entcs.2007.01.063
  39. Bigonha, R.S.; Musicante, M.A.; Pardo, A.; Garcia, A.; Martini, A.; Moreira, Á.F.; De Melo, A.C.V.; et al. 2007. "Selected papers from SBLP 2007: The 11th brazilian symposium on programming languages J.UCS special issue". Journal of Universal Computer Science 13 (6): 679-681. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548013342&partnerID=MN8TOARS.
  40. Rodrigues, N.F.; Barbosa, L.S.. 2007. "Higher-order lazy functional slicing". Journal of Universal Computer Science 13 (6): 854-873.
    Publicado
  41. Barbosa, L.S.; Oliveira, J.N.. 2006. "Transposing partial components-An exercise on coalgebraic refinement". Theoretical Computer Science 365 (1-2): 2-22.
    Publicado • 10.1016/j.tcs.2006.07.030
  42. Bigonha, M.A.S.; De Vasconcellos Garcia, A.; Compagnoni, A.; Pardo, A.; Martini, A.; Santos, A.; Rubira, C.; et al. 2006. "Selected papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages J.UCS Special Issue". Journal of Universal Computer Science 12 (7): 762-763. http://www.scopus.com/inward/record.url?eid=2-s2.0-33747888037&partnerID=MN8TOARS.
  43. Rodrigues, N.F.; Barbosa, L.S.. 2006. "Component Identification Through Program Slicing". Electronic Notes in Theoretical Computer Science 160 (1): 291-304.
    Publicado • 10.1016/j.entcs.2006.05.029
  44. Meng, S.; Barbosa, L.S.. 2006. "Components as coalgebras: The refinement dimension". Theoretical Computer Science 351 (2): 276-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-31544449115&partnerID=MN8TOARS.
    Publicado • 10.1016/j.tcs.2005.09.072
  45. Rodrigues, N.F.; Barbosa, L.S.. 2006. "Program slicing by calculation". Journal of Universal Computer Science 12 (7): 828-848.
    Publicado
  46. Ribeiro, P.R.; Barbosa, M.A.; Barbosa, L.S.. 2006. "Generic process algebra: A programming challenge". Journal of Universal Computer Science 12 (7): 922-937.
    Publicado
  47. Cruz, A.M.; Barbosa, L.S.; Oliveira, J.N.. 2005. "From algebras to objects: Generation and composition". Journal of Universal Computer Science 11 (10): 1580-1612.
    Publicado
  48. Rodrigues, N.F.; Barbosa, L.S.. 2005. "Architectural prototyping: From CCS to. Net". Electronic Notes in Theoretical Computer Science 130: 151-167.
    Publicado • 10.1016/j.entcs.2005.03.009
  49. Meng, S.; Aichernig, B.K.; Barbosa, L.S.; Naixiao, Z.. 2005. "A coalgebraic semantic framework for component-based development in UML". Electronic Notes in Theoretical Computer Science 122: 229-245. http://www.scopus.com/inward/record.url?eid=2-s2.0-14544306013&partnerID=MN8TOARS.
    10.1016/j.entcs.2004.06.051
  50. Barbosa, M.A.; Barbosa, L.S.. 2004. "A relational model for component interconnection". Journal of Universal Computer Science 10 (7): 808-823.
    Publicado
  51. Barbosa, L.S.; Oliveira, J.N.. 2003. "State-based components made generic". Electronic Notes in Theoretical Computer Science 82 (1): 41-58.
    Publicado • 10.1016/S1571-0661(04)80631-5
  52. Barbosa, L.S.. 2003. "Towards a calculus of state-based software components". Journal of Universal Computer Science 9 (8).
    Publicado
  53. Barbosa, L.S.. 2001. "Process calculi à la bird-meertens". Electronic Notes in Theoretical Computer Science 44 (1): 49-68.
    Publicado • 10.1016/S1571-0661(04)80902-2
Capítulo de livro
  1. Gomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S.. 2019. "On the Generation of Equational Dynamic Logics for Weighted Imperative Programs". In Formal Methods and Software Engineering, 154-169. LNCS - Springer International Publishing. http://dx.doi.org/10.1007/978-3-030-32409-4_10.
    Publicado • 10.1007/978-3-030-32409-4_10
  2. Daniel Figueiredo; Manuel A. Martins; Luís S. Barbosa. 2018. "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.
    Publicado • 10.1007/978-3-319-90089-6_4
  3. Barbosa, LS; Martins, MA; Madeira, A; Neves, R. 2016. "Reuse and Integration of Specification Logics: The Hybridisation Perspective". In Theoretical Information Reuse and Integration - Advances in Intelligent Systems and Computing, 1-30. Springer.
    Publicado • 10.1007/978-3-319-31311-5_1
  4. Meng, S; Barbosa, LS. 2009. "Coalgebraic Semantic Framework for Reasoning about Interaction Designs". In UML 2 Semantics and Applications. Samoa Americana: Wiley.
    Publicado • 10.1002/9780470522622.ch10
  5. Barbosa, L.S.; Martinho, M.H.. 2007. "Modelling is for reasoning". In Mathematical Modelling: Education, Engineering and Economics - ICTMA 12, 480-489. Springer.
    Publicado • 10.1533/9780857099419
Edição de livro
  1. Estevez, E; Janssen, M; Barbosa, LS. 2014. Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014. ACM. https://www.authenticus.pt/P-00G-6EY.
  2. Junior, FHdC; Barbosa, LS. 2012. Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. https://www.authenticus.pt/P-008-M6H.
    10.1007/978-3-642-33182-4
  3. Bove, A; Barbosa, LS; Pardo, A; Pinto, JS. 2009. Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. https://www.authenticus.pt/P-008-M6S.
    10.1007/978-3-642-03153-3
Edição de número de revista
  1. Barbosa, Luís. 2019. "ICEGOV 2014 Supplement: The Rise of Data Post-2015 - Empowered Citizens, Accountable Institutions". Government Information Quarterly.
    No prelo
  2. Barbosa, Luís; Silva, Alexandra; Cunha, Alcino. 2016. "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). https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/vol/85/issue/5/part/P2.
    Publicado
  3. Barbosa, Luís; Heron de Carvalho Junior, FH. 2014. "Selected and extended papers of the Brazilian Symposium on Programming Languages 2012". Science of Computer Programming 96 (2). https://www.sciencedirect.com/journal/science-of-computer-programming/vol/96/part/P2.
    Publicado
  4. Barbosa, Luís; Lumpe, M.. 2014. "Formal Aspects of Component Software (FACS 2010 selected and extended papers)". Science of Computer Programming 94 (3). https://www.sciencedirect.com/journal/science-of-computer-programming/vol/94/part/P3.
    Publicado
  5. Barbosa, Luís; Shaikh, S.A.. 2014. "Selected contributions from the Open Source Software Certification (OpenCert) workshops". Science of Computer Programming 91 (B). https://www.sciencedirect.com/journal/science-of-computer-programming/vol/91/part/PB.
    Publicado
  6. Barbosa, Luís; Settas, D. 2011. "Proceedings of the Fifth International Workshop on Foundations and Techniques for Open source Software Certification (OpernCert 2011)". Electronic Communications of the EASST 48. https://journal.ub.tu-berlin.de/eceasst/issue/view/66.
    Publicado
  7. Barbosa, Luís; Cerone, Antonio; Shaikh, S.A.. 2010. "Foundations and Techniques for Open Source Software Certification 2010". Electronic Communications of the EASST 33. https://journal.ub.tu-berlin.de/eceasst/issue/view/44.
    Publicado
  8. Barbosa, Luís; Damiani, E.; Breuer, P.T.; Ardagna, C.A.. 2010. "Special issue: Open Source Certification". Computer Systems: Science & Engineering 25 (4).
    Publicado
  9. Barbosa, Luís; Cerone, Antonio; Shaikh, S.A.. 2009. "Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2009)". Electronic Communications of the EASST 20. https://journal.ub.tu-berlin.de/eceasst/article/view/252/309.
    Publicado
Prefácio / Posfácio
  1. Barbosa, LS; Cunha, A; Silva, A. 2016. "Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira". Prefácio para Journal of Logic and Algebraic Methods in Programming --- J N Oliveira Festschrift. Braga, Portugal: Springer-Verlag.
    10.1016/j.jlamp.2016.07.002
  2. Lumpe, M.; Barbosa, L.S.. 2012. "FACS 2010 - Revised Selected Papers". Prefácio para Lecture Notes in Computer Science. Springer. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856185325&partnerID=MN8TOARS.
    Publicado • 10.1007/978-3-642-27269-1
  3. De Carvalho, FH; Barbosa, LS. 2012. "Preface to Proc. 16th Brazilian Symposium on Programming Languages". Prefácio para Lecture Notes in Computer Science. Springer.
    Publicado
  4. Barbosa, LS; Settas, D. 2011. "Preface OpenCert Proc. 2011". Prefácio para ECEASST. ECEASST.
    Publicado
  5. Barbosa, LS; Cerone, A; Shaikh, SA. 2010. "Preface OpenCert Proc. 2010". Prefácio para ECEASST. ECEASST.
    Publicado
  6. Barbosa, LS; Cerone, A; Shaikh, SA. 2009. "Preface OpenCert Proc. 2009". Prefácio para ECEASST. ECEASST.
  7. Liu, Z; Barbosa, LS. 2006. "Preface". Prefácio para Electr. Notes Theor. Comput. Sci.. Elsevier.
    Publicado • 10.1016/j.entcs.2006.05.011

Outros

Outra produção
  1. Barbosa, LS; Lumpe, M. 2014. Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface. https://www.authenticus.pt/P-009-YDX.
    10.1016/j.scico.2014.03.010
  2. de Carvalho Junior, FH; Barbosa, LS. 2014. Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface. https://www.authenticus.pt/P-00A-04W.
    10.1016/j.scico.2014.08.001
  3. Barbosa, LS; Shaikh, SA. 2014. Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface. https://www.authenticus.pt/P-009-HC3.
    10.1016/j.scico.2014.04.007
  4. Barbosa, LS; Settas, D. 2012. Preface.
    10.14279/tuj.eceasst.48.810.804
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2019/10/01 - Atual Quantum technologies for data
Orientador
Computer Science (Doutoramento)
Universidade do Minho Escola de Engenharia, Portugal
2016/07/01 - Atual Logic foundations and computational tools for synthetic biology (Daniel Figueiredo)
Coorientador
PhD - Mathematics and Applications (MAP-PDMA) (Doutoramento)
Universidade de Aveiro, Portugal
2016/07/01 - Atual Contracts on demand (Leandro Gomes)
Coorientador
PhD Computer Science (MAP-i) (Doutoramento)
Universidade do Minho, Portugal
2015/10/15 - Atual Foundations of quantum algoritmics (Carlos Tavares)
Orientador
PhD Computer Science (MAP-i) (Doutoramento)
Universidade do Minho, Portugal
2014/07/01 - 2018/11/12 A virtual factory for smart city service integration (Guillermina Cledou)
Orientador
PhD - Computer Science (MAP-i) (Doutoramento)
Universidade do Minho, Portugal
2014/07/01 - 2018/06/22 Hybrid programs (Renato Neves)
Coorientador
PhD - Computer Science (MAP-i) (Doutoramento)
Universidade do Minho, Portugal
2011/09/01 - 2015/03/10 Architectural reconfiguration of interacting services (Nuno Ernesto Oliveira)
Orientador
PhD - Computer Science (MAP-i) (Doutoramento)
Universidade do Minho, Portugal
2009/07/01 - 2013/07/08 Foundations and techniques for software reconfigurability (Alexandre Madeira; awarded the 2013 IBM Scientific Prize))
Coorientador
PhD - MAP-I Joint Doctoral Programme in Computer Science U. Minho, Aveiro, Porto (Doutoramento)
Universidade do Minho, Portugal
2007/07/01 - 2010/11/05 Algorithmic problem solving: Principles and applications (João Fernando Ferreira)
Coorientador
PhD in Computer Science (co-supervision with Roland Backhouse) (Doutoramento)
University of Nothingham, Reino Unido
2004/09/01 - 2009/09/07 Specification and refinement of software connectors (Marco Castro Barbosa)
Orientador
PhD in Computer Science, U. Minho (Doutoramento)
Universidade do Minho, Portugal
2005/06/01 - 2009/02/09 Slicing techniques applied to architectural analysis of legacy software (Nuno Feixa Rodrigues)
Orientador
PhD - Computer Science (Doutoramento)
Universidade do Minho, Portugal
2001/01/01 - 2004/11/12 Coalgebra theory and its application to component software (Sun Meng)
Coorientador
PhD - Mathematics and Information Sciences (Doutoramento)
Peking University Department of Mathematics, China

Membro de associação

Nome da associação Tipo de participação
2019/01/24 - Atual IFIP TC1 (Foundations of Computer Science) - Chair Chair
2014/09/10 - Atual IFIP WG1.3 (Foundations of System Specification) Regular member

Membro de comissão

Descrição da atividade
Tipo de participação
Instituição / Organização
2019/01/24 - Atual Chair of IFIP Technical Committee TC1 - Foundations of Computer Science
Coordenador

Tutoria

Tópico Nome do aluno
2016/02/01 - Atual Post-doc supervision Nuno Ramos Carvalho
2015/07/01 - Atual Post-doc supervision Alexandre Castro Madeira
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