• Assessing and visualising hazard impacts to enhance the resilience of Critical Infrastructures to urban flooding 

  Vamvakeridou-Lyroudia, L; Chen, A; Khoury, M; et al. (Elsevier, 2019)

  The design, construction and maintenance of Critical Infrastructures (CI) is commonly based on standards that are rigorous, so as to withstand any climate or weather-linked pressures. However, due to climate change, ...

• The Fundamental Mechanism Behind Colossal Permittivity in Oxides (dataset) 

  Taylor, NT; Davies, FH; Davies, SG; et al. (University of Exeter, 10 December 2019)

  This is the dataset used for the Taylor et al. (2019) article "The Fundamental Mechanism Behind Colossal Permittivity in Oxides" published in Advanced Materials.

• Emerging Topics in Textual Modelling 

  Brucker, AD; Daniel, G; Gogolla, M; et al. (CEUR-WS.org, 6 December 2019)

  The 19th edition of the OCL workshop featured a lightning talk session where authors were invited to present their recent work and open questions related to textual modeling in general and OCL in particular. These 5 minute ...

• Camera orientation, calibration and inverse perspective with uncertainties: A Bayesian method applied to area estimation from diverse photographs 

  Guillet, G; Guillet, T; Ravanel, L (Elsevier, 2 December 2019)

  Large collections of images have become readily available through modern digital catalogs, from sources as diverse as historical photographs, aerial surveys, or user-contributed pictures. Exploiting the quantitative ...

• Stateful protocol composition 

  Hess, AV; Mödersheim, SA; Brucker, AD (Springer Verlag (Germany), 8 August 2018)

  We prove a parallel compositionality result for protocols with a shared mutable state, i.e., stateful protocols. For protocols satisfying certain compositionality conditions our result shows that verifying the component ...

View more