Home > Research > Publications & Outputs
  1. Published

    Stochastically enhanced timed automata

    Blair, L., Jones, T. & Blair, G., 1/12/2000, Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. p. 327-347 21 p. (IFIP Advances in Information and Communication Technology; vol. 49 AICT).

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

  2. Published

    A Cloud-based Virtual Observatory for Environmental Science

    Blair, G. S. & El-khatib, Y., 04/2011, OpenWater symposium 19th April, 2011, at UNESCO-IHE, Delft, The Netherlands : Extended abstracts. Delft: Unesco-IHE, p. 102-103 2 p.

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

  3. Published

    Women's Sense of Belonging in Computer Science Education: Project Report for Advance HE

    Blair, L., Widdicks, K., Ashcroft, A., Winter, E., Sturdee, M., New, K. & Thomas, L., 31/01/2021, Lancaster University. 47 p.

    Research output: Book/Report/ProceedingsCommissioned report

  4. Published

    Interoperability in complex distributed systems

    Blair, G., Paolucci, M., Grace, P. & Georgantas, N., 2011, Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Bernardo, M. & Issarny, V. (eds.). Berlin: Springer Verlag, p. 1-26 26 p. (Lecture Notes in Computer Science; vol. 6659).

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

  5. Published

    The role of data science in environmental digital twins: In praise of the arrows

    Blair, G. S. & Henrys, P. A., 31/03/2023, In: Environmetrics. 34, 2, 6 p., e2789.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Wolbachia strain wMel induces cytoplasmic incompatibility and blocks dengue transmission in Aedes albopictus

    Blagrove, M. S. C., Arias-Goeta, C., Failloux, A-B. & Sinkins, S., 3/01/2012, In: Proceedings of the National Academy of Sciences of the United States of America. 109, 1, p. 255-260 6 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    Potential for Zika virus transmission by mosquitoes in temperate climates

    Blagrove, M. S. C., Caminade, C., Diggle, P. J., Patterson, E. I., Sherlock, K., Chapman, G. E., Hesson, J., Metelmann, S., McCall, P. J., Lycett, G., Medlock, J., Hughes, G. L., Della Torre, A. & Baylis, M., 8/07/2020, In: Proceedings of the Royal Society B: Biological Sciences. 287, 1930, 10 p., 20200119.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Optical and Ionospheric Phenomena at EISCAT under continuous X-mode HF pumping

    Blagoveshchenskaya, N. F., Borisova, T. D., Kosch, M., Sergienko, T., Brandstrom, U., Yeoman, T. K. & Haggstrom, I., 12/2014, In: Journal of Geophysical Research. 119, 12, p. 10483-10498 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    Phenomena in the ionosphere-magnetosphere system induced by injection of powerful HF radio waves into nightside auroral ionosphere

    Blagoveshchenskaya, N. F., Borisova, T. D., Kornienko, V. A., Thidé, B., Rietveld, M. T., Kosch, M. J. & Bösinger, T., 01/2005, In: Annales Geophysicae. 23, 1, p. 87-100 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Ionospheric HF pump wave triggering of local auroral activation

    Blagoveshchenskaya, N. F., Kornienko, V. A., Borisova, T. D., Thidé, B., Kosch, M. J., Rietveld, M. T., Mishin, E. V., Lukýanova, R. Y. & Troshichev, O. A., 12/2001, In: Journal of Geophysical Research. 106, A12, p. 29071-29089 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top