dblp.uni-trier.dewww.uni-trier.de

Manuel Blum

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
60EELuis von Ahn, Ruoran Liu, Manuel Blum: Peekaboom: a game for locating objects in images. CHI 2006: 55-64
59EELuis von Ahn, Mihir Kedia, Manuel Blum: Verbosity: a game for collecting common-sense facts. CHI 2006: 75-78
58EELuis von Ahn, Shiry Ginosar, Mihir Kedia, Ruoran Liu, Manuel Blum: Improving accessibility of the web with a computer game. CHI 2006: 79-82
2004
57EELuis von Ahn, Manuel Blum, John Langford: Telling humans and computers apart automatically. Commun. ACM 47(2): 56-60 (2004)
2003
56EELuis von Ahn, Manuel Blum, Nicholas J. Hopper, John Langford: CAPTCHA: Using Hard AI Problems for Security. EUROCRYPT 2003: 294-311
2001
55EENicholas 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
53EEHal 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
50EEDavid S. Cohen, Manuel Blum: on the Problem of Sorting Burnt Pancakes. Discrete Applied Mathematics 61(2): 105-120 (1995)
49EEManuel 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
44EEManuel Blum: Designing Programs to Check Their Work (Abstract). ISSTA 1993: 1
43EESigal 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
31EEManuel 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
26EEManuel 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
21EEManuel 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
11EEJohn 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
6EEManuel 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)
1EEManuel Blum: A Machine-Independent Theory of the Complexity of Recursive Functions. J. ACM 14(2): 322-336 (1967)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)