James Woodcock

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 7

Top Topics

Audio Visual Content

Top Venues

Audio Mostly Conference

Formal Aspects Comput.

Publications

Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34 (1) (2022)
Philip Coleman, Andreas Franck, Jon Francombe, Qingju Liu, Teofilo de Campos, Richard J. Hughes, Dylan Menzies, Marcos F. Simón Gálvez, Yan Tang, James Woodcock, Philip J. B. Jackson, Frank Melchior, Chris Pike, Filippo Maria Fazi, Trevor J. Cox, Adrian Hilton
An Audio-Visual System for Object-Based Audio: From Recording to Listening. IEEE Trans. Multim. 20 (8) (2018)
Rahul Goel, Leandro M. T. Garcia, Anna Goodman, Rob Johnson, Rachel Aldred, Manoradhan Murugesan, Søren Brage, Kavi Bhalla, James Woodcock
Estimating city-level travel patterns using street imagery: a case study of using Google Street View in Britain. CoRR (2018)
Jon Francombe, Russell Mason, Philip J. B. Jackson, Tim Brookes, Richard J. Hughes, James Woodcock, Andreas Franck, Frank Melchior, Chris Pike
Media Device Orchestration for Immersive Spatial Audio Reproduction. Audio Mostly Conference (2017)
Philip J. B. Jackson, Filippo Maria Fazi, Frank Melchior, Trevor J. Cox, Adrian Hilton, Chris Pike, Jon Francombe, Andreas Franck, Philip Coleman, Dylan Menzies-Gow, James Woodcock, Yan Tang, Qingju Liu, Rick Hughes, Marcos F. Simón Gálvez, Teofilo de Campos, Hansung Kim, Hanne Stenzel
Object-Based Audio Rendering. CoRR (2017)
Jon Francombe, Tim Brookes, Russell Mason, James Woodcock
Determining and labeling the preference dimensions of spatial audio replay. QoMEX (2016)
Robin Lovelace, Anna Goodman, Rachel Aldred, Nikolai Berkoff, Ali Abbas, James Woodcock
The Propensity to Cycle Tool: An open source online system for sustainable transport planning. CoRR (2015)