BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fogarty:Seth

Contributed to:

CSL 20112011
CIAA 20102010
TACAS 20102010
TACAS 20092009
PEPM 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.