Conditional Ought, a Game Theoretical Perspective. - Xin Sun 001 (LORI, 2011)

How to Build Input/Output Logic. - Xin Sun 001 (CLIMA, 2014)

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. - Dov M. Gabbay; Livio Robaldo; Xin Sun 001; Leendert W. N. van der Torre; Zohreh Baniasadi (DEON, 2014)

Combining Constitutive and Regulative Norms in Input/Output Logic. - Xin Sun 001; Leendert W. N. van der Torre (DEON, 2014)

STIT Based Deontic Logics for the Miners Puzzle. - Xin Sun 001; Zohreh Baniasadi (EUMAS, 2014)

The paradoxes of permission an action based solution. - Dov M. Gabbay; Loïc Gammaitoni; Xin Sun 001 (J. Appl. Log., 2014)

Logic and Games for Ethical Agents in Normative Multi-agent Systems. - Xin Sun 001; Livio Robaldo (EUMAS/AT, 2015)

Probabilistic Argumentation, a Small Step for Uncertainty, a Giant Step for Complexity. - Xin Sun 001; Beishui Liao (EUMAS/AT, 2015)

Combining Input/Output Logic and Reification for Representing Real-World Obligations. - Livio Robaldo; Llio Humphreys; Xin Sun 001; Loredana Cupi; Cristiana Santos; Robert Muthuri (JSAI-isAI Workshops, 2015)

Boolean Game with Prioritized Norms. - Xin Sun 001 (LORI, 2015)

On the Complexity of Input/Output Logic. - Xin Sun 001; Diego Agustín Ambrossio (LORI, 2015)

Boolean Games with Norms. - Xin Sun 001 (MIWAI, 2015)

Computational Complexity of Input/Output Logic. - Xin Sun 001; Diego Agustín Ambrossio (MIWAI, 2015)

Input/Output STIT Logic for Normative Systems. - Xin Sun 001 (RuleML, 2015)

Norm Creation in Proposition Control Games. - Xin Sun 001; Livio Robaldo (CLAR, 2016)

Realizing correlated equilibrium by secure computation. - Lirong Qiu; Xin Sun 001; Xishun Zhao (J. Inf. Secur. Appl., 2017)

On the complexity of input/output logic. - Xin Sun 001; Livio Robaldo (J. Appl. Log., 2017)

Ali Baba and the Thief, Convention Emergence in Games. - Xin Sun 001; Xishun Zhao; Livio Robaldo (J. Artif. Soc. Soc. Simul., 2017)

Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation. - Livio Robaldo; Xin Sun 001 (J. Log. Comput., 2017)

Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin. - Xin Sun 001; Quanlong Wang; Piotr Kulicki; Xishun Zhao (CoRR, 2018)

A Simple Voting Protocol on Quantum Blockchain. - Xin Sun 001; Quanlong Wang; Piotr Kulicki (CoRR, 2018)

Norm-based deontic logic for access control, some computational results. - Xin Sun 001; Xishun Zhao; Livio Robaldo (Future Gener. Comput. Syst., 2018)

Stag hunt and trust emergence in social networks. - Lu Zhou 002; Chunhua Su; Xin Sun 001; Xishun Zhao; Kim-Kwang Raymond Choo (Future Gener. Comput. Syst., 2018)

Quantum technique for access control in cloud computing II: Encryption and key distribution. - Lu Zhou 002; Quanlong Wang; Xin Sun 001; Piotr Kulicki; Arcangelo Castiglione (J. Netw. Comput. Appl., 2018)

Proof theory, semantics and algebra for normative systems. - Xin Sun 001 (J. Log. Comput., 2018)

Categorical quantum cryptography for access control in cloud computing. - Lirong Qiu; Xin Sun 001; Juan Xu 004 (Soft Comput., 2018)

Deontic STIT logic, from logical paradox to security policy. - Lirong Qiu; Xin Sun 001 (Soft Comput., 2018)

Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic. - Xin Sun 001; Mirek Sopek; Quanlong Wang; Piotr Kulicki (Entropy, 2019)

Game theoretic security of quantum bit commitment. - Lu Zhou 002; Xin Sun 001; Chunhua Su; Zhe Liu 001; Kim-Kwang Raymond Choo (Inf. Sci., 2019)

Impossibility of Quantum Bit Commitment, a Categorical Perspective. - Xin Sun 001; Feifei He; Quanlong Wang (Axioms, 2020)

Bit Commitment for Lottery and Auction on Quantum Blockchain. - Xin Sun 001; Piotr Kulicki; Mirek Sopek (CoRR, 2020)

A First Step to the Categorical Logic of Quantum Programs. - Xin Sun 001; Feifei He (Entropy, 2020)

Multi-Party Quantum Byzantine Agreement without Entanglement. - Xin Sun 001; Piotr Kulicki; Mirek Sopek (Entropy, 2020)

Lottery and Auction on Quantum Blockchain. - Xin Sun 001; Piotr Kulicki; Mirek Sopek (Entropy, 2020)

Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem. - Xin Sun 001; Feifei He; Piotr Kulicki; Mirek Sopek (CoRR, 2021)

Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem. - Xin Sun 001; Feifei He; Mirek Sopek; Meiyun Guo (Entropy, 2021)

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. - Xin Sun 001; Piotr Kulicki; Mirek Sopek (Entropy, 2021)

Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution. - Xin Sun 001; Feifei He; Daowen Qiu; Piotr Kulicki; Mirek Sopek; Meiyun Guo (CoRR, 2022)