Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 203



51
TITLE: A Note on Reactive Transitions and Reo Connectors
AUTHORS: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: It's All About Coordination, VOLUME: 10865 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
52
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Barbosa, LS ; Madeira, A ;
PUBLISHED: 2018, SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
53
TITLE: A taxonomy for planning and designing smart mobility services
AUTHORS: Cledou, G ; Estevez, E; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1
INDEXED IN: WOS DBLP CrossRef: 82
IN MY: ORCID | DBLP | CIÊNCIAVITAE
54
TITLE: Communities of Practice as a tool to support the GCIO function
AUTHORS: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: ICEGOV
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
55
TITLE: Hierarchical Hybrid Logic
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
56
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Neves, R ; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
57
TITLE: Layered logics, coalgebraically
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
58
TITLE: Reactive Models for Biological Regulatory Networks
AUTHORS: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: MLCSB, VOLUME: 11415 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
59
60
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 6 of 21. Total results: 203.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service