Validation and verification of decision making rules. - Abbas K. Zaidi; Alexander H. Levis (Autom., 1997)

A genetic algorithm based tool for generating organizational architectures. - Abbas K. Zaidi; Shabbir T. Ali; Alexander H. Levis (SMC, 1998)

On generating distributed intelligence systems architectures using genetic algorithms. - Abbas K. Zaidi; Alexander H. Levis (IEEE Trans. Syst. Man Cybern. Part C, 1998)

On temporal logic programming using Petri nets. - Abbas K. Zaidi (IEEE Trans. Syst. Man Cybern. Part A, 1999)

A multi-technique approach for user identification through keystroke dynamics. - Sajjad Haider 001; Ahmied Abbas; Abbas K. Zaidi (SMC, 2000)

A temporal programmer for time-sensitive modeling of discrete event systems. - Abbas K. Zaidi (SMC, 2000)

On a methodology for designing adaptive local area networks. - Muhammad Zubairuddin; Abbas K. Zaidi (SMC, 2000)

A generalized methodology and framework for the validation and verification of multi-agent systems. - Shahid Jabbar; Abbas K. Zaidi (SMC, 2001)

TEMPER: a temporal programmer for time-sensitive control of discrete event systems. - Abbas K. Zaidi; Alexander H. Levis (IEEE Trans. Syst. Man Cybern. Part A, 2001)

Transforming event graphs to colored Petri nets. - Daesik Kim; Abbas K. Zaidi (SMC, 2003)

On spatial modeling of discrete event systems using point-interval logic. - Abbas K. Zaidi; Kasim H. Rizvi; S. Sajjad Hussain (SMC, 2003)

A Heuristic Approach for Best Sets of Actions Determination in Influence Nets. - Sajjad Haider 001; Abbas K. Zaidi; Alexander H. Levis (IRI, 2004)

On Temporal Analysis of Timed Influence Nets Using Point Graphs. - Sajjad Haider 001; Abbas K. Zaidi; Alexander H. Levis (FLAIRS, 2005)

Planning temporal events using point-interval logic. - Abbas K. Zaidi; Lee W. Wagenhals (Math. Comput. Model., 2006)

Computational Verification of System Architectures. - Abbas K. Zaidi; Alexander H. Levis (CISDA, 2007)

Modeling with Influence Networks using influence constants: A new approach. - Abbas K. Zaidi; Faisal Mansoor; P. Papantoni-Kazakos (SMC, 2007)

An Inference Mechanism for Point-Interval Logic. - Mashhood Ishaque; Faisal Mansoor; Abbas K. Zaidi (FLAIRS, 2008)

An algorithm for activation timed influence nets. - P. Papantoni-Kazakos; Abbas K. Zaidi; M. Faraz Rafi (IRI, 2008)

Identification of best sets of actions in Influence Nets. - Sajjad Haider 001; Abbas K. Zaidi; Alexander H. Levis (Int. J. Hybrid Intell. Syst., 2008)

Optimization of Actions in Activation Timed Influence Nets. - M. Faraz Rafi; Abbas K. Zaidi; Alexander H. Levis; P. Papantoni-Kazakos (Informatica (Slovenia), 2009)

Project management using point graphs. - Mashhood Ishaque; Abbas K. Zaidi; Alexander H. Levis (Syst. Eng., 2009)

Multi-modeling of adversary behaviors. - Alexander H. Levis; Lee W. Wagenhals; Abbas K. Zaidi (ISI, 2010)

Meta-model driven construction of Timed Influence Nets. - Faisal Mansoor; Abbas K. Zaidi; Alexander H. Levis (ISI, 2010)

Theory of Influence Networks. - Abbas K. Zaidi; Faisal Mansoor; Titsa Panayota Papantoni-Kazakos (J. Intell. Robotic Syst., 2010)

Improving cluster tools performance using colored Petri nets in semiconductor manifacturing. - Dongjin Kim; Emrah Cimren; Robert Havey; Abbas K. Zaidi (WSC, 2012)

On using Multiple Interoperating Models to Address Complex Problems. - Ahmed Abu Jbara; Alexander H. Levis; Abbas K. Zaidi (CSER, 2013)

Towards Automating Design and Development of Inference Enterprise Models. - James D. Lee; Shou Matsumoto; Abbas K. Zaidi; Kathryn B. Laskey (SysCon, 2019)

Creating a Digital Twin of an Insider Threat Detection Enterprise Using Model-Based Systems Engineering. - James Lee; Ahmad Alghamdi; Abbas K. Zaidi (SysCon, 2022)

UAF Strategic Planning for Enterprises. - Mohammadreza Torkjazi; Arturo J. Davila-Andino; Ahmad Alghamdi; Abbas K. Zaidi (IEEE Access, 2022)

Employing UAF Inter-Domain Traceability for Performance and Effectiveness Evaluation. - Ahmad Alghamdi; Mohammadreza Torkjazi; Arturo J. Davila-Andino; Abbas K. Zaidi (SysCon, 2023)

Identifying Vagueness in Model-Based Systems Engineering Theory Through a Materialist Ontology. - Arturo J. Davila-Andino; Edward Huang; Abbas K. Zaidi (SysCon, 2025)

Integrating Machine Learning Models as Functional Components within a Systems Engineering Design Using SysML for System Simulations. - Syed Waqas Ahmed; Timothy James Bailey; Abbas K. Zaidi (SoSE, 2025)