HB

Haniel Barbosa

Universidade Federal de Minas Gerais 0000-0003-0188-2300

65

Publications

803

Citations

12

h-index

15

i10-index

Loading papers...

Search by keywords

Filter by Type

Book Chapter (19)
Article (16)
Preprint (14)
Other (7)
Dataset (4)

Filter by Open Access Type

Open Access (21)
Closed Access (44)

Filter by Authors

Haniel Barbosa (65)
Andrew Reynolds (24)
Cesare Tinelli (22)
Pascal Fontaine (17)
Clark Barrett (16)

Filter by Topics

Formal Methods in Verification (40)
Logic, programming, and type systems (36)
Logic, Reasoning, and Knowledge (13)
Software Testing and Debugging Techniques (8)
Model-Driven Software Engineering Techniques (8)