Qingliang Chen
Qingliang Chen
Professor of Computer Science, Jinan University
Geverifieerd e-mailadres voor jnu.edu.cn
Titel
Geciteerd door
Geciteerd door
Jaar
EWLS: A new local search for minimum vertex cover
S Cai, K Su, Q Chen
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
532010
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, 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
72012
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
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
62006
PRIMA 2015: Principles and Practice of Multi-Agent Systems: 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
Q Chen, P Torroni, S Villata, J Hsu, A Omicini
Springer, 2015
5*2015
The complexity of model checking succinct multiagent systems
X Huang, Q Chen, K Su
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
52015
Primitive recursive real numbers
Q Chen, K Su, X Zheng
Mathematical Logic Quarterly 53 (4‐5), 365-380, 2007
52007
Primitive recursiveness of real numbers under different representations
Q Chen, K Su, X Zheng
Electronic Notes in Theoretical Computer Science 167, 303-324, 2007
52007
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
Normative multiagent systems: a dynamic generalization
X Huang, J Ruan, Q Chen, K Su
arXiv preprint arXiv:1604.05086, 2016
32016
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
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
22012
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
Semantic interpretation of compositional logic in instantiation space
SU Kaile, Y Xiao, Q Chen, H Lin
Frontiers of Computer Science in China 1 (2), 191-199, 2007
22007
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), 052106, 2018
12018
Reconfigurability in Reactive Multiagent Systems.
X Huang, Q Chen, J Meng, K Su
IJCAI, 315-321, 2016
12016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20