引用次数
引用: 2,631
H-指数: 22
I10-指数 : 64
出版物: 331
Bigraphical Modelling of Architectural Patterns
Alejandro Sanchez , Luís Soares. Barbosa , Daniel Riesco
formal aspects of component software 313 -330
13
2011
Components as Coalgebras
Luís Manuel Dias Coelho Soares Barbosa
Smpte Journal
2001
OpenCert 2009 Organisation
Luıs Soares Barbosa , Antonio Cerone , Siraj Ahmed Shaikh , Manuel Barbosa
Camila: a reference manual
Luıs Soares Barbosa , José Joao Almeida
Technical Report DI-CAM-95: 11: 2, DI (U. Minho)
8
1995
Giving Alloy a family
Renato Neves , Luıs Soares Barbosa , Alexandre Madeira , Manuel A Martins
information reuse and integration 512 -519
3
2013
Intervalar differential dynamic logic
Daniel Figueiredo , Manuel António Martins , Luıs Soares Barbosa ,
Days in Logic 2018 17 -17
2018
Towards the dynamic logic with binders D↓
Alexandre Madeira , Luıs Soares Barbosa , Rolf Hennicker , Manuel António
Days in Logic 2018 20 -20
2018
Synchronous searching for DNA patterns
Leandro Gomes , Alexandre Madeira , Luıs Soares Barbosa
MLCSB 2018 Santiago do Chile December 17-18 19 -19
Research Article Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer
José Diogo Guimarães , Carlos Tavares , Luıs Soares Barbosa , Mikhail I Vasilevskiy
2020
Generic components
Luıs Soares Barbosa , Sun Meng
Proceedings of First APPSEM-II Workshop, Nottingham
6
2003
Coalgebraic structures in program construction
Luıs Soares Barbosa
6th Brazilian Symposium on Programming Languages, SBLP’2002
5
2002
A brief introduction to bicategories
Luıs Soares Barbosa
Techn. Report DI-PURe-03 12 ( 01)
4
2003
OpenCert 2011
Luıs Soares Barbosa , Dimitrios Settas
2011
Labelled Transition Systems
Luıs Soares Barbosa
2010
Cálculo de Processos
Luıs Soares Barbosa
2006
A Brief Introduction to Categories
Luıs Soares Barbosa
2005
Algebraic and Coalgebraic Structures
Luıs Soares Barbosa
2005
CCS 1: Modelaçao de Processos em CCS
Luıs Soares Barbosa
A roadmap for the 2011-12 course edition
Luıs Soares Barbosa
Apoio: Logicas para Processos
Luıs Soares Barbosa