Hongwei Xi
Publication Activity (10 Years)
Years Active: 1993-2023
Publications (10 Years): 19
Publications (10 Years): 19
Publications
- Qiancheng Fu, Hongwei Xi
- Qiancheng Fu, Hongwei Xi
- Hongwei Xi, Hanwen Wu
- Leonard Kosta, Laura Seaman, Hongwei Xi
- Hongwei Xi, Dengping Zhu
- Hanwen Wu, Hongwei Xi
- Hanwen Wu, Hongwei Xi
- Hanwen Wu, Hongwei XiDependent Session Types. CoRR (2017)
- Hongwei Xi, Hanwen Wu
- Hongwei Xi, Hanwen Wu
- Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang
- Rui Shi, Hongwei Xi
- Matthew Danish, Hongwei Xi, Richard West
- Zhiqiang Ren, Hongwei Xi
- Matthew Danish, Hongwei Xi
- Rui Shi, Dengping Zhu, Hongwei Xi
- Hongwei Xi
- Matthew Danish, Hongwei Xi
- Hongwei Xi
- Aaron Stump, Hongwei Xi
- Hongwei Xi
- Hongwei Xi
- Rui Shi, Chiyan Chen, Hongwei Xi
- Chiyan Chen, Rui Shi, Hongwei XiImplementing Typeful Program Transformations. Fundam. Informaticae 69 (1-2) (2006)
- Chiyan Chen, Hongwei Xi
- Chiyan Chen, Hongwei Xi
- Dengping Zhu, Hongwei Xi
- Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
- Hongwei Xi, Chiyan Chen, Gang Chen
- Hongwei Xi, Chiyan Chen
- Walid Taha, Stephan Ellner, Hongwei Xi
- Dengping Zhu, Hongwei Xi
- Hongwei Xi
- Chiyan Chen, Hongwei Xi
- Chiyan Chen, Hongwei Xi
- Hongwei Xi
- Hongwei Xi
- Hongwei Xi
- Hongwei Xi, Robert Harper
- Hongwei Xi
- Hongwei Xi, Songtao Xiavirtual machine language. CASCON (1999)
- Hongwei Xi
- Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
- Hongwei Xi
- Hongwei Xi, Frank Pfenning
- Hongwei Xi, Frank Pfenning
- Hongwei Xi
- Hongwei Xi
- Hongwei Xi
- Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi