Search the dblp DataBase

Publications of Author

1. Ali E. Abdallah, Theoharis Theoharis
   A Functional View of Parallel Computer Graphics. [Citation Graph (0, 0)][DBLP]
   AICCSA, 2001, pp:242-0 [Conf]
   
2. John Hawkins, Ali E. Abdallah
   A Generic Functional Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
   AICCSA, 2001, pp:11-17 [Conf]
   
3. Ali E. Abdallah, Theoharis Theoharis
   Derivation of Efficient Parallel Algorithms on a Ring of Processors. [Citation Graph (0, 0)][DBLP]
   Euro-PDS, 1997, pp:61-66 [Conf]
   
4. Ali E. Abdallah
   Synthesis of Massively Pipelined Algorithms for List Manipulation. [Citation Graph (0, 0)][DBLP]
   Euro-Par, Vol. II, 1996, pp:911-920 [Conf]
   
5. Ali E. Abdallah
   A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1998, pp:165-172 [Conf]
   
6. John Hawkins, Ali E. Abdallah
   An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note). [Citation Graph (0, 0)][DBLP]
   Euro-Par, 2002, pp:615-619 [Conf]
   
7. Ali E. Abdallah, John Hawkins
   Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. [Citation Graph (0, 0)][DBLP]
   HICSS, 2003, pp:278- [Conf]
   
8. Ali E. Abdallah
   Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2000, pp:157-168 [Conf]
   
9. Ali E. Abdallah, Mark Green
   An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2000, pp:189-0 [Conf]
   
10. Ali E. Abdallah, Etienne J. Khayat
    A Formal Model for Parameterized Role-Based Access Control. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:233-246 [Conf]
    
11. John Hawkins, Ali E. Abdallah
    Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification. [Citation Graph (0, 0)][DBLP]
    DIPES, 2004, pp:197-206 [Conf]
    
12. Ali E. Abdallah
    Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:67-96 [Conf]
    
13. Theoharis Theoharis, Ali E. Abdallah
    Formal Derivation of Two Parallel Rendering Algorithms. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1444-1450 [Conf]
    
14. Mark Green, Ali E. Abdallah
    Interfacing Java with Haskell. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:79-88 [Conf]
    
15. Ali E. Abdallah, Etienne J. Khayat
    Formal Z Specifications of Several Flat Role-Based Access Control Models. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:282-292 [Conf]
    
16. 
    Abstractions of Web Services. [Citation Graph (, )][DBLP]
    
    
17. 
    Composition of Web Services Using Wrappers. [Citation Graph (, )][DBLP]
    
    
18. 
    Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. [Citation Graph (, )][DBLP]
    
    
19. 
    Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations. [Citation Graph (, )][DBLP]
    
    
20. 
    Integrating Delegation with the Formal Core RBAC Model. [Citation Graph (, )][DBLP]
    
    
21. 
    Formal Modelling of a Usable Identity Management Solution for Virtual Organisations [Citation Graph (, )][DBLP]
    
    
22. 
    Formal Modelling of PKI Based Authentication. [Citation Graph (, )][DBLP]