Sledovat
Seth Fogarty
Seth Fogarty
Assistant Professor, Trinity University
E-mailová adresa ověřena na: trinity.edu - Domovská stránka
Název
Citace
Citace
Rok
Concoqtion: indexed types now!
S Fogarty, E Pasalic, J Siek, W Taha
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
692007
State of Büchi complementation
MH Tsai, S Fogarty, M Vardi, YK Tsay
Implementation and Application of Automata, 261-271, 2011
662011
B\" uchi Complementation and Size-Change Termination
S Fogarty, MY Vardi
Logical Methods in Computer Science 8, 2012
572012
Efficient Büchi universality checking
S Fogarty, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2010
502010
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
412015
Unifying Büchi Complementation Constructions
S Fogarty, O Kupferman, T Wilke, M Vardi
272013
Attacks on local searching tools
SJ Nielson, SJ Fogarty, DS Wallach
arXiv preprint arXiv:1108.2704, 2011
62011
Buchi containment and size-change termination
S Fogarty
ProQuest, 2009
42009
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
12017
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–16