| 2022 | CAV | STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. | Geunyeol Yu, Jia Lee, Kyungmin Bae |
| 2021 | AAAI | Robust Contextual Bandits via Bootstrapping. | Qiao Tang, Hong Xie, Yunni Xia, Jia Lee, Qingsheng Zhu |
| 2021 | IJCNN | Improving shepherding tasks through destination-orientated actions. | Jun Yao, Jia Lee, Xin Huang, Teijiro Isokawa |
| 2021 | SMC | Three-lane Car-flowing Model Accounting for Variable Lane Change and Driving Behavior. | Xiaotong Yan, Jia Lee, Lingqiu Zeng, Yunni Xia |
| 2020 | ICSOC | A Decentralized Reactive Approach to Online Task Offloading in Mobile Edge Computing Environments. | Qinglan Peng, Yunni Xia, Yan Wang, Chunrong Wu, Xin Luo, Jia Lee |
| 2019 | ICSOC | Joint Operator Scaling and Placement for Distributed Stream Processing Applications in Edge Computing. | Qinglan Peng, Yunni Xia, Yan Wang, Chunrong Wu, Xin Luo, Jia Lee |
| 2019 | ICWS | Mobility-Aware and Migration-Enabled Online Edge User Allocation in Mobile Edge Computing. | Qinglan Peng, Yunni Xia, Feng Zeng, Jia Lee, Chunrong Wu, Xin Luo, Wanbo Zheng, Hui Liu, Yidan Qin, Peng Chen |
| 2017 | SiggraphA | Dualboard: integrated user interface between typing and handwriting. | Seunghyun Woo, Jia Lee, Changmok Kim |