Concepedia

Author

João Branco

University of Alberta

Also Known As

Branco, Joao, Branco, João, Joao Branco, João Branco

12

Publications

163

Citations

5

H-Index

7

Concepts

All Affiliations

University of AlbertaSLAC National Accelerator LaboratoryGMV Innovating Solutions (Spain)Helmholtz-Zentrum Dresden-RossendorfTechnische Universität Dresden
JB

About

João Branco is an author at University of Alberta specializing in formal methods, automated reasoning, and quantitative management.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

20

2

Operations Research

1

1

20

3

Systems Engineering

1

1

20

4

Automated Reasoning

1

1

20

5

Formal Methods

1

1

20

João Branco

×

4

Publications

147

Citations

4

H-Index

YearCitations

Page 1