Brian E. Aydemir

	2008
4		Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich: Engineering formal metatheory. POPL 2008: 3-15
	2007
3		Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich: Nominal Reasoning Techniques in Coq: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 174(5): 69-77 (2007)
	2005
2		Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65
	2003
1		Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu: MetaPRL - A Modular Logical Environment. TPHOLs 2003: 287-303

Coauthor Index

1	Eli Barzilay	[1]
2	Aaron Bohannon	[2] [3]
3	Yegor Bryukhov	[1]
4	Arthur Charguéraud	[4]
5	Robert L. Constable	[1]
6	Richard Eaton	[1]
7	Matthew Fairbairn	[2]
8	J. Nathan Foster	[2]
9	Adam Granicz	[1]
10	Jason Hickey	[1]
11	Alexei Kopylov	[1]
12	Christoph Kreitz	[1]
13	Vladimir Krupski	[1]
14	Lori Lorigo	[1]
15	Aleksey Nogin	[1]
16	Benjamin C. Pierce	[2] [4]
17	Randy Pollack	[4]
18	Stephan Schmitt	[1]
19	Peter Sewell	[2]
20	Dimitrios Vytiniotis	[2]
21	Geoffrey Washburn	[2]
22	Stephanie Weirich	[2] [3] [4]
23	Carl Witty	[1]
24	Xin Yu	[1]
25	Steve Zdancewic	[2]

Colors in the list of coauthors