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

2015

Profile trees for Büchi word automata, with application to determinization.

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

Inf. Comput., 2015

2011

Unifying Büchi Complementation Constructions.

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

Proceedings of the Computer Science Logic, 2011

2010

State of Büchi Complementation.

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

Proceedings of the Implementation and Application of Automata, 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

2009

Büchi Complementation and Size-Change Termination.

Seth Fogarty, Moshe Y. Vardi

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

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