JOSÉ BERNARDO DOS SANTOS MONTEIRO VIEIRA DE BARROS (2E14-53C9-9374)

Curriculum Vitae

JOSÉ BERNARDO DOS SANTOS MONTEIRO VIEIRA DE BARROS

Identificação

Formação

	Grau	Classificação
1992/09/01 - 1995/01/21 Concluído	Computer science (Doctor of Philosophy) University of Oxford Wolfson College, Reino Unido
1992 Concluído	Master in computation (Master) University of Oxford Wolfson College, Reino Unido
1989 Concluído	Engeria de sistemas e informática (Licenciatura) Universidade do Minho, Portugal

Percurso profissional

	Categoria Profissional Instituição de acolhimento	Empregador
2000 - Atual	Professor Associado (Docente Universitário)	Universidade do Minho, Portugal

Produções

Artigo em revista

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
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
BARROS, JOSÉ; joseph goguen. "Semantics of non-terminating rewrite systems using minimal coverings". Lecture Notes in Computer Science 1092 (1996):
Publicado • 10.1007/3-540-61377-3_29

Livro

BARROS, JOSÉ; José Manuel Valença. Fundamentos da Computação. Portugal: Universidade Aberta. 2000.
Publicado
BARROS, JOSÉ; José Manuel Valença. Fundamentos da Computação. Portugal. 2000.
Publicado