Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/birthday/VardiF0T22,
  author       = {Moshe Y. Vardi and
                  Seth Fogarty and
                  Yong Li and
                  Yih{-}Kuen Tsay},
  title        = {Towards a Grand Unification of B{\"{u}}chi Complementation Constructions},
  booktitle    = {Principles of Systems Design},
  series       = {Lecture Notes in Computer Science},
  volume       = {13660},
  pages        = {185--207},
  publisher    = {Springer},
  year         = {2022}
}

@inproceedings{DBLP:conf/cgo/SteinF18,
  author       = {Charles Stein and
                  Seth Fogarty},
  title        = {dsmodels: {A} Little Language for Dynamical Systems},
  booktitle    = {RWDSL@CGO},
  pages        = {3:1--3:10},
  publisher    = {{ACM}},
  year         = {2018}
}

@inproceedings{DBLP:conf/icla/FisherFV17,
  author       = {Corey Fisher and
                  Seth Fogarty and
                  Moshe Y. Vardi},
  title        = {Random Models for Evaluating Efficient B{\"{u}}chi Universality
                  Checking},
  booktitle    = {{ICLA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10119},
  pages        = {91--105},
  publisher    = {Springer},
  year         = {2017}
}

@article{DBLP:journals/iandc/FogartyKVW15,
  author       = {Seth Fogarty and
                  Orna Kupferman and
                  Moshe Y. Vardi and
                  Thomas Wilke},
  title        = {Profile trees for B{\"{u}}chi word automata, with application
                  to determinization},
  journal      = {Inf. Comput.},
  volume       = {245},
  pages        = {136--151},
  year         = {2015}
}

@article{DBLP:journals/corr/TsaiFVT14,
  author       = {Ming{-}Hsien Tsai and
                  Seth Fogarty and
                  Moshe Y. Vardi and
                  Yih{-}Kuen Tsay},
  title        = {State of B{\"{u}}chi Complementation},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014}
}

@article{DBLP:journals/corr/abs-1302-2675,
  author       = {Seth Fogarty and
                  Orna Kupferman and
                  Thomas Wilke and
                  Moshe Y. Vardi},
  title        = {Unifying B{\"{u}}chi Complementation Constructions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {9},
  number       = {1},
  year         = {2013}
}

@inproceedings{DBLP:journals/corr/FogartyKVW13,
  author       = {Seth Fogarty and
                  Orna Kupferman and
                  Moshe Y. Vardi and
                  Thomas Wilke},
  title        = {Profile Trees for B{\"{u}}chi Word Automata, with Application
                  to Determinization},
  booktitle    = {GandALF},
  series       = {{EPTCS}},
  volume       = {119},
  pages        = {107--121},
  year         = {2013}
}

@article{DBLP:journals/corr/abs-1110-6183,
  author       = {Seth Fogarty and
                  Moshe Y. Vardi},
  title        = {B{\"{u}}chi Complementation and Size-Change Termination},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {8},
  number       = {1},
  year         = {2012}
}

@inproceedings{DBLP:conf/csl/FogartyKVW11,
  author       = {Seth Fogarty and
                  Orna Kupferman and
                  Moshe Y. Vardi and
                  Thomas Wilke},
  title        = {Unifying B{\"{u}}chi Complementation Constructions},
  booktitle    = {{CSL}},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {248--263},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011}
}

@inproceedings{DBLP:conf/fdg/CooperKMLBBFPp11,
  author       = {Seth Cooper and
                  Firas Khatib and
                  Ilya Makedon and
                  Hao L{\"{u}} and
                  Janos Barbero and
                  David Baker and
                  James Fogarty and
                  Zoran Popovic and
                  Foldit players},
  title        = {Analysis of social gameplay macros in the Foldit cookbook},
  booktitle    = {{FDG}},
  pages        = {9--14},
  publisher    = {{ACM}},
  year         = {2011}
}

@article{DBLP:journals/corr/abs-1108-2704,
  author       = {Seth James Nielson and
                  Seth J. Fogarty and
                  Dan S. Wallach},
  title        = {Attacks on Local Searching Tools},
  journal      = {CoRR},
  volume       = {abs/1108.2704},
  year         = {2011}
}

@inproceedings{DBLP:conf/tacas/FogartyV10,
  author       = {Seth Fogarty and
                  Moshe Y. Vardi},
  title        = {Efficient B{\"{u}}chi Universality Checking},
  booktitle    = {{TACAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6015},
  pages        = {205--220},
  publisher    = {Springer},
  year         = {2010}
}

@inproceedings{DBLP:conf/wia/TsaiFVT10,
  author       = {Ming{-}Hsien Tsai and
                  Seth Fogarty and
                  Moshe Y. Vardi and
                  Yih{-}Kuen Tsay},
  title        = {State of B{\"{u}}chi Complementation},
  booktitle    = {{CIAA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6482},
  pages        = {261--271},
  publisher    = {Springer},
  year         = {2010}
}

@inproceedings{DBLP:conf/tacas/FogartyV09,
  author       = {Seth Fogarty and
                  Moshe Y. Vardi},
  title        = {B{\"{u}}chi Complementation and Size-Change Termination},
  booktitle    = {{TACAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5505},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2009}
}

@inproceedings{DBLP:conf/pepm/FogartyPST07,
  author       = {Seth Fogarty and
                  Emir Pasalic and
                  Jeremy G. Siek and
                  Walid Taha},
  title        = {Concoqtion: indexed types now!},
  booktitle    = {{PEPM}},
  pages        = {112--121},
  publisher    = {{ACM}},
  year         = {2007}
}