Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
87331 - 87340 out of 106,564Page size: 10
  1. 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

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

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

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

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

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

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

  8. Published

    Sleep on it, but only if it is difficult: effects of sleep on problem solving

    Sio, U. N., Monaghan, P. & Ormerod, T., 02/2013, In: Memory and Cognition. 41, 2, p. 159-166 8 p.

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

  9. Published

    Towards integration of palliative care in patients with chronic heart failure and chronic obstructive pulmonary disease: a systematic literature review of European guidelines and pathways

    Siouta, N., van Beek, K., Preston, N. J., Hasselaar, J., Hughes, S., Payne, S. A., Garralda, E., Centeno, C., van der Eerden, M., Groot, M., Hodiamont, F., Radbruch, L., Busa, C., Csikos, A. & Menten, J., 13/02/2016, In: BMC Palliative Care. 15, 18, 12 p.

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

  10. Published

    Integrated palliative care in Europe: a qualitative systematic literature review of empirically-tested models in cancer and chronic disease

    Siouta, N., van Beek, K., van der Eerden, M., Preston, N. J., Hasselaar, J., Hughes, S., Garralda, E., Centeno, C., Csikos, A., Groot, M., Radbruch, L., Payne, S. A. & Menten, J., 8/07/2016, In: BMC Palliative Care. 15, 56, 16 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