ProfileOfResearchers

Publications
Researchers
Institutions

0
Sign In
- Federated Authentication (Click on the image)
  
  Local Sign In Password Recovery Register

José Bernardo dos Santos Monteiro Vieira de Barros

AuthID: R-000-853

Publications
Confirmed
To Validate

Document Source:

Document Type:

Year Start - End:

-

Order:

Results:

Confirmed Publications: 3

1

TITLE: Assertion-based slicing and slice graphs Full Text
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

IN MY:

2

TITLE: Assertion-based Slicing and Slice Graphs Full Text
AUTHORS: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: SEFM

INDEXED IN:

Scopus

DBLP

IN MY:

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

IN MY:

Publication Export Settings

BibTex EndNote APA CSV PDF

Export Preview

Publication Print Settings

HTML PDF

Print Preview

Select Source

This publication has:

2 records from ISI
2 records from SCOPUS
2 records from DBLP
2 records from Unpaywall
2 records from Openlibrary
2 records from Handle
2 records from DataCite

Please select which records must be used by Authenticus!

Preview Publications

footer slogan

Useful Links

About Autenticus
Our Team
Algorithm
Changelog

Get Help

FAQ
Video
Contact
support@authenticus.pt

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