| 2012 | WSC | Improving cluster tools performance using colored Petri nets in semiconductor manifacturing. | Dongjin Kim, Emrah Cimren, Robert Havey, Abbas K. Zaidi |
| 2010 | ISI | Multi-modeling of adversary behaviors. | Alexander H. Levis, Lee W. Wagenhals, Abbas K. Zaidi |
| 2010 | ISI | Meta-model driven construction of Timed Influence Nets. | Faisal Mansoor, Abbas K. Zaidi, Alexander H. Levis |
| 2008 | FlAIRS | An Inference Mechanism for Point-Interval Logic. | Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi |
| 2008 | IRI | An algorithm for activation timed influence nets. | P. Papantoni-Kazakos, Abbas K. Zaidi, M. Faraz Rafi |
| 2007 | SMC | Modeling with Influence Networks using influence constants: A new approach. | Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos |
| 2005 | FlAIRS | On Temporal Analysis of Timed Influence Nets Using Point Graphs. | Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis |
| 2004 | IRI | A Heuristic Approach for Best Sets of Actions Determination in Influence Nets. | Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis |
| 2003 | SMC | Transforming event graphs to colored Petri nets. | Daesik Kim, Abbas K. Zaidi |
| 2003 | SMC | On spatial modeling of discrete event systems using point-interval logic. | Abbas K. Zaidi, Kasim H. Rizvi, S. Sajjad Hussain |
| 2001 | SMC | A generalized methodology and framework for the validation and verification of multi-agent systems. | Shahid Jabbar, Abbas K. Zaidi |
| 2000 | SMC | A multi-technique approach for user identification through keystroke dynamics. | Sajjad Haider, Ahmied Abbas, Abbas K. Zaidi |
| 2000 | SMC | A temporal programmer for time-sensitive modeling of discrete event systems. | Abbas K. Zaidi |
| 2000 | SMC | On a methodology for designing adaptive local area networks. | Muhammad Zubairuddin, Abbas K. Zaidi |
| 1998 | SMC | A genetic algorithm based tool for generating organizational architectures. | Abbas K. Zaidi, Shabbir T. Ali, Alexander H. Levis |