Seth Fogarty

	2012
6		Seth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination Logical Methods in Computer Science 8(1): (2012)
	2011
5		Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke: Unifying Büchi Complementation Constructions. CSL 2011: 248-263
	2010
4		Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay: State of Büchi Complementation. CIAA 2010: 261-271
3		Seth Fogarty, Moshe Y. Vardi: Efficient Büchi Universality Checking. TACAS 2010: 205-220
	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	Orna Kupferman	[5]
2	Emir Pasalic	[1]
3	Jeremy G. Siek	[1]
4	Walid Taha	[1]
5	Ming-Hsien Tsai	[4]
6	Yih-Kuen Tsay	[4]
7	Moshe Y. Vardi	[2] [3] [4] [5] [6]
8	Thomas Wilke	[5]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page