Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng (FTSCS, 2013)

CS-based high-resolution ISAR imaging with adaptive sparse basis. - Linna Pang; Shunsheng Zhang; Chan Liu; Xiaozhen Tian (IGARSS, 2014)

Formal Verification of Real-Time Function Blocks Using PVS. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng; Josh Newell; Vera Chow; David Tremaine (ESSS, 2015)

Formal verification of function blocks applied to IEC 61131-3. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng (Sci. Comput. Program., 2015)

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. - Josh Newell; Linna Pang; David Tremaine; Alan Wassyng; Mark Lawford (NFM, 2016)

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. - Josh Newell; Linna Pang; David Tremaine; Alan Wassyng; Mark Lawford (J. Autom. Reason., 2018)

Secure NOMA Based RIS-UAV Networks: Passive Beamforming and Location Optimization. - Dawei Wang 001; Yang Zhao; Yi Lou; Linna Pang; Yixin He 001; Di Zhang 002 (GLOBECOM, 2022)

IRS-Aided Secure Mobile Edge Computing for NOMA Networks. - Dawei Wang 001; Xuanrui Li; Linna Pang; Yixin He 001; Fuhui Zhou; Ling Wang 007; Ruonan Zhang 001 (ICCC, 2022)

An HAP and UAVs Collaboration Framework for Uplink Secure Rate Maximization in NOMA-Enabled IoT Networks. - Dawei Wang 001; Menghan Wu; Yixin He 001; Linna Pang; Qian Xu 007; Ruonan Zhang 001 (Remote. Sens., 2022)

Double-Edge Computation Offloading for Secure Integrated Space-Air-Aqua Networks. - Dawei Wang 001; Tianmi He; Yi Lou; Linna Pang; Yixin He 001; Hsiao-Hwa Chen (IEEE Internet Things J., 2023)