D
Dennis, Louise (2016) Prism Files used in "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. [Data Collection]
Dennis, Louise and Webster, Matt (2016) Recomputable Experiments for Ethical Choices in Autonomous Systems: Verifying ethical choice in three Aviation scenarios. [Data Collection]
M
Mitrovic, Ivona Z (2016) Tunnel-Barrier Rectifiers for Optical Nantennas (ECS 2016). [Data Collection]
Mitrovic, Ivona Z. (2016) Atomic-layer deposited thulium oxide as a passivation layer on germanium (JAP 2015). [Data Collection]
Mitrovic, Ivona Z. (2016) Band alignment of Ta2O5 on sulphur passivated germanium by X-ray photoelectron spectroscopy (IEEE PRIME 2015). [Data Collection]
Mitrovic, Ivona Z. (2016) Conduction mechanisms in Al-Ta2O5-Al2O3-Al rectifiers (IEEE PRIME 2015). [Data Collection]
Mitrovic, Ivona Z. (2016) Enhanced low voltage nonlinearity in resonant tunneling metal-insulator-insulator-metal nanostructures (Microelectronic Engineering 2015). [Data Collection]
S
Shen, Yaochun, Dong, Yue, Lawman, Samuel and Zheng, Yalin (2016) AppliedOptics2016. [Data Collection]
Shen, Yaochun, Zheng, Yalin, Lawman, Samuel and Yue, Yong (2016) OpticsExpress2016. [Data Collection]
W
Webster, Matt, Dixon, Clare and Fisher, Michael (2016) An Assurance-based Approach to Verification and Validation of Human--Robot Teams: PRISM Code and Properties for the Formal Verification of the BERT 2 Handover Scenario. [Data Collection]