Christopher Taylor

	2009
2		Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik: Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV 2009: 414-429
	2006
1		Christopher Taylor, Ali Rahimi, Jonathan Bachrach, Howard E. Shrobe, Anthony Grue: Simultaneous localization, calibration, and tracking in an ad hoc sensor network. IPSN 2006: 27-33

Coauthor Index

1	Jonathan Bachrach	[1]
2	Vladimir Frolov	[2]
3	Rajnish Ghughal	[2]
4	Anthony Grue	[1]
5	Roope Kaivola	[2]
6	Armaghan Naik	[2]
7	Naren Narasimhan	[2]
8	Sudhindra Pandav	[2]
9	Ali Rahimi	[1]
10	Erik Reeber	[2]
11	Howard E. Shrobe	[1]
12	Anna Slobodová	[2]
13	Amber Telfer	[2]
14	Jesse Whittemore	[2]

Colors in the list of coauthors