WebVAT: Web Page Visualization and Analysis Tool. - Yevgen Borodin; Jalal Mahmud; Asad Ahmed; I. V. Ramakrishnan (ICWE, 2007)

Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals. - Asad Ahmed (The Unity of Science in the Arabic Tradition, 2008)

Learning in Repeated Games with Minimal Information: The Effects of Learning Bias. - Jacob W. Crandall; Asad Ahmed; Michael A. Goodrich (AAAI, 2011)

Analysis of Weather Forecasting Model in PRISM. - Asad Ahmed; Adnan Rashid; Sohail Iqbal 001 (FIT, 2014)

Formal Stability Analysis of Control Systems. - Asad Ahmed; Osman Hasan; Falah Awwad (FTSCS, 2018)

Autoencoder Based Architecture For Fast & Real Time Audio Style Transfer. - Dhruv Ramani; Samarjit Karmakar; Anirban Panda; Asad Ahmed; Pratham Tangri (CoRR, 2018)

VFNet: A Convolutional Architecture for Accent Classification. - Asad Ahmed; Pratham Tangri; Anirban Panda; Dhruv Ramani; Samarjit Karmakar (CoRR, 2019)

Formal Periodic Steady-state Analysis of Power Converters in Time-domain. - Asad Ahmed; Osman Hasan; Ammar Hasan (FLAP, 2019)

Secure Smart Contracts with Isabelle/Solidity. - Diego Marmsoler; Asad Ahmed; Achim D. Brucker (SEFM, 2024)

Scalable EdgeIoT Blockchain Framework Using EOSIO. - Ehtisham Ul Haque; M. Shamim Baig; Asad Ahmed; Ashfaq Ahmad; Masoud Alajmi; Yazeed Yasin Ghadi; Hend Khalid Alkahtani; Ainur Akhmediyarova (IEEE Access, 2024)

Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper). - Asad Ahmed; Diego Marmsoler (FMBC, 2025)