Ahmad Hasnah
  According to our database1,
  Ahmad Hasnah
  authored at least 17 papers
  between 1994 and 2011.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2011
An Assistive Computerized System with Tangible User Interfaces for Children with Moderate Intellectual and Learning Disabilities.
    
  
    Int. J. Emerg. Technol. Learn., 2011
    
  
  2007
  2006
    Int. J. Inf. Technol. Web Eng., 2006
    
  
    Int. Arab J. Inf. Technol., 2006
    
  
  2004
Non-linear simulation of controller for longitudinal control augmentation system of F-16 using numerical approach.
    
  
    Inf. Sci., 2004
    
  
A multi-level conceptual data reduction approach based on the Lukasiewicz implication.
    
  
    Inf. Sci., 2004
    
  
An approach for constructing complex discriminating surfaces based on Bayesian interference of the maximum entropy.
    
  
    Inf. Sci., 2004
    
  
  2003
A Toolset for the Specification and Verification of Embedded Systems.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
    
  
A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.
  
    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
    
  
A Decision Support System Based on Ranking Methods.
  
    Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003
    
  
    Proceedings of the 2003 10th IEEE International Conference on Electronics, 2003
    
  
An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic.
    
  
    Proceedings of the 2003 10th IEEE International Conference on Electronics, 2003
    
  
  2002
Disambiguation Approach for Arabic-English Query Translation in Cross Language Information Retrieval System.
    
  
    Egypt. Comput. Sci. J., 2002
    
  
Query Expansion for Cross-Language Information Retrieval.
  
    Proceedings of the 2002 International Conference on Machine Learning and Applications, 2002
    
  
Converting SAT Problem into Lattice Basis.
  
    Proceedings of the International Conference on Artificial Intelligence, 2002
    
  
  1994
    Proceedings of the Seventh Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'94), 1994