Linna Pang

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Edge Information

Fractal Image Coding

Top Venues

IEEE Internet Things J.

Sci. Comput. Program.

Publications

Dawei Wang, Tianmi He, Yi Lou, Linna Pang, Yixin He, Hsiao-Hwa Chen
Double-Edge Computation Offloading for Secure Integrated Space-Air-Aqua Networks. IEEE Internet Things J. 10 (17) (2023)
Dawei Wang, Menghan Wu, Yixin He, Linna Pang, Qian Xu, Ruonan Zhang
An HAP and UAVs Collaboration Framework for Uplink Secure Rate Maximization in NOMA-Enabled IoT Networks. Remote. Sens. 14 (18) (2022)
Dawei Wang, Xuanrui Li, Linna Pang, Yixin He, Fuhui Zhou, Ling Wang, Ruonan Zhang
IRS-Aided Secure Mobile Edge Computing for NOMA Networks. ICCC (2022)
Dawei Wang, Yang Zhao, Yi Lou, Linna Pang, Yixin He, Di Zhang
Secure NOMA Based RIS-UAV Networks: Passive Beamforming and Location Optimization. GLOBECOM (2022)
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. 60 (1) (2018)
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. NFM (2016)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formal verification of function blocks applied to IEC 61131-3. Sci. Comput. Program. 113 (2015)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Formal Verification of Real-Time Function Blocks Using PVS. ESSS (2015)
Linna Pang, Shunsheng Zhang, Chan Liu, Xiaozhen Tian
CS-based high-resolution ISAR imaging with adaptive sparse basis. IGARSS (2014)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. FTSCS (2013)