Concepedia

Author

Mateus Borges

Universidade Federal de Pernambuco

Also Known As

Mateus Borges

10

Publications

244

Citations

7

H-Index

20

Concepts

All Affiliations

Universidade Federal de PernambucoAmes Research CenterUniversity of StuttgartStellenbosch UniversityCarnegie Mellon University
MB

About

Mateus Borges is an author at Universidade Federal de Pernambuco specializing in automated reasoning, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

111

2

Computer Science

3

3

111

3

Systems Engineering

3

3

111

4

Computer Engineering

2

2

63

5

Data Science

1

1

48

Mateus Borges

×

4

Publications

138

Citations

4

H-Index

YearCitations

Page 1