Search research publications and outputs

  1. 2001
  2. 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

  3. A Concurrent Language for Refinement

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

    Research output: Contribution to conferencePaper

  4. 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

  5. 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

  6. 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

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

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

    Research output: Contribution to conferencePaper

  8. 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

  9. 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

  10. A space semantics for core Haskell

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

    Research output: Contribution to conferencePaper

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

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

    Research output: Contribution to conferencePaper

  12. An integrated neural IR system

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

    Research output: Contribution to conferencePaper

  13. Automatic generation of tests from Statechart specifications

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

    Research output: Contribution to conferencePaper

  14. Classes of complexity in manufacturing

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

    Research output: Contribution to conferencePaper

  15. 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

  16. Dative subjects in Korean

    Ishikawa, H. & Tsoulas, G., 2001, p. 359-369. 10 p.

    Research output: Contribution to conferencePaper

  17. Deriving Safety Requirements Using Scenarios

    Allenby, K. & Kelly, T., 2001, p. 228-235.

    Research output: Contribution to conferencePaper

  18. Developing Computer Mediated Discussions in Distance-Learning Education: Facilitating Online Conferences

    Forrester, J. M., Holliman, R., Alderton, K., Barker, S. & Sobeiesierski, Z., 2001, p. 441. 443 p.

    Research output: Contribution to conferencePaper

  19. Embodying Knowledge: Sex Work as Knowledge Work

    Linstead, S. A. & Brewis, J., 2001.

    Research output: Contribution to conferencePaper

  20. Emergent Neural Computational Architectures Based on Neuroscience: Towards Neuroscience-Inspired Computing

    Wermter, S., Austin, J. & Willshaw, D. J., 2001.

    Research output: Contribution to conferencePaper

  21. Extending the message flow debugger for MQSI

    Tan, S., Arjomandi, E., Paige, R. F., Mamas, E., Moser, S. & O'Farrell, B., 2001, p. 15.

    Research output: Contribution to conferencePaper

  22. Failure Modes and Effects Analysis (FMEA) and System Design

    Murdoch, J., McDermid, J. A. & Wilkinson, P., 2001.

    Research output: Contribution to conferencePaper

  23. Freja, Hat and Hood: a comparative evaluation of three systems for tracing and debugging lazy functional programs

    Chitil, O., Runciman, C. & Wallace, M., 2001, p. 176--193.

    Research output: Contribution to conferencePaper

  24. Globalisation and the Governance of Hong Kong’

    Common, R., 2001.

    Research output: Contribution to conferencePaper

  25. Graph Matching using Adjacency Matrix Markov Chains

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

    Research output: Contribution to conferencePaper

Previous 1 2 3 Next