ProfessorsProfessors of Universidade Federal FluminenseChristiano Braga

Christiano Braga

Universidade Federal Fluminense

H-index: 17

Latin America-Brazil

About Christiano Braga

Christiano Braga, With an exceptional h-index of 17 and a recent h-index of 6 (since 2020), a distinguished researcher at Universidade Federal Fluminense, specializes in the field of Formal methods and programming languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

B Maude: A formal executable environment for Abstract Machine Notation Descriptions

Christiano Braga Information

University	Universidade Federal Fluminense
Position	Associate Professor of Computer Science
Citations(all)	734
Citations(since 2020)	89
Cited By	701
hIndex(all)	17
hIndex(since 2020)	6
i10Index(all)	22
i10Index(since 2020)	1
Email	Access Email
University Profile Page	Universidade Federal Fluminense
Google Scholar	View Google Scholar Profile

Christiano Braga Skills & Research Interests

Formal methods and programming languages

Top articles of Christiano Braga

Title	Journal	Author(s)	Publication Date
B Maude: A formal executable environment for Abstract Machine Notation Descriptions	arXiv preprint arXiv:2108.07878	Christiano Braga Narciso Martí-Oliet	2021/8/17