C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Xinyi Wan
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Lambda Calculus
Covert Channel
Set Theory
Factor Authentication
Top Venues
SETTA
CoRR
Int. J. Softw. Informatics
ICCT
</>
Publications
</>
Penghui Qi
,
Xinyi Wan
,
Guangxing Huang
,
Min Lin
Zero Bubble Pipeline Parallelism.
CoRR
(2024)
Xinyi Wan
,
Ke Xu
,
Qinxiang Cao
Coq Formalization of ZFC Set Theory for Teaching Scenarios.
Int. J. Softw. Informatics
13 (3) (2023)
Xinyi Wan
,
Qinxiang Cao
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.
SETTA
(2023)
Weidong Luo
,
Bowen Lan
,
Xinyi Wan
,
Zhihong Liu
,
Yong Zeng
,
Jianfeng Ma
Feel Vibration: Challenge-Response Mobile Authentication with Covert Channel.
ICCT
(2020)