Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

81321 - 81330 out of 99,425Page size: 10
  1. 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

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

  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

    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

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

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

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

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

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

  10. Published

    Is the content of guidelines/pathways a barrier for the integration of palliative Care in Chronic Heart Failure (CHF) and chronic pulmonary obstructive disease (COPD)? A comparison with the case of cancer in Europe

    Siouta, N., Van Beek, K., Payne, S., Radbruch, L., Preston, N., Hasselaar, J., Centeno, C. & Menten, J., 28/11/2017, In: BMC Palliative Care. 16, 1, 8 p., 62.

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

Previous 1...8129 8130 8131 8132 8133 8134 8135 8136 ...9943 Next

Back to top