Bounded model checking knowledge and branching time in synchronous multi-agent systems. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Qingliang Chen; Guanfeng Lv (AAMAS, 2005)

A computationally grounded logic of knowledge, belief and certainty. - Kaile Su; Abdul Sattar 001; Guido Governatori; Qingliang Chen (AAMAS, 2005)

Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. - Lijun Wu 001; Kaile Su; Qingliang Chen (CIS (1), 2005)

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. - Kaile Su; Congxin Zhao; Guanfeng Lv; Han Lin; Qingliang Chen (WINE, 2005)

Knowledge structure approach to verification of authentication protocols. - Kaile Su; Guanfeng Lv; Qingliang Chen (Sci. China Ser. F Inf. Sci., 2005)

Primitive Recursiveness of Real Numbers under Different Representations. - Qingliang Chen; Kaile Su; Xizhong Zheng (CCA, 2006)

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. - Kaile Su; Qingliang Chen; Abdul Sattar 001; Weiya Yue; Guanfeng Lv; Xizhong Zheng (J. Comput. Sci. Technol., 2006)

A PSO-Based Approach to Rule Learning in Network Intrusion Detection. - Guolong Chen; Qingliang Chen; Wenzhong Guo (ICFIE, 2007)

Semantic interpretation of compositional logic in instantiation space. - Kaile Su; Yinyin Xiao; Qingliang Chen; Han Lin (Frontiers Comput. Sci. China, 2007)

Primitive recursive real numbers. - Qingliang Chen; Kaile Su; Xizhong Zheng (Math. Log. Q., 2007)

Improving Encoding Efficiency for Bounded Model Checking. - Jinji Yang; Kaile Su; Qingliang Chen (TASE, 2008)

A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. - Lijun Wu 001; Jinshu Su; Xiangyu Luo; Zhihua Yang; Qingliang Chen (Canadian AI, 2009)

EWLS: A New Local Search for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Qingliang Chen (AAAI, 2010)

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model. - Qingliang Chen; Kaile Su; Chanjuan Liu; Yinyin Xiao (ICSS, 2010)

A Succinct and Efficient Implementation of a 2^32 BDD Package. - Guanfeng Lv; Yao Chen; Yachao Feng; Qingliang Chen; Kaile Su (TASE, 2012)

A complete first-order temporal BDI logic for forest multi-agent systems. - Lijun Wu 001; Kaile Su; Abdul Sattar 001; Qingliang Chen; Jinshu Su; Wei Wu 042 (Knowl. Based Syst., 2012)

Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. - Qingliang Chen; Kaile Su; Yong Hu; Guiwu Hu (Canadian AI, 2014)

Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. - Qingliang Chen; Qun Li; Kaile Su; Xiangyu Luo (PRICAI, 2014)

A Time-Based Pre-distribution Shared Key Pool Design. - Linfeng Wei; Caiting Huang; Guoxiang Yao; Meixiu Zhou; Qingliang Chen (J. Comput., 2014)

The Complexity of Model Checking Succinct Multiagent Systems. - Xiaowei Huang 001; Qingliang Chen; Kaile Su (IJCAI, 2015)

A complete coalition logic of temporal knowledge for multi-agent systems. - Qingliang Chen; Kaile Su; Yong Hu; Guiwu Hu (Frontiers Comput. Sci., 2015)

Strengthening Agents Strategic Ability with Communication. - Xiaowei Huang 001; Qingliang Chen; Kaile Su (AAAI, 2016)

Reconfigurability in Reactive Multiagent Systems. - Xiaowei Huang 001; Qingliang Chen; Jie Meng; Kaile Su (IJCAI, 2016)

Normative Multiagent Systems: The Dynamic Generalization. - Xiaowei Huang 001; Ji Ruan; Qingliang Chen; Kaile Su (IJCAI, 2016)

A first-order coalition logic for BDI-agents. - Qingliang Chen; Kaile Su; Abdul Sattar 001; Xiangyu Luo; Aixiang Chen (Frontiers Comput. Sci., 2016)

Quantified Coalition Logic of Knowledge, Belief and Certainty. - Qingliang Chen; Xiaowei Huang 001; Kaile Su; Abdul Sattar 001 (Canadian AI, 2017)

Visual Three-Dimensional Reconstruction of Aortic Dissection Based on Medical CT Images. - Xiaojie Duan; Dandan Chen; Jianming Wang; Meichen Shi; Qingliang Chen; He Zhao; Ruixue Zuo; Xiuyan Li; Qi Wang 040 (Int. J. Digit. Multim. Broadcast., 2017)

A Novel Stochastic Stratified Average Gradient Method: Convergence Rate and Its Complexity. - Aixiang Andy Chen; Xiaolong Chai; Bingchuan Chen; Rui Bian; Qingliang Chen (IJCNN, 2018)

Symbolic model checking for discrete real-time systems. - Xiangyu Luo; Lijun Wu 001; Qingliang Chen; Haibo Li; Lixiao Zheng; Zuxi Chen (Sci. China Inf. Sci., 2018)

Preface. - Qingliang Chen; Paolo Torroni; Serena Villata (Fundam. Informaticae, 2018)

Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. - Xuanxiang Huang; Kehang Fang; Liangda Fang; Qingliang Chen; Zhao-Rong Lai; Linfeng Wei (AAAI, 2019)

Cascade Wide Activation Multi-Scale Networks for Single Image Super-Resolution. - Yiwei Zhang; He Huang; Qingliang Chen; Xu Zhang; Jianxing Liang; Hong Yin; Xiaobing Feng; Shasha Wang (ICSAI, 2019)

A Partially Pre-Trained Dense Network for Image Super-Resolution. - Yiwei Zhang; Peng Liu; Qingliang Chen; Yunfeng Guo; Jianxing Liang; Hong Yin; Xiaobing Feng (ICSAI, 2019)

面向复杂环境的图像语义分割方法综述 (Research on Image Semantic Segmentation for Complex Environments). - Yanran Wang; Qingliang Chen; Junjun Wu (计算机科学, 2019)

Principles and practice of multi-agent systems. - Qingliang Chen; Paolo Torroni; Serena Villata (Knowl. Eng. Rev., 2019)

Sequential Convolution and Runge-Kutta Residual Architecture for Image Compressed Sensing. - Runkai Zheng; Yinqi Zhang; Daolang Huang; Qingliang Chen (ECCV (9), 2020)

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. - Xuanxiang Huang; Haipeng Che; Liangda Fang; Qingliang Chen; Quanlong Guan; Yuhui Deng; Kaile Su (ICCAD, 2020)

Fast Plant Leaf Recognition Using Improved Multiscale Triangle Representation and KNN for Optimization. - Jianyu Su; Meihua Wang; Zhenxin Wu; Qingliang Chen (IEEE Access, 2020)

Multi-Scale Convolutional Features Network for Semantic Segmentation in Indoor Scenes. - Yanran Wang; Qingliang Chen; Shilang Chen; Junjun Wu (IEEE Access, 2020)

A New Click-Through Rates Prediction Model Based on Deep&Cross Network. - Guojing Huang; Qingliang Chen; Congjian Deng (Algorithms, 2020)

Dropout with Tabu Strategy for Regularizing Deep Neural Networks. - Zongjie Ma; Abdul Sattar 001; Jun Zhou 001; Qingliang Chen; Kaile Su (Comput. J., 2020)

BERT4GCN: Using BERT Intermediate Layers to Augment GCN for Aspect-based Sentiment Classification. - Zeguan Xiao; Jiarun Wu; Qingliang Chen; Congjian Deng (EMNLP (1), 2021)

Progressive Multi-stage Interactive Training in Mobile Network for Fine-grained Recognition. - Zhenxin Wu; Qingliang Chen; Yifeng Liu; Yinqi Zhang; Chengkai Zhu; Yang Yu (CoRR, 2021)

Generalized Linear Integer Numeric Planning. - Xiaoyou Lin; Qingliang Chen; Liangda Fang; Quanlong Guan; Weiqi Luo 002; Kaile Su (ICAPS, 2022)

Progressive Multi-stage Interactive Training in Mobile Network for Fine-grained Classification. - Zhenxin Wu; Qingliang Chen; Yongjian Huang (BMVC, 2022)

Analysis of Aerosol Monitoring Data of Four Cities in Shandong Province. - Weijia Sun; Qian Zhang 095; Haitao Guo; Qingliang Chen; Juxiu Wu; Yujie Zhang; Xueyin An; Chuancheng Ma; Hengchang Li (CACML, 2022)

Pruning Adatperfusion with Lottery Ticket Hypothesis. - Jiarun Wu; Qingliang Chen; Zeguan Xiao; Yuliang Gu; Mengsi Sun (NAACL-HLT (Findings), 2022)

Domain-Level Pairwise Semantic Interaction for Aspect-Based Sentiment Classification. - Zhenxin Wu; Jiazheng Gong; Kecen Guo; Guanye Liang; Qingliang Chen; Bo Liu 062 (PAKDD (1), 2022)

Pruning Adapters with Lottery Ticket. - Jiarun Wu; Qingliang Chen (Algorithms, 2022)

Evaluating nnU-Net for Type B Aortic Dissection segmentation on CTA images. - Yicun Li; Chengzhi Gui; Xin Li; Tongyun Chen; Xiquan Song; Qingliang Chen; Xingwei An (ICBBE, 2023)

Prior-Enhanced Network for Image-Based PM2.5 Estimation from Imbalanced Data Distribution. - Xueqing Fang; Zhan Li; Bin Yuan; Xinrui Wang; Zekai Jiang; Jianliang Zeng; Qingliang Chen (ICONIP (10), 2023)

COVER: A Heuristic Greedy Adversarial Attack on Prompt-Based Learning in Language Models. - Zihao Tan; Qingliang Chen; Wenbin Zhu; Yongjian Huang (PRICAI (2), 2023)

SdCT-GAN: Reconstructing CT from Biplanar X-Rays with Self-driven Generative Adversarial Networks. - Shuangqin Cheng; Qingliang Chen; Qiyi Zhang; Ming Li; Yamuhanmode Alike; Kaile Su; Pengcheng Wen (CoRR, 2023)

CLCT-GAN: Strong-Weak Contrastive Learning for Reconstructing CT Images from Radiographs. - Shuangqin Cheng; Yumao Hong; Qingliang Chen; Jinshun Guo; Ming Li; Qiyi Zhang (IJCNN, 2024)

TARGET: Template-Transferable Backdoor Attack Against Prompt-Based NLP Models via GPT4. - Zihao Tan; Qingliang Chen; Yongjian Huang; Chen Liang (NLPCC (2), 2024)

Glass Segmentation with Multi Scales and Primary Prediction Guiding. - Zhiyu Xu; Qingliang Chen (CoRR, 2024)

NubbleDrop: A Simple Way to Improve Matching Strategy for Prompted One-Shot Segmentation. - Zhiyu Xu; Qingliang Chen (CoRR, 2024)

A novel approach for tool condition monitoring based on transfer learning of deep neural networks using time-frequency images. - Yao Li; Zhengcai Zhao; Yucan Fu; Qingliang Chen (J. Intell. Manuf., 2024)

Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. - Liangda Fang; Shikang Chen; Xiaoman Wang; Xiaoyou Lin; Chenyi Zhang 001; Qingliang Chen; Quanlong Guan; Kaile Su (AAMAS, 2025)

Exploring the vulnerability of black-box adversarial attack on prompt-based learning in language models. - Zihao Tan; Qingliang Chen; Wenbin Zhu; Yongjian Huang; Chen Liang (Neural Comput. Appl., 2025)