Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Seth Fogarty"
@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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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} }
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.