Manuel Blum

	2006
60		Luis von Ahn, Ruoran Liu, Manuel Blum: Peekaboom: a game for locating objects in images. CHI 2006: 55-64
59		Luis von Ahn, Mihir Kedia, Manuel Blum: Verbosity: a game for collecting common-sense facts. CHI 2006: 75-78
58		Luis von Ahn, Shiry Ginosar, Mihir Kedia, Ruoran Liu, Manuel Blum: Improving accessibility of the web with a computer game. CHI 2006: 79-82
	2004
57		Luis von Ahn, Manuel Blum, John Langford: Telling humans and computers apart automatically. Commun. ACM 47(2): 56-60 (2004)
	2003
56		Luis von Ahn, Manuel Blum, Nicholas J. Hopper, John Langford: CAPTCHA: Using Hard AI Problems for Security. EUROCRYPT 2003: 294-311
	2001
55		Nicholas J. Hopper, Manuel Blum: Secure Human Identification Protocols. ASIACRYPT 2001: 52-66
	1997
54		Manuel Blum: Program Error Detection/Correction: Turning PAC Learning into PERFECT Learning (Abstract). ALT 1997: 1
53		Hal Wasserman, Manuel Blum: Software reliability via run-time result-checking. J. ACM 44(6): 826-849 (1997)
	1996
52		Manuel Blum, Hal Wasserman: Reflections on the Pentium Bug. IEEE Trans. Computers 45(4): 385-393 (1996)
	1995
51		Manuel Blum, Bruno Codenotti, Peter Gemmell, Troy Shahoumian: Self-Correcting for Function Fields Transcendental Degree. ICALP 1995: 547-557
50		David S. Cohen, Manuel Blum: on the Problem of Sorting Burnt Pancakes. Discrete Applied Mathematics 61(2): 105-120 (1995)
49		Manuel Blum, Sampath Kannan: Designing Programs that Check Their Work. J. ACM 42(1): 269-291 (1995)
	1994
48		Manuel Blum, Hal Wasserman: Program Result-Checking: A Theory of Testing Meets a Test of Theory FOCS 1994: 382-392
47		Noga Alon, Manuel Blum, Amos Fiat, Sampath Kannan, Moni Naor, Rafail Ostrovsky: Matching Nuts and Bolts. SODA 1994: 690-696
46		Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor: Checking the Correctness of Memories. Algorithmica 12(2/3): 225-244 (1994)
	1993
45		Manuel Blum: Program Result Checking: A New Approach to Making Programs More Reliable. ICALP 1993: 1-14
44		Manuel Blum: Designing Programs to Check Their Work (Abstract). ISSTA 1993: 1
43		Sigal Ar, Manuel Blum, Bruno Codenotti, Peter Gemmell: Checking approximate computations over the reals. STOC 1993: 786-795
42		Manuel Blum, Michael Luby, Ronitt Rubinfeld: Self-Testing/Correcting with Applications to Numerical Problems. J. Comput. Syst. Sci. 47(3): 549-595 (1993)
	1992
41		Manuel Blum, Oded Goldreich: Towards a Computational Theory of Statistical Tests (Extended Abstract) FOCS 1992: 406-416
40		Manuel Blum: Universal Statistical Tests. LATIN 1992: 71-75
	1991
39		Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor: Checking the Correctness of Memories FOCS 1991: 90-99
38		Manuel Blum: Program Checking. FSTTCS 1991: 1-9
37		Leonard M. Adleman, Manuel Blum: Inductive Inference and Unsolvability. J. Symb. Log. 56(3): 891-900 (1991)
36		Manuel Blum, Alfredo De Santis, Silvio Micali, Giuseppe Persiano: Noninteractive Zero-Knowledge. SIAM J. Comput. 20(6): 1084-1118 (1991)
	1990
35		Manuel Blum, Michael Luby, Ronitt Rubinfeld: Self-Testing/Correcting with Applications to Numerical Problems STOC 1990: 73-83
	1989
34		Manuel Blum, Prabhakar Raghavan: Program Correctness: Can One Test For It? IFIP Congress 1989: 127-134
33		Manuel Blum, Sampath Kannan: Designing Programs That Check Their Work STOC 1989: 86-97
32		Nancy M. Amato, Manuel Blum, Sandy Irani, Ronitt Rubinfeld: Reversing Trains: A Turn of the Century Sorting Problem. J. Algorithms 10(3): 413-428 (1989)
	1988
31		Manuel Blum, Paul Feldman, Silvio Micali: Proving Security Against Chosen Cyphertext Attacks. CRYPTO 1988: 256-268
30		Manuel Blum, Paul Feldman, Silvio Micali: Non-Interactive Zero-Knowledge and Its Applications (Extended Abstract) STOC 1988: 103-112
	1987
29		Manuel Blum, Russell Impagliazzo: Generic Oracles and Oracle Classes (Extended Abstract) FOCS 1987: 118-126
	1986
28		Manuel Blum: Independent unbiased coin flips from a correlated biased source-a finite stae Markov chain. Combinatorica 6(2): 97-108 (1986)
27		Lenore Blum, Manuel Blum, Mike Shub: A Simple Unpredictable Pseudo-Random Number Generator. SIAM J. Comput. 15(2): 364-383 (1986)
	1984
26		Manuel Blum, Shafi Goldwasser: An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information. CRYPTO 1984: 289-302
25		Manuel Blum: Independent Unbiased Coin Flips From a Correlated Biased Source: a Finite State Markov Chain FOCS 1984: 425-433
24		Manuel Blum, Silvio Micali: How to Generate Cryptographically Strong Sequences of Pseudo-Random Bits. SIAM J. Comput. 13(4): 850-864 (1984)
	1983
23		Manuel Blum, Umesh V. Vazirani, Vijay V. Vazirani: Reducibility Among Protocols. CRYPTO 1983: 137-146
22		Manuel Blum: How to Exchange (Secret) Keys (Extended Abstract) STOC 1983: 440-447
21		Manuel Blum: How to Exchange (Secret) Keys ACM Trans. Comput. Syst. 1(2): 175-193 (1983)
	1982
20		Manuel Blum: Coin Flipping by Telephone - A Protocol for Solving Impossible Problems. COMPCON 1982: 133-137
19		Lenore Blum, Manuel Blum, Mike Shub: Comparison of Two Pseudo-Random Number Generators. CRYPTO 1982: 61-78
18		Manuel Blum, Silvio Micali: How to Generate Cryptographically Strong Sequences of Pseudo Random Bits FOCS 1982: 112-117
	1981
17		Manuel Blum: Coin Flipping by Telephone. CRYPTO 1981: 11-15
16		Manuel Blum, Richard M. Karp, Oliver Vornberger, Christos H. Papadimitriou, Mihalis Yannakakis: The Complexity of Testing Whether a Graph is a Superconcentrator. Inf. Process. Lett. 13(4/5): 164-167 (1981)
	1980
15		Manuel Blum, Ashok K. Chandra, Mark N. Wegman: Equivalence of Free Boolean Graphs can be Decided Probabilistically in Polynomial Time. Inf. Process. Lett. 10(2): 80-82 (1980)
	1978
14		Manuel Blum, Dexter Kozen: On the Power of the Compass (or, Why Mazes Are Easier to Search than Graphs) FOCS 1978: 132-142
	1977
13		Manuel Blum, William J. Sakoda: On the Capability of Finite Automata in 2 and 3 Dimensional Space FOCS 1977: 147-161
	1975
12		Lenore Blum, Manuel Blum: Toward a Mathematical Theory of Inductive Inference Information and Control 28(2): 125-155 (1975)
	1974
11		John Gill, Manuel Blum: On Almost Everywhere Complex Recursive Functions. J. ACM 21(3): 425-435 (1974)
	1973
10		Lenore Blum, Manuel Blum: Inductive Inference: A Recursion Theoretic Approach FOCS 1973: 200-208
9		Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan: Time Bounds for Selection. J. Comput. Syst. Sci. 7(4): 448-461 (1973)
8		Manuel Blum, Ivan Marques: On Complexity Properties of Recursively Enumerable Sets. J. Symb. Log. 38(4): 579-593 (1973)
	1972
7		Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan: Linear Time Bounds for Median Computations STOC 1972: 119-124
	1971
6		Manuel Blum: On Effective Procedures for Speeding Up Algorithms. J. ACM 18(2): 290-305 (1971)
	1969
5		Manuel Blum: On Effective Procedures for Speeding Up Algorithms STOC 1969: 43-53
	1968
4		Patrick C. Fischer, Juris Hartmanis, Manuel Blum: Tape Reversal Complexity Hierarchies FOCS 1968: 373-382
	1967
3		Manuel Blum, Carl Hewitt: Automata on a 2-Dimensional Tape FOCS 1967: 155-160
2		Manuel Blum: On the Size of Machines Information and Control 11(3): 257-265 (1967)
1		Manuel Blum: A Machine-Independent Theory of the Complexity of Recursive Functions. J. ACM 14(2): 322-336 (1967)

Coauthor Index

1	Leonard M. Adleman	[37]
2	Luis von Ahn	[56] [57] [58] [59] [60]
3	Noga Alon	[47]
4	Nancy M. Amato	[32]
5	Sigal Ar	[43]
6	Lenore Blum	[10] [12] [19] [27]
7	Ashok K. Chandra	[15]
8	Bruno Codenotti	[43] [51]
9	David S. Cohen	[50]
10	William S. Evans	[39] [46]
11	Paul Feldman	[30] [31]
12	Amos Fiat	[47]
13	Patrick C. Fischer	[4]
14	Robert W. Floyd	[7] [9]
15	Peter Gemmell	[39] [43] [46] [51]
16	John Gill	[11]
17	Shiry Ginosar	[58]
18	Oded Goldreich	[41]
19	Shafi Goldwasser	[26]
20	Juris Hartmanis	[4]
21	Carl Hewitt	[3]
22	Nicholas J. Hopper	[55] [56]
23	Russell Impagliazzo	[29]
24	Sandy Irani	[32]
25	Sampath Kannan	[33] [39] [46] [47] [49]
26	Richard M. Karp	[16]
27	Mihir Kedia	[58] [59]
28	Dexter Kozen	[14]
29	John Langford	[56] [57]
30	Ruoran Liu	[58] [60]
31	Michael Luby	[35] [42]
32	Ivan Marques	[8]
33	Silvio Micali	[18] [24] [30] [31] [36]
34	Moni Naor	[39] [46] [47]
35	Rafail Ostrovsky	[47]
36	Christos H. Papadimitriou	[16]
37	Giuseppe Persiano (Pino Persiano)	[36]
38	Vaughan R. Pratt	[7] [9]
39	Prabhakar Raghavan	[34]
40	Ronald L. Rivest	[7] [9]
41	Ronitt Rubinfeld	[32] [35] [42]
42	William J. Sakoda	[13]
43	Alfredo De Santis	[36]
44	Troy Shahoumian	[51]
45	Mike Shub (Michael Shub)	[19] [27]
46	Robert Endre Tarjan	[7] [9]
47	Umesh V. Vazirani	[23]
48	Vijay V. Vazirani	[23]
49	Oliver Vornberger	[16]
50	Hal Wasserman	[48] [52] [53]
51	Mark N. Wegman	[15]
52	Mihalis Yannakakis	[16]

Colors in the list of coauthors