Distributed Knowing Whether - (Extended Abstract). - Xingchi Su (LORI, 2017)

Commonly Knowingly Whether. - Jie Fan; Davide Grossi; Barteld Kooi; Xingchi Su; Rineke Verbrugge (CoRR, 2020)

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. - Davide Grossi; Barteld Kooi; Xingchi Su; Rineke Verbrugge (LORI, 2021)

A Practical Multi-candidate Voting Protocol on Quantum Blockchain Adapted for Various Tally Principles. - Xin Sun; Anran Cui; Hui Chen; Xingchi Su (Inscrypt (2), 2023)

Making Norms and Following Norms. - Xingchi Su (LORI, 2023)

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic. - Xin Sun; Xingchi Su; Xiaoning Bian; Huiwen Wu (CoRR, 2024)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop. - Xin Sun; Xingchi Su; Xiaoning Bian; Anran Cui (CoRR, 2024)