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

Guillaume Melquiond

centre national de la recherche scientifique (cnrs)

22H-index
138Paper Count
2.0KCitation Count
Published Papers 4
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
errACTA NUMERICA
IF11.3
err2023-05-11
err7
errOAAI
errBoldo, Sylvie; Jeannerod, Claude-Pierre; Melquiond, Guillaume; Muller, Jean-Michel
errShare
errSave
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2011-02-01
err59
errOAAI
errde Dinechin, Florent; Lauter, Christoph; Melquiond, Guillaume
errShare
errSave
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2008-01-01
err26
errOAAI
errBoldo, Sylvie; Melquiond, Guillaume
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Jean‐Michel Muller
H-index: 32 · Papers: 323
F
Florent de Dinechin
H-index: 30 · Papers: 228
S
Sylvie Boldo
H-index: 20 · Papers: 127
J
James D. Mitchell
H-index: 17 · Papers: 141
F
Florent Hivert
H-index: 15 · Papers: 95
View more