Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 1978
  2. Optimal filtering of analogue signals before sampling

    Zakharov, Y. & Sidorov, E., 1978, p. 21-24.

    Research output: Contribution to conferenceOther

  3. Realization of Superdirectivity from Active and Passive Array Antennas

    Marvin, A., Anderson, A., Dawoud, M. & Patel, P., 1978, p. 25. 29 p.

    Research output: Contribution to conferencePaper

  4. 1979
  5. Near Field Antenna Coupling Theory in a Shielded Room - The Mutual Impedance Model

    Marvin, A., 1979, p. 521. 526 p.

    Research output: Contribution to conferencePoster

  6. 1982
  7. Knowledge Retrieval as Limited Inference

    Frisch, A. M. & Allen, J. F., 1982, p. 274-291.

    Research output: Contribution to conferencePaper

  8. Practical Parallel Processing: A User's View of sc \Clip4

    Wood, A. M., 1982, p. 4.1-4.7.

    Research output: Contribution to conferencePaper

  9. ARGOT: The Rochester Dialogue System

    Allen, J. F., Frisch, A. M. & Litman, D. J., 1 Aug 1982, p. 66-70.

    Research output: Contribution to conferencePaper

  10. 1983
  11. Measurement of voice period in electro-cochlear and acoustic prostheses

    Abberton, E., Bannister, L., Dodson, H., Douek, E., Fourcin, A., Frampton, S., Howard, D. M., Moore, B., Rosen, S. & Walliker, J., 1983, p. 41. 1 p.

    Research output: Contribution to conferencePaper

  12. The Organisation of Parallel Processing Machines

    Wood, A. M., Becker, J. & Eisele, I., 1983, p. 132-144.

    Research output: Contribution to conferencePaper

  13. Marfleet Steel: Developing a Living Case Study

    Linstead, S. A. & Harris, R. A. P., Jul 1983.

    Research output: Contribution to conferencePaper

  14. 1984
  15. A System for the Characterisation and Location of Sources of Intermodulation

    Marvin, A., Darnell, M. & Honary, B., 1984, p. 149-154. 6 p.

    Research output: Contribution to conferencePaper

  16. Potential EMC Problems in the Design of Secure Communication Systems

    Marvin, A. & Darnell, M., 1984, p. 38-43. 6 p.

    Research output: Contribution to conferencePaper

  17. The Importance of Humour in the Maintenance of Organisational Culture

    Linstead, S. A., Apr 1984.

    Research output: Contribution to conferencePaper

  18. The Maintenance of Customary Relations in Organisational Life

    Linstead, S. A. & Golding, D., Apr 1984.

    Research output: Contribution to conferencePaper

  19. Aspects of digitised speech communication over limited capacity channels

    Darnell, M. & Chesmore, E. D., 1 May 1984, p. 125-130.

    Research output: Contribution to conferenceOther

  20. 1985
  21. Parallel Thinking

    Wood, A. M., 1985, p. 1-3.

    Research output: Contribution to conferencePaper

  22. Power, Technical Change and Management Learning

    Baxter, L., 1985.

    Research output: Contribution to conferencePaper

  23. Using Model Theory to Specify AI Programs

    Frisch, A. M., 1985, p. 148-154.

    Research output: Contribution to conferencePaper

  24. A low-rate digital speech message transmission system for HF engineering order wire (EOW) applications

    Chesmore, E. D. & Darnell, M., 1 Feb 1985, p. 161-165.

    Research output: Contribution to conferenceOther

  25. Bricks and Bricolage: Deconstructing Corporate Images in Stone and Story

    Linstead, S. A. & Grafton Small, R., Jun 1985.

    Research output: Contribution to conferencePaper

  26. The Everyday Professional: Skill in the Symbolic Management of Occupational Kinship

    Linstead, S. A. & Grafton Small, R., Jul 1985.

    Research output: Contribution to conferencePaper

  27. 1986
  28. Cultural Engineering: Corporate Design and the Negotiation of Order in an Industrial Society

    Linstead, S. A. & Grafton Small, R., Jul 1986.

    Research output: Contribution to conferencePaper

  29. Reading the Organisational Text: Symbolism in the Re-creation of Meaning

    Linstead, S. A. & Grafton Small, R., Jul 1986.

    Research output: Contribution to conferencePaper

  30. Fictions: A Methodological Discussion Paper

    Linstead, S. A., Aug 1986.

    Research output: Contribution to conferencePaper

  31. 1987
  32. Access Management in multi-administration networks

    Lord, S. P., Pope, N. H. & Stepney, S., 1987.

    Research output: Contribution to conferencePaper

  33. Artefact as Theory: All Roses Lead to Milano

    Linstead, S. A., 1987.

    Research output: Contribution to conferencePaper

  34. GRAIL: Graphical Representation of Activity, Interconnection and Loading

    Stepney, S. & Muntean, T., 1987.

    Research output: Contribution to conferencePaper

  35. IPSES: Requirements; the Meaning of Integration and some Consequences

    McDermid, J. A., 1987, p. 27-36.

    Research output: Contribution to conferencePaper

  36. Inference without Chaining

    Frisch, A. M., 1987, p. 515-519.

    Research output: Contribution to conferencePaper

  37. Optoelectronic measurement of fast electronic pulses

    Henderson, D., Robinson, M. P. & Roddie, A. G., 1987.

    Research output: Contribution to conferencePaper

  38. Power, Control and Management Learning

    Baxter, L., 1987.

    Research output: Contribution to conferencePaper

  39. The First Year in Europe

    Linstead, S. A., 1987.

    Research output: Contribution to conferencePaper

  40. The Operation of Antennas inside Non-anechoic Screened Enclosures

    Marvin, A., 1987, p. 497-500. 4 p.

    Research output: Contribution to conferencePaper

  41. Theory as Artefact: the Monicker of the Glen

    Linstead, S. A. & Grafton Small, R., 1987.

    Research output: Contribution to conferencePaper

  42. 1988
  43. Better Management of Supply Chain in Support of JIT

    Baxter, L., Ferguson, N., Macbeth, D. & Neil, G. C., 1988.

    Research output: Contribution to conferencePaper

  44. Bricolage in Organisations: Deconstructing Data?

    Linstead, S. A., 1988.

    Research output: Contribution to conferencePaper

  45. Jungle Evaluation

    Habel, A., Kreowski, H-J. & Plump, D., 1988, p. 92-112.

    Research output: Contribution to conferencePaper

  46. Jungle Evaluation for Efficient Term Rewriting

    Hoffmann, B. & Plump, D., 1988, p. 191--203.

    Research output: Contribution to conferencePaper

  47. Life Cycle Models for Software Development

    McDermid, J. A., 1988, p. 43-51.

    Research output: Contribution to conferencePaper

  48. Low Level Synchronisation Problems in Digital Systems: Formal techniques in Real-Time Fault-Tolerant Systems

    McDermid, J. A., Morgan, G. & Joseph, M., 1988, p. 139-141.

    Research output: Contribution to conferencePaper

  49. Material and Information Flow: Managing the Supply Chain

    Baxter, L., Ferguson, N., Macbeth, D. & Neil, G. C., 1988.

    Research output: Contribution to conferencePaper

  50. Members' Clubs, Political Lobbies and the Freeing of the Market in the UK

    Linstead, S. A. & Turner, K., 1988.

    Research output: Contribution to conferencePaper

  51. Modal logics of higher-order probability

    Haddawy, P. & Frisch, A. M., 1988, p. 133-148.

    Research output: Contribution to conferencePaper

  52. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1988, p. 1-39.

    Research output: Contribution to conferencePaper

  53. Understanding Multi-transputer Execution

    Stepney, S., 1988.

    Research output: Contribution to conferencePaper

  54. Using VDM with Rely and Guarantee-Conditions: Experiences from a Real Project

    Woodcock, J. & Dickinson, B., 1988, p. 434-458.

    Research output: Contribution to conferencePaper

  55. Demonstration of electronic engineering concepts in lecture environments

    Darnell, M. & Chesmore, E. D., 1 Mar 1988.

    Research output: Contribution to conferenceOther

  56. Security Specifications

    Jacob, J. L., 1 Apr 1988, p. 14--23.

    Research output: Contribution to conferencePaper

  57. The Continuing Importance of Cost in Supplier Selection in Support of JIT

    Baxter, L., Neil, G. C., Ferguson, N. & Macbeth, D., Jun 1988.

    Research output: Contribution to conferencePaper

  58. A Security Framework

    Jacob, J. L., 1 Jun 1988, p. 98--111.

    Research output: Contribution to conferencePaper

  59. 1989
  60. A Framework for Expressing Models of Security Policy

    Dobson, J. E. & McDermid, J. A., 1989, p. 229-241.

    Research output: Contribution to conferencePaper

  61. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

    Frisch, A. M., 1989, p. 126-136.

    Research output: Contribution to conferencePaper

  62. A Hypertext System with Controlled Hype

    Benest, I. D., 1989, p. 52-63.

    Research output: Contribution to conferencePaper

  63. Buyer Supplier Relationships: A Tool for Analysis and Improvement

    Baxter, L., Macbeth, D., Ferguson, N. & Neil, G. C., 1989.

    Research output: Contribution to conferencePaper

  64. CHAINED BELL INEQUALITIES

    BRAUNSTEIN, SL., CAVES, CM. & KAFATOS, M., 1989, p. 27-36.

    Research output: Contribution to conferencePaper

  65. Expert Systems in Management Development

    Linstead, S. A., 1989.

    Research output: Contribution to conferencePaper

  66. Gods in Chaos: Heroes and the Symbolism of Leadership

    Linstead, S. A. & Grafton Small, R., 1989.

    Research output: Contribution to conferencePaper

  67. IPSEs: Concepts and Reality

    McDermid, J. A. & Salenieks, P., 1989, p. 135-164. 30 p.

    Research output: Contribution to conferencePaper

  68. New Tools of Analysis in Buyer/Supplier Relationships

    Baxter, L., Ferguson, N., Macbeth, D. & Neil, G. C., 1989.

    Research output: Contribution to conferencePaper

  69. Pictorial Representation of Parallel Programs

    Stepney, S., 1989.

    Research output: Contribution to conferencePaper

  70. Security Policies for Integrated Project Support Environments

    McDermid, J. A. & Hocking, E. S., 1989, p. 41-74.

    Research output: Contribution to conferencePaper

  71. The Natural Progression of Distance Learning?

    Linstead, S. A., 1989.

    Research output: Contribution to conferencePaper

  72. Towards Assurance Measures for High Integrity Software

    McDermid, J. A., 1989, p. 3A/1-3A/9.

    Research output: Contribution to conferencePaper

  73. JIT Sourcing: Ways to Improve the Relationship

    Baxter, L., Macbeth, D. & Neil, G. C., May 1989.

    Research output: Contribution to conferencePaper

  74. On The Derivation of Secure Components

    Jacob, J. L., Berson, T. & Cooper, D. M., 1 May 1989, p. 242-247.

    Research output: Contribution to conferencePaper

  75. Management Control with Supply Chain JIT

    Baxter, L., Ferguson, N., Macbeth, D. & Neil, G. C., Oct 1989.

    Research output: Contribution to conferencePaper

  76. Application of pulse processing neural networks in communications and signal demodulation

    Chesmore, E. D., 1 Oct 1989, p. 337-341.

    Research output: Contribution to conferenceOther

  77. 1990
  78. A Constraint Logic Approach to Modal Deduction

    Frisch, A. M. & Scherl, R. B., 1990, p. 234-250.

    Research output: Contribution to conferencePaper

  79. A Simpler Semantics for Z

    Gardiner, P. H. B., Lupton, P. J. & Woodcock, J., 1990, p. 3-11.

    Research output: Contribution to conferencePaper

  80. A Tool for Defining the Architecture of Z Specifications

    Coombes, A., McDermid, J. A. & Nicholls, J. E., 1990, p. 77-92.

    Research output: Contribution to conferencePaper

  81. An Approach to Object-Oriented Specification Using Z

    Whysall, P. J., McDermid, J. A. & Nicholls, J. E., 1990, p. 193-215.

    Research output: Contribution to conferencePaper

  82. Architecturally Independent Software: the Case for Abstraction

    Wood, A. M., 1990, p. 123-127.

    Research output: Contribution to conferencePaper

  83. Categorising Non-interference

    Jacob, J. L., 1990, p. 44--50.

    Research output: Contribution to conferencePaper

  84. Computer aided design for radio-frequency interference reduction

    Marvin, A. C., Tealby, J. M., Carr-Brion, T. J. F., Porter, S. J. & Mann, S. M., 1990, p. 140.

    Research output: Contribution to conferenceOther

  85. Corporate Culture: The Reading and the Text

    Linstead, S. A. & Grafton Small, R., 1990.

    Research output: Contribution to conferencePaper

  86. Generalization with Taxonomic Information

    Frisch, A. M. & Jr., C. D. P., 1990, p. 755-761.

    Research output: Contribution to conferencePaper

  87. Identifying Competencies and Developing Competence: Towards Resolving Some Practical Tensions

    Linstead, S. A. & Bradley, J. I., 1990.

    Research output: Contribution to conferencePaper

  88. Methods for Developing Safe Software

    McDermid, J. A. & Daniels, B. K., 1990, p. 6/1-6/8.

    Research output: Contribution to conferencePaper

  89. Modular Object-oriented Z Specifications

    Meira, S. R. D. L. & Cavalcanti, A., 1990, p. 173-192.

    Research output: Contribution to conferencePaper

  90. Prediction of PCB radiation in the presence of scattering bodies

    Carr-Brion, T. J. F. & Porter, S. J., 1990, p. 137.

    Research output: Contribution to conferenceOther

  91. Refinement of State-Based Concurrent Systems

    Woodcock, J. & Morgan, C., 1990, p. 340-351.

    Research output: Contribution to conferencePaper

  92. SAZ

    Polack, F., Hitchcock, P. & Brown, A. W., 1990, p. 384-384.

    Research output: Contribution to conferencePaper

  93. Skills and Technologies for the Development and Evaluation of Safety Critical Applications

    McDermid, J. A. & Daniels, B. K., 1990, p. 163-172.

    Research output: Contribution to conferencePaper

  94. Strategic Choices in Supply Chain Management: Theory and Practice

    Baxter, L. & Neil, G. C., 1990.

    Research output: Contribution to conferencePaper

  95. Symbols of Innovation: The Ultimate Jaguar and the Next Wave

    Linstead, S. A. & Grafton Small, R., 1990.

    Research output: Contribution to conferencePaper

  96. The Role of the Supply Chain in Manufacturing Competitiveness

    Baxter, L., Ferguson, N., Neil, G. C. & Macbeth, D. K., 1990.

    Research output: Contribution to conferencePaper

  97. Tools that support human-human communication in the automated office

    Benest, I. D. & Dukic, D., 1990, p. 853-859.

    Research output: Contribution to conferencePaper

  98. Towards an Object Oriented Development Environment for Secure Applciations

    Hocking, E. S., McDermid, J. A. & Eizenberg, G. G., 1990, p. 191-200.

    Research output: Contribution to conferencePaper

  99. Towards an Object Oriented Development Environment for Secure Applications

    Hocking, E. S. & McDermid, J. A., 1990, p. 191-200.

    Research output: Contribution to conferencePaper

  100. Z and the Refinement Calculus

    King, S., 1990, p. 164-188.

    Research output: Contribution to conferencePaper

  101. A hardware-software system for measurement of dynamic multipath channels

    Bukley, A., Galkin, A., Zakharov, Y., Kodanev, V., Titova, G. & Fedorov, S., 1 Apr 1990.

    Research output: Contribution to conferenceOther

  102. A connectionist architecture for signal demodulation in communication systems

    Chesmore, E. D., 1 May 1990.

    Research output: Contribution to conferenceOther

  103. Neural network archiectures for signal detection and demodulation

    Chesmore, E. D., 1 Jul 1990, p. 1-4.

    Research output: Contribution to conferenceOther

  104. 1991
  105. A Formal Model of Security Dependency for Analysis and Testing of Secure Systems

    McDermid, J. A. & Shi, Q., 1991, p. 188-200.

    Research output: Contribution to conferencePaper

  106. A General Framework for Modal Deduction

    Frisch, A. M. & Scherl, R. B., 1991, p. 196-207.

    Research output: Contribution to conferencePaper

  107. A Non-Segmental Phonetic and Phonological Analysis of Variation in Natural Speech

    Ogden, R., 1991.

    Research output: Contribution to conferencePaper

  108. A Tool for Defining the Architecture of a Z Specification

    Coombes, A., McDermid, J. A. & Nicholls, J. E., 1991, p. 77-92.

    Research output: Contribution to conferencePaper

  109. A Tutorial on the Refinement Calculus

    Woodcock, J., 1991, p. 79-140.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 ...52 Next