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

Guannan Wei

Inria

22H-index
58Paper Count
2.3KCitation Count
Published Papers 4
Publication Date
logo
Reconstructing Continuation-Passing Semantics for WebAssembly
errTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
err2026-01-01
err0
PREAI
errWei, Guannan; Bai, Alexander Y.; Zhong, Dinghong; Zhang, Jiatai
errShare
errSave
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err1
PREAI
errBao, Yuyan; Jia, Songlin; Wei, Guannan; Bracevac, Oliver; Rompf, Tiark
errShare
errSave
Origin of perpendicular magnetic anisotropy in amorphous thin films
errSCIENTIFIC REPORTS
IF3.9
err2021-02-12
err21
errOAAI
errLordan, Daniel; Wei, Guannan; McCloskey, Paul; O'Mathuna, Cian; Masood, Ansar
errShare
errSave
Local adaptive differential quadrature for free vibration analysis of cylindrical shells with various boundary conditions
errINTERNATIONAL JOURNAL OF MECHANICAL SCIENCES
IF9.4
err2006-10-01
err77
PREAI
errZhang, L.; Xiang, Y.; Wei, G. W.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
Y
Y. Xiang
H-index: 61 · Papers: 374
张
张莉 (Zhang Li)
H-index: 56 · Papers: 3.1K
T
Tiark Rompf
H-index: 32 · Papers: 146
C
Cian O’Mathúna
H-index: 29 · Papers: 139
P
Paul McCloskey
H-index: 19 · Papers: 86
View more