???global.info.a_carregar???
Identification

Personal identification

Full name
JOSÉ BERNARDO DOS SANTOS MONTEIRO VIEIRA DE BARROS

Citation names

  • BARROS, JOSÉ

Author identifiers

Ciência ID
2E14-53C9-9374
ORCID iD
0000-0002-9551-6063
Education
Degree Classification
1992/09/01 - 1995/01/21
Concluded
 Computer science (Doctor of Philosophy)
University of Oxford Wolfson College, United Kingdom
1992
Concluded
 Master in computation (Master)
University of Oxford Wolfson College, United Kingdom
1989
Concluded
 Engeria de sistemas e informática (Licenciatura)
Universidade do Minho, Portugal
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2000 - Current Associate Professor (University Teacher) Universidade do Minho, Portugal
Outputs

Publications

Book
  1. BARROS, JOSÉ; José Manuel Valença. Fundamentos da Computação. Portugal: Universidade Aberta. 2000.
    Published
  2. BARROS, JOSÉ; José Manuel Valença. Fundamentos da Computação. Portugal. 2000.
    Published
Journal article
  1. Barros, J.B.; Da Cruz, D.; Henriques, P.R.; Pinto, J.S.. "Assertion-based slicing and slice graphs". Formal Aspects of Computing 24 2 (2012): 217-248. http://www.scopus.com/inward/record.url?eid=2-s2.0-84861577982&partnerID=MN8TOARS.
    10.1007/s00165-011-0196-1
  2. Barros, J.B.; Da Cruz, D.; Henriques, P.R.; Pinto, J.S.. "Assertion-based slicing and slice graphs". Proceedings - Software Engineering and Formal Methods, SEFM 2010 (2010): 93-102. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650427845&partnerID=MN8TOARS.
    10.1109/SEFM.2010.18
  3. BARROS, JOSÉ; joseph goguen. "Semantics of non-terminating rewrite systems using minimal coverings". Lecture Notes in Computer Science 1092 (1996):
    Published • 10.1007/3-540-61377-3_29