Xingchi Su

According to our database, Xingchi Su authored at least 7 papers between 2017 and 2024.

Collaborative distances:

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

2024

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop.

Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui

CoRR, 2024

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic.

Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu

CoRR, 2024

2023

Making Norms and Following Norms.

Xingchi Su

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

A Practical Multi-candidate Voting Protocol on Quantum Blockchain Adapted for Various Tally Principles.

Xin Sun, Anran Cui, Hui Chen, Xingchi Su

Proceedings of the Information Security and Cryptology - 19th International Conference, 2023

2021

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.

Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Commonly Knowingly Whether.

Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge

CoRR, 2020

2017

Distributed Knowing Whether - (Extended Abstract).

Xingchi Su

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017