@inproceedings{ conf/uist/FastLABKS13,
  added-at = {2013-10-17T00:00:00.000+0200},
  author = {Fast, Ethan and Lee, Colleen and Aiken, Alex and Bernstein, Michael S. and Koller, Daphne and Smith, Eric},
  biburl = {http://www.bibsonomy.org/bibtex/2286ba5fa8e9cdfc5bab5c72e4c7f7109/dblp},
  booktitle = {UIST},
  crossref = {conf/uist/2013},
  editor = {Izadi, Shahram and Quigley, Aaron J. and Poupyrev, Ivan and Igarashi, Takeo},
  ee = {http://doi.acm.org/10.1145/2501988.2502028},
  interhash = {354775003c74775acd569552e447c009},
  intrahash = {286ba5fa8e9cdfc5bab5c72e4c7f7109},
  isbn = {978-1-4503-2268-3},
  keywords = {dblp},
  pages = {363-372},
  publisher = {ACM},
  title = {Crowd-scale interactive formal reasoning and analytics.},
  url = {http://dblp.uni-trier.de/db/conf/uist/uist2013.html#FastLABKS13},
  year = {2013}
}

{"_id":{"_str":"537c54b6b3aa042605005b70"},"__v":0,"authorIDs":[],"author_short":["Fast, E.","Lee, C.","Aiken, A.","Bernstein, M.<nbsp>S.","Koller, D.","Smith, E."],"bibbaseid":"fast-lee-aiken-bernstein-koller-smith-crowdscaleinteractiveformalreasoningandanalytics-2013","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"fast-lee-aiken-bernstein-koller-smith-crowdscaleinteractiveformalreasoningandanalytics-2013","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/uist/uist2013.html#FastLABKS13","Link":"http://doi.acm.org/10.1145/2501988.2502028"},"role":"author","year":"2013","url":"http://dblp.uni-trier.de/db/conf/uist/uist2013.html#FastLABKS13","type":"inproceedings","title":"Crowd-scale interactive formal reasoning and analytics.","publisher":"ACM","pages":"363-372","keywords":"dblp","key":"conf/uist/FastLABKS13","isbn":"978-1-4503-2268-3","intrahash":"286ba5fa8e9cdfc5bab5c72e4c7f7109","interhash":"354775003c74775acd569552e447c009","id":"conf/uist/FastLABKS13","ee":"http://doi.acm.org/10.1145/2501988.2502028","editor_short":["Izadi, S.","Quigley, A.<nbsp>J.","Poupyrev, I.","Igarashi, T."],"editor":["Izadi, Shahram","Quigley, Aaron J.","Poupyrev, Ivan","Igarashi, Takeo"],"crossref":"conf/uist/2013","booktitle":"UIST","biburl":"http://www.bibsonomy.org/bibtex/2286ba5fa8e9cdfc5bab5c72e4c7f7109/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/uist/FastLABKS13,\n added-at = {2013-10-17T00:00:00.000+0200},\n author = {Fast, Ethan and Lee, Colleen and Aiken, Alex and Bernstein, Michael S. and Koller, Daphne and Smith, Eric},\n biburl = {http://www.bibsonomy.org/bibtex/2286ba5fa8e9cdfc5bab5c72e4c7f7109/dblp},\n booktitle = {UIST},\n crossref = {conf/uist/2013},\n editor = {Izadi, Shahram and Quigley, Aaron J. and Poupyrev, Ivan and Igarashi, Takeo},\n ee = {http://doi.acm.org/10.1145/2501988.2502028},\n interhash = {354775003c74775acd569552e447c009},\n intrahash = {286ba5fa8e9cdfc5bab5c72e4c7f7109},\n isbn = {978-1-4503-2268-3},\n keywords = {dblp},\n pages = {363-372},\n publisher = {ACM},\n title = {Crowd-scale interactive formal reasoning and analytics.},\n url = {http://dblp.uni-trier.de/db/conf/uist/uist2013.html#FastLABKS13},\n year = {2013}\n}","author_short":["Fast, E.","Lee, C.","Aiken, A.","Bernstein, M.<nbsp>S.","Koller, D.","Smith, E."],"author":["Fast, Ethan","Lee, Colleen","Aiken, Alex","Bernstein, Michael S.","Koller, Daphne","Smith, Eric"],"added-at":"2013-10-17T00:00:00.000+0200"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Smith?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["crowd","scale","interactive","formal","reasoning","analytics","fast","lee","aiken","bernstein","koller","smith"],"title":"Crowd-scale interactive formal reasoning and analytics.","year":2013,"dataSources":["DvJyE8CDhC2bX8rnN"]}