Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations. - Ali Nasrat Haidar; Ali E. Abdallah (IAS, 2008)

Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. - Ali Nasrat Haidar; Ali E. Abdallah (ISoLA, 2008)

Composition of Web Services Using Wrappers. - Ali Nasrat Haidar; Ali E. Abdallah (ISoLA, 2008)

Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP. - Ali Nasrat Haidar; Ali E. Abdallah (SEW, 2008)

Formal Modelling of PKI Based Authentication. - Ali Nasrat Haidar; Ali E. Abdallah (WWV, 2008)

Abstractions of Web Services. - Ali Nasrat Haidar; Ali E. Abdallah (ICECCS, 2009)

Formal Modelling of a Usable Identity Management Solution for Virtual Organisations - Ali Nasrat Haidar; Peter V. Coveney; Ali E. Abdallah; Peter Y. A. Ryan; Bruce Beckles; J. M. Brooke; M. A. S. Jones (FAVO, 2009)

Audited credential delegation - a user-centric identity management solution for computational grid environments. - Ali Nasrat Haidar; Stefan J. Zasada; Peter V. Coveney; Ali E. Abdallah; Bruce Beckles (IAS, 2010)

Audited credential delegation: a usable identity management solution for grid environments. - Stefan J. Zasada; Ali Nasrat Haidar; Peter V. Coveney (TG, 2011)

A Comparative Analysis of the Usability and Legal Implications of Different Patient Data Sharing Architectures. - Stefan J. Zasada; Ali Nasrat Haidar; Peter V. Coveney (AMIA, 2012)

IMENSE: An e-infrastructure environment for patient specific multiscale data integration, modelling and clinical treatment. - Stefan J. Zasada; Tao Wang; Ali Nasrat Haidar; Enjie Liu; Norbert M. Graf; Gordon Clapworthy; Steven Manos; Peter V. Coveney (J. Comput. Sci., 2012)

A data infrastructure reference model with applications: towards realization of a ScienceTube vision with a data replication service. - Morris Riedel; Peter Wittenburg; Johannes Reetz; Mark van de Sanden; Jedrzej Rybicki; Benedikt von St. Vieth; Giuseppe Fiameni; Giacomo Mariani; Alberto Michelini; Claudio Cacciari; Willem Elbers; Daan Broeder; et al. (J. Internet Serv. Appl., 2013)

Flexible composition and execution of large scale applications on distributed e-infrastructures. - Stefan J. Zasada; David Chan-Wei Chang; Ali Nasrat Haidar; Peter V. Coveney (J. Comput. Sci., 2014)