Abbas K. Zaidi

发表

Modeling Time in DoDAF Compliant Executable Architectures1

Alexander H. Levis, Ashraf Abusharekh, Smriti Kansal, 2007 .

Modeling Inference Enterprises Using Multiple Interoperating Models

Dennis M. Buede, Kathryn B. Laskey, Muhammad Imran, 2018, INCOSE International Symposium.

On a methodology for designing adaptive local area networks

Abbas K. Zaidi, Muhammad Zubairuddin, A. K. Zaidi, 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

A multi-technique approach for user identification through keystroke dynamics

Sajjad Haider, Abbas K. Zaidi, Ahmied Abbas, 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

Interactive Planning for Capability Driven Air & Space

Alexander H. Levis, Abbas K. Zaidi, 2008 .

Reverse Engineering the Organizational Processes: A Multiformalism Approach

Abbas K. Zaidi, Edward Huang, 2019 .

Optimization of Actions in Activation Timed Influence Nets

Alexander H. Levis, Panayota Papantoni-Kazakos, Abbas K. Zaidi, 2009, Informatica.

Structural Rules for Sound Business Process Implemented by UML Activity Diagram

Abbas K. Zaidi, Bahram Yousefi, Mohanad Ajina, 2018 .

AGENETIC ALGORITHMBASEDTOOLFORGENERATING ORGANIZATIONAL ARCHITECTURES

Alexander H. Levis, Abbas K. Zaidi, Shabbir T. Ali, 1998 .

Towards Automating Design and Development of Inference Enterprise Models

Kathryn B. Laskey, Abbas K. Zaidi, Shou Matsumoto, 2019, 2019 IEEE International Systems Conference (SysCon).

On temporal logic programming using Petri nets

Abbas K. Zaidi, A. K. Zaidi, 1999, IEEE Trans. Syst. Man Cybern. Part A.

On generating distributed intelligence systems architectures using genetic algorithms

Alexander H. Levis, Abbas K. Zaidi, A. K. Zaidi, 1998, IEEE Trans. Syst. Man Cybern. Part C.

Design and Implementation of a Comprehensive Insider Threat Ontology

Frank L. Greitzer, Abbas K. Zaidi, James D. Lee, 2019 .

On spatial modeling of discrete event systems using point-interval logic

Abbas K. Zaidi, Kasim H. Rizvi, S. Sajjad Hussain, 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

TEMPER: a temporal programmer for time-sensitive control of discrete event systems

Alexander H. Levis, Abbas K. Zaidi, A. K. Zaidi, 2001, IEEE Trans. Syst. Man Cybern. Part A.

Theory of Influence Networks

Panayota Papantoni-Kazakos, Abbas K. Zaidi, Faisal Mansoor, 2010, J. Intell. Robotic Syst..

Interactive Planning for Capability Driven Air & Space Operations

Alexander H. Levis, Abbas K. Zaidi, 2008 .

On Extending Temporal Models in Timed Influence Networks

Alexander H. Levis, P. Papantoni-Kazakos, Abbas K. Zaidi, 2009 .

An algorithm for activation timed influence nets

Panayota Papantoni-Kazakos, Abbas K. Zaidi, M. Faraz Rafi, 2008, 2008 IEEE International Conference on Information Reuse and Integration.

Rapid Prototyping Insider Threat Inference Enterprise Model Workflows Using Ontology-Template Approach

Kathryn B. Laskey, Abbas K. Zaidi, James D. Lee, 2019 .

CHAPTER 5 – Variable Structure Distributed Information Systems via Genetic Algorithms

Abbas K. Zaidi, A. K. Zaidi, 2000 .

Transforming event graphs to colored Petri nets

Abbas K. Zaidi, Daesik Kim, 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

Utility for the validation and verification of knowledge bases of intelligent agents

Shahid Jabbar, Abbas K. Zaidi, Khalid J. Siddiqui, 2001, SPIE Optics East.

Multi-modeling of adversary behaviors

Alexander H. Levis, Abbas K. Zaidi, Lee W. Wagenhals, 2010, 2010 IEEE International Conference on Intelligence and Security Informatics.

A genetic algorithm based tool for generating organizational architectures

Alexander H. Levis, Abbas K. Zaidi, Shabbir T. Ali, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

Planning temporal events using point-interval logic

Abbas K. Zaidi, Lee W. Wagenhals, A. K. Zaidi, 2006, Math. Comput. Model..

An Inference Mechanism for Point-Interval Logic

Abbas K. Zaidi, Mashhood Ishaque, Faisal Mansoor, 2008, FLAIRS Conference.

On Applying Point-Interval Logic to Criminal Forensics (Student Paper)

Alexander H. Levis, Abbas K. Zaidi, Mashhood Ishaque, 2006 .

Computational Modeling of Cultural Dimensions in Adversary Organizations

Peter W. Pachowicz, Alexander H. Levis, Kathleen M. Carley, 2010 .

Validation and Verification of Decision Making Rules

Alexander H. Levis, Abbas K. Zaidi, 1995 .

On Temporal Analysis of Timed Influence Nets Using Point Graphs

Sajjad Haider, Alexander H. Levis, Abbas K. Zaidi, 2005, FLAIRS Conference.

On using Multiple Interoperating Models to Address Complex Problems

Alexander H. Levis, Abbas K. Zaidi, Ahmed Abu Jbara, 2013, CSER.

Transforming Timed Influence Nets into Time Sliced Bayesian Networks

Abbas K. Zaidi, Sajjad Haider, A. K. Zaidi, 2004 .

Validation and verification of decision making rules

Alexander H. Levis, Abbas K. Zaidi, A. K. Zaidi, 1995, Autom..

Modeling with Influence Networks using influence constants: A new approach

Panayota Papantoni-Kazakos, Abbas K. Zaidi, Faisal Mansoor, 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

Combining Qualitative and Quantitative Temporal Reasoning for Criminal Forensics

Alexander H. Levis, Abbas K. Zaidi, Mashhood Ishaque, 2009 .

Computational Verification of System Architectures

Alexander H. Levis, Abbas K. Zaidi, 2007, 2007 IEEE Symposium on Computational Intelligence in Security and Defense Applications.

A heuristic approach for best sets of actions determination in influence nets

Sajjad Haider, Alexander H. Levis, Abbas K. Zaidi, 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

Project management using point graphs

Alexander H. Levis, Abbas K. Zaidi, Mashhood Ishaque, 2009, Syst. Eng..

Time Sensitive Control of Aerospace Operations

Abbas K. Zaidi, Lee W. Wagenhals, 2005 .

Meta-model driven construction of Timed Influence Nets

Alexander H. Levis, Abbas K. Zaidi, Faisal Mansoor, 2010, 2010 IEEE International Conference on Intelligence and Security Informatics.

Improving cluster tools performance using Colored Petri Nets in semiconductor manifacturing

Dongjin Kim, Abbas K. Zaidi, Emrah Cimren, 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

Scalable Adaptive Architectures for Maritime Operations Center Command and Control

Alexander H. Levis, Abbas K. Zaidi, Lee W. Wagenhals, 2011 .

Identification of best sets of actions in Influence Nets

Sajjad Haider, Alexander H. Levis, Abbas K. Zaidi, 2008, Int. J. Hybrid Intell. Syst..