Abbas K. Zaidi

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 4

Top Topics

Systems Engineering

Complex Relationships

Theoretical And Empirical Study

Top Venues

Publications

Ahmad Alghamdi, Mohammadreza Torkjazi, Arturo J. Davila-Andino, Abbas K. Zaidi
Employing UAF Inter-Domain Traceability for Performance and Effectiveness Evaluation. SysCon (2023)
James Lee, Ahmad Alghamdi, Abbas K. Zaidi
Creating a Digital Twin of an Insider Threat Detection Enterprise Using Model-Based Systems Engineering. SysCon (2022)
Mohammadreza Torkjazi, Arturo J. Davila-Andino, Ahmad Alghamdi, Abbas K. Zaidi
UAF Strategic Planning for Enterprises. IEEE Access 10 (2022)
James D. Lee, Shou Matsumoto, Abbas K. Zaidi, Kathryn B. Laskey
Towards Automating Design and Development of Inference Enterprise Models. SysCon (2019)
Ahmed Abu Jbara, Alexander H. Levis, Abbas K. Zaidi
On using Multiple Interoperating Models to Address Complex Problems. CSER (2013)
Dongjin Kim, Emrah Cimren, Robert Havey, Abbas K. Zaidi
Improving cluster tools performance using colored Petri nets in semiconductor manifacturing. WSC (2012)
Faisal Mansoor, Abbas K. Zaidi, Alexander H. Levis
Meta-model driven construction of Timed Influence Nets. ISI (2010)
Abbas K. Zaidi, Faisal Mansoor, Titsa Panayota Papantoni-Kazakos
Theory of Influence Networks. J. Intell. Robotic Syst. 60 (3-4) (2010)
Alexander H. Levis, Lee W. Wagenhals, Abbas K. Zaidi
Multi-modeling of adversary behaviors. ISI (2010)
M. Faraz Rafi, Abbas K. Zaidi, Alexander H. Levis, P. Papantoni-Kazakos
Optimization of Actions in Activation Timed Influence Nets. Informatica (Slovenia) 33 (3) (2009)
Mashhood Ishaque, Abbas K. Zaidi, Alexander H. Levis
Project management using point graphs. Syst. Eng. 12 (1) (2009)
Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
Identification of best sets of actions in Influence Nets. Int. J. Hybrid Intell. Syst. 5 (1) (2008)
P. Papantoni-Kazakos, Abbas K. Zaidi, M. Faraz Rafi
An algorithm for activation timed influence nets. IRI (2008)
Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi
An Inference Mechanism for Point-Interval Logic. FLAIRS Conference (2008)
Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos
Modeling with Influence Networks using influence constants: A new approach. SMC (2007)
Abbas K. Zaidi, Alexander H. Levis
Computational Verification of System Architectures. CISDA (2007)
Abbas K. Zaidi, Lee W. Wagenhals
Planning temporal events using point-interval logic. Math. Comput. Model. 43 (9-10) (2006)
Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
On Temporal Analysis of Timed Influence Nets Using Point Graphs. FLAIRS Conference (2005)
Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
A Heuristic Approach for Best Sets of Actions Determination in Influence Nets. IRI (2004)
Abbas K. Zaidi, Kasim H. Rizvi, S. Sajjad Hussain
On spatial modeling of discrete event systems using point-interval logic. SMC (2003)
Daesik Kim, Abbas K. Zaidi
Transforming event graphs to colored Petri nets. SMC (2003)
Shahid Jabbar, Abbas K. Zaidi
A generalized methodology and framework for the validation and verification of multi-agent systems. SMC (2001)
Abbas K. Zaidi, Alexander H. Levis
TEMPER: a temporal programmer for time-sensitive control of discrete event systems. IEEE Trans. Syst. Man Cybern. Part A 31 (6) (2001)
Abbas K. Zaidi
A temporal programmer for time-sensitive modeling of discrete event systems. SMC (2000)
Muhammad Zubairuddin, Abbas K. Zaidi
On a methodology for designing adaptive local area networks. SMC (2000)
Sajjad Haider, Ahmied Abbas, Abbas K. Zaidi
A multi-technique approach for user identification through keystroke dynamics. SMC (2000)
Abbas K. Zaidi
On temporal logic programming using Petri nets. IEEE Trans. Syst. Man Cybern. Part A 29 (3) (1999)
Abbas K. Zaidi, Alexander H. Levis
On generating distributed intelligence systems architectures using genetic algorithms. IEEE Trans. Syst. Man Cybern. Part C 28 (3) (1998)
Abbas K. Zaidi, Shabbir T. Ali, Alexander H. Levis
A genetic algorithm based tool for generating organizational architectures. SMC (1998)
Abbas K. Zaidi, Alexander H. Levis
Validation and verification of decision making rules. Autom. 33 (2) (1997)