BON development tool. - Ali Taleghani; Jonathan S. Ostroff (eTX, 2003)

A Boosted Particle Filter: Multitarget Detection and Tracking. - Kenji Okuma; Ali Taleghani; Nando de Freitas; James J. Little; David G. Lowe (ECCV (1), 2004)

Semantic Variations Among UML StateMachines. - Ali Taleghani; Joanne M. Atlee (MoDELS, 2006)

Using Software Model Checking for Software Component Certification. - Ali Taleghani (ICSE Companion, 2007)

State-Space Coverage Estimation. - Ali Taleghani; Joanne M. Atlee (ASE, 2009)

Search-carrying code. - Ali Taleghani; Joanne M. Atlee (ASE, 2010)

Using Software Model Checking for Software Certification. - Ali Taleghani (2010)