Xin Sun

发表

Game theoretic security of quantum bit commitment

Lu Zhou, Chunhua Su, Zhe Liu, 2019, Inf. Sci..

Shedding light on the complexity of enterprise routing design: A case study

Xin Sun, 2017, 2017 3rd IEEE International Conference on Computer and Communications (ICCC).

Scalable Rule Enforcement in SDN through Separate User Identifiers

Xin Sun, 2019, 2019 IEEE 9th Annual Computing and Communication Workshop and Conference (CCWC).

Quantum Group Signature Scheme Based on Chinese Remainder Theorem

Wei Zhang, Moon Ho Lee, Ying Guo, 2013 .

The ProLeMAS project: representing natural language norms in Input/Output logic

Livio Robaldo, Cristiana Santos, Llio Humphreys, 2015 .

Categorical quantum cryptography for access control in cloud computing

Lirong Qiu, Juan Xu, Xin Sun, 2018, Soft Comput..

Proof Theory, Semantics and Algebra for Normative Systems

Xin Sun, Xin Sun, 2013, LORI.

How to Build Input/Output Logic

Xin Sun, 2014, CLIMA.

A Simple Voting Protocol on Quantum Blockchain

Quanlong Wang, Xin Sun, Piotr Kulicki, 2018, International Journal of Theoretical Physics.

Enhancing data and privacy security in mobile cloud computing through quantum cryptography

Yanheng Liu, Jiawei Han, Xin Sun, 2016, 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS).

Research on Freeway Traffic Safety Index Based on Toll Data

Chang Cheng Li, Xin Sun, Zhi Zhang, 2013 .

Comparative Life Cycle Assessment of Chinese Radial Passenger Vehicle Tire

Peng Zhang, Xin Sun, Ji Hu Zheng, 2017 .

Norm-based deontic logic for access control, some computational results

Livio Robaldo, Xishun Zhao, Xin Sun, 2018, Future Gener. Comput. Syst..

Analysis and Suggestions for Power Supply Reliability Assessment Index of Distribution Network

Xin Sun, Bo Wang, Qing Jie Zhou, 2015 .

Combining Input/Output Logic and Reification for Representing Real-World Obligations

Livio Robaldo, Cristiana Santos, Llio Humphreys, 2015, JSAI-isAI Workshops.

Input/Output STIT Logic for Normative Systems

Xin Sun, Xin Sun, 2015, RuleML.

Ali Baba and the Thief, Convention Emergence in Games

Livio Robaldo, Xishun Zhao, Xin Sun, 2017, J. Artif. Soc. Soc. Simul..

Logic and Games for Ethical Agents in Normative Multi-agent Systems

Livio Robaldo, Xin Sun, Xin Sun, 2015, EUMAS/AT.

Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin pdf

Xishun Zhao, Quanlong Wang, Xin Sun, 2018, ArXiv.

Research on the Selection of Project Management Mode for Non-Business Urban Infrastructure Construction

Xin Sun, Hong Ke, 2013 .

Computational Complexity of Input/Output Logic

Xin Sun, Diego Agustín Ambrossio, Xin Sun, 2015, MIWAI.

Probabilistic Argumentation, a Small Step for Uncertainty, a Giant Step for Complexity

Xin Sun, Bei Shui Liao, B. Liao, 2015, EUMAS/AT.

Duty-Oriented Hybrid Peer-to-Peer Network Based on Metadata

Kan Li, Xin Sun, Yue He, 2009 .

Statistical methods for diagnostic testing: an illustration using a new method for cancer detection

Xin Sun, 2013 .

Integration of close Range Photogrammetry and Structured Light Scanner for Cultural Heritage Documentation

Hao Hu, Xin Sun, Zhi Qiang Jiang, 2012 .

- Reified Input/Output logic - a position paper

Livio Robaldo, Xin Sun, L. Robaldo, 2016, ECAI 2016.

Combining Constitutive and Regulative Norms in Input/Output Logic

Leon van der Torre, Xin Sun, 2014, DEON.

Self-piercing riveting : Properties, processing and applications

Xin Sun, Andreas Chrysanthou, Xin Sun, 2013 .

Stag hunt and trust emergence in social networks

Lu Zhou, Chunhua Su, Kim-Kwang Raymond Choo, 2018, Future Gener. Comput. Syst..

On the complexity of input/output logic

Xin Sun, Diego Agustín Ambrossio, Xin Sun, 2015, J. Appl. Log..

Proof theory, semantics and algebra for normative systems

Xin Sun, 2018, J. Log. Comput..

Norm Creation in Proposition Control Games

Livio Robaldo, Xin Sun, L. Robaldo, 2016, CLAR.

Conditional Ought, a Game Theoretical Perspective

Xin Sun, Xin Sun, 2011, LORI.

Boolean Game with Prioritized Norms

Xin Sun, Xin Sun, 2015, LORI.

Cloudward bound: planning for beneficial migration of enterprise applications to the cloud

David A. Maltz, Mohit Tawarmalani, Kunwadee Sripanidkulchai, 2010, SIGCOMM 2010.

STIT Based Deontic Logics for the Miners Puzzle

Xin Sun, Zohreh Baniasadi, Xin Sun, 2014, EUMAS.

AN ARBITRATED QUANTUM SIGNATURE SCHEME BASED ON HYPERCHAOTIC QUANTUM CRYPTOSYSTEM

Wei Zhang, Xin Sun, Ying Guo, 2013 .

Lirong Qiu, Xishun Zhao, Xin Sun, 2017, J. Inf. Secur. Appl..

Feasibility study on nondestructively sensing meat's freshness using light scattering imaging technique.

Wenxiu Pan, Jiewen Zhao, Quansheng Chen, 2016, Meat science.

Boolean Games with Norms

Xin Sun, Xin Sun, 2015, MIWAI.

Determining the Safety Effects of Differential Speed Limits on Rural Interstate Highways Using Empirical Bayes Method

Xin Sun, Nicholas J Garber, 2002 .

On the complexity of input/output logic

Livio Robaldo, Xin Sun, 2017, J. Appl. Log..

Progress and development on biological information of crop phenotype research applied to real-time variable-rate fertilization

Xin Sun, Yang Zhu, Yinyan Shi, 2020, Plant Methods.

The paradoxes of permission an action based solution

Dov M. Gabbay, Loïc Gammaitoni, Xin Sun, 2014, J. Appl. Log..

Stock price forecasting model analysis based on the wavelet neural network and the data cleaning technology

Xin Sun, Ziqi Tang, Ziwei Guo, 2016 .

Quantum technique for access control in cloud computing II: Encryption and key distribution

Lu Zhou, Quanlong Wang, Xin Sun, 2018, J. Netw. Comput. Appl..

A self-adjusting quantum key renewal management scheme in classical network symmetric cryptography

Yanheng Liu, Jiawei Han, Xin Sun, 2018, The Journal of Supercomputing.

Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation

Livio Robaldo, Xin Sun, Xin Sun, 2017, J. Log. Comput..

Predicting the performance uncertainty of a 1-MW pilot-scale carbon capture system after hierarchical laboratory-scale calibration and validation

Avik Sarkar, Zhijie Xu, Xin Sun, 2017 .

The Research on Risk Assessment Model of Cascading Failures in Power System

Xin Sun, Qing Jie Zhou, Fu Chun Zhang, 2013, ICRA 2013.

Prediction of pork loin quality using online computer vision system and artificial intelligence model.

Xin Sun, David Newman, Jeng-Hung Liu, 2018, Meat science.

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario

Dov M. Gabbay, Livio Robaldo, Leon van der Torre, 2014, DEON.

Deontic STIT logic, from logical paradox to security policy

Lirong Qiu, Xin Sun, 2018, Soft Comput..

A Distribution Technology Based on Segmentation Prefetching and Pipelining in Classified Streaming Media Service

Xin Sun, Jian-sheng Xue, Zi-ao Cheng, 2010, 2010 International Conference on Multimedia Technology.

Markov Modelling in Healthcare Economic Evaluations

Xin Sun, Xin Sun, 2007 .

Big Data Analytics Drive EOR Projects

Xin Sun, Jie Xiao, Jie Xiao, 2017 .

Combining Regulative and Constitutive Norms in Input/Output Logic

Leon van der Torre, Xin Sun, 2014 .

The deontic dilemma of action negation, and its solution

Xin Sun, 2014 .