The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ali E. Abdallah: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002