Concepedia

Abbas K. Zaidi

AK

10

Publications

310

Citations

10

H-Index

1997

Active since

Affiliations

George Mason University(Current)

Mohammad Ali Jinnah University

Abbas K. Zaidi is an author at George Mason University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningManagementFormal MethodsFormal VerificationIntelligent SystemsSystems EngineeringFuzzy LogicVerification

Publications per year

1997–2022

10

Publications

10

A multi-technique approach for user identification through keystroke dynamics

Sajjad Haider, Assad Abbas, Abbas K. Zaidi · 2002 · 119 citations

Authentication Authorization, Engineering, Biometrics +18

On temporal logic programming using Petri nets

Abbas K. Zaidi · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 1999 · 45 citations

Petri Net, Engineering, Verification +19

Validation and verification of decision making rules

Abbas K. Zaidi, Alexander H. Levis · Automatica · 1997 · 33 citations

Decision Procedure, Engineering, Business Rule +11

Transforming Timed Influence Nets into Time Sliced Bayesian Networks

Sajjad Haider, Abbas K. Zaidi · Defense Technical Information Center (DTIC) · 2004 · 24 citations

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

Sajjad Haider, Abbas K. Zaidi, Alexander W. Levis · 2005 · 23 citations

Best Sets, Engineering, Network Analysis +26

Rows per page

1–5 of 10