Brian Kahne

	2005
3		Brian Kahne, Aseem Gupta, Peter Wilson, Nikil D. Dutt: An Introduction to the Plasma Language. MTV 2005: 12-22
2		Brian Kahne, Magdy S. Abadir: Retiming Verification Using Sequential Equivalence Checking. MTV 2005: 138-142
	1997
1		Brian Kahne, Peter M. Athanas: Stream synthesis for a wormhole run-time reconfigurable platform. FPL 1997: 101-110

Coauthor Index

1	Magdy S. Abadir	[2]
2	Peter M. Athanas (Peter Athanas)	[1]
3	Nikil D. Dutt (Nikil Dutt)	[3]
4	Aseem Gupta	[3]
5	Peter Wilson	[3]

Colors in the list of coauthors