| A simple voting protocol on quantum blockchain X Sun, Q Wang, P Kulicki, M Sopek International Journal of Theoretical Physics 58, 275-281, 2019 | 87 | 2019 |
| Towards quantum-secured permissioned blockchain: Signature, consensus, and logic X Sun, M Sopek, Q Wang, P Kulicki Entropy 21 (9), 887, 2019 | 72 | 2019 |
| Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation L Robaldo, X Sun Journal of Logic and Computation 27 (8), 2471-2503, 2017 | 52 | 2017 |
| Quantum technique for access control in cloud computing II: Encryption and key distribution L Zhou, Q Wang, X Sun, P Kulicki, A Castiglione Journal of Network and Computer Applications 103, 178-184, 2018 | 32 | 2018 |
| On the complexity of input/output logic X Sun, L Robaldo Journal of Applied Logic 25, 69-88, 2017 | 31 | 2017 |
| Multi-party quantum Byzantine agreement without entanglement X Sun, P Kulicki, M Sopek Entropy 22 (10), 1152, 2020 | 23 | 2020 |
| Combining constitutive and regulative norms in input/output logic X Sun, L van der Torre Deontic Logic and Normative Systems: 12th International Conference, DEON …, 2014 | 23 | 2014 |
| Categorical quantum cryptography for access control in cloud computing L Qiu, X Sun, J Xu Soft computing 22, 6363-6370, 2018 | 19 | 2018 |
| Game theoretic security of quantum bit commitment L Zhou, X Sun, C Su, Z Liu, KKR Choo Information Sciences 479, 503-514, 2019 | 18 | 2019 |
| Quantum-enhanced logic-based blockchain i: Quantum honest-success byzantine agreement and qulogicoin X Sun, Q Wang, P Kulicki, X Zhao arXiv preprint arXiv:1805.06768, 2018 | 18 | 2018 |
| Lottery and auction on quantum blockchain X Sun, P Kulicki, M Sopek Entropy 22 (12), 1377, 2020 | 17 | 2020 |
| The paradoxes of permission an action based solution D Gabbay, L Gammaitoni, X Sun Journal of Applied Logic 12 (2), 179-191, 2014 | 13 | 2014 |
| How to build input/output logic X Sun Computational Logic in Multi-Agent Systems: 15th International Workshop …, 2014 | 13 | 2014 |
| Stag hunt and trust emergence in social networks L Zhou, C Su, X Sun, X Zhao, KKR Choo Future Generation Computer Systems 88, 168-172, 2018 | 12 | 2018 |
| Proof theory, semantics and algebra for normative systems X Sun Journal of logic and computation 28 (8), 1757-1779, 2018 | 11* | 2018 |
| Impossibility of quantum bit commitment, a categorical perspective X Sun, F He, Q Wang Axioms 9 (1), 28, 2020 | 10 | 2020 |
| Conditional ought, a game theoretical perspective X Sun Logic, Rationality, and Interaction: Third International Workshop, LORI 2011 …, 2011 | 10 | 2011 |
| A first step to the categorical logic of quantum programs X Sun, F He Entropy 22 (2), 144, 2020 | 5 | 2020 |
| Norm-based deontic logic for access control, some computational results X Sun, X Zhao, L Robaldo Future Generation Computer Systems 79, 295-302, 2018 | 5 | 2018 |
| Logic and games of norms: a computational perspective X SUN Unilu-University of Luxembourg, Luxembourg, Luxembourg, 2016 | 5 | 2016 |
