Home > Research Search

Research

Search for research

721 - 730 out of 10,512Page size: 10
Sort by: Rating
  1. Published

    On simplifying modular specification and verification of distributed protocols

    Sinha, P. & Suri, N., 22/10/2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering: Special Topic: Impact of Networking. IEEE, p. 173-181 9 p.

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

  2. Published

    Gauge equivalence for complete L∞-algebras

    Guan, A., 7/07/2021, In: Homology, Homotopy and Applications. 23, 2, p. 283-297 15 p.

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

  3. Published

    A component-based approach for (Re)-configurable routing in VANETs

    Nudloll, V., Blair, G. S. & Grace, P., 12/2009, ARM '09 Proceedings of the 8th International Workshop on Adaptive and Reflective MIddleware. New York: ACM, 6 p.

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

  4. Published

    Demo: Helping to Tackle Social Isolation and Loneliness of Older Adults Using Mobile Applications

    Shaw, P. A., Mikusz, M., Davies, N. A. J., Bull, C. N., Harding, M. P. & Hayes, J. N., 22/02/2019, HotMobile '19 Proceedings of the 20th International Workshop on Mobile Computing Systems and Applications. New York: ACM, p. 185-185 1 p.

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

  5. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

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

  6. Published

    Modelling the Dispersion of a Passive Tracer in Complex Open Channel Flows Using Random Walk, Particle Tracking Techniques.

    Hankin, B. G., 1995, Lancaster: Lancaster University. 370 p.

    Research output: Thesis › Doctoral Thesis

  7. Unpublished

    Prophecy on the page: the material texts of women’s prophetic discourse, 1640–1660

    McGann, C., 18/06/2020, (Unpublished) Lancaster University. 268 p.

    Research output: Thesis › Doctoral Thesis

  8. Published

    Exploring the interaction between law and economics: The limits of formalism

    Campbell, D. & Picciotto, S., 30/09/1998, In: Legal Studies. 18, 3, p. 249-278 30 p.

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

  9. Published

    Becoming Sandwich Makers: Exploring Provocative Worlds Through an Artist Residency

    Snooks, K. & Richards, D., 25/04/2025, Extended Abstracts of the CHI Conference on Human Factors in Computing Systems. Yamashita, N., Evers, V., Yatani, K. & Ding, X. (eds.). New York: ACM, p. 1-10 10 p. 623

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

  10. Published

    A selfless response to an illusory world: a comparative study of Śāntideva and Śaṅkara

    Todd, W., 2011, Lancaster: Lancaster University. 412 p.

    Research output: Thesis › Doctoral Thesis

Previous 1...69 70 71 72 73 74 75 76 ...1052 Next