RAE2001 logo

Submissions

 
 
First | Previous | Record 1 of 11 | Next | Last

RA1 and RA2: Staff and output details

Staff name : Abdallah, A E
Staff identifier : 190306
Research groups :
A - Systems and Software Engineering
Outputs :


Synthesis of massively pipelined algorithms for list manipulation
Location : Euro-Par '96 Parallel Processing; LNCS (Pub: Springer-Verlag)
Volume No : 1124
Pagination : 911-920
Year : 1996
ISBN/ISSN : 3-540-61627-6
Type : Conference contribution
Output number : 1
Research group : Systems and Software Engineering


An integrated CSP-Based Tool for the Visualisation, Animation and Performance  Evaluation of Message Passing Algorithms
Location : Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, York (Pub: IEEE Computer Society Press)
Volume No : 
Pagination : 189-198
Year : 2000
ISBN/ISSN : 0-76950-822-7
Co-authors : Green M (external)
Type : Conference contribution
Output number : 2
Research group : Systems and Software Engineering


Functional Process Modelling
Location : in Research Directions in Parallel Functional Programming; Springer-Verlag, Berlin; Eds: Hammond K and Michaelson G
Volume No : XXVI
Pagination : 339-361
Year : 1999
ISBN/ISSN : 1-85233-092-9
Type : Chapter in book
Output number : 3
Research group : Systems and Software Engineering


Filter promotion transformation strategies for deriving efficient programs from Z specifications
Location : Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, York (Pub: IEEE Computer Society Press)
Volume No : 
Pagination : 157-167
Year : 2000
ISBN/ISSN : 0-76950-822-7
Type : Conference contribution
Output number : 4
Research group : Systems and Software Engineering

First | Previous | Record 1 of 11 | Next | Last

Note: The number of outputs listed by each researcher varies as some outputs submitted are not listed and the number of outputs staff were allowed to submit to the RAE varied. For details on outputs removed click here. For details on the number of outputs staff could submit click here.

Users of this website should note that the information is not intended to be a complete record of all research centres in the UK

Copyright 2002 - HEFCE, SHEFC, ELWa, DEL

Last updated 17 October 2003

[ Home | About the RAE2001 | Results | Submissions | Overview reports | Panels | Guidance for panel members
| Guidance for institutions | Publications  ]