A Comparison of Structural Formalisms for Modeling Large Markov Models. - Ming-Ying Chung; Gianfranco Ciardo; Susanna Donatelli; N. He; Brigitte Plateau; William J. Stewart 001; E. Sulaiman; Andy Jinqing Yu (IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004)

Saturation NOW. - Ming-Ying Chung; Gianfranco Ciardo (QEST, 2004)

A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. - Ming-Ying Chung; Gianfranco Ciardo (PDMC@ICALP, 2005)

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. - Ming-Ying Chung; Gianfranco Ciardo; Andy Jinqing Yu (ATVA, 2006)

A dynamic firing speculation to speedup distributed symbolic state-space generation. - Ming-Ying Chung; Gianfranco Ciardo (IPDPS, 2006)

Speculative Image Computation for Distributed Symbolic Reachability Analysis. - Ming-Ying Chung; Gianfranco Ciardo (J. Log. Comput., 2011)

An Intelligent Motorcycle Safety Driving and Automated Accident Reporting System. - Ming-Ying Chung; Yi-Da Lu; Cheng-Han Lee; Szu-Yu Kuo; Liang-Bi Chen (GCCE, 2024)