Examples for the statement on the inclusion of published and collaborative work

Chapter

The chapter or section that contains the student’s own published work or collaborative work.

Specify if this forms a whole chapter, a whole section, or has been included in smaller segments.

Publication or collaboration details

Details on the publication, including title of the work, author list, name of journal or preprint service, and weblink to the publication (if available).

OR an overview of how the collaboration was conducted.

Author contributions

Details on the specific contributions of each author to the publication or of each contributor to the collaboration.

CHAPTER 3. Definition of the traditional Mexican diet and its role in health: a systematic review

All sections of this chapter were published as a journal article (Appendix 2): Valerino-Perea S, Lara-Castor L, Armstrong MEG, Papadaki A. Definition of the traditional Mexican diet and its role in health: a systematic review. Nutrients. 2019; 11(11): 2803.

The published journal article was used as a template and modified to write the current chapter; most modifications focused on introducing links between the chapters to improve the thesis readability. 

I designed the study protocol with input from MEGA and AP; I developed the search strategy and conducted the searches; I conducted the screening and data extraction with assistance from LL-C (second reviewer) and input from MEGA and AP; I conducted the qualitative synthesis of the findings, drafted the paper, and had primary responsibility for the final manuscript with input from MEGA and AP.

Chapter 2 | Vocal plasticity of bottlenose dolphin whistles in response to noise and vessel traffic

Palmer, L.P., Thompson, P., Cheney, B.J., Iorio-Merlo, V., Merchant, N.D., and King, S. L. (submitted) Vocal plasticity of bottlenose dolphin whistles in response to noise and vessel traffic. Royal Society Open Science

Acoustic data were collected by the University of Aberdeen and provided by P.T. and V.I-M. L.P., S.L.K and P.T conceived the study. L.P analysed all acoustic data. Two research assistants, Milo Jackson-Brown and Rosie Smith-Langridge, marked some of the whistles and extracted some of the contours used in the analysis. Frants Jensen provided the code for whistle contour extraction. Oihane Fernandez and Dimos Pipinis extracted AIS data and B.J.C analysed photo-ID data provided in the Appendix. N.D.M consulted on noise analysis that was conducted by L.P. L.P conducted statistical modelling and wrote the manuscript. S.L.K supervised all aspects of this research.

Section 2.2: A Coq Framework for Symbolic Cryptographic Invariants

Section 2.3: Protocol-Specific Invariants Chapter 3: Verifying Symbolic Security of C Code

Sections 2.2 and 2.3 expand on material presented at the workshop on Formal Aspects of Security and Trust (FAST) in 2011, and in the corresponding technical report: Verifying Cryptographic Code in C: Some Experience and the Csec Challenge [Aizatulin, Dupressoir, Gordon, and Jurjens, 2011a]

Chapter 3 is based on material published as Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols at CSF [Dupressoir, Gordon, Jürjens and Naumann, 2011], which also appears on arxiv, and was previously discussed at the workshop on the analysis of security APIs in 2010. An extended version is under submission to the Journal of Computer Security with the same authors.

The author led the technical work on all aspects of the jointly-authored work under the supervision of ADG and JJ. The informal presentation of VCC semantics shown in Section 1.3.2 is based on a formal Coq development by DN, discussed in [Dupressoir, Gordon, Jürjens and Naumann, 2011], and not reproduced in the dissertation.