Search research publications and outputs

  1. 2001
  2. The Effect of Implementing an E-Marketplace on a Supply Chain Partnership: A Case Study

    Baxter, L. & Roberts, G. A., Sep 2001.

    Research output: Contribution to conferencePaper

  3. Reification and Representation in the Implementation of Quality Improvement Programmes

    Baxter, L. & Hirschhauser, C., Jul 2001.

    Research output: Contribution to conferencePaper

  4. Engendering Employee Involvement

    Baxter, L. & MacLeod, A. M., Jun 2001.

    Research output: Contribution to conferencePaper

  5. The Role-based Access Control System of a European Bank: a case study and discussion

    Schaad, A., Moffett, J., Jacob, J. & Jaeger, T., 1 May 2001, p. 3--9.

    Research output: Contribution to conferencePaper

  6. Issues with using Ravenscar and the ada Distributed Systems Annex for high-integrity systems

    Audsley, N. & Wellings, A., 1 Apr 2001, p. 33-39. 7 p.

    Research output: Contribution to conferencePaper

  7. A Comparison of Categorisation Algorithms for Predicting the Cellular Localisation Sites of Proteins

    Cairns, P. A., Huyck, C. R., Mitchell, I. & Wu, W. X., 2001, p. 296-300.

    Research output: Contribution to conferencePaper

  8. A Concurrent Language for Refinement

    Woodcock, J. & Cavalcanti, A., 2001.

    Research output: Contribution to conferencePaper

  9. A Family-Oriented Software Development Process for Engine Controllers

    Allenby, K., Burton, S., Buttle, D. L., McDermid, J. A., Murdoch, J., Stephenson, A., Bardill, M., Hutchesson, S., Bomarius, F. & Komi-Sirviö, S., 2001, p. 210-226.

    Research output: Contribution to conferencePaper

  10. A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems

    Paige, R. F. & Ostroff, J. S., 2001, p. 192-206.

    Research output: Contribution to conferencePaper

  11. A ProtoType Question Answering System Using Syntactic and Semantic Information for Answer Retrieval

    Alfonseca, E., Boni, M. D., Jara-Valencia, J-L. & Manandhar, S., 2001.

    Research output: Contribution to conferencePaper

  12. A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems

    Laleau, R. & Polack, F., 2001, p. 402-416.

    Research output: Contribution to conferencePaper

  13. A comparison of categorisation algorithms for predicting the cellular localization sites of proteins

    Cairns, P., Huyck, C., Mitchell, I. & Wu, W. X., 2001, p. 296--300.

    Research output: Contribution to conferencePaper

  14. A discussion of the issues of state definition in the entropy-based measure of operational complexity across supplier-customer systems

    Sivadasan, S., Efstathiou, J., Calinescu, A. & Huaccho Huatuco, L. D., 2001, p. 227-232.

    Research output: Contribution to conferencePaper

  15. A space semantics for core Haskell

    Bakewell, A. & Runciman, C., 2001.

    Research output: Contribution to conferencePaper

  16. An EM-like Algorithm for Motion Segmentation via Eigendecomposition

    Robles-Kelly, A. & Hancock, E. R., 2001.

    Research output: Contribution to conferencePaper

  17. An integrated neural IR system

    Hodge, V. J. & Austin, J., 2001, p. 265-270.

    Research output: Contribution to conferencePaper

  18. Automatic generation of tests from Statechart specifications

    Burton, S., Clark, J. A. & McDermid, J. A., 2001.

    Research output: Contribution to conferencePaper

  19. Classes of complexity in manufacturing

    Calinescu, A., Efstathiou, J., Huaccho Huatuco, L. D. & Sivadasan, S., 2001, p. 351-356.

    Research output: Contribution to conferencePaper

  20. Complexity associated with supplier-customer integration

    Sivadasan, S., Efstathiou, J., Huaccho Huatuco, L. D. & Calinescu, A., 2001, p. 31-36.

    Research output: Contribution to conferencePaper

Previous 1 2 3 Next