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
552010
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
232005
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
112005
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
Normative multiagent systems: a dynamic generalization
X Huang, J Ruan, Q Chen, K Su
arXiv preprint arXiv:1604.05086, 2016
72016
PRIMA 2015: Principles and Practice of Multi-Agent Systems
Q Chen, P Torroni, S Villata, J Hsu, R Goebel
The 18th International Conference, 2015
72015
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
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
62010
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
The complexity of model checking succinct multiagent systems
X Huang, Q Chen, K Su
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
52015
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
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
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
A Succinct and Efficient Implementation of a 2^ 32 BDD Package
G Lv, Y Chen, Y Feng, Q Chen, K Su
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
32012
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
22020
Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions
X Huang, K Fang, L Fang, Q Chen, ZR Lai, L Wei
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2867-2875, 2019
22019
A first-order coalition logic for BDI-agents
Q Chen, K Su, A Sattar, X Luo, A Chen
Frontiers of Computer Science 10 (2), 233-245, 2016
22016
Improving encoding efficiency for bounded model checking
J Yang, K Su, Q Chen
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008
22008
The system can't perform the operation now. Try again later.
Articles 1–20