Richard Sharp - researchr alias importall

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2022

Mel Spectrogram Inversion with Stable PitchBruno Di Giorgi, Mark Levy, Richard Sharp. ismir 2022: 233-239 [doi]

2019

2017

2010

Data Breaches and Identity Theft: When is Mandatory Disclosure Optimal?Sasha Romanosky, Richard Sharp, Alessandro Acquisti. weis 2010: [doi]

Using functional programming within an industrial product group: perspectives and perceptionsDavid Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy. ICFP 2010: 87-92 [doi]

2008

2007

Detection and Visualization of Surface-Pockets to Enable Phenotyping StudiesKishore Mosaliganti, Firdaus Janoos, Richard Sharp, Randall Ridgway, Raghu Machiraju, Kun Huang, Pamela Wenzel, Alain de Bruin, Gustavo Leone, Joel H. Saltz. tmi, 26(9):1283-1290, 2007. [doi]

Physics-Based Subsurface Visualization of Human TissueRichard Sharp, Jacob Adams, Raghu Machiraju, Robert Lee, Robert Crane. tvcg, 13(3):620-629, 2007. [doi]

Volume Rendering Phenotype Differences in Mouse Placenta Microscopy DataRichard Sharp, Randall Ridgway, Kishore Mosaliganti, Pamela Wenzel, Tony Pan, Alain de Bruin, Raghu Machiraju, Kun Huang, Gustavo Leone, Joel H. Saltz. cse, 9(1):38-47, 2007. [doi]

Interacting with mobile services: an evaluation of camera-phones and visual tagsEleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David Scott, Eben Upton, Alan F. Blackwell. puc, 11(2):97-106, 2007. [doi]

2006

2005

WALRUS: wireless acoustic location with room-level resolution using ultrasoundGaetano Borriello, Alan L. Liu, Tony Offer, Christopher Palistrant, Richard Sharp. mobisys 2005: 191-203 [doi]

Task Partitioning for Multi-core Network ProcessorsRobert Ennals, Richard Sharp, Alan Mycroft. CC 2005: 76-90 [doi]

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing AbstractionsAnil Madhavapeddy, David Scott, Richard Sharp. spin 2005: 277-281 [doi]

Audio networking: the forgotten wireless technologyAnil Madhavapeddy, Richard Sharp, David Scott, Alastair Tse. pervasive, 4(3):55-60, 2005. [doi]

Using visual tags to bypass Bluetooth device discoveryDavid Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton. sigmobile, 9(1):41-53, 2005. [doi]

Interactive Exploration of UML Sequence DiagramsRichard Sharp, Atanas Rountev. vissoft 2005: 8-13

A Simplified Model for Inhomogeneous Subsurface ScatteringRichard Sharp, Raghu Machiraju. vg 2005: 63-71 [doi]

Using smart phones to access site-specific servicesEleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David Scott. pervasive, 4(2):60-66, 2005. [doi]

2004

Linear Types for Packet ProcessingRobert Ennals, Richard Sharp, Alan Mycroft. ESOP 2004: 204-218 [doi]

Higher-Level Hardware SynthesisRichard Sharp. Volume 2963 of Lecture Notes in Computer Science, Springer, 2004.

2003

Context-Aware Computing with SoundAnil Madhavapeddy, David Scott, Richard Sharp. huc 2003: 315-332 [doi]

The Case for Abstracting Security PoliciesAnil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp. csreaSAM 2003: 156-160

Higher-level techniques for hardware description and synthesisAlan Mycroft, Richard Sharp. STTT, 4(3):271-297, 2003. [doi]

Specifying and Enforcing Application-Level Web Security PoliciesDavid Scott, Richard Sharp. tkde, 15(4):771-783, 2003. [doi]

Higher-level hardware synthesisRichard Sharp. PhD thesis, University of Cambridge, UK, 2003. [doi]

2002

Developing Secure Web ApplicationsDavid Scott, Richard Sharp. internet, 6(6):38-45, 2002. [doi]

Abstracting application-level web securityDavid Scott, Richard Sharp. WWW 2002: 396-407 [doi]

Functional Design Using Behavioural and Structural ComponentsRichard Sharp. FMCAD 2002: 324-341 [doi]

2001

2000

A Statically Allocated Parallel Functional LanguageAlan Mycroft, Richard Sharp. icalp 2000: 37-48 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Richard Sharp'

Viewing Publication 1 - 39 from 39

2022

2019

2017

2010

2008

2007

2006

2005

2004

2003

2002

2001

2000

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Richard Sharp'

Viewing Publication 1 - 39 from 39

2022

2019

2017

2010

2008

2007

2006

2005

2004

2003

2002

2001

2000

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1