Zikai Liu

According to our database, Zikai Liu authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Verified Fault Handling for Modern Board Management Controllers.

Ben Fiedler, Zikai Liu, David A. Cock, Timothy Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Scientific Knowledge Combination in Networks: New Perspectives on Analyzing Knowledge Absorption and Integration.

Hongshu Chen, Jingkang Liu, Zikai Liu

Proceedings of Joint Workshop of the 4th Extraction and Evaluation of Knowledge Entities from Scientific Documents (EEKE2023) and the 3rd AI + Informetrics (AII2023) co-located with the JCDL 2023, 2023

2021

End-to-End Automation of Feedback on Student Assembly Programs.

Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven S. Lumetta

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021