Home > Research > Publications & Outputs
  1. Published

    Time versus abstraction in formal descriptions.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Tenney, R. L., Amer, P. D. & Uyar, U. (eds.). North Holland: Elsevier

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

  2. Published

    On Flags And Maximal Chains Of Lower Modular Subalgebras Of Lie Algebras.

    Bowman, K., Towers, D. A. & Varea, V. R., 2007, In: Journal of Lie Theory. 17, 3, p. 605-616 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    Evaluation of ACCMIP outgoing longwave radiation from tropospheric ozone using TES satellite observations

    Bowman, K., Shindell, D. T., Worden, H., Lamarque, J. F., Young, P., Stevenson, D. S., Qu, Z., de la Torre, M., Bergmann, D., Cameron-Smith, P., Collins, W. J., Doherty, R. M., Dalsoren, S. B., Eyring, V., Faluvegi, G., Folberth, G., Ghan, S., Horowitz, L. W., Josse, B. & Lee, Y. H. & 14 others, MacKenzie, I. A., Myhre, G., Nagashima, T., Naik, V., Plummer, D. A., Skeie, R., Strode, S., Sudo, K., Szopa, S., Voulgarakis, A., Zeng, G., Kulawik, S., Aghedo, A. & Worden, J., 18/04/2013, In: Atmospheric Chemistry and Physics . 13, 8, p. 4057-4072 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    Time versus abstraction in formal description.

    Bowman, H., Blair, G. S., Blair, L. & Chetwynd, A. G., 1994, In: IFIP Transactions C. 22, p. 407-482 76 p.

    Research output: Contribution to Journal/MagazineJournal article

  5. Published

    A formal description technique supporting expression of quality of service and media synchronization

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1/01/1994, Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag, p. 145-167 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 882 LNCS).

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

  6. Published

    A study of documentary and skeletal evidence relating to the 18th and 19th century burials in the City of London

    Bowman, J. E., MacLaughlin, S. M. & Scheuer, J. L., 1993, In: American Journal of Physical Anthropology. 36, Suppl. 16

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    Structural and spectroscopic studies of some copper(I) halide tert-butyl isocyanide adducts

    Bowmaker, G. A., Hanna, J. V., Hahn, F. E., Lipton, A. S., Oldham, C. E., Skelton, B. W., Smith, M. E. & White, A. H., 2008, In: Dalton Transactions. 2008, 13, p. 1710-1720 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Detecting and monitoring subglacial lakes beneath the Greenland Ice Sheet

    Bowling, J., 2022, Lancaster University. 275 p.

    Research output: ThesisDoctoral Thesis

  9. Published

    Distribution and dynamics of Greenland subglacial lakes

    Bowling, J., Livingstone, S., Sole, A. & Chu, W., 26/06/2019, In: Nature Communications. 10, 1, 11 p., 2810.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Vortex nucleation in ultradilute superfluid 3He/4He solutions.

    Bowley, R. M., Nancolas, G. G. & McClintock, P. V. E., 20/02/1984, In: Physical review letters. 52, 8, p. 659-662 4 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top