| 2026 | AAAI | Who Is a Better Matchmaker? Human vs. Algorithmic Judge Assignment in a High-Stakes Startup Competition. | Yang Xi, Orelia Pi, Miaomiao Zhang, Rebecca Xiong, Jacqueline Ng Lane, Nihar B. Shah |
| 2026 | WACV | Learning Group Actions In Disentangled Latent Image Representations. | Farhana Hossain Swarnali, Miaomiao Zhang, Tonmoy Hossain |
| 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 | CAV | Compositional Abstraction for Timed Systems with Broadcast Synchronization. | Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager |
| 2025 | IJCNN | RAVM-ULM: Exploring Resolution-Aware Detection and Vision-Mamba Imaging for Ultrasound Localization Microscopy. | Kejun Li, Haitao Wan, Jinpeng Jiang, Miaomiao Zhang, Na Jiang |
| 2025 | KDD | IrrMap: A Large-Scale Comprehensive Dataset for Irrigation Method Mapping. | Nibir Chandra Mandal, Oishee Bintey Hoque, Abhijin Adiga, Samarth Swarup, Mandy L. Wilson, Lu Feng, Yangfeng Ji, Miaomiao Zhang, Geoffrey C. Fox, Madhav V. Marathe |
| 2025 | MICCAI | Unsupervised Cardiac Video Translation Via Motion Feature Guided Diffusion Model. | Swakshar Deb, Nian Wu, Frederick H. Epstein, Miaomiao Zhang |
| 2025 | WACV | Invariant Shape Representation Learning for Image Classification. | Tonmoy Hossain, Jing Ma, Jundong Li, Miaomiao Zhang |
| 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 | MICCAI | TLRN: Temporal Latent Residual Networks for Large Deformation Image Registration. | Nian Wu, Jiarui Xing, Miaomiao Zhang |
| 2024 | MICCAI | LaMoD: Latent Motion Diffusion Model for Myocardial Strain Generation. | Jiarui Xing, Nivetha Jayakumar, Nian Wu, Yu Wang, Frederick H. Epstein, Miaomiao Zhang |
| 2024 | SETTA | Runtime Verification of Neural-Symbolic Systems. | Shaojun Deng, Wanwei Liu, Miaomiao Zhang |
| 2023 | CAV | Learning Assumptions for Compositional Verification of Timed Automata. | Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi |
| 2023 | ICASSP | Hankel Structured Low Rank and Sparse Representation Via L0-Norm Optimization for Compressed Ultrasound Plane Wave Signal Reconstruction. | Miaomiao Zhang, Ji Chen, Xiaoyan Fu, Ge Xin, Jingzhi Zhang, Na Jiang, Jan D'hooge |
| 2023 | ICPADS | MoryFabric : Reducing Transaction Abort by Actual Validity Verification and Reordering. | Jinlong He, Yang Liu, Jingwen Chen, Song Peng, Yaoqi Wang, Miaomiao Zhang |
| 2023 | MICCAI | SADIR: Shape-Aware Diffusion Models for 3D Image Reconstruction. | Nivetha Jayakumar, Tonmoy Hossain, Miaomiao Zhang |
| 2022 | ATVA | Learning Deterministic One-Clock Timed Automata via Mutation Testing. | Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan |
| 2022 | ICPR | Audio Signal-based Depression Level Prediction Combining Temporal and Spectral Features. | Xiaoyan Fu, Jinming Li, Honghong Liu, Miaomiao Zhang, Ge Xin |
| 2022 | ICTAC | Human-Cyber-Physical Automata and Their Synthesis. | Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu |
| 2021 | MICCAI | Bayesian Atlas Building with Hierarchical Priors for Subject-Specific Regularization. | Jian Wang, Miaomiao Zhang |
| 2021 | SEKE | Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S). | Jin Xu, Zishan Li, Miaomiao Zhang, Bowen Du |
| 2020 | CVPR | DeepFLASH: An Efficient Network for Learning-Based Medical Image Registration. | Jian Wang, Miaomiao Zhang |
| 2020 | ICFEM | PAC Learning of Deterministic One-Clock Timed Automata. | Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan |
| 2020 | ISCC | Reluplex made more practical: Leaky ReLU. | Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu |
| 2020 | TACAS | Learning One-Clock Timed Automata. | Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang |
| 2019 | APSEC | RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. | Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang |
| 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 |
| 2019 | MICCAI | On the Applicability of Registration Uncertainty. | Jie Luo, Alireza Sedghi, Karteek Popuri, Dana Cobzas, Miaomiao Zhang, Frank Preiswerk, Matthew Toews, Alexandra J. Golby, Masashi Sugiyama, William M. Wells III, Sarah F. Frisken |
| 2019 | MICCAI | Plug-and-Play Priors for Reconstruction-Based Placental Image Registration. | Jiarui Xing, Ulugbek Kamilov, Wenjie Wu, Yong Wang, Miaomiao Zhang |
| 2019 | MICCAI | Mixture Probabilistic Principal Geodesic Analysis. | Youshan Zhang, Jiarui Xing, Miaomiao Zhang |
| 2018 | MICCAI | A Feature-Driven Active Framework for Ultrasound-Based Brain Shift Compensation. | Jie Luo, Matthew Toews, Ins Machado, Sarah F. Frisken, Miaomiao Zhang, Frank Preiswerk, Alireza Sedghi, Hongyi Ding, Steve Pieper, Polina Golland, Alexandra J. Golby, Masashi Sugiyama, William M. Wells III |
| 2018 | MICCAI | Efficient Laplace Approximation for Bayesian Registration Uncertainty Quantification. | Jian Wang, William M. Wells III, Polina Golland, Miaomiao Zhang |
| 2017 | COMPSAC | An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. | Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen |
| 2017 | ICDM | A Novel Method for Fast and Accurate Similarity Measure in Time Series Field. | Miaomiao Zhang, Dechang Pi |
| 2017 | MICCAI | Fast Geodesic Regression for Population-Based Image Analysis. | Yi Hong, Polina Golland, Miaomiao Zhang |
| 2016 | ECCV | SSHMT: Semi-supervised Hierarchical Merge Tree for Electron Microscopy Image Segmentation. | Ting Liu, Miaomiao Zhang, Mehran Javanmardi, Nisha Ramesh, Tolga Tasdizen |
| 2016 | MICCAI | Temporal Registration in In-Utero Volumetric MRI Time Series. | Ruizhi Liao, Esra Abaci Turk, Miaomiao Zhang, Jie Luo, Patricia Ellen Grant, Elfar Adalsteinsson, Polina Golland |
| 2016 | MICCAI | Low-Dimensional Statistics of Anatomical Variability via Compact Representation of Image Deformations. | Miaomiao Zhang, William M. Wells III, Polina Golland |
| 2015 | MFCS | Fast Dynamic Weight Matchings in Convex Bipartite Graphs. | Quan Zu, Miaomiao Zhang, Bin Yu |
| 2015 | MICCAI | A Hierarchical Bayesian Model for Multi-Site Diffeomorphic Image Atlases. | Michelle Hromatka, Miaomiao Zhang, Greg M. Fleishman, Boris Gutman, Neda Jahanshad, Paul M. Thompson, P. Thomas Fletcher |
| 2014 | FAW | Dynamic Matchings in Left Weighted Convex Bipartite Graphs. | Quan Zu, Miaomiao Zhang, Bin Yu |
| 2014 | MICCAI | Bayesian Principal Geodesic Analysis in Diffeomorphic Image Registration. | Miaomiao Zhang, P. Thomas Fletcher |
| 2012 | TASE | Formal Specification of Hybrid MARTE Statecharts. | Ziwei Liu, Jing Liu, Jifeng He, Frdric Mallet, Miaomiao Zhang |
| 2010 | COMPSAC | Modeling and Verification of an Automatic Train Protection System. | Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding |
| 2009 | COMPSAC | Formal Analysis of Services Compatibility. | Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu |
| 2008 | ICTAC | Verification of Linear Duration Invariants by Model Checking CTL Properties. | Miaomiao Zhang, Dang Van Hung, Zhiming Liu |
| 2007 | RTCSA | On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. | Dang Van Hung, Miaomiao Zhang |
| 2006 | EMSOFT | Analysis of the zeroconf protocol using UPPAAL. | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang |