☰

Seth Fogarty, Ph.D.

Affiliations: 
2012 Rice University, Houston, TX 
Area:
Computer Science
Google:
"Seth Fogarty"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Moshe Y. Vardi grad student 2012 Rice University
 (Buchi Automata as Specifications for Reactive Systems.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Fogarty S, Kupferman O, Vardi MY, et al. (2015) Profile trees for Büchi word automata, with application to determinization Information and Computation. 245: 136-151
Tsai M, Fogarty S, Vardi MY, et al. (2014) State of Büchi Complementation Logical Methods in Computer Science. 10
Tsai MH, Fogarty S, Vardi MY, et al. (2011) State of Büchi complementation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6482: 261-271
Fogarty S, Vardi MY. (2010) Efficient Büchi universality checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6015: 205-220
Fogarty S, Vardi MY. (2009) Büchi complementation and size-change termination Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5505: 16-30
See more...