José Bernardo dos Santos Monteiro Vieira de Barros


AuthID: R-000-853

Confirmed Publications: 3



1
TITLE: Assertion-based slicing and slice graphs
AUTHORS: Barros, JB ; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 9
2
TITLE: Assertion-based Slicing and Slice Graphs
AUTHORS: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: SEFM
INDEXED IN: Scopus DBLP CrossRef: 7
3
TITLE: Semantics of non-terminating rewrite systems using minimal coverings  Full Text
AUTHORS: Barros, J ; Goguen, J;
PUBLISHED: 1996, SOURCE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092
INDEXED IN: WOS CrossRef
IN MY: ORCID

footer slogan

Useful Links

Get Help

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