Skip to content

Manuel Blum

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

46

Venues

19

Active years

1967–2018

Best venue rank

A*

Where they publish

Papers

46 indexed papers, newest first.

YearVenueTitleAuthors
2018IJCNNEarly Seizure Detection with an Energy-Efficient Convolutional Neural Network on an Implantable Microcontroller.Maria Hgle, Simon Heller, Manuel Watter, Manuel Blum, Farrokh Manzouri, Matthias Dmpelmann, Andreas Schulze-Bonhage, Peter Woias, Joschka Boedecker
2017ESANNPredicting Time Series with Space-Time Convolutional and Recurrent Neural Networks.Wolfgang Gro, Sascha Lange, Joschka Bdecker, Manuel Blum
2016AAAIClaimEval: Integrated and Flexible Framework for Claim Evaluation Using Credibility of Sources.Mehdi Samadi, Partha Pratim Talukdar, Manuela M. Veloso, Manuel Blum
2015HCOMPPublishable Humanly Usable Secure Password Creation Schemas.Manuel Blum, Santosh Srinivas Vempala
2013AAAIElectricity Demand Forecasting using Gaussian Processes.Manuel Blum, Martin A. Riedmiller
2013AAAIOpenEval: Web Information Query Evaluation.Mehdi Samadi, Manuela M. Veloso, Manuel Blum
2013ASIACRYPTNaturally Rehearsing Passwords.Jeremiah Blocki, Manuel Blum, Anupam Datta
2013CCSGOTCHA password hackers!Jeremiah Blocki, Manuel Blum, Anupam Datta
2013ESANNOptimization of Gaussian process hyperparameters using Rprop.Manuel Blum, Martin A. Riedmiller
2012ICRAA learned feature descriptor for object recognition in RGB-D data.Manuel Blum, Jost Tobias Springenberg, Jan Wlfing, Martin A. Riedmiller
2010COCOONUnderstanding and Inductive Inference.Manuel Blum
2007ICASSPImproving Image Search with PHETCH.Luis von Ahn, Shiry Ginosar, Mihir Kedia, Manuel Blum
2006CHIImproving accessibility of the web with a computer game.Luis von Ahn, Shiry Ginosar, Mihir Kedia, Ruoran Liu, Manuel Blum
2006CHIVerbosity: a game for collecting common-sense facts.Luis von Ahn, Mihir Kedia, Manuel Blum
2006CHIPeekaboom: a game for locating objects in images.Luis von Ahn, Ruoran Liu, Manuel Blum
2003EuroCryptCAPTCHA: Using Hard AI Problems for Security.Luis von Ahn, Manuel Blum, Nicholas J. Hopper, John Langford
2001ASIACRYPTSecure Human Identification Protocols.Nicholas J. Hopper, Manuel Blum
1997ALTProgram Error Detection/Correction: Turning PAC Learning into PERFECT Learning (Abstract).Manuel Blum
1995ICALPSelf-Correcting for Function Fields Transcendental Degree.Manuel Blum, Bruno Codenotti, Peter Gemmell, Troy Shahoumian
1994FOCSProgram Result-Checking: A Theory of Testing Meets a Test of TheoryManuel Blum, Hal Wasserman
1994SODAMatching Nuts and Bolts.Noga Alon, Manuel Blum, Amos Fiat, Sampath Kannan, Moni Naor, Rafail Ostrovsky
1993ICALPProgram Result Checking: A New Approach to Making Programs More Reliable.Manuel Blum
1993ISSTADesigning Programs to Check Their Work (Abstract).Manuel Blum
1993STOCChecking approximate computations over the reals.Sigal Ar, Manuel Blum, Bruno Codenotti, Peter Gemmell
1992FOCSTowards a Computational Theory of Statistical Tests (Extended Abstract)Manuel Blum, Oded Goldreich
1992LATINUniversal Statistical Tests.Manuel Blum
1991FOCSChecking the Correctness of MemoriesManuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor
1990STOCSelf-Testing/Correcting with Applications to Numerical ProblemsManuel Blum, Michael Luby, Ronitt Rubinfeld
1989STOCDesigning Programs That Check Their WorkManuel Blum, Sampath Kannan
1988CRYPTOProving Security Against Chosen Cyphertext Attacks.Manuel Blum, Paul Feldman, Silvio Micali
1988STOCNon-Interactive Zero-Knowledge and Its Applications (Extended Abstract)Manuel Blum, Paul Feldman, Silvio Micali
1987FOCSGeneric Oracles and Oracle Classes (Extended Abstract)Manuel Blum, Russell Impagliazzo
1984CRYPTOAn Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information.Manuel Blum, Shafi Goldwasser
1984FOCSIndependent Unbiased Coin Flips From a Correlated Biased Source: a Finite State Markov ChainManuel Blum
1983CRYPTOReducibility Among Protocols.Manuel Blum, Umesh V. Vazirani, Vijay V. Vazirani
1983STOCHow to Exchange (Secret) Keys (Extended Abstract)Manuel Blum
1982CRYPTOComparison of Two Pseudo-Random Number Generators.Lenore Blum, Manuel Blum, Mike Shub
1982FOCSHow to Generate Cryptographically Strong Sequences of Pseudo Random BitsManuel Blum, Silvio Micali
1981CRYPTOCoin Flipping by Telephone.Manuel Blum
1978FOCSOn the Power of the Compass (or, Why Mazes Are Easier to Search than Graphs)Manuel Blum, Dexter Kozen
1977FOCSOn the Capability of Finite Automata in 2 and 3 Dimensional SpaceManuel Blum, William J. Sakoda
1973FOCSInductive Inference: A Recursion Theoretic ApproachLenore Blum, Manuel Blum
1972STOCLinear Time Bounds for Median ComputationsManuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
1969STOCOn Effective Procedures for Speeding Up AlgorithmsManuel Blum
1968FOCSTape Reversal Complexity HierarchiesPatrick C. Fischer, Juris Hartmanis, Manuel Blum
1967FOCSAutomata on a 2-Dimensional TapeManuel Blum, Carl Hewitt