Home > Research > Publications & Outputs
  1. Published

    Specificity of the human frequency following response for carrier and modulation frequency assessed using adaptation

    Gockel, H. E., Krugliak, A., Plack, C. J. & Carlyon, R. P., 12/2015, In: Journal of the Association for Research in Otolaryngology : JARO. 16, 6, p. 747-762 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  2. Published

    Specifying and analysing multimedia systems

    Blair, L. & Blair, G. S., 2001, Formal methods for distributed processing : a survey of object-oriented approaches. Bowman, H. & Derrick, J. (eds.). Cambridge: Cambridge University Press, p. 373-399 27 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  3. Published

    Specifying and applying commitment-based business patterns

    Chopra, A. K. & Singh, M. P., 2011, The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2. Richland, S.C.: International Foundation for Autonomous Agents and Multiagent Systems, p. 475-482 8 p. (AAMAS '11).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    Specifying and Constructing a Fault-Tolerant Composite Service

    Onditi, V., Dobson, G., Hutchinson, J., Walkerdine, J. & Sawyer, P., 11/2008, IEEE Sixth European Conference on Web Services, 2008. ECOWS '08. . Dublin: IEEE, p. 135-142 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    Specifying and Verifying Usage Control Models and Policies in TLA+

    Grompanopoulos, C., Gouglidis, A. & Mavridou, A., 31/10/2021, In: International Journal on Software Tools for Technology Transfer. 23, 5, p. 685-700

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Specifying Autonomous System Behaviour

    Sogokon, A., Yuksek, B., Inalhan, G. & Suri, N., 2023, In: CoRR. abs/2302.10087

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Unpublished

    Specifying Persistence

    Sawyer, P., Araujo, J. & Moreira, A., 12/1999, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN Other

  8. Published

    Specifying QoS for Multimedia Communications within Distributed Programming Environments

    Waddington, D. G., Coulson, G. & Hutchison, D., 1996, Multimedia Telecommunications and Applications Third International COST 237 Workshop Barcelona, Spain, November 25–27, 1996 Proceedings. Ventre, G., Domingo-Pascual , J. & Danthine, A. (eds.). Berlin: Springer Verlag, p. 75-103 29 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Unpublished

    Specifying Real-Time Behaviour in Distributed Software Architectures

    Blair, G. S. & Duran, H., 11/2000, (Unpublished)

    Research output: Other contribution

  10. Published

    Specifying smooth transition regression models in the presence of conditional heteroskedasticity of unknown form

    Pavlidis, E., Paya, I. & Peel, D., 2010, In: Studies in Nonlinear Dynamics and Econometrics. 14, 3, p. 1-38 38 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top