Ma, Xiaoqi

2 publications

ICCV 2023 Scene Matters: Model-Based Deep Video Compression Lv Tang, Xinfeng Zhang, Gai Zhang, Xiaoqi Ma
IJCAI 2005 Knowledge Based Approach for Mechanically Verifying Security Protocols Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle