Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publications Requiring Validation

1
TITLE: Paraconsistent Reactive Graphs
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
2
TITLE: Reconfiguring Staggered Quantum Walks with ZX
AUTHORS: Jardim, Bruno; Santos, Jaime; Barbosa, Luis S.;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551
INDEXED IN: WOS DBLP CrossRef Unpaywall
IN MY: DBLP

footer slogan

Useful Links

Get Help

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