| Concoqtion: indexed types now! S Fogarty, E Pasalic, J Siek, W Taha Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 69 | 2007 |
| State of Büchi complementation MH Tsai, S Fogarty, M Vardi, YK Tsay Implementation and Application of Automata, 261-271, 2011 | 67 | 2011 |
| B\" uchi Complementation and Size-Change Termination S Fogarty, MY Vardi Logical Methods in Computer Science 8, 2012 | 57 | 2012 |
| Efficient Büchi universality checking S Fogarty, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2010 | 49 | 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 | 40 | 2015 |
| Unifying Büchi Complementation Constructions S Fogarty, O Kupferman, T Wilke, M Vardi | 27 | 2013 |
| Attacks on local searching tools SJ Nielson, SJ Fogarty, DS Wallach arXiv preprint arXiv:1108.2704, 2011 | 6 | 2011 |
| Buchi containment and size-change termination S Fogarty ProQuest, 2009 | 4 | 2009 |
| Random Models for Evaluating Efficient Büchi Universality Checking C Fisher, S Fogarty, M Vardi Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2017 | 1 | 2017 |
| Towards a Grand Unification of Büchi Complementation Constructions MY Vardi, S Fogarty, Y Li, YK Tsay Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | | 2022 |
| dsmodels: A Little Language for Dynamical Systems C Stein, S Fogarty Proceedings of the Real World Domain Specific Languages Workshop 2018, 1-10, 2018 | | 2018 |
| Büchi Automata as Specifications for Reactive Systems S Fogarty Rice University, 2012 | | 2012 |
| Concoqtion S Fogarty, E Pasalic, J Siek, W Taha Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | | 2007 |
| 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 | | |
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
