Linear logic as a tool for presentation and temporal reasoning of time Petri nets. - Meimei Gao; Xiaoguang Huang; ZhiMing Wu (ACC, 2000)

A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems. - Meimei Gao; ZhiMing Wu; MengChu Zhou (SMC, 2000)

Development of demanufacturing module for Multi-Lifecycle Assessment and Analysis of products. - Meimei Gao; MengChu Zhou; Reggie J. Caudill (SMC, 2001)

A Bin Assignment Algorithm for Demanufacturing Automation. - Meimei Gao; MengChu Zhou; Reggie J. Caudill (ICRA, 2002)

Integration of disassembly leveling and bin assignment for demanufacturing automation. - Meimei Gao; MengChu Zhou; Reggie J. Caudill (IEEE Trans. Robotics Autom., 2002)

Improvement of product sustainability. - Meimei Gao; MengChu Zhou; Fei-Yue Wang 001 (ICRA, 2003)

Fuzzy intrusion detection based on fuzzy reasoning Petri nets. - Meimei Gao; MengChu Zhou (SMC, 2003)

Fuzzy reasoning Petri nets. - Meimei Gao; MengChu Zhou; Xiaoguang Huang; ZhiMing Wu (IEEE Trans. Syst. Man Cybern. Part A, 2003)

Sustainability improvement through supplier selection. - Meimei Gao; MengChu Zhou (SMC (7), 2004)

Intelligent decision making in disassembly process based on fuzzy reasoning Petri nets. - Meimei Gao; MengChu Zhou; Ying Tang 001 (IEEE Trans. Syst. Man Cybern. Part B, 2004)

Control strategy selection for autonomous vehicles in a dynamic environment. - Meimei Gao; MengChu Zhou (SMC, 2005)

Fuzzy-Petri-net-based disassembly planning considering human factors. - Ying Tang 001; MengChu Zhou; Meimei Gao (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Using App Inventor in Introductory CS Courses. - Meimei Gao; Julie Johnson; Dale Reed; Cate Sheller; Franklyn A. Turbak (SIGCSE, 2015)