Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
87331 - 87340 out of 106,568Page size: 10
  1. Published

    Modelling survival in HIV cohorts with applications to data from Zomba, Malawi

    Singogo, E., 2016, Lancaster University. 267 p.

    Research output: Thesis › Doctoral Thesis

  2. Published

    Importance of personal failure in investigating identity

    Sinha, S., Jalan, I. & Ulus, E., 2012.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

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

  4. Published

    Modular composition of redundancy management protocols in distributed systems: An outlook on simplifying protocol level formal specification & verification

    Sinha, P. & Suri, N., 16/04/2001, p. 255-263. 9 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  5. Published

    Evidence of Transverse Magnetospheric Field Line Oscillations as Observed from Cluster and Ground Magnetometers

    Sinha, A. K., Yeoman, T. K., Wild, J. A., Wright, D. M., Cowley, S. W. H. & Balogh, A., 30/03/2005, In: Annales Geophysicae. 23, 3, p. 919-929 11 p.

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

  6. Published

    Identification of test cases using a formal approach

    Sinha, P. & Suri, N., 15/06/1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. IEEE, p. 314-321 8 p. (Proc Annu Int Conf Fault Tolerant Comput).

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

  7. Published

    On the use of formal techniques for analyzing dependable real-time protocols

    Sinha, P. & Suri, N., 1/12/1999, Proceedings 20th IEEE Real-Time Systems Symposium. IEEE, p. 126-135 10 p.

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

  8. Published

    Yob makes mosquitoes male

    Sinkins, S. P., 1/07/2016, In: Science. 353, 6294, p. 33-34 2 p.

    Research output: Contribution to Journal/Magazine › Journal article

  9. Published

    Modal verbs of necessity in academic English, Dutch and Lithuanian: epistemicity and/or evidentiality?

    Sinkuniene, J. & Van Olmen, D., 2012, In: Darbai ir dienos. 18, p. 153-182 30 p.

    Research output: Contribution to Journal/Magazine › Journal article

  10. Published

    Does incubation enhance problem solving? A meta-analytic review.

    Sio, U. & Ormerod, T., 01/2009, In: Psychological Bulletin. 135, 1, p. 94-120 27 p.

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

Previous 1...8730 8731 8732 8733 8734 8735 8736 8737 ...10657 Next

Back to top