Luís Manuel Dias Coelho Soares Barbosa
AuthID: R-000-9KM
1
TÃTULO: Paraconsistent Reactive Graphs
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP2
TÃTULO: Reconfiguring Staggered Quantum Walks with ZX
AUTORES: Jardim, Bruno; Santos, Jaime; Barbosa, Luis S.;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551
AUTORES: Jardim, Bruno; Santos, Jaime; Barbosa, Luis S.;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551
3
TÃTULO: Quantum advantage in temporally flat measurement-based quantum computation
AUTORES: de Oliveira, Michael; Barbosa, Luis Soares; Galvao, Ernesto F.;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8
AUTORES: de Oliveira, Michael; Barbosa, Luis Soares; Galvao, Ernesto F.;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8
INDEXADO EM: WOS
WOS