logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
H

Haniel Barbosa

universidade federal de minas gerais

12H指数
55论文数
760被引数
收录论文 4
发表时间
logo
Selected papers from the 26th Brazilian symposium on formal methods - SBMF 2023 Preface第26届巴西形式方法研讨会（SBMF 2023）入选论文集前言
errScience of Computer Programming
IF1.4
err2026-07-01
err0
PREAI
errBarbosa, Haniel; Zohar, Yoni
err分享
err收藏
Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver在先进SMT求解器中生成更短的合同闭包证明
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errAndreotti, Bruno; Barbosa, Haniel
err分享
err收藏
Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions非线性算术和超越函数可满足性问题的增量线性化证明演算的形式化
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errMascarenhas, Tomaz; Khan, Harun; Mohamed, Abdalrhman; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare
err分享
err收藏
Generating and Exploiting Automated Reasoning Proof Certificates
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-09-22
err3
PREAI
errBarbosa, Haniel; Barrett, Clark; Cook, Byron; Dutertre, Bruno; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Notzli, Andres; Ozdemir, Alex; Preiner, Mathias; Reynolds, Andrew; Tinelli, Cesare; Zohar, Yoni
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Clark Barrett
H 指数: 42 · 论文数: 290
B
Byron Cook
H 指数: 42 · 论文数: 143
C
Cesare Tinelli
H 指数: 39 · 论文数: 200
A
Andrew Reynolds
H 指数: 28 · 论文数: 186
B
Bruno Dutertre
H 指数: 26 · 论文数: 72
查看更多