Xingchi Su

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 7

Top Topics

Probabilistic Logic

Electronic Voting

Extended Abstract

Top Venues

Publications

Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu
On the Relative Completeness of Satisfaction-based Quantum Hoare Logic. CoRR (2024)
Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui
On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop. CoRR (2024)
Xin Sun, Anran Cui, Hui Chen, Xingchi Su
A Practical Multi-candidate Voting Protocol on Quantum Blockchain Adapted for Various Tally Principles. Inscrypt (2) (2023)
Xingchi Su
Making Norms and Following Norms. LORI (2023)
Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. LORI (2021)
Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge
Commonly Knowingly Whether. CoRR (2020)
Xingchi Su
Distributed Knowing Whether - (Extended Abstract). LORI (2017)