Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Luís Soares Barbosa

> Home > Persons

Person information

affiliation: Universidade do Minho, Braga, Portugal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2001
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/pt/Barbosa01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/pt/Barbosa01
Luís Soares Barbosa:
Components as coalgebras. University of Minho, Portugal, 2001

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/quantum/GuimaraesVB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/quantum/GuimaraesVB24
José Diogo Guimarães, Mikhail I. Vasilevskiy, Luís Soares Barbosa:
Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials. Quantum 8: 1242 (2024)
2023
[j49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iet-qtc/RahmaniBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-qtc/RahmaniBP23
Zeinab Rahmani, Luís Soares Barbosa, Armando N. Pinto:
Quantum privacy-preserving service for secure lane change in vehicular networks. IET Quantum Commun. 4(3): 103-111 (2023)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpr/SouthierCBTBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpr/SouthierCBTBT23
Luiz Fernando Puttow Southier, Dalcimar Casanova, Luís Soares Barbosa, Cesar Torrico, Marco A. C. Barbosa, Marcelo Teixeira:
Modelling and control of manufacturing systems subject to context recognition and switching. Int. J. Prod. Res. 61(10): 3396-3414 (2023)
[j47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/qmi/SequeiraSB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qmi/SequeiraSB23
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Policy gradients using variational quantum circuits. Quantum Mach. Intell. 5(1): 1-15 (2023)
2022
[j46]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/Barbosa22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/Barbosa22
Luís Soares Barbosa:
Coalgebra for the working software engineer. FLAP 9(1): 41-92 (2022)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/OliveiraPBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/OliveiraPBH22
José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques:
A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. 128: 100792 (2022)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GomesMB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GomesMB22
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Weighted synchronous automata. Math. Struct. Comput. Sci. 32(9): 1234-1253 (2022)
2021
[j43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/SequeiraSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SequeiraSB21
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Quantum Tree-Based Planning. IEEE Access 9: 125416-125427 (2021)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/soco/GomesMB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/GomesMB21
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25(9): 6789-6805 (2021)
2020
[j41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/complexity/GuimaraesTBV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/complexity/GuimaraesTBV20
José Diogo Guimarães, Carlos Tavares, Luís Soares Barbosa, Mikhail I. Vasilevskiy:
Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. Complex. 2020: 3510676:1-3510676:12 (2020)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/giq/JanssenBEBJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/giq/JanssenBEBJ20
Marijn Janssen, Paul Brous, Elsa Estevez, Luís Soares Barbosa, Tomasz Janowski:
Data governance: Organizing data for trustworthy Artificial Intelligence. Gov. Inf. Q. 37(3): 101493 (2020)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DantasJB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DantasJB20
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
A component-based framework for certification of components in a cloud of HPC services. Sci. Comput. Program. 191: 102379 (2020)
2019
[j38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cuza/GomesMB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/GomesMB19
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29(2): 141-184 (2019)
2018
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/giq/CledouEB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/giq/CledouEB18
Guillermina Cledou, Elsa Estevez, Luís Soares Barbosa:
A taxonomy for planning and designing smart mobility services. Gov. Inf. Q. 35(1): 61-76 (2018)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/MadeiraBHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MadeiraBHM18
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/NevesB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NevesB18
Renato Neves, Luís Soares Barbosa:
Languages and models for hybrid automata: A coalgebraic perspective. Theor. Comput. Sci. 744: 113-142 (2018)
2016
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BarbosaCS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BarbosaCS16
Luís Soares Barbosa, Alcino Cunha, Alexandra Silva:
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebraic Methods Program. 85(5): 805 (2016)
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/NevesBHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/NevesBHM16
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85(5): 1057-1085 (2016)
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NevesMMB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NevesMMB16
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016)
[j31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MadeiraNBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MadeiraNBM16
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016)
2015
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/SanchezMB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/SanchezMB15
Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa:
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44: 218-237 (2015)
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/RodriguesOB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/RodriguesOB15
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
Towards an engine for coordination-based architectural reconfigurations. Comput. Sci. Inf. Syst. 12(2): 607-634 (2015)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MadeiraMBH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MadeiraMBH15
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015)
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jisis/OliveiraSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jisis/OliveiraSB15
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
IMC_Reo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015)
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jserd/OliveiraB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jserd/OliveiraB15
Nuno Oliveira, Luís Soares Barbosa:
Self-adaptation by coordination-targeted reconfigurations. J. Softw. Eng. Res. Dev. 3: 6 (2015)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SanchezOBH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SanchezOBH15
Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques:
A perspective on architectural re-engineering. Sci. Comput. Program. 98: 764-784 (2015)
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/OliveiraB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/OliveiraB15
Nuno Oliveira, Luís Soares Barbosa:
Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comput. Program. 110: 78-103 (2015)
2014
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MartinsMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MartinsMB13
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10(1) (2014)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/BarbosaMC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/BarbosaMC14
Luís Soares Barbosa, Manuel A. Martins, Marta Carreteiro:
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. J. Log. Lang. Inf. 23(1): 31-52 (2014)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BarbosaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BarbosaS14
Luís Soares Barbosa, Siraj Ahmed Shaikh:
Selected contributions from the Open Source Software Certification (OpenCert) workshops. Sci. Comput. Program. 91: 139-140 (2014)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BarbosaL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BarbosaL14
Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software (FACS 2010 selected and extended papers). Sci. Comput. Program. 94: 253-254 (2014)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JuniorB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JuniorB14
Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012. Sci. Comput. Program. 96: 175-176 (2014)
2013
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/MartinsMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/MartinsMB13
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101(4): 783-825 (2013)
2012
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/mics/BarbosaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/BarbosaM12
Luís Soares Barbosa, Meng Sun:
A Calculus for Generic, QoS-Aware Component Composition. Math. Comput. Sci. 6(4): 475-497 (2012)
2011
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BarbosaS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BarbosaS11
Luís Soares Barbosa, Dimitrios Settas:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
2010
[j15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/csse/BarbosaCPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/BarbosaCPS10
Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh:
Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. 25(4) (2010)
[j14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/csse/DamianiBBA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/DamianiBBA10
Ernesto Damiani, Luís Soares Barbosa, Peter T. Breuer, Claudio A. Ardagna:
Special issue: Open Source Certification. Comput. Syst. Sci. Eng. 25(4) (2010)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BarbosaCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BarbosaCS10
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/BarbosaM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/BarbosaM10
Luís Soares Barbosa, Sun Meng:
Bringing class diagrams to life. Innov. Syst. Softw. Eng. 6(1-2): 91-98 (2010)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RodriguesB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RodriguesB10
Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010)
2009
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BarbosaCS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BarbosaCS09
Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 20 (2009)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BarbosaB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BarbosaB09
Marco Antonio Barbosa, Luís Soares Barbosa:
A perspective on service orchestration. Sci. Comput. Program. 74(9): 671-687 (2009)
2007
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/RodriguesB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/RodriguesB07
Nuno F. Rodrigues, Luís Soares Barbosa:
Higher-Order Lazy Functional Slicing. J. Univers. Comput. Sci. 13(6): 854-873 (2007)
2006
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/RodriguesB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/RodriguesB06
Nuno F. Rodrigues, Luís Soares Barbosa:
Program Slicing by Calculation. J. Univers. Comput. Sci. 12(7): 828-848 (2006)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/RibeiroBB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/RibeiroBB06
Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa:
Generic Process Algebra: A Programming Challenge. J. Univers. Comput. Sci. 12(7): 922-937 (2006)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MengB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MengB06
Sun Meng, Luís Soares Barbosa:
Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BarbosaO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BarbosaO06
Luís Soares Barbosa, José Nuno Oliveira:
Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006)
2005
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/CruzBO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/CruzBO05
A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira:
From Algebras to Objects: Generation and Composition. J. Univers. Comput. Sci. 11(10): 1580-1612 (2005)
2004
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/BarbosaB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/BarbosaB04
Marco Antonio Barbosa, Luís Soares Barbosa:
A Relational Model for Component Interconnection. J. Univers. Comput. Sci. 10(7): 808-823 (2004)
2003
[j1]
- view
  - electronic edition @ jucs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jucs/Barbosa03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/Barbosa03
Luís Soares Barbosa:
Towards a Calculus of State-based Software Components. J. Univers. Comput. Sci. 9(8): 891-909 (2003)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/CunhaMB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/CunhaMB23
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Structured Specification of Paraconsistent Transition Systems. FSEN 2023: 1-17
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/BarbosaM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/BarbosaM23
Luís Soares Barbosa, Alexandre Madeira:
Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming 2023: 109-110
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/CunhaMB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/CunhaMB23
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Stepwise Development of Paraconsistent Processes. TASE 2023: 327-343
2022
[c102]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13254
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13254
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
Paraconsistent Transition Systems. LSFA 2022: 3-15
[c101]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-06737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-06737
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
A Logic for Paraconsistent Transition Systems. NCL 2022: 270-284
2021
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-qse/SequeiraSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-qse/SequeiraSB21
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Generalised Quantum Tree Search. Q-SE@ICSE 2021: 39-40
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/JainGMB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/JainGMB21
Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Towards a specification theory for fuzzy modal logic. TASE 2021: 175-182
2020
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/Al-LawatiB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/Al-LawatiB20
Ali Hussain Al-Lawati, Luís Soares Barbosa:
Towards a register-based census in Oman. ICEGOV 2020: 823-826
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Barbosa20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Barbosa20
Luís Soares Barbosa:
Software engineering for 'quantum advantage'. ICSE (Workshops) 2020: 427-429
2019
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/SouthierMCBBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/SouthierMCBBT19
Luiz Fernando Puttow Southier, Muriel Mazzetto, Dalcimar Casanova, Marco A. C. Barbosa, Luís Soares Barbosa, Marcelo Teixeira:
Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. ETFA 2019: 370-377
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/CarvalhoB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/CarvalhoB19
Nuno Ramos Carvalho, Luís Soares Barbosa:
Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation. ICEGOV 2019: 76-79
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/GomesMJB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/GomesMJB19
Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa:
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM 2019: 154-169
[c93]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lsfa/GomesMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/GomesMB20
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Introducing Synchrony in Fuzzy Automata. LSFA 2019: 43-60
2018
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FigueiredoMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FigueiredoMB18
Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa:
A Note on Reactive Transitions and Reo Connectors. It's All About Coordination 2018: 57-67
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/CarvalhoB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/CarvalhoB18
Nuno Ramos Carvalho, Luís Soares Barbosa:
Transforming Legal Documents for Visualization and Analysis. ICEGOV 2018: 23-26
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/SantosBBMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/SantosBBMB18
Luís Paulo Santos, Luís Nuno Barbosa, Diogo Aires Bessa, Lúcia Pereira Martins, Luís Soares Barbosa:
Communities of Practice as a tool to support the GCIO function. ICEGOV 2018: 118-126
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/mlcsb/FigueiredoB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlcsb/FigueiredoB18
Daniel Figueiredo, Luís Soares Barbosa:
Reactive Models for Biological Regulatory Networks. MLCSB 2018: 74-88
2017
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/DantasJB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/DantasJB17
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. CLOSER 2017: 201-212
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/egov/BarbosaS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/egov/BarbosaS17
Luís Soares Barbosa, Luís Paulo Santos:
Networks of Universities as a Tool for GCIO Education. EGOV 2017: 117-127
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DantasJB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DantasJB17
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. FACS 2017: 198-215
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/CledouPB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/CledouPB17
Guillermina Cledou, José Proença, Luís Soares Barbosa:
Composing Families of Timed Automata. FSEN 2017: 51-66
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/i3e/Barbosa17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/i3e/Barbosa17
Luís Soares Barbosa:
Digital Governance for Sustainable Development. I3E 2017: 85-93
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/NielsenCVB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/NielsenCVB17
Morten Meyerhoff Nielsen, Nuno Ramos Carvalho, Linda Veiga, Luís Soares Barbosa:
Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. ICEGOV 2017: 140-148
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CledouB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CledouB17
Guillermina Cledou, Luís Soares Barbosa:
Modeling Families of Public Licensing Services: A Case Study. FormaliSE@ICSE 2017: 37-43
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CledouPB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CledouPB17
Guillermina Cledou, José Proença, Luís Soares Barbosa:
A Refinement Relation for Families of Timed Automata. SBMF 2017: 161-178
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GomesMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GomesMB17
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
On Kleene Algebras for Weighted Computation. SBMF 2017: 271-286
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Barbosa17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Barbosa17
Luís Soares Barbosa:
Layered Logics, Coalgebraically. DALI@TABLEAUX 2017: 55-63
[c78]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MadeiraNMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MadeiraNMB18
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Hierarchical Hybrid Logic. LSFA 2017: 167-184
2016
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/criwg/FernandesB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/criwg/FernandesB16
Sara Fernandes, Luís Soares Barbosa:
Applying the 3C Model to FLOSS Communities. CRIWG 2016: 139-150
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/egose/FernandesB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/egose/FernandesB16
Sara Fernandes, Luís Soares Barbosa:
Electronic governance in Portugal: a silent pioneer. EGOSE 2016: 77-82
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/CledouB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/CledouB16
Maria Guillermina Cledou, Luís Soares Barbosa:
An Ontology for Licensing Public Transport Services. ICEGOV 2016: 230-239
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/VeigaJB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/VeigaJB16
Linda Veiga, Tomasz Janowski, Luís Soares Barbosa:
Digital Government and Administrative Burden Reduction. ICEGOV 2016: 323-326
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/NevesB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/NevesB16
Renato Neves, Luís Soares Barbosa:
Hybrid Automata as Coalgebras. ICTAC 2016: 385-402
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MadeiraBHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MadeiraBHM16
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/NevesMBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/NevesMBM16
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55
[c70]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/OliveiraB16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OliveiraB16a
Nuno Oliveira, Luís Soares Barbosa:
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM 2016: 35-45
2015
[c69]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MadeiraMB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MadeiraMB16
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56
2014
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/MartinsMBN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/MartinsMBN14
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/OliveiraSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/OliveiraSB14
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcars/OliveiraB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcars/OliveiraB14
Nuno Oliveira, Luís Soares Barbosa:
A Self-Adaptation Strategy for Service-Based Architectures. SBCARS 2014: 1-10
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MadeiraNMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MadeiraNMB14
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/NevesMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NevesMB14
Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SanchezBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SanchezBM14
Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira:
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/slate/RodriguesOB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slate/RodriguesOB14
Flávio Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures. SLATE 2014: 61-76
2013
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/NevesMMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/NevesMMB13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/criwg/FernandesMCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/criwg/FernandesMCB13
Sara Fernandes, Maria Helena Martinho, Antonio Cerone, Luís Soares Barbosa:
Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach. CRIWG 2013: 208-214
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/NevesMMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/NevesMMB13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) 2013: 45-75
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/NevesMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/NevesMM13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/FernandesCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/FernandesCB13
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A pilot project on non-conventional learning. ITiCSE 2013: 346
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/OliveiraB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/OliveiraB13
Nuno Oliveira, Luís Soares Barbosa:
On the reconfiguration of software connectors. SAC 2013: 1885-1892
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/MadeiraMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/MadeiraMB13
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FernandesCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FernandesCB13
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Analysis of FLOSS Communities as Learning Contexts. SEFM Workshops 2013: 405-416
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/MadeiraNMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/MadeiraNMB13
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/SanchezBR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/SanchezBR13
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Verifying Bigraphical Models of Architectural Reconfigurations. TASE 2013: 135-138
[c51]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1305-6115
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-6115
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98
2012
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/FernandesCB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/FernandesCB12
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government. ICEGOV 2012: 475-476
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/Barbosa12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/Barbosa12
Luís Soares Barbosa:
Software Components as Invariant-Typed Arrows - (Keynote Talk). SBLP 2012: 1-5
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BarbosaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BarbosaM12
Luís Soares Barbosa, Maria Helena Martinho:
Mathematical Literacy as a Condition for Sustainable Development. SEFM Satellite Events 2012: 64-77
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FernandesCBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FernandesCBP12
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos:
FLOSS in Technology-Enhanced Learning. SEFM Satellite Events 2012: 121-132
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FernandesCB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FernandesCB12
Sara Fernandes, Antonio Cerone, Luís Soares Barbosa:
A Preliminary Analysis of Learning Awareness in FLOSS Projects. SEFM Satellite Events 2012: 133-139
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/SanchezABR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/SanchezABR12
Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco:
Analysing Tactics in Architectural Patterns. SEW 2012: 32-41
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/OliveiraB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/OliveiraB12
Nuno Oliveira, Luís Soares Barbosa:
Reconfiguration Mechanisms for Service Coordination. WS-FM 2012: 134-149
2011
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/bmfa/SanchezBR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bmfa/SanchezBR11
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
A language for behavioural modelling of architectural patterns. BM-FA 2011: 17-24
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/MartinsMDB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/MartinsMDB11
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa:
Hybridization of Institutions. CALCO 2011: 283-297
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/MartinsBR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/MartinsBR11
André Martins, Luís Soares Barbosa, Nuno F. Rodrigues:
Shacc: A Functional Prototyper for a Component Calculus. CALCO 2011: 413-419
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SanchezBR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SanchezBR11
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Bigraphical Modelling of Architectural Patterns. FACS 2011: 313-330
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/RodriguesOB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/RodriguesOB11
Nuno F. Rodrigues, Nuno Oliveira, Luís Soares Barbosa:
The Role of Coordination Analysis in Software Integration Projects. OTM Workshops 2011: 83-92
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MadeiraFMB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MadeiraFMB11
Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa:
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ticttl/FerreiraMCBSBO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ticttl/FerreiraMCBSBO11
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira:
Logic Training through Algorithmic Problem Solving. TICTTL 2011: 62-69
[c36]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-4093
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-4093
César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by interpretation in π-institutions. Refine@FM 2011: 53-64
2010
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/cisis/BarbosaM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisis/BarbosaM10
Luís Soares Barbosa, Sun Meng:
QoS-aware Component Composition. CISIS 2010: 1008-1013
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MengB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MengB10
Sun Meng, Luís Soares Barbosa:
Towards the introduction of QoS information in a component model. SAC 2010: 2045-2046
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/BarbosaBR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/BarbosaBR10
Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues:
Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384
2009
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BarbosaBC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BarbosaBC09
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
A Coordination Model for Interactive Components. FSEN 2009: 416-430
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MartinsMB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MartinsMB09
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement via Interpretation. SEFM 2009: 250-259
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/FerreiraMBB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/FerreiraMBB09
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa:
Which Mathematics for the Information Society? TFM 2009: 39-56
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RodriguesOB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RodriguesOB09
César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa:
A Single Complete Relational Rule for Coalgebraic Refinement. REFINE@FMWeek 2009: 3-19
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CamposB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CamposB09
Marco Devesas Campos, Luís Soares Barbosa:
Implementation of an Orchestration Language as a Haskell Domain Specific Language. FOCLASA 2009: 45-64
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MartinsMB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MartinsMB09
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by Interpretation in a General Setting. REFINE@FMWeek 2009: 105-121
2008
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/BarbosaOS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/BarbosaOS08
Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/MengB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/MengB08
Sun Meng, Luís Soares Barbosa:
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/RodriguesB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/RodriguesB08
Nuno F. Rodrigues, Luís Soares Barbosa:
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. SCAM 2008: 265-266
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/services/RodriguesB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/RodriguesB08
Nuno F. Rodrigues, Luís Soares Barbosa:
On the Discovery of Business Processes Orchestration Patterns. SERVICES I 2008: 391-398
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/BarbosaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/BarbosaM08
Luís Soares Barbosa, Sun Meng:
UML Model Refactoring as Refinement: A Coalgebraic Perspective. SYNASC 2008: 340-347
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangBO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangBO08
Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270
2007
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BarbosaCV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BarbosaCV07
Luís Soares Barbosa, Jácome Cunha, Joost Visser:
A type-level approach to component prototyping. SYANCO 2007: 23-36
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RibeiroBW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RibeiroBW08
Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
An Exercise on Transition Systems. TTSS 2007: 89-106
2006
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarbosaB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarbosaB07
Marco Antonio Barbosa, Luís Soares Barbosa:
Configurations of Web Services. FOCLASA 2006: 39-57
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarbosaB07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarbosaB07a
Marco Antonio Barbosa, Luís Soares Barbosa:
An Orchestrator for Dynamic Interconnection of Software Components. CoOrg/MTCoord@COORDINATION 2006: 49-61
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarbosaBC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarbosaBC07
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
Towards a Coordination Model for Interactive Systems. FMIS@ICFEM 2006: 89-103
2005
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MengBN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MengBN05
Sun Meng, Luís Soares Barbosa, Zhang Naixiao:
On Refinement of Software Architectures. ICTAC 2005: 469-484
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LiuB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiuB06
Zhiming Liu, Luís Soares Barbosa:
Preface. FACS 2005: 1-2
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RodriguesB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RodriguesB06
Nuno F. Rodrigues, Luís Soares Barbosa:
Component Identification Through Program Slicing. FACS 2005: 291-304
2004
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/MengB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/MengB04
Sun Meng, Luís Soares Barbosa:
On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Barbosa04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Barbosa04
Luís Soares Barbosa:
A Perspective on Component Refinement. FMCO 2004: 23-48
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BarbosaB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BarbosaB04
Marco Antonio Barbosa, Luís Soares Barbosa:
Specifying Software Connectors. ICTAC 2004: 52-67
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MengNB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MengNB04
Sun Meng, Zhang Naixiao, Luís Soares Barbosa:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RodriguesB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RodriguesB05
Nuno F. Rodrigues, Luís Soares Barbosa:
Architectural Prototyping: From CCS to .Net. SBMF 2004: 151-167
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MengABN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MengABN05
Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao:
A Coalgebraic Semantic Framework for Component-based Development in UML. CTCS 2004: 229-245
2003
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarbosaO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarbosaO03
Luís Soares Barbosa, José Nuno Oliveira:
State-based Components Made Generic. CMCS 2003: 39-56
2002
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/BarbosaO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/BarbosaO02
Luís Soares Barbosa, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197
2001
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Barbosa01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Barbosa01
Luís Soares Barbosa:
Process Calculià la Bird-Meertens. CMCS 2001: 47-66
2000
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/Barbosa00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/Barbosa00
Luís Soares Barbosa:
Components as Processes: An Exercise in Coalgebraic Modeling. FMOODS 2000: 397-417
1999
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/Barbosa99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Barbosa99
Luís Soares Barbosa:
Prototyping Processes. APPIA-GULP-PRODE 1999: 513-528
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/AlmeidaBNO97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/AlmeidaBNO97
José João Almeida, Luís Soares Barbosa, F. Luis Neves, José Nuno Oliveira:
CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST 1997: 554-559

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2016
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/asc/BarbosaMMN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/asc/BarbosaMMN16
Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30
2009
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/MengB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/MengB09
Sun Meng, Luís Soares Barbosa:
Co-Algebraic Semantic Framework for Reasoning about Interaction Designs. UML 2 Semantics and Applications 2009: 249-280

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2020
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/dali/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/2019
Luís Soares Barbosa, Alexandru Baltag:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 12005, Springer 2020, ISBN 978-3-030-38807-2 [contents]
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/ttcs/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttcs/2020
Luís Soares Barbosa, Mohammad Ali Abam:
Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings. Lecture Notes in Computer Science 12281, Springer 2020, ISBN 978-3-030-57851-0 [contents]
2014
[e5]
- view
- export record
  dblp key:
  - conf/icegov/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/2014
Elsa Estevez, Marijn Janssen, Luís Soares Barbosa:
Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014. ACM 2014, ISBN 978-1-60558-611-3 [contents]
2012
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2010
Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6921, Springer 2012, ISBN 978-3-642-27268-4 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/2012
Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7554, Springer 2012, ISBN 978-3-642-33181-7 [contents]
2009
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/lernet/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lernet/2008
Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Lecture Notes in Computer Science 5520, Springer 2009, ISBN 978-3-642-03152-6 [contents]
2006
[e1]
- view
- export record
  dblp key:
  - conf/facs2/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2005
Zhiming Liu, Luís Soares Barbosa:
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005. Electronic Notes in Theoretical Computer Science 160, Elsevier 2006 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-08307
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-08307
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
On Quantum Natural Policy Gradients. CoRR abs/2401.08307 (2024)
2022
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-10591
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-10591
André Sequeira, Luís Paulo Santos, Luís Soares Barbosa:
Variational Quantum Policy Gradients with an Application to Quantum Control. CoRR abs/2203.10591 (2022)
2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-02088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-02088
Michael de Oliveira, Luís Soares Barbosa:
Quantum Bayesian decision-making. CoRR abs/2010.02088 (2020)
2019
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-01146
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-01146
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to verify weighted computations. CoRR abs/1911.01146 (2019)
2018
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/BarbosaM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BarbosaM18
Luís Soares Barbosa, Alexandre Madeira:
A Research Agenda on Quantum Algoritmics. ERCIM News 2018(113) (2018)
2015
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NevesBHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NevesBHM15
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015)
2005
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/RodriguesB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/RodriguesB05
Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing Functional Programs by Calculation. Beyond Program Slicing 2005

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.