Concepedia

Seth Fogarty

SF

Statistics

Publications

5

Citations

134

H-Index

5

Active since

2007

Affiliations

Rice University(Current)

Trinity University

Hebrew University of Jerusalem

Christian-Albrechts-Universität zu Kiel

Seth Fogarty is an author at Rice University specializing in computing, computer science, and automata theory.

Publications per year

2007–2015

5

Publications

5

Concoqtion

Seth Fogarty, Jeremy G. Siek, Walid Taha · 2007 · 58 citations

Computing, Computer Science, Compilers +13

Unifying B\"uchi Complementation Constructions

Seth Fogarty, Orna Kupferman, Thomas Wilke et al. · Logical Methods in Computer Science · 2013 · 28 citations · Full text

Computing, Computer Science, Algorithms +12

State of B\"uchi Complementation

Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi et al. · Logical Methods in Computer Science · 2014 · 21 citations · Full text

Computing, Computer Science, Algorithms +10

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

Seth Fogarty, Orna Kupferman, Moshe Y. Vardi et al. · Information and Computation · 2015 · 17 citations

Computing, Computer Science, Mathematics +11

B\"uchi Complementation and Size-Change Termination

Seth Fogarty, Moshe Y. Vardi · Logical Methods in Computer Science · 2012 · 10 citations · Full text

Computing, Computer Science, Algorithms +14

1–5 of 5