Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | No Grouping
Jump to: A | B | E | H | K | M | S
Number of items: 11.

A

Almousa, Omar, Mödersheim, Sebastian, Modesti, Paolo and Viganò, Luca (2015) Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. In: Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, 21-25 Sep 2015, Vienna, Austria.

B

Bugliesi, Michele, Calzavara, Stefano, Mödersheim, Sebastian and Modesti, Paolo (2015) Security Protocol Specification and Verification with AnBx. Technical Report. School of Computing Science, Newcastle University.

E

Elkady, M, Elmarakbi, Ahmed and MacIntyre, John (2015) Integration of Vehicle Dynamics Control Systems with an Extendable Bumper for Collision Mitigation. International Journal of Automotive and Mechanical Engineering, 12. pp. 2893-2913. ISSN 2229-8649

Elmarakbi, Ahmed (2015) Material Concepts and Challenges for Vehicle Lightweighting: Modelling of Graphene-based Polymer Composites. In: 2nd Mechanics of Composites (MECHCOMP2016), 11-14 Jul 2016, Porto, Portugal. (Unpublished)

Elmarakbi, Ahmed and Martorana, B (2015) Graphene-based Composite Materials for Automotives. In: 20th International Conference on Composite Materials, ICCM20, 19-24 Jul 2015, Copenhagen, Denmark.

H

Haddad, Karam and Baglee, David (2015) Using Augmented Reality in Manufacturing Firms and its Impacts on Knowledge Transfer. In: 16th European Conference on Knowledge Management - ECKM 2015, 3 - 4 Sep 2015, University of Udine, Italy. (Submitted)

Humphries, Lynne (2015) Evaluating the Use of a Prosocial Digital Game to Identify and Compare Preschool Children's Social and Emotional Skills. In: Emotions, Technology and Digital Games. Elsevier. ISBN 978-0-12-801738-8

K

Kok, Theodorus, Morris, Adrian, Baglee, David and O'Brien, Roger (2015) Development of a low cost mixed fuel hydrogen/petrol system for reducing vehicle emissions. In: European Battery, Hybrid and Fuel Cell Electric Vehicle Congress, 2-4 Dec 2015, Brussels. (Unpublished)

M

Modesti, Paolo, Groß, Thomas, Mödersheim, Sebastian, Almousa, Omar and Houdeau, Deflef (2015) Security Evaluation of FutureID. Project Report. FutureID Consortium.

Mollon, V., Bonhomme, Jorge, Elmarakbi, Ahmed, Vina, J. and Arguelles, A. (2015) Comparison of numerical, empirical and local partition methods in ADCB specimens. International Journal of Automotive Composites, 1 (4). pp. 299-312. ISSN 2051-8218

S

Simon, V, Galar, D and Baglee, David (2015) eMaintenance Platform for Performing Data Fusion Mutation on Machine Tools. In: DMIN'15, The 11th International Conference on Data Mining, 27-30 Jul 2015, Las Vegas, Nevada, USA. (Unpublished)

This list was generated on Thu Jan 19 06:29:44 2023 GMT.