Seth Fogarty

According to our database, Seth Fogarty authored at least 9 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Towards a Grand Unification of Büchi Complementation Constructions.

Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay

Proceedings of the Principles of Systems Design, 2022

2018

dsmodels: A Little Language for Dynamical Systems.

Charles Stein, Seth Fogarty

Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017

Random Models for Evaluating Efficient Büchi Universality Checking.

Corey Fisher, Seth Fogarty, Moshe Y. Vardi

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2014

State of Büchi Complementation.

Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay

Log. Methods Comput. Sci., 2014

2013

Unifying Büchi Complementation Constructions

Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi

Log. Methods Comput. Sci., 2013

Profile Trees for Büchi Word Automata, with Application to Determinization.

Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

2012

Büchi Complementation and Size-Change Termination

Seth Fogarty, Moshe Y. Vardi

Log. Methods Comput. Sci., 2012

2010

Efficient Büchi Universality Checking.

Seth Fogarty, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2007

Concoqtion: indexed types now!

Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007