End-to-End Verification of Processors with ISA-Formal. - Alastair Reid 001; Rick Chen; Anastasios Deligiannis; David Gilday; David Hoyes; Will Keen; Ashan Pathirane; Owen Shepherd; Peter Vrabel; Ali Zaidi (CAV (2), 2016)

Coinbot: Intelligent Robotic Coin Bag Manipulation Using Deep Reinforcement Learning And Machine Teaching. - Aleksei Gonnochenko; Aleksandr Semochkin; Dmitry E. Egorov; Dmitrii Statovoy; Seyedhassan Zabihifar; Aleksey Postnikov; Elena Seliverstova; Ali Zaidi; Jayson Stemmler; Kevin Limkrailassiri (CoRR, 2020)

Coinbot: Intelligent Robotic Coin Bag Manipulation Using Artificial Brain. - Aleksei Gonnochenko; Aleksandr Semochkin; Dmitry E. Egorov; Dmitrii Statovoy; Seyedhassan Zabihifar; Aleksey Postnikov; Elena Seliverstova; Ali Zaidi; Jayson Stemmler; Kevin Limkrailassiri (ICARA, 2021)

App-Based Task Shortcuts for Virtual Assistants. - Deniz Arsan; Ali Zaidi; Aravind Sagar; Ranjitha Kumar (UIST, 2021)

Coverage Enhancement for Vehicles. - Stefan Runeson; Ali Zaidi; Ana Cantarero (CoRR, 2021)

A Conceptual Framework for Fetus Head Analysis Based on Ultrasound Images. - Mahmood Alzubaidi; Marco Agus; Uzair Shah; Michel Makhlouf; Khalid Alyafei; Ali Zaidi; Mowafa S. Househ (ICIMTH, 2022)

Optical Monitoring of Breathing Patterns and Tissue Oxygenation: A Potential Application in COVID-19 Screening and Monitoring. - Aaron James Mah; Thien Nguyen 005; Leili Ghazi Zadeh; Atrina Shadgan; Kosar Khaksari; Mehdi Nourizadeh; Ali Zaidi; Soongho Park; Amir H. Gandjbakhche; Babak Shadgan (Sensors, 2022)

Learning Custom Experience Ontologies via Embedding-based Feedback Loops. - Ali Zaidi; Kelsey Turbeville; Kristijan Ivancic; Jason Moss; Jenny Gutierrez Villalobos; Aravind Sagar; Huiying Li; Charu Mehra; Sixuan Li; Scott Hutchins; Ranjitha Kumar (UIST, 2023)

A User-Centric Evaluation of Smart Home Resolution Approaches for Conflicts Between Routines. - Ali Zaidi; Rui Yang 034; Vinay Koshy; Camille Cobb; Indranil Gupta; Karrie Karahalios (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2023)

From Sociotechnical Gaps to Solutions: Designing AI Tools with Parents to Address Special Education Advocacy Barriers in IEP Processes. - Ali Zaidi; Karrie Karahalios (Conference on Designing Interactive Systems, 2025)

An early pipeline framework for assessing vendor AI solutions to support return on investment. - Charles E. Binkley; David Bouslov; Ali Zaidi; Lauren Kaye; Ralph Whalen; Sameer Sethi; Jose Azar (npj Digit. Medicine, 2025)