José Bernardo dos Santos Monteiro Vieira de Barros


AuthID: R-000-853

Publicações Confirmadas: 3



1
TÍTULO: Assertion-based slicing and slice graphs
AUTORES: Barros, JB ; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
2
TÍTULO: Assertion-based Slicing and Slice Graphs
AUTORES: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: SEFM
INDEXADO EM: Scopus DBLP CrossRef: 6
3
TÍTULO: Semantics of non-terminating rewrite systems using minimal coverings  Full Text
AUTORES: Barros, J ; Goguen, J;
PUBLICAÇÃO: 1996, FONTE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092
INDEXADO EM: WOS CrossRef
NO MEU: ORCID

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service