Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Seth Fogarty"
download as .bib file
@inproceedings{DBLP:conf/birthday/VardiF0T22,
author = {Moshe Y. Vardi and
Seth Fogarty and
Yong Li and
Yih{-}Kuen Tsay},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Towards a Grand Unification of B{\"{u}}chi Complementation Constructions},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {185--207},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_9},
doi = {10.1007/978-3-031-22337-2\_9},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/VardiF0T22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SteinF18,
author = {Charles Stein and
Seth Fogarty},
title = {dsmodels: {A} Little Language for Dynamical Systems},
booktitle = {Proceedings of the Real World Domain Specific Languages Workshop,
RWDSL@CGO 2018, Vienna, Austria, February 24-24, 2018},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183895.3183898},
doi = {10.1145/3183895.3183898},
timestamp = {Fri, 05 Apr 2019 11:12:22 +0200},
biburl = {https://dblp.org/rec/conf/cgo/SteinF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/FisherFV17,
author = {Corey Fisher and
Seth Fogarty and
Moshe Y. Vardi},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Random Models for Evaluating Efficient B{\"{u}}chi Universality
Checking},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {91--105},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_8},
doi = {10.1007/978-3-662-54069-5\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/FisherFV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.ic.2014.12.021},
doi = {10.1016/J.IC.2014.12.021},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FogartyKVW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.2168/LMCS-10(4:13)2014},
doi = {10.2168/LMCS-10(4:13)2014},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/TsaiFVT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.2168/LMCS-9(1:13)2013},
doi = {10.2168/LMCS-9(1:13)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-2675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FogartyKVW13,
author = {Seth Fogarty and
Orna Kupferman and
Moshe Y. Vardi and
Thomas Wilke},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Profile Trees for B{\"{u}}chi Word Automata, with Application
to Determinization},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {107--121},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.11},
doi = {10.4204/EPTCS.119.11},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/FogartyKVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.2168/LMCS-8(1:13)2012},
doi = {10.2168/LMCS-8(1:13)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-6183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FogartyKVW11,
author = {Seth Fogarty and
Orna Kupferman and
Moshe Y. Vardi and
Thomas Wilke},
editor = {Marc Bezem},
title = {Unifying B{\"{u}}chi Complementation Constructions},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {248--263},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.248},
doi = {10.4230/LIPICS.CSL.2011.248},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/FogartyKVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Marc Cavazza and
Katherine Isbister and
Charles Rich},
title = {Analysis of social gameplay macros in the Foldit cookbook},
booktitle = {Foundations of Digital Games, FDG'11, Bordeaux, France, June 28 -
July 1, 2011},
pages = {9--14},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2159365.2159367},
doi = {10.1145/2159365.2159367},
timestamp = {Tue, 06 Nov 2018 16:58:05 +0100},
biburl = {https://dblp.org/rec/conf/fdg/CooperKMLBBFPp11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1108.2704},
eprinttype = {arXiv},
eprint = {1108.2704},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-2704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FogartyV10,
author = {Seth Fogarty and
Moshe Y. Vardi},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Efficient B{\"{u}}chi Universality Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {205--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_17},
doi = {10.1007/978-3-642-12002-2\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FogartyV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/TsaiFVT10,
author = {Ming{-}Hsien Tsai and
Seth Fogarty and
Moshe Y. Vardi and
Yih{-}Kuen Tsay},
editor = {Michael Domaratzki and
Kai Salomaa},
title = {State of B{\"{u}}chi Complementation},
booktitle = {Implementation and Application of Automata - 15th International Conference,
{CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6482},
pages = {261--271},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18098-9\_28},
doi = {10.1007/978-3-642-18098-9\_28},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/TsaiFVT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FogartyV09,
author = {Seth Fogarty and
Moshe Y. Vardi},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {B{\"{u}}chi Complementation and Size-Change Termination},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {16--30},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_2},
doi = {10.1007/978-3-642-00768-2\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FogartyV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FogartyPST07,
author = {Seth Fogarty and
Emir Pasalic and
Jeremy G. Siek and
Walid Taha},
editor = {G. Ramalingam and
Eelco Visser},
title = {Concoqtion: indexed types now!},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {112--121},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244400},
doi = {10.1145/1244381.1244400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/FogartyPST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-03 10:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
