Travelled to:1 × Canada
1 × Cyprus
1 × France
1 × Norway
1 × United Kingdom
Collaborated with:M.Y.Vardi O.Kupferman T.Wilke M.Tsai Y.Tsay E.Pasalic J.G.Siek W.Taha
Talks about:büchi (4) complement (3) construct (1) univers (1) concoqt (1) termin (1) effici (1) unifi (1) state (1) index (1)
Person: Seth Fogarty
DBLP: Fogarty:Seth
Contributed to:
2011
2010
20102009
2007Wrote 5 papers:
- CSL-2011-FogartyKVW #automaton
- Unifying Büchi Complementation Constructions (SF, OK, MYV, TW), pp. 248–263.
- CIAA-2010-TsaiFVT #automaton
- State of Büchi Complementation (MHT, SF, MYV, YKT), pp. 261–271.
- TACAS-2010-FogartyV #automaton #performance
- Efficient Büchi Universality Checking (SF, MYV), pp. 205–220.
- TACAS-2009-FogartyV #automaton #termination
- Büchi Complementation and Size-Change Termination (SF, MYV), pp. 16–30.
- PEPM-2007-FogartyPST #exclamation #named
- Concoqtion: indexed types now! (SF, EP, JGS, WT), pp. 112–121.