Catriona Wolfenden

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Multiresolution

Trading Systems

Top Venues

Argument Comput.

Publications

Katie Atkinson, Trevor J. M. Bench-Capon, Tom Routen, Alejandro Sánchez, Stuart Whittle, Rob Williams, Catriona Wolfenden
Realising ANGELIC Designs Using Logiak. JURIX (2019)
Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon, Stuart Whittle, Rob Williams, Catriona Wolfenden
Noise induced hearing loss: Building an application using the ANGELIC methodology. Argument Comput. 10 (1) (2019)
Latifa Al-Abdulkarim, Katie Atkinson, Trevor J. M. Bench-Capon, Stuart Whittle, Rob Williams, Catriona Wolfenden
Noise Induced Hearing Loss: An Application of the Angelic Methodology. JURIX (2017)