Learning Neural Networks under Input-Output Specifications. - Zain ul Abdeen; He Yin; Vassilis Kekatos; Ming Jin 002 (ACC, 2022)

Enhancing Distribution System Resilience: A First-Order Meta-RL algorithm for Critical Load Restoration. - Zain ul Abdeen; Xiangyu Zhang 010; Waris Gill; Ming Jin 002 (SmartGridComm, 2024)

Defense against Joint Poison and Evasion Attacks: A Case Study of DERMS. - Zain ul Abdeen; Padmaksha Roy; Ahmad Al-Tawaha; Rouxi Jia; Laura J. Freeman; Peter A. Beling; Chen-Ching Liu; Alberto L. Sangiovanni-Vincentelli; Ming Jin 002 (CoRR, 2024)

Towards Prosthesis Control: Identification of Locomotion Activities through EEG-Based Measurements. - Saqib Zafar; Hafiz Farhan Maqbool; Muhammad Imran Ashraf; Danial Javaid Malik; Zain ul Abdeen; Wahab Ali; Juri Taborri; Stefano Rossi (Robotics, 2024)

IP-FL: Incentive-Driven Personalization in Federated Learning. - Ahmad Faraz Khan 001; Xinran Wang; Qi Le; Zain ul Abdeen; Azal Ahmad Khan; Haider Ali; Ming Jin 002; Jie Ding 002; Ali Raza Butt; Ali Anwar 001 (IPDPS, 2025)

Hierarchical Feature Fusion With Inception V3 for Multiclass Plant Disease Classification. - Muhammad Esham Qureshi; Muhammad Hassaan Ashraf; Muhammad Waqar Arshad; Ahmed Khan; Haider Ali; Zain ul Abdeen (Informatica (Slovenia), 2025)

A Scalable Approach for Safe and Robust Learning via Lipschitz-Constrained Networks. - Zain ul Abdeen; Vassilis Kekatos; Ming Jin 002 (CoRR, 2025)