Richard Sharp

2008
28	EE	Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering: Enhancing web browsing security on public terminals using mobile composition. MobiSys 2008: 94-105
27	EE	Kishore Mosaliganti, Lee Cooper, Richard Sharp, Raghu Machiraju, Gustavo Leone, Kun Huang, Joel H. Saltz: Reconstruction of Cellular Biological Structures from Optical Microscopy Data. IEEE Trans. Vis. Comput. Graph. 14(4): 863-876 (2008)
26	EE	Kishore Mosaliganti, Tony Pan, Randall Ridgway, Richard Sharp, Lee Cooper, Alex Gulacy, Ashish Sharma, M. Okan Irfanoglu, Raghu Machiraju, Tahsin M. Kurç, Alain de Bruin, Pamela Wenzel, Gustavo Leone, Joel H. Saltz, Kun Huang: An imaging workflow for characterizing phenotypical change in large histological mouse model datasets. Journal of Biomedical Informatics 41(6): 863-873 (2008)
2007
25	EE	Kishore Mosaliganti, Firdaus Janoos, Richard Sharp, Randall Ridgway, Raghu Machiraju, Kun Huang, Pamela Wenzel, Alain de Bruin, Gustavo Leone, Joel H. Saltz: Detection and Visualization of Surface-Pockets to Enable Phenotyping Studies. IEEE Trans. Med. Imaging 26(9): 1283-1290 (2007)
24	EE	Richard Sharp, Jacob Adams, Raghu Machiraju, Robert Lee, Robert Crane: Physics-Based Subsurface Visualization of Human Tissue. IEEE Trans. Vis. Comput. Graph. 13(3): 620-629 (2007)
23	EE	Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David Scott, Eben Upton, Alan F. Blackwell: Interacting with mobile services: an evaluation of camera-phones and visual tags. Personal and Ubiquitous Computing 11(2): 97-106 (2007)
2006
22	EE	Richard Sharp, James Scott, Alastair R. Beresford: Secure Mobile Computing Via Public Terminals. Pervasive 2006: 238-253
21	EE	Richard Sharp, Raghu Machiraju: Accelerating subsurface scattering using Cholesky factorization. The Visual Computer 22(8): 541-549 (2006)
2005
20	EE	Robert Ennals, Richard Sharp, Alan Mycroft: Task Partitioning for Multi-core Network Processors. CC 2005: 76-90
19	EE	Gaetano Borriello, Alan L. Liu, Tony Offer, Christopher Palistrant, Richard Sharp: WALRUS: wireless acoustic location with room-level resolution using ultrasound. MobiSys 2005: 191-203
18	EE	Anil Madhavapeddy, David Scott, Richard Sharp: SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN 2005: 277-281
17		Richard Sharp, Atanas Rountev: Interactive Exploration of UML Sequence Diagrams. VISSOFT 2005: 8-13
16	EE	Richard Sharp, Raghu Machiraju: A Simplified Model for Inhomogeneous Subsurface Scattering. Volume Graphics 2005: 63-71
15	EE	David Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton: Using visual tags to bypass Bluetooth device discovery. Mobile Computing and Communications Review 9(1): 41-53 (2005)
2004
14		Richard Sharp: Higher-Level Hardware Synthesis Springer 2004
13	EE	Robert Ennals, Richard Sharp, Alan Mycroft: Linear Types for Packet Processing. ESOP 2004: 204-218
2003
12		Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp: The Case for Abstracting Security Policies. Security and Management 2003: 156-160
11	EE	Anil Madhavapeddy, David Scott, Richard Sharp: Context-Aware Computing with Sound. Ubicomp 2003: 315-332
10	EE	David Scott, Richard Sharp: Specifying and Enforcing Application-Level Web Security Policies. IEEE Trans. Knowl. Data Eng. 15(4): 771-783 (2003)
9	EE	Alan Mycroft, Richard Sharp: Higher-level techniques for hardware description and synthesis. STTT 4(3): 271-297 (2003)
2002
8	EE	Richard Sharp: Functional Design Using Behavioural and Structural Components. FMCAD 2002: 324-341
7	EE	David Scott, Richard Sharp: Abstracting application-level web security. WWW 2002: 396-407
6	EE	David Scott, Richard Sharp: Developing Secure Web Applications. IEEE Internet Computing 6(6): 38-45 (2002)
2001
5	EE	Alan Mycroft, Richard Sharp: Hardware Synthesis Using SAFL and Application to Processor Design. CHARME 2001: 13-39
4	EE	Richard Sharp, Alan Mycroft: A Higher-Level Language for Hardware Synthesis. CHARME 2001: 228-243
3	EE	Richard Sharp, Alan Mycroft: Soft Scheduling for Hardware. SAS 2001: 57-72
2	EE	Alan Mycroft, Richard Sharp: Hardware/Software Co-Design Using Functional Languages. TACAS 2001: 236-251
2000
1	EE	Alan Mycroft, Richard Sharp: A Statically Allocated Parallel Functional Language. ICALP 2000: 37-48

Coauthor Index

1	Jacob Adams	[24]
2	Alastair R. Beresford	[22]
3	Alan F. Blackwell	[23]
4	Gaetano Borriello	[19]
5	Alain de Bruin	[25] [26]
6	Lee Cooper	[26] [27]
7	Robert Crane	[24]
8	Robert Ennals	[13] [20]
9	Alex Gulacy	[26]
10	Kun Huang	[25] [26] [27]
11	M. Okan Irfanoglu	[26]
12	Firdaus Janoos	[25]
13	Tahsin M. Kurç	[26]
14	Robert Lee	[24]
15	Gustavo Leone	[25] [26] [27]
16	Alan L. Liu	[19]
17	Raghu Machiraju	[16] [21] [24] [25] [26] [27]
18	Anil Madhavapeddy	[11] [12] [15] [18] [23] [28]
19	Kishore Mosaliganti	[25] [26] [27]
20	Alan Mycroft	[1] [2] [3] [4] [5] [9] [12] [13] [20]
21	Tony Offer	[19]
22	Christopher Palistrant	[19]
23	Tony Pan	[26]
24	Trevor Pering	[28]
25	Randall Ridgway	[25] [26]
26	Atanas Rountev	[17]
27	Joel H. Saltz	[25] [26] [27]
28	David Scott	[6] [7] [10] [11] [12] [15] [18] [23]
29	James Scott	[22]
30	Ashish Sharma	[26]
31	Eleanor F. Toye	[23]
32	Eben Upton	[15] [23]
33	Roy Want	[28]
34	Pamela Wenzel	[25] [26]

Colors in the list of coauthors