Clinically driven design of multi-scale cancer models: the ContraCancrum project paradigm K Marias, D Dionysiou, V Sakkalis, N Graf, RM Bohle, PV Coveney, ... Interface Focus 1 (3), 450-461, 2011 | 36 | 2011 |
Formal modelling of pki based authentication AN Haidar, AE Abdallah Electronic Notes in Theoretical Computer Science 235, 55-70, 2009 | 25 | 2009 |
IMENSE: An e-infrastructure environment for patient specific multiscale data integration, modelling and clinical treatment SJ Zasada, T Wang, A Haidar, E Liu, N Graf, G Clapworthy, S Manos, ... Journal of Computational Science 3 (5), 314-327, 2012 | 20 | 2012 |
Formal modelling of a usable identity management solution for virtual organisations AN Haidar, PV Coveney, AE Abdallah, PY Ryan, B Beckles, JM Brooke, ... arXiv preprint arXiv:1001.5050, 2010 | 18 | 2010 |
Flexible composition and execution of large scale applications on distributed e-infrastructures SJ Zasada, DCW Chang, AN Haidar, PV Coveney Journal of Computational Science 5 (1), 51-62, 2014 | 15 | 2014 |
A data infrastructure reference model with applications: towards realization of a ScienceTube vision with a data replication service M Riedel, P Wittenburg, J Reetz, M van de Sanden, J Rybicki, ... Journal of internet services and applications 4, 1-17, 2013 | 15 | 2013 |
Audited credential delegation-a user-centric identity management solution for computational grid environments AN Haidar, SJ Zasada, PV Coveney, AE Abdallah, B Beckles 2010 Sixth International Conference on Information Assurance and Security …, 2010 | 13 | 2010 |
Abstractions of web services AN Haidar, AE Abdallah 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009 | 10 | 2009 |
Critical evaluation of current approaches to grid security AN Haidar, K Paterson Master's thesis, Royal Holloway University of London, 2003 | 9 | 2003 |
Audited credential delegation: a usable security solution for the virtual physiological human toolkit AN Haidar, SJ Zasada, PV Coveney, AE Abdallah, B Beckles, MAS Jones Interface Focus 1 (3), 462-473, 2011 | 8 | 2011 |
On the usability of grid middleware and security mechanisms SJ Zasada, AN Haidar, PV Coveney Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2011 | 6 | 2011 |
Comparison and evaluation of identity management in three architectures for virtual organizations AN Haidar, AE Abdallah 2008 The Fourth International Conference on Information Assurance and …, 2008 | 6 | 2008 |
Usability evaluation of Identity Management schemes in three Virtual Organisation architectures AE Abdallah, AN Haidar Int’l Journal of Information Assurance and Security, Special Issue on …, 2009 | 5 | 2009 |
Homeopathic drug standardization through biological evaluations: An untrodden avenue MV Kardile, C Patil, A Haidar, UB Mahajan, S Goyal International Journal of High Dilution Research-ISSN 1982-6206 14 (4), 16-37, 2015 | 4 | 2015 |
Audited credential delegation: a sensible approach to grid authentication B Beckles, AN Haidar, S Zasada, PV Coveney 2009 5th IEEE International Conference on E-Science Workshops, 19-30, 2009 | 3 | 2009 |
Composition and customization of web services using wrappers: A formal approach based on csp AN Haidar, AE Abdallah 2008 32nd Annual IEEE Software Engineering Workshop, 187-194, 2008 | 3 | 2008 |
Towards a Formal Framework for Developing Secure Web Services AN Haidar, AE Abdallah 2nd International Workshop on Automated Specification and Verification of …, 2006 | 3 | 2006 |
A lightweight platform for managing biomedical simulation SJ Zasada, D Chang, AN Haidar, PV Coveney Proceedings of the 3rd international workshop on Emerging computational …, 2012 | 1 | 2012 |
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion AN Haidar, AE Abdallah Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 1 | 2008 |
Audited credential delegation: a usable identity management solution for grid environments SJ Zasada, AN Haidar, PV Coveney Proceedings of the 2011 TeraGrid Conference: Extreme Digital Discovery, 1-2, 2011 | | 2011 |