Seth Fogarty
Seth Fogarty
Assistant Professor, Trinity University
Verified email at - Homepage
Cited by
Cited by
Concoqtion: indexed types now!
S Fogarty, E Pasalic, J Siek, W Taha
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
State of Büchi complementation
MH Tsai, S Fogarty, M Vardi, YK Tsay
Implementation and Application of Automata, 261-271, 2011
Büchi complementation and size-change termination
S Fogarty, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2009
Efficient Büchi universality checking
S Fogarty, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2010
Profile trees for Büchi word automata, with application to determinization
S Fogarty, O Kupferman, MY Vardi, T Wilke
Information and Computation 245, 136-151, 2015
Unifying Büchi Complementation Constructions
S Fogarty, O Kupferman, T Wilke, M Vardi
Attacks on local searching tools
SJ Nielson, SJ Fogarty, DS Wallach
arXiv preprint arXiv:1108.2704, 2011
Buchi containment and size-change termination
S Fogarty
ProQuest, 2009
Random Models for Evaluating Efficient Büchi Universality Checking
C Fisher, S Fogarty, M Vardi
Indian Conference on Logic and Its Applications, 91-105, 2017
dsmodels: A Little Language for Dynamical Systems
C Stein, S Fogarty
Proceedings of the Real World Domain Specific Languages Workshop 2018, 1-10, 2018
Büchi Complementation and Size-Change Termination
MY Vardi, S Fogarty
Logical Methods in Computer Science 8, 2012
Büchi Automata as Specifications for Reactive Systems
S Fogarty
Rice University, 2012
Towards a Grand Unification of Büchi Complementation Constructions
MY Vardi, S Fogarty, Y Li, YK Tsay
Subsumption Trees for On-The-Fly Universality Checking of Finite-State Automata
E LeGros, S Fogarty
Adding H. 450 extensions to OpenH323
S Fogarty, J Maxwell, H Nguyen
Obtaining KMP string matching through MSP 511 Preliminary Report
S Fogarty
The system can't perform the operation now. Try again later.
Articles 1–16