Seth Fogarty

13 papers A 2B 1C 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2022 — conf
Towards a Grand Unification of Büchi Complementation Constructions.
Principles of Systems Design
Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
2018 — conf
dsmodels: A Little Language for Dynamical Systems.
RWDSL@CGO
Charles Stein, Seth Fogarty
2017 — conf
Random Models for Evaluating Efficient Büchi Universality Checking.
ICLA
Corey Fisher, Seth Fogarty, Moshe Y. Vardi
2015 J jnl
Profile trees for Büchi word automata, with application to determinization.
Inf. Comput.
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke
2014 J jnl
State of Büchi Complementation.
Log. Methods Comput. Sci.
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
2013 — conf
Profile Trees for Büchi Word Automata, with Application to Determinization.
GandALF
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke
2013 J jnl
Unifying Büchi Complementation Constructions
Log. Methods Comput. Sci.
Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi
2012 J jnl
Büchi Complementation and Size-Change Termination
Log. Methods Comput. Sci.
Seth Fogarty, Moshe Y. Vardi
2011 B conf
Unifying Büchi Complementation Constructions.
CSL
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke
2010 A conf
Efficient Büchi Universality Checking.
TACAS
Seth Fogarty, Moshe Y. Vardi
2010 C conf
State of Büchi Complementation.
CIAA
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
2009 A conf
Büchi Complementation and Size-Change Termination.
TACAS
Seth Fogarty, Moshe Y. Vardi
2007 C conf
Concoqtion: indexed types now!
PEPM
Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha