Follow
Qingliang Chen
Qingliang Chen
Professor of Computer Science, Jinan University
Verified email at jnu.edu.cn
Title
Cited by
Cited by
Year
EWLS: A new local search for minimum vertex cover
S Cai, K Su, Q Chen
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
622010
A computationally grounded logic of knowledge, belief and certainty
K Su, A Sattar, G Governatori, Q Chen
Proceedings of the fourth international joint conference on autonomous …, 2005
242005
Knowledge structure approach to verification of authentication protocols
K Su, G Lü, Q Chen
Science in China Series F: Information Sciences 48 (4), 513-532, 2005
122005
Bounded model checking knowledge and branching time in synchronous multi-agent systems
X Luo, K Su, A Sattar, Q Chen, G Lv
Proceedings of the fourth international joint conference on Autonomous …, 2005
122005
Normative multiagent systems: a dynamic generalization
X Huang, J Ruan, Q Chen, K Su
arXiv preprint arXiv:1604.05086, 2016
92016
PRIMA 2015: Principles and Practice of Multi-Agent Systems
Q Chen, P Torroni, S Villata, J Hsu, R Goebel
The 18th International Conference, 2015
82015
A complete first-order temporal BDI logic for forest multi-agent systems
L Wu, K Su, A Sattar, Q Chen, J Su, W Wu
Knowledge-Based Systems 27, 343-351, 2012
82012
Automatic verification of Web Service protocols for epistemic specifications under Dolev-Yao Model
Q Chen, K Su, C Liu, Y Xiao
2010 International Conference on Service Sciences, 49-54, 2010
82010
Primitive recursive real numbers
Q Chen, K Su, X Zheng
Mathematical Logic Quarterly 53 (4‐5), 365-380, 2007
72007
Verification of authentication protocols for epistemic goals via SAT compilation
KL Su, QL Chen, A Sattar, WY Yue, GF Lv, XZ Zheng
Journal of Computer Science and Technology 21 (6), 932-943, 2006
72006
BERT4GCN: Using BERT Intermediate Layers to Augment GCN for Aspect-based Sentiment Classification
Z Xiao, J Wu, Q Chen, C Deng
arXiv preprint arXiv:2110.00171, 2021
62021
The complexity of model checking succinct multiagent systems
X Huang, Q Chen, K Su
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
62015
MAP-based single-frame super-resolution reconstruction for character image
Z LI, Q CHEN, Q PENG, Q ZHANG, W LI
ACTA ELECTONICA SINICA 43 (1), 191, 2015
62015
Primitive recursiveness of real numbers under different representations
Q Chen, K Su, X Zheng
Electronic Notes in Theoretical Computer Science 167, 303-324, 2007
62007
Symbolic model checking for discrete real-time systems
X Luo, L Wu, Q Chen, H Li, L Zheng, Z Chen
Science China Information Sciences 61 (5), 1-23, 2018
52018
A New Click-Through Rates Prediction Model Based on Deep&Cross Network
G Huang, Q Chen, C Deng
Algorithms 13 (12), 342, 2020
42020
Reconfigurability in Reactive Multiagent Systems.
X Huang, Q Chen, J Meng, K Su
IJCAI, 315-321, 2016
42016
A complete coalition logic of temporal knowledge for multi-agent systems
Q Chen, K Su, Y Hu, G Hu
Frontiers of Computer Science 9 (1), 75-86, 2015
42015
Model checking temporal logics of knowledge and its application in security verification
L Wu, K Su, Q Chen
International Conference on Computational and Information Science, 349-354, 2005
42005
Dropout with tabu strategy for regularizing deep neural networks
Z Ma, A Sattar, J Zhou, Q Chen, K Su
The Computer Journal 63 (7), 1031-1038, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20