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

  21. Dative subjects in Korean

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

    Research output: Contribution to conferencePaper

  22. Deriving Safety Requirements Using Scenarios

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

    Research output: Contribution to conferencePaper

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

  24. Embodying Knowledge: Sex Work as Knowledge Work

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

    Research output: Contribution to conferencePaper

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

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

    Research output: Contribution to conferencePaper

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

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

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

    Research output: Contribution to conferencePaper

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

  29. Globalisation and the Governance of Hong Kong’

    Common, R., 2001.

    Research output: Contribution to conferencePaper

  30. Graph Matching using Adjacency Matrix Markov Chains

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

    Research output: Contribution to conferencePaper

  31. High Level Failure Analysis for Integrated Modular Avionics

    Conmy, P., McDermid, J. A. & Lindsay, P. A., 2001, p. 13-22.

    Research output: Contribution to conferencePaper

  32. Information-theoretic measures for decision-making complexity in manufacturing

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

    Research output: Contribution to conferencePaper

  33. Interpreting information theoretic measures of complexity at the supplier- customer interface

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

    Research output: Contribution to conferencePaper

  34. Machine Learning and Inductive Logic Programming for Multi-agent Systems

    Kazakov, D. & Kudenko, D., 2001, p. 246-272.

    Research output: Contribution to conferencePaper

  35. Mapping Correlation Matrix Memory Applications onto a Beowulf Cluster

    Weeks, M., Austin, J., Moulds, A., Turner, A., Ulanowski, Z. & Young, J., 2001, p. 156-163.

    Research output: Contribution to conferencePaper

  36. Metamodelling and Conformance Checking with PVS

    Paige, R. F. & Ostroff, J. S., 2001, p. 2-16. 14 p.

    Research output: Contribution to conferencePaper

  37. Multiple-View Tracing for Haskell: a New Hat

    Wallace, M., Chitil, O., Brehm, T. & Runciman, C., 2001, p. 151--170.

    Research output: Contribution to conferencePaper

  38. Nowt so Queer as Change: Beyond Patriarchy and Feminism in Theorising Organisational Change

    Linstead, S. A. & Linstead, A. M., 2001.

    Research output: Contribution to conferencePaper

  39. Parents with inflammatory bowel disease: The hidden stress

    Mukherjee, S., 2001.

    Research output: Contribution to conferencePaper

  40. Predicting Interrogative Varation

    Plunkett, B., 2001, p. 159-174.

    Research output: Contribution to conferencePaper

  41. Process Tailoring in Iterative Development

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

    Research output: Contribution to conferencePaper

  42. Prolog Issues and Experimental Results of an MCMC Algorithm

    Angelopoulos, N. & Cussens, J., 2001, p. 186-196.

    Research output: Contribution to conferencePaper

  43. Prolog Issues of an MCMC Algorithm

    Angelopoulos, N. & Cussens, J., 2001, p. 246-253.

    Research output: Contribution to conferencePaper

  44. Self-Similar Convolution Image Distribution Histograms as Invariant Identifiers

    Tuke, C. E., O'Keefe, S. E. M. & Austin, J., 2001, p. 501-510. 10 p.

    Research output: Contribution to conferencePaper

  45. Separating Lambertian and Specular Reflectance Components using Iterated Conditional Modes

    Ragheb, H. & Hancock, E. R., 2001.

    Research output: Contribution to conferencePaper

  46. Sex/Change: Using Gender Fluidity to Re-Theorise Organisational Change

    Linstead, S. A. & Linstead, A. M., 2001.

    Research output: Contribution to conferencePaper

  47. Software Safety: Why is there no Consensus?

    McDermid, J. A. & Pumfrey, D. J., 2001.

    Research output: Contribution to conferencePaper

  48. Solving Non-Boolean Satisfiability Problems with Stochastic Local Search

    Frisch, A. M., Peugniez, T. J., Doggett, A. & Nightingale, P., 2001, p. 282-290.

    Research output: Contribution to conferencePaper

  49. Staying in the Pink: Ambiguity and the Gendering of Change

    Linstead, S. A. & Linstead, A. M., 2001.

    Research output: Contribution to conferencePaper

  50. The Single Model Principle

    Paige, R. F. & Ostroff, J. S., 2001, p. 292-293.

    Research output: Contribution to conferencePaper

  51. The Steam Boiler in a Unified Theory of Z and CSP

    Woodcock, J. & Cavalcanti, A., 2001, p. 291-298.

    Research output: Contribution to conferencePaper

  52. The effects of rescheduling on manufacturing systems complexity

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

    Research output: Contribution to conferencePaper

  53. The generation of speech for a search guide

    Cook, N. J. & Benest, I. D., 2001, p. 1739-1742.

    Research output: Contribution to conferencePaper

  54. The relationship between information-theoretic measures and chaos-theoretic measures of the complexity of manufacturing systems

    Efstathiou, J., Kariuki, S., Huaccho Huatuco, L. D., Sivadasan, S. & Calinescu, A., 2001, p. 421-426.

    Research output: Contribution to conferencePaper

  55. The value of dynamic complexity in manufacturing systems

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

    Research output: Contribution to conferencePaper

  56. Universal quantum gates for single cooper pair box based quantum computing

    Echternach, P., Williams, CP., Dultz, SC., Braunstein, S. & Dowling, JP., 2001, p. 111-120.

    Research output: Contribution to conferencePaper

  57. Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software

    Foulger, D. & King, S., 2001, p. 229-240.

    Research output: Contribution to conferencePaper

  58. Violent Language: Monstrous Openings to Organising Beyond Meaning

    Linstead, S. A. & Westwood, R. I., 2001.

    Research output: Contribution to conferencePaper

  59. Virtual Adaptive Learning Architecture (VALA)

    Metcalfe, A., Snitzer, M. & Austin, J., 2001, p. 7-10.

    Research output: Contribution to conferencePaper

  60. Virtual Drilling in 3-D Objects Reconstructed by Shape-Based Interpolation

    Bors, A. G., Kechagias, L. & Pitas, I., 2001, p. 729-738.

    Research output: Contribution to conferencePaper