Concepedia

Haniel Barbosa

HB

4

Publications

57

Citations

4

H-Index

2019

Active since

Affiliations

University of Iowa(Current)

Universidade Federal de Minas Gerais

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Université de Lorraine

Haniel Barbosa is an author at University of Iowa specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProof ComplexityData ScienceMachine LearningProgram Analysis

Publications per year

2019–2023

4

Publications

4

Scalable Fine-Grained Proofs for Formula Processing

Haniel Barbosa, Jasmin Christian Blanchette, Mathias Fleury et al. · Journal of Automated Reasoning · 2019 · 20 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

Alethe: Towards a Generic SMT Proof Format (extended abstract)

Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa et al. · Electronic Proceedings in Theoretical Computer Science · 2021 · 13 citations · Full text

Verit Proofs, Engineering, Automated Reasoning +12

Generating and Exploiting Automated Reasoning Proof Certificates

Haniel Barbosa, Clark Barrett, Byron Cook et al. · Communications of the ACM · 2023 · 13 citations

Extending enumerative function synthesis via SMT-driven classification

Haniel Barbosa, Andrew Reynolds, Daniel Larraz et al. · 2019 · 11 citations

Engineering, Machine Learning, Invariant Synthesis +20

Rows per page

1–4 of 4