Concoqtion: indexed types now! - Seth Fogarty; Emir Pasalic; Jeremy G. Siek; Walid Taha (PEPM, 2007)

Efficient Büchi Universality Checking. - Seth Fogarty; Moshe Y. Vardi (TACAS, 2010)

Büchi Complementation and Size-Change Termination - Seth Fogarty; Moshe Y. Vardi (Log. Methods Comput. Sci., 2012)

Profile Trees for Büchi Word Automata, with Application to Determinization. - Seth Fogarty; Orna Kupferman; Moshe Y. Vardi; Thomas Wilke (GandALF, 2013)

Unifying Büchi Complementation Constructions - Seth Fogarty; Orna Kupferman; Thomas Wilke; Moshe Y. Vardi (Log. Methods Comput. Sci., 2013)

State of Büchi Complementation. - Ming-Hsien Tsai 001; Seth Fogarty; Moshe Y. Vardi; Yih-Kuen Tsay (Log. Methods Comput. Sci., 2014)

Random Models for Evaluating Efficient Büchi Universality Checking. - Corey Fisher; Seth Fogarty; Moshe Y. Vardi (ICLA, 2017)

dsmodels: A Little Language for Dynamical Systems. - Charles Stein; Seth Fogarty (RWDSL@CGO, 2018)

Towards a Grand Unification of Büchi Complementation Constructions. - Moshe Y. Vardi; Seth Fogarty; Yong Li 031; Yih-Kuen Tsay (Principles of Systems Design, 2022)