Остановите войну!
for scientists:
default search action
Miaomiao Zhang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Miaomiao Zhang 0001 (aka: MiaoMiao Zhang 0001) — Shanghai Jiao Tong University, Department of Automation, China
- Miaomiao Zhang 0002 — University of Virginia, UVA, Computer Science and Electrical Computer Engineering, Charlottesville, USA (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j29]Shanqi Pang, Miaomiao Zhang, Mengqian Chen, Chaomeng Zhang:
Some new quantum codes from constacyclic codes. Quantum Inf. Process. 23(1): 11 (2024) - [j28]Xiaocui Yuan, Zhiming Lei, Hongtao Zhu, Yongtao Wang, Miaomiao Zhang:
A Tightness Detection Method for Railway Fasteners Based on RGB-P Bimodal Data. IEEE Trans. Instrum. Meas. 73: 1-15 (2024) - [i24]Rugved Chavan, Gabriel Hyman, Zoraiz Qureshi, Nivetha Jayakumar, William Terrell, Stuart Berr, David Schiff, Megan Wardius, Nathan Fountain, Thomas Eluvathingal Muttikkal, Mark Quigg, Miaomiao Zhang, Bijoy Kundu:
An end-to-end deep learning pipeline to derive blood input with partial volume corrections for automated parametric brain PET mapping. CoRR abs/2402.03414 (2024) - [i23]Jiarui Xing, Nian Wu, Kenneth C. Bilchick, Frederick H. Epstein, Miaomiao Zhang:
Multimodal Learning To Improve Cardiac Late Mechanical Activation Detection From Cine MR Images. CoRR abs/2402.18507 (2024) - 2023
- [j27]Miaomiao Zhang, Lei Zhang:
An optimal control problem for a biological population model with diffusion and infectious disease. Eur. J. Control 72: 100821 (2023) - [j26]Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu:
Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. 144: 102989 (2023) - [j25]Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh Jr., Yu Su, Junri Mi, Bowen Du:
Automatic modelling and verification of Autosar architectures. J. Syst. Softw. 201: 111675 (2023) - [j24]Xuefeng Lei, Zhenhai Liu, Fei Tao, Hao Dong, Weizhen Hou, Guangfeng Xiang, Lili Qie, Binghuan Meng, Congfei Li, Feinan Chen, Yanqing Xie, Miaomiao Zhang, Lanlan Fan, Liangxiao Cheng, Jin Hong:
Data Comparison and Cross-Calibration between Level 1 Products of DPC and POSP Onboard the Chinese GaoFen-5(02) Satellite. Remote. Sens. 15(7): 1933 (2023) - [j23]Xuanye Zhang, Miaomiao Zhang, Lingbing Bu, Zengchang Fan, Ahmad Mubarak:
Simulation and Error Analysis of Methane Detection Globally Using Spaceborne IPDA Lidar. Remote. Sens. 15(13): 3239 (2023) - [j22]Yanqing Xie, Miaomiao Zhang, Zijun Wang, Yuan Wen, Liguo Zhang, Yunduan Li, Weizhen Hou, Zhenhai Liu, Jin Hong, Xuefeng Lei, Zhongzheng Hu, Zhengqiang Li:
Performance of the Semi-Empirical Precipitable Water Vapor Retrieval Algorithm Developed for Polarized Scanning Atmospheric Corrector (PSAC) in the Presence of Sensor Decay. IEEE Trans. Geosci. Remote. Sens. 61: 1-11 (2023) - [c65]Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi:
Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) 2023: 40-61 - [c64]Miaomiao Zhang, Ji Chen, Xiaoyan Fu, Ge Xin, Jingzhi Zhang, Na Jiang, Jan D'hooge:
Hankel Structured Low Rank and Sparse Representation Via L0-Norm Optimization for Compressed Ultrasound Plane Wave Signal Reconstruction. ICASSP 2023: 1-5 - [c63]Jinlong He, Yang Liu, Jingwen Chen, Song Peng, Yaoqi Wang, Miaomiao Zhang:
MoryFabric : Reducing Transaction Abort by Actual Validity Verification and Reordering. ICPADS 2023: 691-698 - [c62]Jian Wang, Jiarui Xing, Jason Druzgal, William M. Wells III, Miaomiao Zhang:
MetaMorph: Learning Metamorphic Image Transformation with Appearance Changes. IPMI 2023: 576-587 - [c61]Tonmoy Hossain, Zoraiz Qureshi, Nivetha Jayakumar, Thomas Eluvathingal Muttikkal, Sohil Patel, David Schiff, Miaomiao Zhang, Bijoy Kundu:
Multimodal Deep Learning to Differentiate Tumor Recurrence from Treatment Effect in Human Glioblastoma. ISBI 2023: 1-4 - [c60]Jiarui Xing, Shuo Wang, Kenneth C. Bilchick, Frederick H. Epstein, Amit R. Patel, Miaomiao Zhang:
Multitask Learning for Improved Late Mechanical Activation Detection of Heart from Cine Dense MRI. ISBI 2023: 1-5 - [c59]Jiarui Xing, Shuo Wang, Kenneth C. Bilchick, Amit R. Patel, Miaomiao Zhang:
Joint Deep Learning for Improved Myocardial Scar Detection from Cardiac MRI. ISBI 2023: 1-5 - [c58]Nivetha Jayakumar, Tonmoy Hossain, Miaomiao Zhang:
SADIR: Shape-Aware Diffusion Models for 3D Image Reconstruction. ShapeMI@MICCAI 2023: 287-300 - [c57]Nivetha Jayakumar, Jiarui Xing, Tonmoy Hossain, Frederick H. Epstein, Kenneth C. Bilchick, Miaomiao Zhang:
Activation From Sparse 2D Cardiac MRIs. ML4H@NeurIPS 2023: 190-200 - [i22]Tonmoy Hossain, Zoraiz Qureshi, Nivetha Jayakumar, Thomas Eluvathingal Muttikkal, Sohil Patel, David Schiff, Miaomiao Zhang, Bijoy Kundu:
Multimodal Deep Learning to Differentiate Tumor Recurrence from Treatment Effect in Human Glioblastoma. CoRR abs/2302.14124 (2023) - [i21]Jian Wang, Jiarui Xing, Jason Druzgal, William M. Wells III, Miaomiao Zhang:
MetaMorph: Learning Metamorphic Image Transformation With Appearance Changes. CoRR abs/2303.04849 (2023) - [i20]Shanqi Pang, Chaomeng Zhang, Mengqian Chen, Miaomiao Zhang:
Near MDS and near quantum MDS codes via orthogonal arrays. CoRR abs/2308.00406 (2023) - [i19]Nivetha Jayakumar, Tonmoy Hossain, Miaomiao Zhang:
SADIR: Shape-Aware Diffusion Models for 3D Image Reconstruction. CoRR abs/2309.03335 (2023) - [i18]Lei Zhao, Miaomiao Zhang, Guangyu Li, Zhuowen Guan, Sijia Liu, Zhaobin Xiao, Yuting Cao, Zhe Lv, Yanping Liang:
Design of JiuTian Intelligent Network Simulation Platform. CoRR abs/2310.06858 (2023) - [i17]Lei Zhao, Miaomiao Zhang, Zhe Lv:
Emulators in JINSP. CoRR abs/2311.16146 (2023) - [i16]Lei Zhao, Miaomiao Zhang:
Implement services for business scenarios by combining basic emulators. CoRR abs/2312.08815 (2023) - [i15]Tonmoy Hossain, Jian Wang, Miaomiao Zhang:
MGAug: Multimodal Geometric Augmentation in Latent Spaces of Image Deformations. CoRR abs/2312.13440 (2023) - 2022
- [j21]Miaomiao Zhang, Bing Zheng:
Accelerating noise-tolerant zeroing neural network with fixed-time convergence to solve the time-varying Sylvester equation. Autom. 135: 109998 (2022) - [j20]Yuanyuan Wei, Nan Jiang, Ziwei Li, Dongdong Zheng, Minjie Chen, Miaomiao Zhang:
An Improved Ant Colony Algorithm for Urban Bus Network Optimization Based on Existing Bus Routes. ISPRS Int. J. Geo Inf. 11(5): 317 (2022) - [j19]Miaomiao Zhang, Zhenhong Li, Chen Yu, Zhenjiang Liu, Xuesong Zhang, Jiatong Wang, Jing Yang, Bingquan Han, Jianbing Peng:
Co- and Postseismic Deformation of the 2020 Mw 6.3 Nima (Tibet, China) Earthquake Revealed by InSAR Observations. Remote. Sens. 14(21): 5390 (2022) - [j18]Miaomiao Zhang, Zhengnan Li, Fuquan Zhang, Lidong Ma:
Adaptive Bidirectional Gray-Scale Center of Gravity Extraction Algorithm of Laser Stripes. Sensors 22(24): 9567 (2022) - [c56]Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan:
Learning Deterministic One-Clock Timed Automata via Mutation Testing. ATVA 2022: 233-248 - [c55]Xiaoyan Fu, Jinming Li, Honghong Liu, Miaomiao Zhang, Ge Xin:
Audio Signal-based Depression Level Prediction Combining Temporal and Spectral Features. ICPR 2022: 359-365 - [c54]Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu:
Human-Cyber-Physical Automata and Their Synthesis. ICTAC 2022: 36-41 - [c53]Zihuan Qiu, Zhichuan Wang, Miaomiao Zhang, Ziyong Xu, Jie Fan, Linfeng Xu:
BDG-Net: boundary distribution guided network for accurate polyp segmentation. Medical Imaging: Image Processing 2022 - [i14]Zihuan Qiu, Zhichuan Wang, Miaomiao Zhang, Ziyong Xu, Jie Fan, Linfeng Xu:
BDG-Net: Boundary Distribution Guided Network for Accurate Polyp Segmentation. CoRR abs/2201.00767 (2022) - [i13]Jiarui Xing, Shuo Wang, Kenneth C. Bilchick, Frederick H. Epstein, Amit R. Patel, Miaomiao Zhang:
Multitask Learning for Improved Late Mechanical Activation Detection of Heart from Cine DENSE MRI. CoRR abs/2211.06238 (2022) - [i12]Jiarui Xing, Shuo Wang, Kenneth C. Bilchick, Amit R. Patel, Miaomiao Zhang:
Joint Deep Learning for Improved Myocardial Scar Detection from Cardiac MRI. CoRR abs/2211.06247 (2022) - 2021
- [j17]Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning real-time automata. Sci. China Inf. Sci. 64(9) (2021) - [j16]Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Inferring Switched Nonlinear Dynamical Systems. Formal Aspects Comput. 33(3): 385-406 (2021) - [j15]Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning Nondeterministic Real-Time Automata. ACM Trans. Embed. Comput. Syst. 20(5s): 99:1-99:26 (2021) - [c52]William Paul, Yinzhi Cao, Miaomiao Zhang, Philippe Burlina:
Defending Medical Image Diagnostics Against Privacy Attacks Using Generative Methods: Application to Retinal Diagnostics. CLIP/DCL/LL-COVID19/PPML@MICCAI 2021: 174-187 - [c51]Jiarui Xing, Sona Ghadimi, Mohamad Abdi, Kenneth C. Bilchick, Frederick H. Epstein, Miaomiao Zhang:
Deep Networks To Automatically Detect Late-Activating Regions Of The Heart. ISBI 2021: 1902-1906 - [c50]Jin Xu, Zishan Li, Miaomiao Zhang, Bowen Du:
Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S). SEKE 2021: 160-165 - [i11]William Paul, Yinzhi Cao, Miaomiao Zhang, Philippe Burlina:
Defending Medical Image Diagnostics against Privacy Attacks using Generative Methods. CoRR abs/2103.03078 (2021) - 2020
- [j14]Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan:
From model to implementation: a network algorithm programming language. Sci. China Inf. Sci. 63(7) (2020) - [j13]Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li:
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3944-3955 (2020) - [c49]Miaomiao Zhang, Ze Song, Xiaoyong Zhang, Liangyu Ma, Wei Dan, Jingxuan Zhao:
Simulation of Load Control Scheme in Power Plant Based on Condensate Throttling Prediction Model. ICACI 2020: 150-154 - [c48]Jing Leng, Bo Zhu, Miaomiao Zhang:
Analysis on the Cost of Implementing the Flipped Classroom Model in Universities. ICEIT 2020: 55-61 - [c47]Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan:
PAC Learning of Deterministic One-Clock Timed Automata. ICFEM 2020: 129-146 - [c46]Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu:
Reluplex made more practical: Leaky ReLU. ISCC 2020: 1-7 - [c45]Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning One-Clock Timed Automata. TACAS (1) 2020: 444-462 - [i10]Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li:
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. CoRR abs/2007.10141 (2020)
2010 – 2019
- 2019
- [j12]Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li:
Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access 7: 26314-26323 (2019) - [j11]Shize Huang, Yachan Zhai, Miaomiao Zhang, Xiaoxue Hou:
Arc detection and recognition in pantograph-catenary system based on convolutional neural network. Inf. Sci. 501: 363-376 (2019) - [c44]Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang:
RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. APSEC 2019: 339-346 - [c43]Xiaoxue Hou, Jie An, Miaomiao Zhang, Bowen Du, Jing Liu:
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training. ICTAI 2019: 840-847 - [c42]Jian Wang, Wei W. Xing, Robert M. Kirby, Miaomiao Zhang:
Data-Driven Model Order Reduction for Diffeomorphic Image Registration. IPMI 2019: 694-705 - [c41]Greg M. Fleishman, Miaomiao Zhang, Nicholas J. Tustison, Isabel Espinosa-Medina, Yu Mu, Khaled Khairy, Misha B. Ahrens:
Deformable Registration of Whole Brain Zebrafish Microscopy Using an Implementation of the Flash Algorithm Within Ants. ISBI 2019: 213-217 - [c40]Jiarui Xing, Ulugbek Kamilov, Wenjie Wu, Yong Wang, Miaomiao Zhang:
Plug-and-Play Priors for Reconstruction-Based Placental Image Registration. SUSI/PIPPI@MICCAI 2019: 133-142 - [c39]Youshan Zhang, Jiarui Xing, Miaomiao Zhang:
Mixture Probabilistic Principal Geodesic Analysis. MBIA/MFCA@MICCAI 2019: 196-208 - [c38]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:
On the Applicability of Registration Uncertainty. MICCAI (2) 2019: 410-419 - [i9]Ruizhi Liao, Esra Abaci Turk, Miaomiao Zhang, Jie Luo, Elfar Adalsteinsson, Patricia Ellen Grant, Polina Golland:
Temporal Registration in Application to In-utero MRI Time Series. CoRR abs/1903.02959 (2019) - [i8]Youshan Zhang, Jiarui Xing, Miaomiao Zhang:
Mixture Probabilistic Principal Geodesic Analysis. CoRR abs/1909.01412 (2019) - [i7]Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning One-Clock Timed Automata. CoRR abs/1910.10680 (2019) - 2018
- [j10]Jie Luo, Sarah F. Frisken, Inês Machado, Miaomiao Zhang, Steve Pieper, Polina Golland, Matthew Toews, Prashin Unadkat, Alireza Sedghi, Haoyin Zhou, Alireza Mehrtash, Frank Preiswerk, Cheng-Chieh Cheng, Alexandra J. Golby, Masashi Sugiyama, William M. Wells III:
Using the variogram for vector outlier screening: application to feature-based image registration. Int. J. Comput. Assist. Radiol. Surg. 13(12): 1871-1880 (2018) - [j9]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12(5): 1026-1028 (2018) - [c37]Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi:
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC 2018: 81-90 - [c36]Jianing Wang, Baowang Lian, Miaomiao Zhang:
A Novel Joint Code Acquisition and Doppler Frequency Estimation Method for weak GNSS Signal. ICSPCC 2018: 319-323 - [c35]Jie Luo, Matthew Toews, Inês 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:
A Feature-Driven Active Framework for Ultrasound-Based Brain Shift Compensation. MICCAI (4) 2018: 30-38 - [c34]Jian Wang, William M. Wells III, Polina Golland, Miaomiao Zhang:
Efficient Laplace Approximation for Bayesian Registration Uncertainty Quantification. MICCAI (1) 2018: 880-888 - [i6]Jie Luo, Sarah F. Frisken, Karteek Popuri, Dana Cobzas, Frank Preiswerk, Matthew Toews, Miaomiao Zhang, Hongyi Ding, Polina Golland, Alexandra J. Golby, Masashi Sugiyama, William M. Wells III:
On the Ambiguity of Registration Uncertainty. CoRR abs/1803.05266 (2018) - [i5]Jie Luo, Matthew Toews, Inês 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:
A Feature-Driven Active Framework for Ultrasound-Based Brain Shift Compensation. CoRR abs/1803.07682 (2018) - 2017
- [j8]Miaomiao Zhang, Dechang Pi:
A New Time Series Representation Model and Corresponding Similarity Measure for Fast and Accurate Similarity Detection. IEEE Access 5: 24503-24519 (2017) - [j7]Libo Jiang, Miaomiao Zhang, Mengmeng Sang, Meixia Ye, Rongling Wu:
Evo-Devo-EpiR: a genome-wide search platform for epistatic control on the evolution of development. Briefings Bioinform. 18(5): 754-760 (2017) - [j6]Miaomiao Zhang, William M. Wells III, Polina Golland:
Probabilistic modeling of anatomical variability using a low dimensional parameterization of diffeomorphisms. Medical Image Anal. 41: 55-62 (2017) - [c33]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) 2017: 138-143 - [c32]Miaomiao Zhang, Dechang Pi:
A Novel Method for Fast and Accurate Similarity Measure in Time Series Field. ICDM Workshops 2017: 569-576 - [c31]Miaomiao Zhang, Ruizhi Liao, Adrian V. Dalca, Esra Abaci Turk, Jie Luo, Patricia Ellen Grant, Polina Golland:
Frequency Diffeomorphisms for Efficient Image Registration. IPMI 2017: 559-570 - [c30]Yi Hong, Polina Golland, Miaomiao Zhang:
Fast Geodesic Regression for Population-Based Image Analysis. MICCAI (1) 2017: 317-325 - 2016
- [b1]Miaomiao Zhang:
Bayesian Models on Manifolds for Image Registration and Statistical Shape Analysis. University of Utah, USA, 2016 - [j5]Quan Zu, Miaomiao Zhang, Bin Yu:
Dynamic matchings in left vertex weighted convex bipartite graphs. J. Comb. Optim. 32(1): 25-50 (2016) - [j4]Miaomiao Zhang, Polina Golland:
Statistical shape analysis: From landmarks to diffeomorphisms. Medical Image Anal. 33: 155-158 (2016) - [c29]Ting Liu, Miaomiao Zhang, Mehran Javanmardi, Nisha Ramesh, Tolga Tasdizen:
SSHMT: Semi-supervised Hierarchical Merge Tree for Electron Microscopy Image Segmentation. ECCV (1) 2016: 144-159 - [c28]Adrien Besson, Rafael E. Carrillo, Miaomiao Zhang, Denis Friboulet, Olivier Bernard, Yves Wiaux, Jean-Philippe Thiran:
Sparse regularization methods in ultrafast ultrasound imaging. EUSIPCO 2016: 552-556 - [c27]Miaomiao Zhang, Dechang Pi:
Data Aggregation and Analysis: A Fast Algorithm of ECG Recognition Based on Pattern Matching. ICCCS (2) 2016: 313-323 - [c26]Yang Gao, Miaomiao Zhang, Karen Grewen, P. Thomas Fletcher, Guido Gerig:
Image registration and segmentation in longitudinal MRI using temporal appearance modeling. ISBI 2016: 629-632 - [c25]Ruizhi Liao, Esra Abaci Turk, Miaomiao Zhang, Jie Luo, Patricia Ellen Grant, Elfar Adalsteinsson, Polina Golland:
Temporal Registration in In-Utero Volumetric MRI Time Series. MICCAI (3) 2016: 54-62 - [c24]Miaomiao Zhang, William M. Wells III, Polina Golland:
Low-Dimensional Statistics of Anatomical Variability via Compact Representation of Image Deformations. MICCAI (3) 2016: 166-173 - [i4]Ruizhi Liao, Esra Abaci Turk, Miaomiao Zhang, Jie Luo, Patricia Ellen Grant, Elfar Adalsteinsson, Polina Golland:
Temporal Registration in In-Utero Volumetric MRI Time Series. CoRR abs/1608.03907 (2016) - [i3]Ting Liu, Miaomiao Zhang, Mehran Javanmardi, Nisha Ramesh, Tolga Tasdizen:
SSHMT: Semi-supervised Hierarchical Merge Tree for Electron Microscopy Image Segmentation. CoRR abs/1608.04051 (2016) - [i2]Stuart Haber, William G. Horne, Miaomiao Zhang:
Efficient Transparent Redactable Signatures with a Single Signature Invocation. IACR Cryptol. ePrint Arch. 2016: 1165 (2016) - 2015
- [j3]Miaomiao Zhang, P. Thomas Fletcher:
Bayesian principal geodesic analysis for estimating intrinsic diffeomorphic image variability. Medical Image Anal. 25(1): 37-44 (2015) - [c23]Miaomiao Zhang, P. Thomas Fletcher:
Finite-Dimensional Lie Algebras for Fast Diffeomorphic Image Registration. IPMI 2015: 249-260 - [c22]Quan Zu, Miaomiao Zhang, Bin Yu:
Fast Dynamic Weight Matchings in Convex Bipartite Graphs. MFCS (2) 2015: 601-612 - [c21]Michelle Hromatka, Miaomiao Zhang, Greg M. Fleishman, Boris Gutman, Neda Jahanshad, Paul M. Thompson, P. Thomas Fletcher:
A Hierarchical Bayesian Model for Multi-Site Diffeomorphic Image Atlases. MICCAI (2) 2015: 372-379 - 2014
- [c20]Quan Zu, Miaomiao Zhang, Bin Yu:
Dynamic Matchings in Left Weighted Convex Bipartite Graphs. FAW 2014: 330-342 - [c19]Miaomiao Zhang, P. Thomas Fletcher:
Bayesian Principal Geodesic Analysis in Diffeomorphic Image Registration. MICCAI (3) 2014: 121-128 - 2013
- [c18]Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan:
Bounded model-checking of discrete duration calculus. HSCC 2013: 213-222 - [c17]Miaomiao Zhang, Nikhil Singh, P. Thomas Fletcher:
Bayesian Estimation of Regularization and Atlas Building in Diffeomorphic Image Registration. IPMI 2013: 37-48 - [c16]Miaomiao Zhang, P. Thomas Fletcher:
Probabilistic Principal Geodesic Analysis. NIPS 2013: 1178-1186 - 2012
- [c15]Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang:
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66 - 2011
- [j2]Qinghua Wang, Ilangko Balasingham, Miaomiao Zhang, Xin Huang:
Improving RSS-Based Ranging in LOS-NLOS Scenario Using GMMs. IEEE Commun. Lett. 15(10): 1065-1067 (2011) - [j1]Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang:
Formal specification and analysis of zeroconf using uppaalS. ACM Trans. Embed. Comput. Syst. 10(3): 34:1-34:32 (2011) - [c14]Guoliang Zou, Yueying Jing, Miaomiao Zhang, Hao Zhang, Bing He:
Design and simulation of RF terminal VGA module for monitoring system of offshore dumping areas. FSKD 2011: 2500-2502 - 2010
- [c13]Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding:
Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops 2010: 226-231
2000 – 2009
- 2009
- [c12]Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu:
Formal Analysis of Services Compatibility. COMPSAC (2) 2009: 243-248 - [c11]Miaomiao Zhang, Zhiming Liu, Naijun Zhan:
Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259 - [p1]Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn:
Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84 - 2008
- [c10]Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du:
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE 2008: 445-448 - [c9]Miaomiao Zhang, Dang Van Hung, Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 - [c8]Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang:
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. TTSS 2008: 69-87 - 2007
- [c7]Dang Van Hung, Miaomiao Zhang:
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA 2007: 165-172 - [c6]Miaomiao Zhang, Wenzhong Qin:
Parametric Analysis of an Improved Fault Tolerant System. TTSS 2007: 121-136 - 2006
- [c5]Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang:
Analysis of the zeroconf protocol using UPPAAL. EMSOFT 2006: 242-251 - [c4]Miaomiao Zhang, Gongliang Chen, Jianhua Li:
Efficient ID-based Proxy Chameleon Signature from Bilinear Pairings. IMSCCS (2) 2006: 135-141 - [c3]Miaomiao Zhang, Dang Van Hung:
Formal Analysis of Streaming Downloading Protocol for System Upgrading. QAPL 2006: 205-224 - [i1]Miaomiao Zhang, Gongliang Chen, Jianhua Li, Licheng Wang, Haifeng Qian:
A New Construction of Time Capsule Signature. IACR Cryptol. ePrint Arch. 2006: 113 (2006) - 2005
- [c2]Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu:
Deadlock Prevention in the Æthereal Protocol. CHARME 2005: 345-348 - 2003
- [c1]Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang:
Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC 2003: 280-289
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-16 23:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint