| 2019 | ICISS | Secure Information Flow Analysis Using the PRISM Model Checker. | Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh |
| 2015 | SEC | Verifying Observational Determinism. | Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi |
| 2013 | SNPD | An Algorithm of Developed Imperialist Competition for Suitable Human Resource Layout. | Esmaeil Laleh, Shahriar Lotfi, Ayaz Isazadeh, Yousef Masodi |
| 2008 | CSICC | Software Reliability Prediction Based on a Formal Requirements Specification. | Hooshmand Alipour, Ayaz Isazadeh |
| 2007 | AICCSA | Database Replication: AvailAbility aind Consistency Astsrance via Stream Processing. | Morteza Abbaszadeh Meinagh, Ayaz Isazadeh, Bager Zarei, Mehdi Zarei |
| 2007 | ISPA | Optimal Multicast Multichannel Routing in Computer Networks. | Mohsen Heydarian, Ayaz Isazadeh, Hosein Isazadeh |
| 2007 | ISPA | A New Method for Describing the Syntax and Semantics of VIEWCHARTS. | Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh |
| 2007 | ISPA | A New Formalism for Describing Concurrent Systems. | Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh |
| 2006 | PDCAT | Processor Allocation in Mesh Multiprocessors Using a Hybrid Method. | Sanya Attari, Ayaz Isazadeh |
| 1996 | ICECCS | An Algorithmic Semantics for Viewcharts. | Ayaz Isazadeh, David Alex Lamb |