Seth Fogarty

	2009
2		Seth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30
	2007
1		Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha: Concoqtion: indexed types now! PEPM 2007: 112-121

Coauthor Index

1	Emir Pasalic	[1]
2	Jeremy G. Siek	[1]
3	Walid Taha	[1]
4	Moshe Y. Vardi	[2]

Colors in the list of coauthors