Steve McKeever

	2009
18		Daniele Gianni, Steve McKeever, Nic Smith: euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart. FIMH 2009: 407-416
	2008
17		Yudong Sun, Steve McKeever: Converting Biomolecular Modelling Data Based on an XML Representation. J. Integrative Bioinformatics 5(2): (2008)
16		Jonathan Cooper, Steve McKeever: A model-driven approach to automatic conversion of physical units. Softw., Pract. Exper. 38(4): 337-359 (2008)
	2007
15		Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom: A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide. BIBM 2007: 294-301
14		Johan Ditmar, Steve McKeever: Array Synthesis in SystemC Hardware Compilation. FPL 2007: 23-28
13		Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom: Integrating multi-level molecular simulations across heterogeneous resources. GRID 2007: 161-168
12		Jonathan Cooper, Steve McKeever: Experience report: a Haskell interpreter for cellML. ICFP 2007: 247-250
11		Rui Zhang, Bruno C. D. S. Oliveira, Alan Bivens, Steve McKeever: Scalable problem localization for distributed systems: principles and practices. Infoscale 2007: 76
10		Rui Zhang, Steve Moyle, Steve McKeever, Alan Bivens: Performance problem localization in self-healing, service-oriented systems using Bayesian networks. SAC 2007: 104-109
	2006
9		Jonathan Cooper, Steve McKeever, Alan Garny: On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. PEPM 2006: 12-20
8		Steve McKeever, Wayne Luk: Provably-correct hardware compilation tools based on pass separation techniques. Formal Asp. Comput. 18(2): 120-142 (2006)
	2005
7		Rui Zhang, Steve Moyle, Steve McKeever, Stephen Heisig: OGSA-based grid workload monitoring. CCGRID 2005: 668-675
	2003
6		Steve McKeever, Wayne Luk, Arran Derbyshire: Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. HICSS 2003: 279
5		Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever: On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE 2003: 628-633
	2002
4		Steve McKeever, Wayne Luk, Arran Derbyshire: Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries. FMCAD 2002: 342-359
	2001
3		Steve McKeever, Wayne Luk: Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques. CHARME 2001: 212-227
	1999
2		Florent de Dinechin, Wayne Luk, Steve McKeever: Towards Adaptable Hierarchical Placement for FPGAs. FPGA 1999: 254
	1998
1		Wayne Luk, Steve McKeever: Pebble: A Language for Parametrised and Reconfigurable Hardware Design. FPL 1998: 9-18

Coauthor Index

1	Kia Balali-Mood	[13] [15]
2	Alan Bivens	[10] [11]
3	Jonathan Cooper	[9] [12] [16]
4	Jim Davies	[5]
5	Arran Derbyshire	[4] [6]
6	Florent de Dinechin	[2]
7	Johan Ditmar	[14]
8	Alan Garny	[9]
9	Daniele Gianni	[18]
10	Jeremy Gibbons	[5]
11	Stephen Heisig	[7]
12	Wayne Luk	[1] [2] [3] [4] [6] [8]
13	Andrew Martin	[5]
14	Steve Moyle	[7] [10]
15	Bruno C. D. S. Oliveira	[11]
16	Mark S. P. Sansom	[13] [15]
17	Andrew C. Simpson (Andrew Simpson)	[5]
18	Nic Smith	[18]
19	Yudong Sun	[13] [15] [17]
20	Rui Zhang	[7] [10] [11]

Colors in the list of coauthors