Brian E. Aydemir

发表

Xin Yu, Christoph Kreitz, Jason Hickey, 2003, TPHOLs.

Jason Hickey, Adam Granicz, Aleksey Nogin, 2003 .

Andrew W. Appel, Arthur Charguéraud, Hervé Grall, 2007 .

Stephanie Weirich, Brian E. Aydemir, Aaron Bohannon, 2007, Electron. Notes Theor. Comput. Sci..

Arthur Charguéraud, Benjamin C. Pierce, Stephanie Weirich, 2008, POPL '08.

Jason Hickey, Adam Granicz, Brian E. Aydemir, 2002 .

K. Mani Chandy, Daniel M. Zimmerman, Brian E. Aydemir, 2003 .

Benjamin C. Pierce, Stephanie Weirich, Nate Foster, 2005, TPHOLs.

Jason Hickey, Adam Granicz, Brian E. Aydemir, 2003 .

K. Mani Chandy, K. M. Chandy, Brian E. Aydemir, 2003 .