| |
| 2007 | ||
|---|---|---|
| 4 | EE | Ali Taleghani: Using Software Model Checking for Software Component Certification. ICSE Companion 2007: 99-100 |
| 2006 | ||
| 3 | EE | Ali Taleghani, Joanne M. Atlee: Semantic Variations Among UML StateMachines. MoDELS 2006: 245-259 |
| 2004 | ||
| 2 | EE | Kenji Okuma, Ali Taleghani, Nando de Freitas, James J. Little, David G. Lowe: A Boosted Particle Filter: Multitarget Detection and Tracking. ECCV (1) 2004: 28-39 |
| 2003 | ||
| 1 | EE | Ali Taleghani, Jonathan S. Ostroff: BON development tool. OOPSLA Workshop on Eclipse Technology eXchange 2003: 10-14 |
| 1 | Joanne M. Atlee | [3] |
| 2 | Nando de Freitas | [2] |
| 3 | James J. Little | [2] |
| 4 | David G. Lowe | [2] |
| 5 | Kenji Okuma | [2] |
| 6 | Jonathan S. Ostroff | [1] |