Richard Sharp

According to our database1, Richard Sharp authored at least 40 papers between 2000 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Mel Spectrogram Inversion with Stable Pitch.
Proceedings of the 23rd International Society for Music Information Retrieval Conference, 2022

2019
Perceptions and Preferences About Granular Data Sharing and Privacy of Behavioral Health Patients.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

Design and Pilot Testing of an English and Spanish Behavioral Health Patient Survey on Data Privacy.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

2017

2010
Data Breaches and Identity Theft: When is Mandatory Disclosure Optimal?
Proceedings of the 9th Annual Workshop on the Economics of Information Security, 2010

Using functional programming within an industrial product group: perspectives and perceptions.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2008
Reconstruction of Cellular Biological Structures from Optical Microscopy Data.
IEEE Trans. Vis. Comput. Graph., 2008

An imaging workflow for characterizing phenotypical change in large histological mouse model datasets.
J. Biomed. Informatics, 2008

Enhancing web browsing security on public terminals using mobile composition.
Proceedings of the 6th International Conference on Mobile Systems, 2008

2007
Physics-Based Subsurface Visualization of Human Tissue.
IEEE Trans. Vis. Comput. Graph., 2007

Detection and Visualization of Surface-Pockets to Enable Phenotyping Studies.
IEEE Trans. Medical Imaging, 2007

Interacting with mobile services: an evaluation of camera-phones and visual tags.
Pers. Ubiquitous Comput., 2007

Volume Rendering Phenotype Differences in Mouse Placenta Microscopy Data.
Comput. Sci. Eng., 2007

2006
Accelerating subsurface scattering using Cholesky factorization.
Vis. Comput., 2006

Secure Mobile Computing Via Public Terminals.
Proceedings of the Pervasive Computing, 2006

Registration and 3D visualization of large microscopy images.
Proceedings of the Medical Imaging 2006: Image Processing, 2006

2005
Using visual tags to bypass Bluetooth device discovery.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2005

Using smart phones to access site-specific services.
IEEE Pervasive Comput., 2005

The 2005 UbiApp Workshop: What Makes Good Application-Led Research?
IEEE Pervasive Comput., 2005

Audio networking: the forgotten wireless technology.
IEEE Pervasive Comput., 2005

Interactive Exploration of UML Sequence Diagrams.
Proceedings of the 3rd International Workshop on Visualizing Software for Understanding and Analysis, 2005

A Simplified Model for Inhomogeneous Subsurface Scattering.
Proceedings of the 4th Eurographics / IEEE VGTC International Workshop on Volume Graphics, 2005

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.
Proceedings of the Model Checking Software, 2005

WALRUS: wireless acoustic location with room-level resolution using ultrasound.
Proceedings of the 3rd International Conference on Mobile Systems, 2005

Task Partitioning for Multi-core Network Processors.
Proceedings of the Compiler Construction, 14th International Conference, 2005

2004
Linear Types for Packet Processing.
Proceedings of the Programming Languages and Systems, 2004

Higher-Level Hardware Synthesis
Lecture Notes in Computer Science 2963, Springer, ISBN: 3-540-21306-6, 2004

2003
Higher-level hardware synthesis.
PhD thesis, 2003

Specifying and Enforcing Application-Level Web Security Policies.
IEEE Trans. Knowl. Data Eng., 2003

Higher-level techniques for hardware description and synthesis.
Int. J. Softw. Tools Technol. Transf., 2003

Context-Aware Computing with Sound.
Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

The Case for Abstracting Security Policies.
Proceedings of the International Conference on Security and Management, 2003

2002
Developing Secure Web Applications.
IEEE Internet Comput., 2002

Abstracting application-level web security.
Proceedings of the Eleventh International World Wide Web Conference, 2002

Functional Design Using Behavioural and Structural Components.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001
Hardware/Software Co-Design Using Functional Languages.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Soft Scheduling for Hardware.
Proceedings of the Static Analysis, 8th International Symposium, 2001

A Higher-Level Language for Hardware Synthesis.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

Hardware Synthesis Using SAFL and Application to Processor Design.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
A Statically Allocated Parallel Functional Language.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000


  Loading...