Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Manuel Blum 0001
@article{DBLP:journals/corr/abs-2403-17101, author = {Lenore Blum and Manuel Blum}, title = {{AI} Consciousness is Inevitable: {A} Theoretical Computer Science Perspective}, journal = {CoRR}, volume = {abs/2403.17101}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.17101}, doi = {10.48550/ARXIV.2403.17101}, eprinttype = {arXiv}, eprint = {2403.17101}, timestamp = {Wed, 10 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-17101.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-17075, author = {Lenore Blum and Manuel Blum}, title = {Viewpoint: {A} Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence}, journal = {CoRR}, volume = {abs/2303.17075}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.17075}, doi = {10.48550/ARXIV.2303.17075}, eprinttype = {arXiv}, eprint = {2303.17075}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-17075.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-13942, author = {Lenore Blum and Manuel Blum}, title = {A Theoretical Computer Science Perspective on Free Will}, journal = {CoRR}, volume = {abs/2206.13942}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.13942}, doi = {10.48550/ARXIV.2206.13942}, eprinttype = {arXiv}, eprint = {2206.13942}, timestamp = {Mon, 04 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-13942.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jaic/0001B21, author = {Manuel Blum and Lenore Blum}, title = {A Theoretical Computer Science Perspective on Consciousness}, journal = {J. Artif. Intell. Conscious.}, volume = {8}, number = {1}, pages = {1--42}, year = {2021}, url = {https://doi.org/10.1142/s2705078521500028}, doi = {10.1142/S2705078521500028}, timestamp = {Wed, 07 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jaic/0001B21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-13704, author = {Lenore Blum and Manuel Blum}, title = {A Theory of Consciousness from a Theoretical Computer Science Perspective: Insights from the Conscious Turing Machine}, journal = {CoRR}, volume = {abs/2107.13704}, year = {2021}, url = {https://arxiv.org/abs/2107.13704}, eprinttype = {arXiv}, eprint = {2107.13704}, timestamp = {Wed, 04 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-13704.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pnas/0001V20, author = {Manuel Blum and Santosh S. Vempala}, title = {The complexity of human computation via a concrete model with an application to passwords}, journal = {Proc. Natl. Acad. Sci. {USA}}, volume = {117}, number = {17}, pages = {9208--9215}, year = {2020}, url = {https://doi.org/10.1073/pnas.1801839117}, doi = {10.1073/PNAS.1801839117}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pnas/0001V20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-09850, author = {Manuel Blum and Lenore Blum}, title = {A Theoretical Computer Science Perspective on Consciousness}, journal = {CoRR}, volume = {abs/2011.09850}, year = {2020}, url = {https://arxiv.org/abs/2011.09850}, eprinttype = {arXiv}, eprint = {2011.09850}, timestamp = {Wed, 25 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-09850.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/19/0001M19, author = {Manuel Blum and Silvio Micali}, editor = {Oded Goldreich}, title = {How to generate cryptographically strong sequences of pseudo random bits}, booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali}, pages = {227--240}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3335741.3335751}, doi = {10.1145/3335741.3335751}, timestamp = {Tue, 05 Nov 2019 15:40:16 +0100}, biburl = {https://dblp.org/rec/books/acm/19/0001M19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/19/0001FM19, author = {Manuel Blum and Paul Feldman and Silvio Micali}, editor = {Oded Goldreich}, title = {Non-interactive zero-knowledge and its applications}, booktitle = {Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali}, pages = {329--349}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3335741.3335757}, doi = {10.1145/3335741.3335757}, timestamp = {Tue, 05 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/acm/19/0001FM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-00029, author = {Elan Rosenfeld and Santosh S. Vempala and Manuel Blum}, title = {Human-Usable Password Schemas: Beyond Information-Theoretic Security}, journal = {CoRR}, volume = {abs/1906.00029}, year = {2019}, url = {http://arxiv.org/abs/1906.00029}, eprinttype = {arXiv}, eprint = {1906.00029}, timestamp = {Thu, 24 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-00029.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/innovations/Blocki0DV17, author = {Jeremiah Blocki and Manuel Blum and Anupam Datta and Santosh S. Vempala}, editor = {Christos H. Papadimitriou}, title = {Towards Human Computable Passwords}, booktitle = {8th Innovations in Theoretical Computer Science Conference, {ITCS} 2017, January 9-11, 2017, Berkeley, CA, {USA}}, series = {LIPIcs}, volume = {67}, pages = {10:1--10:47}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.ITCS.2017.10}, doi = {10.4230/LIPICS.ITCS.2017.10}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/innovations/Blocki0DV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/0001V17, author = {Manuel Blum and Santosh S. Vempala}, title = {The Complexity of Human Computation: {A} Concrete Model with an Application to Passwords}, journal = {CoRR}, volume = {abs/1707.01204}, year = {2017}, url = {http://arxiv.org/abs/1707.01204}, eprinttype = {arXiv}, eprint = {1707.01204}, timestamp = {Thu, 24 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/0001V17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nature/000116, author = {Manuel Blum}, title = {Cybernetics: {A} mathematician of mind}, journal = {Nat.}, volume = {538}, number = {7623}, pages = {39--40}, year = {2016}, url = {https://doi.org/10.1038/538039a}, doi = {10.1038/538039A}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nature/000116.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hcomp/BlumV15, author = {Manuel Blum and Santosh Srinivas Vempala}, editor = {Elizabeth Gerber and Panos Ipeirotis}, title = {Publishable Humanly Usable Secure Password Creation Schemas}, booktitle = {Proceedings of the Third {AAAI} Conference on Human Computation and Crowdsourcing, {HCOMP} 2015, November 8-11, 2015, San Diego, California, {USA}}, pages = {32--41}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/hcomp.v3i1.13233}, doi = {10.1609/HCOMP.V3I1.13233}, timestamp = {Tue, 05 Sep 2023 11:10:11 +0200}, biburl = {https://dblp.org/rec/conf/hcomp/BlumV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/BlockiBD15, author = {Jeremiah Blocki and Manuel Blum and Anupam Datta}, title = {Naturally Rehearsing Passwords}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {166}, year = {2015}, url = {http://eprint.iacr.org/2015/166}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/BlockiBD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BlockiBD14, author = {Jeremiah Blocki and Manuel Blum and Anupam Datta}, title = {Human Computable Passwords}, journal = {CoRR}, volume = {abs/1404.0024}, year = {2014}, url = {http://arxiv.org/abs/1404.0024}, eprinttype = {arXiv}, eprint = {1404.0024}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BlockiBD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asiacrypt/BlockiBD13, author = {Jeremiah Blocki and Manuel Blum and Anupam Datta}, editor = {Kazue Sako and Palash Sarkar}, title = {Naturally Rehearsing Passwords}, booktitle = {Advances in Cryptology - {ASIACRYPT} 2013 - 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8270}, pages = {361--380}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-42045-0\_19}, doi = {10.1007/978-3-642-42045-0\_19}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/asiacrypt/BlockiBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BlockiBD13, author = {Jeremiah Blocki and Manuel Blum and Anupam Datta}, editor = {Ahmad{-}Reza Sadeghi and Blaine Nelson and Christos Dimitrakakis and Elaine Shi}, title = {{GOTCHA} password hackers!}, booktitle = {AISec'13, Proceedings of the 2013 {ACM} Workshop on Artificial Intelligence and Security, Co-located with {CCS} 2013, Berlin, Germany, November 4, 2013}, pages = {25--34}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2517312.2517319}, doi = {10.1145/2517312.2517319}, timestamp = {Tue, 10 Nov 2020 16:06:16 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BlockiBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1302-5122, author = {Jeremiah Blocki and Manuel Blum and Anupam Datta}, title = {Naturally Rehearsing Passwords}, journal = {CoRR}, volume = {abs/1302.5122}, year = {2013}, url = {http://arxiv.org/abs/1302.5122}, eprinttype = {arXiv}, eprint = {1302.5122}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1302-5122.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BlockiBD13, author = {Jeremiah Blocki and Manuel Blum and Anupam Datta}, title = {{GOTCHA} Password Hackers!}, journal = {CoRR}, volume = {abs/1310.1137}, year = {2013}, url = {http://arxiv.org/abs/1310.1137}, eprinttype = {arXiv}, eprint = {1310.1137}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BlockiBD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocoon/Blum10, author = {Manuel Blum}, editor = {My T. Thai and Sartaj Sahni}, title = {Understanding and Inductive Inference}, booktitle = {Computing and Combinatorics, 16th Annual International Conference, {COCOON} 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6196}, pages = {1}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14031-0\_1}, doi = {10.1007/978-3-642-14031-0\_1}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/cocoon/Blum10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icassp/AhnGKB07, author = {Luis von Ahn and Shiry Ginosar and Mihir Kedia and Manuel Blum}, title = {Improving Image Search with {PHETCH}}, booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April 15-20, 2007}, pages = {1209--1212}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ICASSP.2007.367293}, doi = {10.1109/ICASSP.2007.367293}, timestamp = {Mon, 22 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icassp/AhnGKB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/AhnLB06, author = {Luis von Ahn and Ruoran Liu and Manuel Blum}, editor = {Rebecca E. Grinter and Tom Rodden and Paul M. Aoki and Edward Cutrell and Robin Jeffries and Gary M. Olson}, title = {Peekaboom: a game for locating objects in images}, booktitle = {Proceedings of the 2006 Conference on Human Factors in Computing Systems, {CHI} 2006, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, April 22-27, 2006}, pages = {55--64}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1124772.1124782}, doi = {10.1145/1124772.1124782}, timestamp = {Fri, 12 Mar 2021 15:27:48 +0100}, biburl = {https://dblp.org/rec/conf/chi/AhnLB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/AhnKB06, author = {Luis von Ahn and Mihir Kedia and Manuel Blum}, editor = {Rebecca E. Grinter and Tom Rodden and Paul M. Aoki and Edward Cutrell and Robin Jeffries and Gary M. Olson}, title = {Verbosity: a game for collecting common-sense facts}, booktitle = {Proceedings of the 2006 Conference on Human Factors in Computing Systems, {CHI} 2006, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, April 22-27, 2006}, pages = {75--78}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1124772.1124784}, doi = {10.1145/1124772.1124784}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/chi/AhnKB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/AhnGKLB06, author = {Luis von Ahn and Shiry Ginosar and Mihir Kedia and Ruoran Liu and Manuel Blum}, editor = {Rebecca E. Grinter and Tom Rodden and Paul M. Aoki and Edward Cutrell and Robin Jeffries and Gary M. Olson}, title = {Improving accessibility of the web with a computer game}, booktitle = {Proceedings of the 2006 Conference on Human Factors in Computing Systems, {CHI} 2006, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, April 22-27, 2006}, pages = {79--82}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1124772.1124785}, doi = {10.1145/1124772.1124785}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/chi/AhnGKLB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/AhnBL04, author = {Luis von Ahn and Manuel Blum and John Langford}, title = {Telling humans and computers apart automatically}, journal = {Commun. {ACM}}, volume = {47}, number = {2}, pages = {56--60}, year = {2004}, url = {https://doi.org/10.1145/966389.966390}, doi = {10.1145/966389.966390}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/AhnBL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocrypt/AhnBHL03, author = {Luis von Ahn and Manuel Blum and Nicholas J. Hopper and John Langford}, editor = {Eli Biham}, title = {{CAPTCHA:} Using Hard {AI} Problems for Security}, booktitle = {Advances in Cryptology - {EUROCRYPT} 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2656}, pages = {294--311}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-39200-9\_18}, doi = {10.1007/3-540-39200-9\_18}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/eurocrypt/AhnBHL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asiacrypt/HopperB01, author = {Nicholas J. Hopper and Manuel Blum}, editor = {Colin Boyd}, title = {Secure Human Identification Protocols}, booktitle = {Advances in Cryptology - {ASIACRYPT} 2001, 7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9-13, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2248}, pages = {52--66}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45682-1\_4}, doi = {10.1007/3-540-45682-1\_4}, timestamp = {Tue, 01 Jun 2021 15:22:33 +0200}, biburl = {https://dblp.org/rec/conf/asiacrypt/HopperB01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/WassermanB97, author = {Hal Wasserman and Manuel Blum}, title = {Software reliability via run-time result-checking}, journal = {J. {ACM}}, volume = {44}, number = {6}, pages = {826--849}, year = {1997}, url = {https://doi.org/10.1145/268999.269003}, doi = {10.1145/268999.269003}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/WassermanB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alt/Blum97, author = {Manuel Blum}, editor = {Ming Li and Akira Maruoka}, title = {Program Error Detection/Correction: Turning {PAC} Learning into {PERFECT} Learning (Abstract)}, booktitle = {Algorithmic Learning Theory, 8th International Conference, {ALT} '97, Sendai, Japan, October 6-8, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1316}, pages = {1}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63577-7\_31}, doi = {10.1007/3-540-63577-7\_31}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/alt/Blum97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/BlumW96, author = {Manuel Blum and Hal Wasserman}, title = {Reflections on the Pentium Bug}, journal = {{IEEE} Trans. Computers}, volume = {45}, number = {4}, pages = {385--393}, year = {1996}, url = {https://doi.org/10.1109/12.494097}, doi = {10.1109/12.494097}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/BlumW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/CohenB95, author = {David S. Cohen and Manuel Blum}, title = {on the Problem of Sorting Burnt Pancakes}, journal = {Discret. Appl. Math.}, volume = {61}, number = {2}, pages = {105--120}, year = {1995}, url = {https://doi.org/10.1016/0166-218X(94)00009-3}, doi = {10.1016/0166-218X(94)00009-3}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/CohenB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BlumK95, author = {Manuel Blum and Sampath Kannan}, title = {Designing Programs that Check Their Work}, journal = {J. {ACM}}, volume = {42}, number = {1}, pages = {269--291}, year = {1995}, url = {https://doi.org/10.1145/200836.200880}, doi = {10.1145/200836.200880}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BlumK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigact/AmirBLSS95, author = {Amihood Amir and Manuel Blum and Michael C. Loui and John E. Savage and Carl Smith}, title = {Contributions of theoretical computer science}, journal = {{SIGACT} News}, volume = {26}, number = {4}, pages = {2--4}, year = {1995}, url = {https://doi.org/10.1145/219817.219820}, doi = {10.1145/219817.219820}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigact/AmirBLSS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BlumCGS95, author = {Manuel Blum and Bruno Codenotti and Peter Gemmell and Troy Shahoumian}, editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and Ferenc G{\'{e}}cseg}, title = {Self-Correcting for Function Fields Transcendental Degree}, booktitle = {Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {944}, pages = {547--557}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60084-1\_104}, doi = {10.1007/3-540-60084-1\_104}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BlumCGS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithmica/BlumEGKN94, author = {Manuel Blum and William S. Evans and Peter Gemmell and Sampath Kannan and Moni Naor}, title = {Checking the Correctness of Memories}, journal = {Algorithmica}, volume = {12}, number = {2/3}, pages = {225--244}, year = {1994}, url = {https://doi.org/10.1007/BF01185212}, doi = {10.1007/BF01185212}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithmica/BlumEGKN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumW94, author = {Manuel Blum and Hal Wasserman}, title = {Program Result-Checking: {A} Theory of Testing Meets a Test of Theory}, booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994}, pages = {382--392}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/SFCS.1994.365678}, doi = {10.1109/SFCS.1994.365678}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soda/AlonBFKNO94, author = {Noga Alon and Manuel Blum and Amos Fiat and Sampath Kannan and Moni Naor and Rafail Ostrovsky}, editor = {Daniel Dominic Sleator}, title = {Matching Nuts and Bolts}, booktitle = {Proceedings of the Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms. 23-25 January 1994, Arlington, Virginia, {USA}}, pages = {690--696}, publisher = {{ACM/SIAM}}, year = {1994}, url = {http://dl.acm.org/citation.cfm?id=314464.314673}, timestamp = {Thu, 05 Jul 2018 07:29:19 +0200}, biburl = {https://dblp.org/rec/conf/soda/AlonBFKNO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BlumLR93, author = {Manuel Blum and Michael Luby and Ronitt Rubinfeld}, title = {Self-Testing/Correcting with Applications to Numerical Problems}, journal = {J. Comput. Syst. Sci.}, volume = {47}, number = {3}, pages = {549--595}, year = {1993}, url = {https://doi.org/10.1016/0022-0000(93)90044-W}, doi = {10.1016/0022-0000(93)90044-W}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BlumLR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Blum93, author = {Manuel Blum}, editor = {Andrzej Lingas and Rolf G. Karlsson and Svante Carlsson}, title = {Program Result Checking: {A} New Approach to Making Programs More Reliable}, booktitle = {Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {700}, pages = {1--14}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56939-1\_57}, doi = {10.1007/3-540-56939-1\_57}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Blum93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/Blum93, author = {Manuel Blum}, editor = {Thomas J. Ostrand and Elaine J. Weyuker}, title = {Designing Programs to Check Their Work (Abstract)}, booktitle = {Proceedings of the 1993 International Symposium on Software Testing and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993}, pages = {1}, publisher = {{ACM}}, year = {1993}, url = {https://doi.org/10.1145/154183.154185}, doi = {10.1145/154183.154185}, timestamp = {Mon, 14 Feb 2022 11:59:49 +0100}, biburl = {https://dblp.org/rec/conf/issta/Blum93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/ArBCG93, author = {Sigal Ar and Manuel Blum and Bruno Codenotti and Peter Gemmell}, editor = {S. Rao Kosaraju and David S. Johnson and Alok Aggarwal}, title = {Checking approximate computations over the reals}, booktitle = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, {USA}}, pages = {786--795}, publisher = {{ACM}}, year = {1993}, url = {https://doi.org/10.1145/167088.167288}, doi = {10.1145/167088.167288}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/ArBCG93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumG92, author = {Manuel Blum and Oded Goldreich}, title = {Towards a Computational Theory of Statistical Tests (Extended Abstract)}, booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992}, pages = {406--416}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/SFCS.1992.267749}, doi = {10.1109/SFCS.1992.267749}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latin/Blum92, author = {Manuel Blum}, editor = {Imre Simon}, title = {Universal Statistical Tests}, booktitle = {{LATIN} '92, 1st Latin American Symposium on Theoretical Informatics, S{\~{a}}o Paulo, Brazil, April 6-10, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {583}, pages = {71--75}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0023818}, doi = {10.1007/BFB0023818}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/latin/Blum92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/AdlemanB91, author = {Leonard M. Adleman and Manuel Blum}, title = {Inductive Inference and Unsolvability}, journal = {J. Symb. Log.}, volume = {56}, number = {3}, pages = {891--900}, year = {1991}, url = {https://doi.org/10.2307/2275058}, doi = {10.2307/2275058}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/AdlemanB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/BlumSMP91, author = {Manuel Blum and Alfredo De Santis and Silvio Micali and Giuseppe Persiano}, title = {Noninteractive Zero-Knowledge}, journal = {{SIAM} J. Comput.}, volume = {20}, number = {6}, pages = {1084--1118}, year = {1991}, url = {https://doi.org/10.1137/0220068}, doi = {10.1137/0220068}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/BlumSMP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumEGKN91, author = {Manuel Blum and William S. Evans and Peter Gemmell and Sampath Kannan and Moni Naor}, title = {Checking the Correctness of Memories}, booktitle = {32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991}, pages = {90--99}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/SFCS.1991.185352}, doi = {10.1109/SFCS.1991.185352}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumEGKN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Blum91, author = {Manuel Blum}, editor = {Somenath Biswas and Kesav V. Nori}, title = {Program Checking}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {560}, pages = {1--9}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54967-6\_57}, doi = {10.1007/3-540-54967-6\_57}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Blum91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/BlumLR90, author = {Manuel Blum and Michael Luby and Ronitt Rubinfeld}, editor = {Harriet Ortiz}, title = {Self-Testing/Correcting with Applications to Numerical Problems}, booktitle = {Proceedings of the 22nd Annual {ACM} Symposium on Theory of Computing, May 13-17, 1990, Baltimore, Maryland, {USA}}, pages = {73--83}, publisher = {{ACM}}, year = {1990}, url = {https://doi.org/10.1145/100216.100225}, doi = {10.1145/100216.100225}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/BlumLR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jal/AmatoBIR89, author = {Nancy M. Amato and Manuel Blum and Sandy Irani and Ronitt Rubinfeld}, title = {Reversing Trains: {A} Turn of the Century Sorting Problem}, journal = {J. Algorithms}, volume = {10}, number = {3}, pages = {413--428}, year = {1989}, url = {https://doi.org/10.1016/0196-6774(89)90037-0}, doi = {10.1016/0196-6774(89)90037-0}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jal/AmatoBIR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/BlumLR89, author = {Manuel Blum and Michael Luby and Ronitt Rubinfeld}, editor = {Joan Feigenbaum and Michael Merritt}, title = {Program Result Checking against Adaptive Programs and in Cryptographic Settings}, booktitle = {Distributed Computing And Cryptography, Proceedings of a {DIMACS} Workshop, Princeton, New Jersey, USA, October 4-6, 1989}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {2}, pages = {107--118}, publisher = {{DIMACS/AMS}}, year = {1989}, url = {https://doi.org/10.1090/dimacs/002/06}, doi = {10.1090/DIMACS/002/06}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/BlumLR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BlumR89, author = {Manuel Blum and Prabhakar Raghavan}, editor = {Gerhard X. Ritter}, title = {Program Correctness: Can One Test For It?}, booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989}, pages = {127--134}, publisher = {North-Holland/IFIP}, year = {1989}, timestamp = {Wed, 02 Feb 2022 21:17:54 +0100}, biburl = {https://dblp.org/rec/conf/ifip/BlumR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/BlumK89, author = {Manuel Blum and Sampath Kannan}, editor = {David S. Johnson}, title = {Designing Programs That Check Their Work}, booktitle = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing, May 14-17, 1989, Seattle, Washington, {USA}}, pages = {86--97}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/73007.73015}, doi = {10.1145/73007.73015}, timestamp = {Wed, 24 Nov 2021 12:15:31 +0100}, biburl = {https://dblp.org/rec/conf/stoc/BlumK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/BlumFM88, author = {Manuel Blum and Paul Feldman and Silvio Micali}, editor = {Shafi Goldwasser}, title = {Proving Security Against Chosen Cyphertext Attacks}, booktitle = {Advances in Cryptology - {CRYPTO} '88, 8th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {403}, pages = {256--268}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/0-387-34799-2\_20}, doi = {10.1007/0-387-34799-2\_20}, timestamp = {Fri, 17 Jul 2020 16:12:45 +0200}, biburl = {https://dblp.org/rec/conf/crypto/BlumFM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/BlumFM88, author = {Manuel Blum and Paul Feldman and Silvio Micali}, editor = {Janos Simon}, title = {Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract)}, booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing, May 2-4, 1988, Chicago, Illinois, {USA}}, pages = {103--112}, publisher = {{ACM}}, year = {1988}, url = {https://doi.org/10.1145/62212.62222}, doi = {10.1145/62212.62222}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/BlumFM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumI87, author = {Manuel Blum and Russell Impagliazzo}, title = {Generic Oracles and Oracle Classes (Extended Abstract)}, booktitle = {28th Annual Symposium on Foundations of Computer Science, Los Angeles, California, USA, 27-29 October 1987}, pages = {118--126}, publisher = {{IEEE} Computer Society}, year = {1987}, url = {https://doi.org/10.1109/SFCS.1987.30}, doi = {10.1109/SFCS.1987.30}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/focs/BlumI87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/combinatorica/Blum86, author = {Manuel Blum}, title = {Independent unbiased coin flips from a correlated biased source-a finite stae Markov chain}, journal = {Comb.}, volume = {6}, number = {2}, pages = {97--108}, year = {1986}, url = {https://doi.org/10.1007/BF02579167}, doi = {10.1007/BF02579167}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/combinatorica/Blum86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/BlumBS86, author = {Lenore Blum and Manuel Blum and Mike Shub}, title = {A Simple Unpredictable Pseudo-Random Number Generator}, journal = {{SIAM} J. Comput.}, volume = {15}, number = {2}, pages = {364--383}, year = {1986}, url = {https://doi.org/10.1137/0215025}, doi = {10.1137/0215025}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/siamcomp/BlumBS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/BlumM84, author = {Manuel Blum and Silvio Micali}, title = {How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits}, journal = {{SIAM} J. Comput.}, volume = {13}, number = {4}, pages = {850--864}, year = {1984}, url = {https://doi.org/10.1137/0213053}, doi = {10.1137/0213053}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/siamcomp/BlumM84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/BlumG84, author = {Manuel Blum and Shafi Goldwasser}, editor = {G. R. Blakley and David Chaum}, title = {An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information}, booktitle = {Advances in Cryptology, Proceedings of {CRYPTO} '84, Santa Barbara, California, USA, August 19-22, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {196}, pages = {289--302}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-39568-7\_23}, doi = {10.1007/3-540-39568-7\_23}, timestamp = {Tue, 01 Jun 2021 15:21:29 +0200}, biburl = {https://dblp.org/rec/conf/crypto/BlumG84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/Blum84, author = {Manuel Blum}, title = {Independent Unbiased Coin Flips From a Correlated Biased Source: a Finite State Markov Chain}, booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm Beach, Florida, USA, 24-26 October 1984}, pages = {425--433}, publisher = {{IEEE} Computer Society}, year = {1984}, url = {https://doi.org/10.1109/SFCS.1984.715944}, doi = {10.1109/SFCS.1984.715944}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/Blum84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigact/000183, author = {Manuel Blum}, title = {Coin flipping by telephone a protocol for solving impossible problems}, journal = {{SIGACT} News}, volume = {15}, number = {1}, pages = {23--27}, year = {1983}, url = {https://doi.org/10.1145/1008908.1008911}, doi = {10.1145/1008908.1008911}, timestamp = {Fri, 30 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigact/000183.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocs/Blum83, author = {Manuel Blum}, title = {How to Exchange (Secret) Keys}, journal = {{ACM} Trans. Comput. Syst.}, volume = {1}, number = {2}, pages = {175--193}, year = {1983}, url = {https://doi.org/10.1145/357360.357368}, doi = {10.1145/357360.357368}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocs/Blum83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/VaziraniVB83, author = {Manuel Blum and Umesh V. Vazirani and Vijay V. Vazirani}, editor = {David Chaum}, title = {Reducibility Among Protocols}, booktitle = {Advances in Cryptology, Proceedings of {CRYPTO} '83, Santa Barbara, California, USA, August 21-24, 1983}, pages = {137--146}, publisher = {Plenum Press, New York}, year = {1983}, timestamp = {Wed, 26 Oct 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/crypto/VaziraniVB83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Blum83, author = {Manuel Blum}, editor = {David S. Johnson and Ronald Fagin and Michael L. Fredman and David Harel and Richard M. Karp and Nancy A. Lynch and Christos H. Papadimitriou and Ronald L. Rivest and Walter L. Ruzzo and Joel I. Seiferas}, title = {How to Exchange (Secret) Keys (Extended Abstract)}, booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, {USA}}, pages = {440--447}, publisher = {{ACM}}, year = {1983}, url = {https://doi.org/10.1145/800061.808775}, doi = {10.1145/800061.808775}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Blum83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compcon/Blum82, author = {Manuel Blum}, title = {Coin Flipping by Telephone - {A} Protocol for Solving Impossible Problems}, booktitle = {COMPCON'82, Digest of Papers, Twenty-Fourth {IEEE} Computer Society International Conference, San Francisco, California, USA, February 22-25, 1982}, pages = {133--137}, publisher = {{IEEE} Computer Society}, year = {1982}, timestamp = {Wed, 26 Oct 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compcon/Blum82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/ShubBB82, author = {Lenore Blum and Manuel Blum and Mike Shub}, editor = {David Chaum and Ronald L. Rivest and Alan T. Sherman}, title = {Comparison of Two Pseudo-Random Number Generators}, booktitle = {Advances in Cryptology: Proceedings of {CRYPTO} '82, Santa Barbara, California, USA, August 23-25, 1982}, pages = {61--78}, publisher = {Plenum Press, New York}, year = {1982}, url = {https://doi.org/10.1007/978-1-4757-0602-4\_6}, doi = {10.1007/978-1-4757-0602-4\_6}, timestamp = {Thu, 25 Jul 2019 12:26:02 +0200}, biburl = {https://dblp.org/rec/conf/crypto/ShubBB82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumM82, author = {Manuel Blum and Silvio Micali}, title = {How to Generate Cryptographically Strong Sequences of Pseudo Random Bits}, booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago, Illinois, USA, 3-5 November 1982}, pages = {112--117}, publisher = {{IEEE} Computer Society}, year = {1982}, url = {https://doi.org/10.1109/SFCS.1982.72}, doi = {10.1109/SFCS.1982.72}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BlumKVPY81, author = {Manuel Blum and Richard M. Karp and Oliver Vornberger and Christos H. Papadimitriou and Mihalis Yannakakis}, title = {The Complexity of Testing Whether a Graph is a Superconcentrator}, journal = {Inf. Process. Lett.}, volume = {13}, number = {4/5}, pages = {164--167}, year = {1981}, url = {https://doi.org/10.1016/0020-0190(81)90050-8}, doi = {10.1016/0020-0190(81)90050-8}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BlumKVPY81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/crypto/Blum81, author = {Manuel Blum}, editor = {Allen Gersho}, title = {Coin Flipping by Telephone}, booktitle = {Advances in Cryptology: {A} Report on {CRYPTO} 81, {CRYPTO} 81, {IEEE} Workshop on Communications Security, Santa Barbara, California, USA, August 24-26, 1981}, pages = {11--15}, publisher = {U. C. Santa Barbara, Dept. of Elec. and Computer Eng., {ECE} Report No 82-04}, year = {1981}, timestamp = {Wed, 26 Oct 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/crypto/Blum81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BlumCW80, author = {Manuel Blum and Ashok K. Chandra and Mark N. Wegman}, title = {Equivalence of Free Boolean Graphs can be Decided Probabilistically in Polynomial Time}, journal = {Inf. Process. Lett.}, volume = {10}, number = {2}, pages = {80--82}, year = {1980}, url = {https://doi.org/10.1016/S0020-0190(80)90078-2}, doi = {10.1016/S0020-0190(80)90078-2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BlumCW80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumK78, author = {Manuel Blum and Dexter Kozen}, title = {On the Power of the Compass (or, Why Mazes Are Easier to Search than Graphs)}, booktitle = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor, Michigan, USA, 16-18 October 1978}, pages = {132--142}, publisher = {{IEEE} Computer Society}, year = {1978}, url = {https://doi.org/10.1109/SFCS.1978.30}, doi = {10.1109/SFCS.1978.30}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumK78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumS77, author = {Manuel Blum and William J. Sakoda}, title = {On the Capability of Finite Automata in 2 and 3 Dimensional Space}, booktitle = {18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977}, pages = {147--161}, publisher = {{IEEE} Computer Society}, year = {1977}, url = {https://doi.org/10.1109/SFCS.1977.20}, doi = {10.1109/SFCS.1977.20}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumS77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BlumB75, author = {Lenore Blum and Manuel Blum}, title = {Toward a Mathematical Theory of Inductive Inference}, journal = {Inf. Control.}, volume = {28}, number = {2}, pages = {125--155}, year = {1975}, url = {https://doi.org/10.1016/S0019-9958(75)90261-2}, doi = {10.1016/S0019-9958(75)90261-2}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BlumB75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/GillB74, author = {John Gill and Manuel Blum}, title = {On Almost Everywhere Complex Recursive Functions}, journal = {J. {ACM}}, volume = {21}, number = {3}, pages = {425--435}, year = {1974}, url = {https://doi.org/10.1145/321832.321840}, doi = {10.1145/321832.321840}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/GillB74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BlumFPRT73, author = {Manuel Blum and Robert W. Floyd and Vaughan R. Pratt and Ronald L. Rivest and Robert Endre Tarjan}, title = {Time Bounds for Selection}, journal = {J. Comput. Syst. Sci.}, volume = {7}, number = {4}, pages = {448--461}, year = {1973}, url = {https://doi.org/10.1016/S0022-0000(73)80033-9}, doi = {10.1016/S0022-0000(73)80033-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BlumFPRT73.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/BlumM73, author = {Manuel Blum and Ivan Marques}, title = {On Complexity Properties of Recursively Enumerable Sets}, journal = {J. Symb. Log.}, volume = {38}, number = {4}, pages = {579--593}, year = {1973}, url = {https://doi.org/10.2307/2271984}, doi = {10.2307/2271984}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/BlumM73.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumB73, author = {Lenore Blum and Manuel Blum}, title = {Inductive Inference: {A} Recursion Theoretic Approach}, booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973}, pages = {200--208}, publisher = {{IEEE} Computer Society}, year = {1973}, url = {https://doi.org/10.1109/SWAT.1973.12}, doi = {10.1109/SWAT.1973.12}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumB73.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/BlumFPRT72, author = {Manuel Blum and Robert W. Floyd and Vaughan R. Pratt and Ronald L. Rivest and Robert Endre Tarjan}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Linear Time Bounds for Median Computations}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {119--124}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804904}, doi = {10.1145/800152.804904}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/BlumFPRT72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Blum71, author = {Manuel Blum}, title = {On Effective Procedures for Speeding Up Algorithms}, journal = {J. {ACM}}, volume = {18}, number = {2}, pages = {290--305}, year = {1971}, url = {https://doi.org/10.1145/321637.321648}, doi = {10.1145/321637.321648}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Blum71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Blum69, author = {Manuel Blum}, editor = {Patrick C. Fischer and Seymour Ginsburg and Michael A. Harrison}, title = {On Effective Procedures for Speeding Up Algorithms}, booktitle = {Proceedings of the 1st Annual {ACM} Symposium on Theory of Computing, May 5-7, 1969, Marina del Rey, CA, {USA}}, pages = {43--53}, publisher = {{ACM}}, year = {1969}, url = {https://doi.org/10.1145/800169.805420}, doi = {10.1145/800169.805420}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Blum69.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/FischerHB68, author = {Patrick C. Fischer and Juris Hartmanis and Manuel Blum}, title = {Tape Reversal Complexity Hierarchies}, booktitle = {9th Annual Symposium on Switching and Automata Theory, Schenectady, New York, USA, October 15-18, 1968}, pages = {373--382}, publisher = {{IEEE} Computer Society}, year = {1968}, url = {https://doi.org/10.1109/SWAT.1968.33}, doi = {10.1109/SWAT.1968.33}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/FischerHB68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Blum67, author = {Manuel Blum}, title = {On the Size of Machines}, journal = {Inf. Control.}, volume = {11}, number = {3}, pages = {257--265}, year = {1967}, url = {https://doi.org/10.1016/S0019-9958(67)90546-3}, doi = {10.1016/S0019-9958(67)90546-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Blum67.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Blum67, author = {Manuel Blum}, title = {A Machine-Independent Theory of the Complexity of Recursive Functions}, journal = {J. {ACM}}, volume = {14}, number = {2}, pages = {322--336}, year = {1967}, url = {https://doi.org/10.1145/321386.321395}, doi = {10.1145/321386.321395}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Blum67.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/BlumH67, author = {Manuel Blum and Carl Hewitt}, title = {Automata on a 2-Dimensional Tape}, booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas, USA, October 18-20, 1967}, pages = {155--160}, publisher = {{IEEE} Computer Society}, year = {1967}, url = {https://doi.org/10.1109/FOCS.1967.6}, doi = {10.1109/FOCS.1967.6}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/BlumH67.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.