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

Guannan Wei

Inria

22H指数
58论文数
2.3K被引数
收录论文 4
发表时间
logo
Reconstructing Continuation-Passing Semantics for WebAssembly为WebAssembly重构续体传递语义
errTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
err2026-01-01
err0
PREAI
errWei, Guannan; Bai, Alexander Y.; Zhong, Dinghong; Zhang, Jiatai
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Y. Xiang
H 指数: 61 · 论文数: 382
张
张莉 (Zhang Li)
H 指数: 56 · 论文数: 3.1K
T
Tiark Rompf
H 指数: 32 · 论文数: 146
C
Cian O’Mathúna
H 指数: 29 · 论文数: 139
P
Paul McCloskey
H 指数: 19 · 论文数: 86
查看更多