Search dblp for Publications

export results for "toc:db/conf/acm/turing2012.bht:"

 download as .bib file

@inproceedings{DBLP:conf/acm/Cerf12,
  author       = {Vinton G. Cerf},
  title        = {Welcome to the {ACM} Turing Centenary Program},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {2:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322178},
  doi          = {10.1145/2322176.2322178},
  timestamp    = {Tue, 06 Nov 2018 16:58:24 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/Cerf12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/CerfHKRS12,
  author       = {Vint Cerf and
                  John E. Hopcroft and
                  Robert E. Kahn and
                  Ronald L. Rivest and
                  Adi Shamir},
  title        = {Information, Data, Security in a Networked Future},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {14:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322190},
  doi          = {10.1145/2322176.2322190},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/CerfHKRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/Clarke12,
  author       = {Edmund M. Clarke},
  title        = {Computable Real Numbers and Why They Are Still Important Today},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {10:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322186},
  doi          = {10.1145/2322176.2322186},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/Clarke12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/GrahamALW12,
  author       = {Susan L. Graham and
                  Frances E. Allen and
                  Barbara Liskov and
                  Niklaus Wirth},
  title        = {Programming Languages - Past Achievements and Future Challenges},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {12:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322188},
  doi          = {10.1145/2322176.2322188},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/GrahamALW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/GroszFMPR12,
  author       = {Barbara J. Grosz and
                  Edward A. Feigenbaum and
                  Marvin Minsky and
                  Judea Pearl and
                  Raj Reddy},
  title        = {Human and Machine Intelligence},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {4:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322180},
  doi          = {10.1145/2322176.2322180},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/GroszFMPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/HartmanisCKSY12,
  author       = {Juris Hartmanis and
                  Stephen Cook and
                  William Kahan and
                  Richard Edwin Stearns and
                  Andrew C. Yao},
  title        = {The Turing Computational Model},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {8:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322184},
  doi          = {10.1145/2322176.2322184},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/HartmanisCKSY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/Kay12,
  author       = {Alan C. Kay},
  title        = {Extracting Energy from the Turing Tarpit},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {7:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322183},
  doi          = {10.1145/2322176.2322183},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/Kay12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/Lampson12,
  author       = {Butler W. Lampson},
  title        = {What Computers Do: Model, Connect and Engage},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {5:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322181},
  doi          = {10.1145/2322176.2322181},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/Lampson12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/MalkhiCEST12,
  author       = {Dahlia Malkhi and
                  Fernando J. Corbat{\'{o}} and
                  E. Allen Emerson and
                  Joseph Sifakis and
                  Ken Thompson},
  title        = {Systems Architecture, Design, Engineering, and Verification - The
                  Practice in Research and Research in Practice},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {6:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322182},
  doi          = {10.1145/2322176.2322182},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/MalkhiCEST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/PapadimitriouAK12,
  author       = {Christos H. Papadimitriou and
                  Leonard M. Adleman and
                  Richard M. Karp and
                  Donald E. Knuth and
                  Robert E. Tarjan and
                  Leslie G. Valiant},
  title        = {An Algorithmic View of the Universe},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {13:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322189},
  doi          = {10.1145/2322176.2322189},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/PapadimitriouAK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/PattersonBST12,
  author       = {David A. Patterson and
                  Frederick P. Brooks Jr. and
                  Ivan E. Sutherland and
                  Charles P. Thacker},
  title        = {Computer Architecture},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {11:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322187},
  doi          = {10.1145/2322176.2322187},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acm/PattersonBST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/RijsbergenBGHN12,
  author       = {Keith van Rijsbergen and
                  Charles W. Bachman and
                  Kelly Gotlieb and
                  Wendy Hall and
                  William Newman},
  title        = {Turing the Man},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {3:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322179},
  doi          = {10.1145/2322176.2322179},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/RijsbergenBGHN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/Scott12,
  author       = {Dana S. Scott},
  title        = {Lambda Calculus Then and Now},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {9:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322185},
  doi          = {10.1145/2322176.2322185},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/Scott12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/White12,
  author       = {John White},
  title        = {Welcome to the {ACM} Turing Centenary Celebration!},
  booktitle    = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  pages        = {1:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176.2322177},
  doi          = {10.1145/2322176.2322177},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/White12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/acm/2012t,
  title        = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
                  California, USA, June 15-16, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2322176},
  doi          = {10.1145/2322176},
  isbn         = {978-1-4503-3919-3},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/2012t.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.