Search the dblp DataBase

Publications of Author

1. Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
   On Temporal Analysis of Timed Influence Nets Using Point Graphs. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2005, pp:629-634 [Conf]
   
2. Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis
   A Heuristic Approach for Best Sets of Actions Determination in Influence Nets. [Citation Graph (0, 0)][DBLP]
   IRI, 2004, pp:600-605 [Conf]
   
3. Abbas K. Zaidi
   On temporal logic programming using Petri nets. [Citation Graph (0, 0)][DBLP]
   IEEE Transactions on Systems, Man, and Cybernetics, Part A, 1999, v:29, n:3, pp:245-254 [Journal]
   
4. Abbas K. Zaidi, Alexander H. Levis
   TEMPER: a temporal programmer for time-sensitive control of discrete event systems. [Citation Graph (0, 0)][DBLP]
   IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2001, v:31, n:6, pp:485-496 [Journal]
   
5. 
   An Inference Mechanism for Point-Interval Logic. [Citation Graph (, )][DBLP]
   
   
6. 
   An algorithm for activation timed influence nets. [Citation Graph (, )][DBLP]
   
   
7. 
   Modeling with Influence Networks using influence constants: A new approach. [Citation Graph (, )][DBLP]