Chris Hunter

	2009
4		Siddharth Gupta, Chris Hunter, Patrick Murphy, Ashutosh Sabharwal: WARPnet: clean slate research on deployed wireless networks. MobiHoc 2009: 331-332
	2005
3		Chris Hunter, Peter Robinson, Paul A. Strooper: Agent-Based Distributed Software Verification. ACSC 2005: 159-164
	2004
2		Chris Hunter, Peter Robinson, Paul A. Strooper: Flexible Proof Reuse for Software Verification. AMAST 2004: 211-225
	2001
1		Chris Hunter, Paul A. Strooper: Systematically Deriving Partial Oracles for Testing Concurrent Programs. ACSC 2001: 83-91

Coauthor Index

1	Siddharth Gupta	[4]
2	Patrick Murphy	[4]
3	Peter Robinson	[2] [3]
4	Ashutosh Sabharwal	[4]
5	Paul A. Strooper	[1] [2] [3]

Colors in the list of coauthors