Seth Fogarty Vis

*	2009
2	EE	Seth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30
	2007
1	EE	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