Xiaochun Cheng

Department of Computer Science The University of Reading Whiteknights , Reading RG6 6AY , UK

2 papers in the IJCAI proceedings

IJCAI 2005

Knowledge Based Approach for Mechanically Verifying Security Protocols

with Xiaoqi Ma, Rachel McCrindle

Details PDF

IJCAI 1995

The Rationality and Decidability of Fuzzy Implications

with Yunfei Jiang, Xuhua Liu

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings