David J. Greaves

	2008
16		Satnam Singh, David J. Greaves: Synthesizing FPGA Circuits from Parallel Programs. ARC 2008: 1
15		David J. Greaves, Satnam Singh: Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM 2008: 3-12
14		David J. Greaves, Satnam Singh: Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL 2008: 239-240
13		Atif Alvi, David J. Greaves: Checkable Domain Management with Ontology and Rules. ICIW 2008: 142-149
	2006
12		David J. Greaves: Avoiding two-level systems: Using a textual environment to address cross-cutting concerns. ICSOFT (1) 2006: 71-76
11		David J. Greaves, Daniel Gordon: Using Simple Pushlogic. WEBIST (1) 2006: 101-108
	2004
10		David J. Greaves: Automated Hardware Synthesis from Formal Specification Using SAT Solvers. IEEE International Workshop on Rapid System Prototyping 2004: 15-20
	2002
9		David J. Greaves: Control Software for Home Automation, Design Aspects and Position Paper. ICDCS Workshops 2002: 757-764
	2001
8		Umar Saif, David J. Greaves: Communication Primitives for Ubiquitous Systems or RPC Considered Harmful. ICDCS Workshops 2001: 240-245
7		Umar Saif, Daniel Gordon, David J. Greaves: Internet Access to a Home Area Network. IEEE Internet Computing 5(1): 54-63 (2001)
	2000
6		David J. Greaves: A Verilog to C Compiler. IEEE International Workshop on Rapid System Prototyping 2000: 122-127
	1996
5		Shaw-Cheng Chuang, David J. Greaves: Securing the Residential Asynchronous Transfer Mode Networks. Security Protocols Workshop 1996: 177-196
	1995
4		David J. Greaves: The CSYN Verilog Compiler and Other Tools. FPL 1995: 198-207
	1993
3		David J. Greaves, Krzysztof Zielinski: The Cambridge Backbone Network An Overview and Preliminary Performance. Computer Networks and ISDN Systems 25(10): 1127-1133 (1993)
	1992
2		David J. Greaves, Derek McAuley: Private ATM Networks. Protocols for High-Speed Networks 1992: 171-181
	1990
1		David J. Greaves, Dimitris Lioupis, Andy Hopper: The Cambridge Backbone Ring. INFOCOM 1990: 8-14

Coauthor Index

1	Atif Alvi	[13]
2	Shaw-Cheng Chuang	[5]
3	Daniel Gordon	[7] [11]
4	Andy Hopper (Andrew Hopper)	[1]
5	Dimitris Lioupis	[1]
6	Derek McAuley	[2]
7	Umar Saif	[7] [8]
8	Satnam Singh	[14] [15] [16]
9	Krzysztof Zielinski	[3]

Colors in the list of coauthors