Manuel Blum

	2010
62		Manuel Blum: Understanding and Inductive Inference. COCOON 2010: 1
	2006
61		Luis von Ahn, Ruoran Liu, Manuel Blum: Peekaboom: a game for locating objects in images. CHI 2006: 55-64
60		Luis von Ahn, Mihir Kedia, Manuel Blum: Verbosity: a game for collecting common-sense facts. CHI 2006: 75-78
59		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
58		Luis von Ahn, Manuel Blum, John Langford: Telling humans and computers apart automatically. Commun. ACM 47(2): 56-60 (2004)
	2003
57		Luis von Ahn, Manuel Blum, Nicholas J. Hopper, John Langford: CAPTCHA: Using Hard AI Problems for Security. EUROCRYPT 2003: 294-311
	2001
56		Nicholas J. Hopper, Manuel Blum: Secure Human Identification Protocols. ASIACRYPT 2001: 52-66
	1997
55		Manuel Blum: Program Error Detection/Correction: Turning PAC Learning into PERFECT Learning (Abstract). ALT 1997: 1
54		Hal Wasserman, Manuel Blum: Software reliability via run-time result-checking. J. ACM 44(6): 826-849 (1997)
	1996
53		Manuel Blum, Hal Wasserman: Reflections on the Pentium Bug. IEEE Trans. Computers 45(4): 385-393 (1996)
	1995
52		Manuel Blum, Bruno Codenotti, Peter Gemmell, Troy Shahoumian: Self-Correcting for Function Fields Transcendental Degree. ICALP 1995: 547-557
51		David S. Cohen, Manuel Blum: on the Problem of Sorting Burnt Pancakes. Discrete Applied Mathematics 61(2): 105-120 (1995)
50		Manuel Blum, Sampath Kannan: Designing Programs that Check Their Work. J. ACM 42(1): 269-291 (1995)
49		Amihood Amir, Manuel Blum, Michael C. Loui, John E. Savage, Carl Smith: Contributions of theoretical computer science. SIGACT News 26(4): 2-4 (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 SWAT (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 SWAT (FOCS) 1968: 373-382
	1967
3		Manuel Blum, Carl Hewitt: Automata on a 2-Dimensional Tape SWAT (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	[57] [58] [59] [60] [61]
3	Noga Alon	[47]
4	Nancy M. Amato	[32]
5	Amihood Amir	[49]
6	Sigal Ar	[43]
7	Lenore Blum	[10] [12] [19] [27]
8	Ashok K. Chandra	[15]
9	Bruno Codenotti	[43] [52]
10	David S. Cohen	[51]
11	William S. Evans	[39] [46]
12	Paul Feldman	[30] [31]
13	Amos Fiat	[47]
14	Patrick C. Fischer	[4]
15	Robert W. Floyd	[7] [9]
16	Peter Gemmell	[39] [43] [46] [52]
17	John Gill	[11]
18	Shiry Ginosar	[59]
19	Oded Goldreich	[41]
20	Shafi Goldwasser	[26]
21	Juris Hartmanis	[4]
22	Carl Hewitt	[3]
23	Nicholas Hopper (Nicholas J. Hopper)	[56] [57]
24	Russell Impagliazzo	[29]
25	Sandy Irani	[32]
26	Sampath Kannan	[33] [39] [46] [47] [50]
27	Richard M. Karp	[16]
28	Mihir Kedia	[59] [60]
29	Dexter Kozen	[14]
30	John Langford	[57] [58]
31	Ruoran Liu	[59] [61]
32	Michael C. Loui	[49]
33	Michael Luby	[35] [42]
34	Ivan Marques	[8]
35	Silvio Micali	[18] [24] [30] [31] [36]
36	Moni Naor	[39] [46] [47]
37	Rafail Ostrovsky	[47]
38	Christos H. Papadimitriou	[16]
39	Giuseppe Persiano (Pino Persiano)	[36]
40	Vaughan R. Pratt	[7] [9]
41	Prabhakar Raghavan	[34]
42	Ronald L. Rivest	[7] [9]
43	Ronitt Rubinfeld	[32] [35] [42]
44	William J. Sakoda	[13]
45	Alfredo De Santis	[36]
46	John E. Savage	[49]
47	Troy Shahoumian	[52]
48	Mike Shub (Michael Shub)	[19] [27]
49	Carl Smith	[49]
50	Robert Endre Tarjan	[7] [9]
51	Umesh V. Vazirani	[23]
52	Vijay V. Vazirani	[23]
53	Oliver Vornberger	[16]
54	Hal Wasserman	[48] [53] [54]
55	Mark N. Wegman	[15]
56	Mihalis Yannakakis	[16]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page