University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Williams, D"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 28.

Article

Williams, DF, Kellar, EJC, Jesson, David and Watts, John (2017) Surface Analysis of 316 Stainless Steel Treated with Cold Atmospheric Plasma Applied Surface Science, 403. pp. 240-247.

Hoang, TS, Schneider, SA, Treharne, H and Williams, DM (2016) Foundations for using Linear Temporal Logic in Event-B refinement Formal Aspects of Computing, 28 (6). pp. 909-935.

Lockefeer, L, Williams, DM and Fokkink, W (2016) Formal specification and verification of TCP extended with the Window Scale Option Science of Computer Programming, 118. pp. 3-23.

Shah, UV, Parambil, JV, Williams, DR, Hinder, SJ and Heng, JYY (2015) Preparation and characterisation of 3D nanotemplates for protein crystallisation POWDER TECHNOLOGY, 282. pp. 10-18.

Watts, JF, Williams, DF, Abel, M-L, Grant, E and Hrachova, J (2015) Flame Treatment of Polypropylene: A Study by Electron and Ion Spectroscopies International Journal of Adhesion and Adhesives.

Schneider, S, Treharne, H, Wehrheim, H and Williams, D (2014) Managing LTL properties in Event-B refinement Lecture Notes in Computer Science. pp. 221-237.

Schneider, S, Treharne, H, Wehrheim, H and Williams, DM (2014) Managing LTL properties in Event-B refinement. CoRR, abs/14.

Zheng, X-F, Hong, Y-X, Zhang, G-F, Rogers, H, Lewis, MAO, Williams, DW, Song, B, Wei, X-Q, Xia, Z-F and Feng, G-J (2013) Lipopolysaccharide-Induced M2 to M1 Macrophage Transformation for IL-12p70 Production Is Blocked by Candida albicans Mediated Up-Regulation of EBI3 Expression PLoS ONE, 8 (5).

Rogers, H, Williams, DW, Feng, GJ, Lewis, MA and Wei, XQ (2013) Role of bacterial lipopolysaccharide in enhancing host immune response to Candida albicans. Clin Dev Immunol, 2013.

James, P, Moller, F, Nguyen, HN, Roggenbach, M, Schneider, S, Treharne, H, Trumble, M and Williams, DM (2013) Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops, 8368. pp. 189-204.

Williams, D, Elghali, L, Wheeler, R and France, C (2012) Climate change influence on building lifecycle greenhouse gas emissions: Case study of a UK mixed-use development Energy and Buildings, 48. pp. 112-126.

Howell, A, Mugisha, L, Davies, J, LaCourse, EJ, Claridge, J, Williams, DJ, Kelly-Hope, L, Betson, M, Kabatereine, NB and Stothard, JR (2012) Bovine fasciolosis at increasing altitudes: parasitological and malacological sampling on the slopes of Mount Elgon, Uganda. Parasit Vectors, 5.

Gubala, V, Crean, C, Nooney, R, Hearty, S, McDonnell, B, Heydon, K, O'Kennedy, R, MacCraith, BD and Williams, DE (2011) Kinetics of immunoassays with particles as labels: effect of antibody coupling using dendrimers as linkers ANALYST, 136 (12). pp. 2533-2541.

Williamson, SM, Scholes, SFE, Welchman, DDB, Dennison, M, Batten, CA, Williams, DL, Mertens, PPC, Mellor, PS and Darpel, KE (2010) Bluetongue virus serotype 8-associated hydranencephaly in two calves in south-eastern England VETERINARY RECORD, 167 (6). pp. 216-218.

Ho, R, Hinder, SJ, Watts, JF, Dilworth, SE, Williams, DR and Heng, JYY (2010) Determination of surface heterogeneity of D-mannitol by sessile drop contact angle and finite concentration inverse gas chromatography INTERNATIONAL JOURNAL OF PHARMACEUTICS, 387 (1-2). pp. 79-86.

Williams, D P, Andreev, A D and O'Reilly, E P (2006) Dependence of Exciton Energy on Dot Size in GaN/AlN Quantum Dots Physical Review B, 73 (24).

Williams, DP, Andreev, AD, O'Reilly, EP and Faux, DA (2005) Derivation of built-in polarization potentials in nitride-based semiconductor quantum dots PHYSICAL REVIEW B, 72 (23), ARTN 2.

Conference or Workshop Item

Stathakidis, E, Williams, DM and Heather, JA (2013) Verifying a Mix Net in CSP

Williams, DM, Treharnea, H and Ho, ATS (2010) On the importance of one-time key pairs in buyer-seller watermarking protocols In: SECRYPT 2010, 2010-07-26 - 2010-07-28, Athens, Greece.

Brookes, T and Williams, D (2010) Perceptually-Motivated Audio Morphing: Warmth In: AES 128th Convention, 2010-05-22 - 2010-05-25, London, UK.

Williams, D and Brookes, T (2010) Testing a prototype timbre morpher In: DMRN+4: Digital Music Research Network, 2010-12-22 - ?, London.

Williams, DM, Treharne, H, Ho, ATS and Waller, A (2009) Formal Analysis of Two Buyer-Seller Watermarking Protocols In: 7th International Workshop on Digital Watermarking, 2008-11-10 - 2008-11-12, Busan, South Korea.

Williams, D and Brookes, T (2009) Perceptually-motivated audio morphing: softness In: AES 126th Convention, 2009-05-07 - 2009-05-10, Munich, Germany.

Williams, DM, Treharne, H, Ho, ATS and Culnane, C (2008) Using a Formal Analysis Technique to Identify an Unbinding Attack on a Buyer-Seller Watermarking Protocol In: ACM Multimedia and Security Workshop, 2008-09-22 - 2008-09-23, Oxford Univ Comp Lab, Oxford, ENGLAND.

Williams, D and Brookes, TS (2007) Perceptually-Motivated Audio Morphing: Brightness In: 122nd Audio Engineering Society Convention, 2007 - ?, Vienna.

Williams, DP, Andreev, AD, Faux, DA and O'Reilly, EP (2004) Surface integral determination of built-in electric fields and analysis of exciton binding energies in nitride-based quantum dots In: 11th International Conference on Modulated Semiconductor Structures (MSS11), 2003-07-14 - 2003-07-18, Nara, JAPAN.

Thesis

Williams, David (2011) The modelling and analysis of buyer-seller watermarking protocols Doctoral thesis, University of Surrey.

Williams, David Gordon Spencer (1998) Organisational Climate and Performance: An Empirical Investigation Doctoral thesis, University of Surrey.

This list was generated on Tue Sep 19 20:47:31 2017 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800