An experimental test set-up for launch/recovery of an Airborne Wind Energy (AWE) system. - Kurt Geebelen; Hammad Ahmad; Milan Vukov; Sebastien Gros; Jan Swevers; Moritz Diehl (ACC, 2012)

Development and Testing of a Control System for the Automatic Flight of Tethered Parafoils. - Joseph Coleman; Hammad Ahmad; Daniel Toal (J. Field Robotics, 2017)

Applying service dominant logic perspective: Studying Patient Care System of Shaukat Khanum Memorial Cancer Hospital (Lahore) and Shouldice Hospital (Canada). - Taimoor Basharat; Hammad Ahmad (J. Serv. Sci. Res., 2017)

A comparison of semantic-based initialization methods for genetic programming. - Hammad Ahmad; Thomas Helmuth (GECCO (Companion), 2018)

Service System of Easypaisa and MobiCash: Funds Transfer System via Telecommunication Companies in Context of Service Dominant Logic. - Huma Ghorsi; Arooj Siddiqui; Taimoor Basharat; Saroop Anwer; Hammad Ahmad (J. Serv. Sci. Res., 2018)

Applying Automated Program Repair to Dataflow Programming Languages. - Yu Huang 015; Hammad Ahmad; Stephanie Forrest; Westley Weimer (GI@ICSE, 2021)

A program logic to verify signal temporal logic specifications of hybrid systems. - Hammad Ahmad; Jean-Baptiste Jeannin (HSCC, 2021)

A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report. - Hammad Ahmad; Jean-Baptiste Jeannin (CoRR, 2021)

CirFix: automatically repairing defects in hardware design code. - Hammad Ahmad; Yu Huang 015; Westley Weimer (ASPLOS, 2022)

Digging into Semantics: Where Do Search-Based Software Repair Methods Search? - Hammad Ahmad; Padraic Cashin; Stephanie Forrest; Westley Weimer (PPSN (2), 2022)

LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery. - Hammad Ahmad; Colton Holoday; Ian Bertram; Kevin Angstadt; Zohreh Sharafi; Westley Weimer (PROMISE, 2022)

Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. - Haojun Ma; Hammad Ahmad; Aman Goel; Eli Goldweber; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci (USENIX ATC, 2022)

How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. - Hammad Ahmad; Zachary Karas; Kimberly Diaz; Amir Kamil; Jean-Baptiste Jeannin; Westley Weimer (ICSE, 2023)

CirFix: Automated Hardware Repair and its Real-World Applications. - Priscila Santiesteban; Yu Huang 015; Westley Weimer; Hammad Ahmad (IEEE Trans. Software Eng., 2023)

Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment. - Hammad Ahmad; Madeline Endres; Kaia Newman; Priscila Santiesteban; Emma Shedden; Westley Weimer (ICSE, 2024)

Understanding Understanding: How Do We Reason About Computational Logic? - Hammad Ahmad (2024)

Exploring the anti-diabetic potential of the Vigna sesquipedalis using in vitro, in vivo and computational models. - Hammad Ahmad; Ashraf Ullah Khan; Waqas Alam; Hany W. Darwish; Abdul Saboor Pirzada; Haroon Ahmed Khan (J. Comput. Aided Mol. Des., 2025)