logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

A. Mahboubi

Inria

1H-index
4Paper Count
4Citation Count
Published Papers 1
Publication Date
logo
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errCirpons, Reinis; Hivert, Florent; Mahboubi, Assia; Melquiond, Guillaume; Mitchell, James D.; Smith, Finn
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Guillaume Melquiond
H-index: 22 · Papers: 138
J
James D. Mitchell
H-index: 17 · Papers: 141
F
Florent Hivert
H-index: 15 · Papers: 95
F
Finn Smith
H-index: 1 · Papers: 3
R
Reinis Cirpons
H-index: 0 · Papers: 24
All loaded