Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
88431 - 88440 out of 101,462Page size: 10
  1. Published

    Roton assisted vortex nucleation in isotopically pure superfluid 4He.

    Bowley, R. M., McClintock, P. V. E., Moss, F. E. & Nancolas, G. G., 1981, In: Physica B: Condensed Matter. 107, p. 571-572 2 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    Vortex nucleation in isotopically pure superfluid 4He.

    Bowley, R. M., McClintock, P. V. E., Moss, F. E. & Stamp, P. C. E., 21/01/1980, In: Physical review letters. 44, 3, p. 161-164 4 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    An integrated approach to a combinatorial optimisation problem

    Bowles, J. & Caminati, M. B., 22/11/2019, Integrated Formal Methods. Springer, Vol. 11918. p. 204-382

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    The High Engagement Work Culture

    Bowles, D. & Cooper, C., 2012, Basingstoke: Palgrave Macmillan. 192 p.

    Research output: Book/Report/Proceedings › Book

  6. Published

    Employee Morale: Driving Performance in Challenging Times

    Bowles, D. & Cooper, C. L., 2009, Basingstoke: Palgrave Macmillan.

    Research output: Book/Report/Proceedings › Book

  7. Published

    A verified algorithm enumerating event structures

    Bowles, J. & Caminati, M. B., 28/06/2017, Intelligent Computer Mathematics. Springer, Vol. 10383.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Correct composition of dephased behavioural models

    Bowles, J. & Caminati, M. B., 14/09/2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14. Springer, Vol. 10487.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    An integrated framework for verifying multiple care pathways

    Bowles, J., Caminati, M. B. & Cha, S., 7/02/2018, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 17595273

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    An exploration of the mediating effects of a digital, mobile vocabulary learning tool and device use on Gulf Arab learners’ receptive vocabulary knowledge and capacity for self-regulated learning.

    Bowles, M., 16/03/2021, Lancaster University. 266 p.

    Research output: Thesis › Doctoral Thesis

Previous 1...8840 8841 8842 8843 8844 8845 8846 8847 ...10147 Next

Back to top