Xinyi Wan

According to our database¹, Xinyi Wan authored at least 4 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Zero Bubble Pipeline Parallelism.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Coq Formalization of ZFC Set Theory for Teaching Scenarios.

[BibT_eX]

[DOI]

Xinyi Wan

Ke Xu

Qinxiang Cao

Int. J. Softw. Informatics, 2023

Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.

[BibT_eX]

[DOI]

Xinyi Wan

Qinxiang Cao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2020

Feel Vibration: Challenge-Response Mobile Authentication with Covert Channel.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Communication Technology, 2020

Xinyi Wan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...