Home > Research > Publications & Outputs
  1. 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

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

  3. Unpublished

    Specifying Persistence

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

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

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

  5. Unpublished

    Specifying Real-Time Behaviour in Distributed Software Architectures

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

    Research output: Other contribution

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

  7. Published

    Specimens as primary data: museums and ‘open science’

    Schilthuizen, M., Vairappan, C. S., Slade, E. M., Mann, D. J. & Miller, J. A., 05/2015, In: Trends in Ecology and Evolution. 30, 5, p. 237-238 2 p.

    Research output: Contribution to Journal/MagazineLetterpeer-review

  8. Published

    Speckle-tracking echocardiography for detecting myocardial dysfunction in sepsis and septic shock patients: A single emergency department study

    Fu, X., Lin, X., Seery, S., Zhao, L-N., Zhu, H-D., Xu, J. & Yu, X-Z., 1/05/2022, In: World journal of emergency medicine. 13, 3, p. 175-181 7 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    Spectacle, world, environment, void: understanding nature through rural site-specific dance

    Stewart, N., 30/03/2015, Moving sites: investigating site-specific dance performance. Hunter, V. (ed.). Abingdon: Routledge, p. 364-384 21 p.

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

  10. Published

    Spectacular Britain: A spotter's guide to the UK’s most amazing natural phenomena

    Sene, K., 18/01/2024, London: Bloomsbury. 288 p.

    Research output: Book/Report/ProceedingsBook

  11. Published

    Spectacular morality: 'Reality' television, individualisation and the remaking of the working class

    Wood, H. & Skeggs, B., 15/05/2008, The Media and Social Theory. Hesmondhalgh, D. & Toynbee, J. (eds.). Routledge Taylor & Francis Group, p. 177-193 17 p.

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

  12. Published

    Spectacular Pain: Violence and the White Gaze in American Commemorative Culture

    Thompson, S., 2023, Lancaster University. 297 p.

    Research output: ThesisDoctoral Thesis

  13. Published

    Spectator fields and their imprints on the Cosmic Microwave Background

    Wang, L., 2016, Lancaster University. 182 p.

    Research output: ThesisDoctoral Thesis

  14. Unpublished

    Spectators at a Geek Show: An Ethnographic Inquiry into Wearable Computing

    Sheridan, J., Lafond-Favieres, V. & Newstetter, W. C., 10/2000, (Unpublished).

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

  15. Published

    Spectral analysis and identification of noises in quantum systems

    Wu, R. B., Li, T. F., Kofman, A. G., Zhang, J., Liu, Y-X., Pashkin, Y., Tsai, J-S. & Nori, F., 19/02/2013, In: Physical review a. 87, 2, p. 022324 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  16. Published

    Spectral analysis of noisy oscillators near Hopf bifurcations

    Khovanov, I. A., Schimansky-Geier, L. & Zaks, M. A., 2006, In: Acta Physica Polonica B. 37, 5, p. 1551-1560 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  17. Published

    Spectral analysis of replicated biomedical time series (with discussion).

    Diggle, P. J. & Al Wasel, I., 1997, In: Journal of the Royal Statistical Society: Series C (Applied Statistics). 46, 1, p. 31-71 41 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  18. Published

    Spectral and electrochemical halide anion recognition by acyclic ruthenium(II) 5,5′-bisamide substituted bipyridyl receptor molecules

    Beer, P. D., Fletcher, N. C. & Wear, T., 30/04/1996, In: Polyhedron. 15, 8, p. 1339-1347 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    Spectral and energy efficiency analysis for massive MIMO multi-pair two-way relaying networks under generalized power scaling

    Yang, J., Wang, H., Ding, J., Gao, X. & Ding, Z., 10/2017, In: Science China Information Sciences. 60, 14 p., 102303.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  20. Published

    Spectral and Energy Efficiency for Multi-Pair Massive MIMO Two-Way Relaying Networks with Imperfect CSI

    Wang, H., Ding, J., Yang, J. & Gao, X., 6/09/2015, Vehicular Technology Conference (VTC Fall), 2015 IEEE 82nd . Massachusetts, p. 1-6 6 p.

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

  21. Published

    Spectral and morphological signatures of cluster merger shocks: CIZA J2242.8+5301

    Stroe, A., van Weeren, R. J., Sobral, D., Rumsey, C., Intema, H. T., Röttgering, H. J. A., Harwood, J. J., Saunders, R., Brüggen, M. & Hoeft, M., 29/04/2014, In: arXiv. p. 4 1 p.

    Research output: Contribution to Journal/MagazineJournal article

  22. Published

    Spectral and spatial characterisation of laser-driven positron beams

    Sarri, G., Warwick, J., Schumaker, W., Poder, K., Cole, J., Doria, D., Dzelzainis, T., Krushelnick, K., Kuschel, S., Mangles, S. P. D., Najmudin, Z., Romagnani, L., Samarin, G. M., Symes, D., Thomas, A. G. R., Yeung, M. & Zepf, M., 01/2017, In: Plasma Physics and Controlled Fusion. 59, 1, 7 p., 014015.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  23. Published

    Spectral components of heart rate variability determined by wavelet analysis

    Lotric, M. B., Stefanovska, A., Stajer, D. & Urbancic-Rovan, V., 11/2000, In: Physiological Measurement. 21, 4, p. 441-457 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  24. Published

    Spectral correction for locally stationary Shannon wavelet processes

    Eckley, I. & Nason, G. P., 2014, In: Electronic Journal of Statistics. 8, 1, p. 184-200 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  25. Published

    Spectral density of fluctuations in a bistable potential (in Russian).

    Dykman, M., Mannella, R., McClintock, P. V. E., Moss, F. & Soskin, S. M., 1988, Proeedings of the 5th All-Union Conference on Fluctuational Phenomena. Vilnius: Institute for Semiconductor Physics, p. 23-25 3 p.

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

Back to top