Search results for "Qingliang Chen"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu	A complete first-order temporal BDI logic for forest multi-agent systems.	Knowl.-Based Syst.	2012	DBLP DOI BibTeX RDF
1	Shaowei Cai, Kaile Su, Qingliang Chen	EWLS: A New Local Search for Minimum Vertex Cover.	AAAI	2010	DBLP BibTeX RDF
1	Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen	A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.	Canadian Conference on AI	2009	DBLP DOI BibTeX RDF
1	Jinji Yang, Kaile Su, Qingliang Chen	Improving Encoding Efficiency for Bounded Model Checking.	TASE	2008	DBLP DOI BibTeX RDF	encoding, SAT, Bounded Model Checking
1	Qingliang Chen, Kaile Su, Xizhong Zheng	Primitive recursive real numbers.	Math. Log. Q.	2007	DBLP DOI BibTeX RDF
1	Qingliang Chen, Kaile Su, Xizhong Zheng	Primitive Recursiveness of Real Numbers under Different Representations.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin	Semantic interpretation of compositional logic in instantiation space.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	Instantiation Space, Compositional Logic, interpretation
1	Chen Guolong, Qingliang Chen, Guo Wenzhong	A PSO-Based Approach to Rule Learning in Network Intrusion Detection.	ICFIE	2007	DBLP DOI BibTeX RDF	Intrusion Detection, Particle Swarm Optimization (PSO), Rule Learning
1	Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	formal verification, SAT, authentication protocol, knowledge structure
1	Kaile Su, Guanfeng Lv, Qingliang Chen	Knowledge structure approach to verification of authentication protocols.	Science in China Series F: Information Sciences	2005	DBLP DOI BibTeX RDF
1	Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen	Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.	WINE	2005	DBLP DOI BibTeX RDF
1	Lijun Wu, Kaile Su, Qingliang Chen	Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.	CIS	2005	DBLP DOI BibTeX RDF
1	Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen	A computationally grounded logic of knowledge, belief and certainty.	AAMAS	2005	DBLP DOI BibTeX RDF	computationally grounded model, modal logic, interpreted system
1	Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv	Bounded model checking knowledge and branching time in synchronous multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking

Publications of "Qingliang Chen" ( http://dblp.L3S.de/Authors/Qingliang_Chen )