| 2026 | AAAI | RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation. | Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan |
| 2026 | AAAI | Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions. | Shenghua Feng, Jie An, Fanjiang Xu |
| 2026 | FM | Exact Moment Estimation of Stochastic Differential Dynamics. | Shenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu |
| 2026 | FM | STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP. | Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2026 | TACAS | Quantifier Elimination Meets Treewidth. | Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan |
| 2026 | VMCAI | SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation. | Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang |
| 2025 | AAAI | Ouroboros-Diffusion: Exploring Consistent Content Generation in Tuning-free Long Video Diffusion. | Jingyuan Chen, Fuchen Long, Jie An, Zhaofan Qiu, Ting Yao, Jiebo Luo, Tao Mei |
| 2025 | ACL | Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge. | Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan |
| 2025 | ATVA | Componentwise Automata Learning for System Integration. | Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo |
| 2025 | ICCV | Latent-Reframe: Enabling Camera Control for Video Diffusion Models Without Training. | Zhenghong Zhou, Jie An, Jiebo Luo |
| 2025 | VTC | An Interference Coordination Approach Based on User Grouping and NOMA for ISAC Systems. | Jie An, Yuetong Lin, Hongcheng Zhuang, Xueyang Hu, Fan Jiang |
| 2025 | RTSS | Control Synthesis of Cyber-Physical Systems for Real-Time Specifications Through Causation-Guided Reinforcement Learning. | Xiaochen Tang, Zhenya Zhang, Miaomiao Zhang, Jie An |
| 2025 | RTSS | On Synthesis of Timed Regular Expressions. | Ziran Wang, Jie An, Naijun Zhan, Miaomiao Zhang, Zhenya Zhang |
| 2025 | SETTA | Efficient Decomposition Identification of Deterministic Finite Automata from Examples. | Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang |
| 2024 | CAV | Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. | Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo |
| 2024 | FM | The Opacity of Timed Automata. | Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo |
| 2024 | FM | CauMon: An Informative Online Monitor for Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2024 | IJCAI | Bring Metric Functions into Diffusion Models. | Jie An, Zhengyuan Yang, Jianfeng Wang, Linjie Li, Zicheng Liu, Lijuan Wang, Jiebo Luo |
| 2023 | CAV | Online Causation Monitoring of Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2023 | CVPR | QuantArt: Quantizing Image Style Transfer Towards High Visual Fidelity. | Siyu Huang, Jie An, Donglai Wei, Jiebo Luo, Hanspeter Pfister |
| 2023 | ICLR | Make-A-Video: Text-to-Video Generation without Text-Video Data. | Uriel Singer, Adam Polyak, Thomas Hayes, Xi Yin, Jie An, Songyang Zhang, Qiyuan Hu, Harry Yang, Oron Ashual, Oran Gafni, Devi Parikh, Sonal Gupta, Yaniv Taigman |
| 2023 | WACV | Is Bigger Always Better? An Empirical Study on Efficient Architectures for Style Transfer and Beyond. | Jie An, Tao Li, Hao-Zhi Huang, Jinwen Ma, Jiebo Luo |
| 2022 | ATVA | Learning Deterministic One-Clock Timed Automata via Mutation Testing. | Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan |
| 2022 | ATVA | Active Learning of One-Clock Timed Automata Using Constraint Solving. | Runqing Xu, Jie An, Bohua Zhan |
| 2022 | WACV | Facial Attribute Transformers for Precise and Robust Makeup Transfer. | Zhaoyi Wan, Haoran Chen, Jie An, Wentao Jiang, Cong Yao, Jiebo Luo |
| 2021 | CVPR | ArtFlow: Unbiased Image Style Transfer via Reversible Neural Flows. | Jie An, Siyu Huang, Yibing Song, Dejing Dou, Wei Liu, Jiebo Luo |
| 2020 | AAAI | Ultrafast Photorealistic Style Transfer via Neural Architecture Search. | Jie An, Haoyi Xiong, Jun Huan, Jiebo Luo |
| 2020 | ICFEM | PAC Learning of Deterministic One-Clock Timed Automata. | Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan |
| 2020 | ICPR | Global Image Sentiment Transfer. | Jie An, Tianlang Chen, Songyang Zhang, Jiebo Luo |
| 2020 | TACAS | Learning One-Clock Timed Automata. | Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang |
| 2019 | CADE | NIL: Learning Nonlinear Interpolants. | Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan |
| 2019 | ICTAI | High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training. | Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu |
| 2018 | BMVC | Pyramid Attention Network for Semantic Segmentation. | Hanchao Li, Pengfei Xiong, Jie An, Lingxue Wang |
| 2013 | ICPADS | A Better Understanding of Event-Triggered Control from a CPS Perspective. | Jie An, Jianguo Yao, Haihang Zhou, Fei Hu |