Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. - Philipp Rümmer; Muhammad Ali Shah (TAP, 2007)

Design and analysis of a single-structure three-axis MEMS gyroscope with improved coupling spring. - Muhammad Ali Shah; Faisal Iqbal; Byeungleul Lee (NEMS, 2016)

Modal Analysis of a Single-Structure Multiaxis MEMS Gyroscope. - Muhammad Ali Shah; Faisal Iqbal; Ibrar Ali Shah; Byeungleul Lee (J. Sensors, 2016)

Analysis of parasitic feed-through capacitance in MEMS gyroscope with push pull configuration. - Faisal Iqbal; Muhammad Ali Shah; Byeungleul Lee (NEMS, 2017)

Design Approaches of MEMS Microphones for Enhanced Performance. - Muhammad Ali Shah; Ibrar Ali Shah; Duck-Gyu Lee; Shin Hur (J. Sensors, 2019)

Classifications and Applications of Inkjet Printing Technology: A Review. - Muhammad Ali Shah; Duck-Gyu Lee; Bo-Yeon Lee; Shin Hur (IEEE Access, 2021)

Simulations and Experimental Analysis of a High Viscosity Inkjet Printing Device Based on Fabry-Pérot Resonator. - Muhammad Ali Shah; Duck-Gyu Lee; Youngsoo Kim; Shin Hur (Sensors, 2022)

A Review of the Recent Applications of Aluminum Nitride-Based Piezoelectric Devices. - Syeda Tazeen Haider; Muhammad Ali Shah; Duck-Gyu Lee; Shin Hur (IEEE Access, 2023)