John H. Reif
A. Hollis Edens Professor of Computer Science in Trinity College of Arts and Sciences
Molecular assembly, DNA computing, robot motion planning, parallel algorithms, randomized algorithms, graph algorithms, algebraic computation, data compression, optical computation, and quantum computation.
Current Appointments & Affiliations
 A. Hollis Edens Professor of Computer Science in Trinity College of Arts and Sciences, Computer Science, Trinity College of Arts & Sciences 2003
 Professor of Computer Science, Computer Science, Trinity College of Arts & Sciences 1986
 Professor in the Department of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2016
Contact Information
 3112 Devon Rd, Durham, NC 27707
 Box 90129, Durham, NC 277080129
 reif@cs.duke.edu (919) 4071961
 http://www.cs.duke.edu/~reif/
 Background

Education, Training, & Certifications
 Ph.D., Harvard University 1977
 M.S., Harvard University 1975
 B.S., Tufts University 1973
 Recognition

In the News

AUG 23, 2016 
DEC 1, 2015 The News & Observer


Awards & Honors
 Tufts Notable. Tufts University. October 2010
 AAAS Fellow. American Association for the Advancement of Science. 2003
 Fellow. Association for the Advancement of Science (AAAS), . 2003
 Highly Cited Researcher. Thomson Reuters. 2001
 Fellow. Association for Computing Machinery. 1997
 Fellows. Institute for Electrical and Electronics Engineers. 1993
 Expertise

Subject Headings
 Research

Selected Grants
 SHF: Small: DNA Circuits for Analog Computations awarded by National Science Foundation 2016  2019
 Support for Fifteenth Conference on the Foundations of Nanoscience (FNANO 2018) awarded by National Science Foundation 2018
 Fifteenth Conference on the Foundations of Nanoscience (FNANO 2018) awarded by Office of Naval Research 2018
 Support of Fourteenth Conference on the Foundations of Nanoscience (FNANO 2017) awarded by National Science Foundation 2017  2018
 Support of Fourteenth Conference on the Foundations of Nanoscience (FNANO 2017) awarded by Army Research Office 2017  2018
 Support of Fourteenth Conference on the Foundations of Nanoscience (FNANO 2017) awarded by Office of Naval Research 2017
 Support of Thirteenth Conference on the Foundations of Nanoscience (FNANO 2016) awarded by Office of Naval Research 2016
 Support of Thirteenth Conference on the Foundations of Nanoscience (FNANO 2016) awarded by Army Research Office 2016
 SHF: Small: Localized DNA Hybridization Computation awarded by National Science Foundation 2013  2016
 Support of Twelfth Conference on the Foundations of Nanoscience (FNANO 2015) awarded by Army Research Office 2015
 SHF: Small: Error Correction for Biomolecular Computations awarded by National Science Foundation 2012  2015
 Support of Eleventh Conference on the Foundations of Nanoscience (FNANO 2014) awarded by Office of Naval Research 2014  2015
 Support of Eleventh Conference on the Foundations of Nanoscience (FNANO 2014) awarded by Army Research Office 2014  2015
 EAGER: Exploratory Software Development & Experiments of Dynamic DNA Nanosystems awarded by National Science Foundation 2011  2013
 EMT/NANO: PolymeraseBased SelfActivating and Reactiving DNA Systems awarded by National Science Foundation 2008  2012
 EMT/NANO: Autonomous Programmable DNA Devices Using DNAzymes awarded by National Science Foundation 2008  2011
 BioX AFOSR: Encapsulated DNABased Molecular Autonomous Sensing Devices with Photonic I/O awarded by Air Force Office of Scientific Research 2008  2009
 EMT: A DNABased Autonomous Programmable Molecular Transport Network awarded by National Science Foundation 2005  2009
 Support of Conference on Foundations of Nanoscience (FNANO08) awarded by Air Force Office of Scientific Research 2008
 Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices (FNAN007) awarded by Air Force Office of Scientific Research 2007
 EMT: ErrorResilient DNA Tiling Assemblies awarded by National Science Foundation 2004  2007
 ITR: Nanoarchitecture: Balancing Regularity, Complexity, and Defect Tolerance using DNA for Nanoeletronic Integration awarded by National Science Foundation 2003  2007
 SelfAssembly of DNA awarded by National Science Foundation 2000  2006
 EMT: NSF Workshop on Emerging Opportunities of Nanoscience to Energy Conversion and Storage awarded by National Science Foundation 2005  2006
 EMT: NSF Workshop on Programmed SelfAssembly awarded by National Science Foundation 2005
 QuBic: Novel DNA Nanostructures for Targeted Molecular Scale to Micron Scale Interconnects awarded by National Science Foundation 2002  2005
 QuBic: Molecular Robotics for DNA Nanostructures awarded by National Science Foundation 2002  2005
 SGER: Micro and NanoRobotics Motion Control and SelfAssembly Algorithms awarded by National Science Foundation 2000  2001
 Robust, Adaptive and Dynamic Robotic Motion Planning awarded by National Science Foundation 1997  2000
 (980564) Prototyping Biomolecular Computations awarded by National Science Foundation 1997  1998
 (970611) Prototyping Biomolecular Computations awarded by National Science Foundation 1997  1998
 (970091) SIMD/MIMD Parallel Computing: Computational Theory, Scientific Applications, and Systems Research awarded by National Science Foundation 1992  1998
 (970159) Robust, Adaptive, and Dynamic Robotic Motion Planning awarded by National Science Foundation 1997  1998
 (960617) An Exploratory Study of Parallel Molecular Computation awarded by National Science Foundation 1996  1997
 (940767) Derivation and Analysis Tools for the Synthesis and Implementation of Parallel Algorithms awarded by Office of Naval Research 1991  1995
 (950774) Derivation and Analysis Tools for the Synthesis and Implementation of Parallel Algorithms awarded by Office of Naval Research 1991  1995
 (940651) Towards Autonomous Robots: Robust, Adaptive and Dynamic Motion Planning awarded by National Science Foundation 1992  1995
 (910181) Toward Autonomous Robots: Robust, Adaptive, & Dynamic Motion Planning awarded by National Science Foundation 1992  1995
 (940090) Towards Autonomous Robots: Robust, Adaptive & Dynamic Motion Planning awarded by National Science Foundation 1993  1994
 (900383) Parallel Algorithm Deviation awarded by Office of Naval Research 1988  1992
 (870315) Parallel Algorithim Derivation awarded by Office of Naval Research 1988  1991
 (890332) Parallel Algorithim Derivation awarded by Office of Naval Research 1988  1991
 (910592) Parallel Algorithm Deviation awarded by Office of Naval Research 1988  1991
 (870309) Computational Complexity and Efficiency in ElectroOptical Computing Systems awarded by Air Force Office of Scientific Research 1987  1990
 (900535) Computational Complexity: Efficiency in Electrooptical Computing Systems awarded by Air Force Office of Scientific Research 1987  1990
 (880559) Very High Speed Holographic Message Routing for Parallel Machines awarded by Army Research Office 1988  1990
 (890345) Very High Speed Holographic Message Routing for Parallel Machines awarded by Army Research Office 1988  1990
 (890491) Computational Complexity and Efficiency in ElectroOptical Computing Systems awarded by Air Force Office of Scientific Research 1987  1990
 (870195) Randomized Parallel Algorithms for Learning awarded by Office of Naval Research 1987  1988
 (870268) Theoretical Investigations in Parallel Algorithims and Complexity of Motion Planning awarded by National Science Foundation 1985  1988
 Publications & Artistic Works

Selected Publications

Book Sections
 Chandran, H, Gopalkrishnan, N, and Reif, J. "DNA nanorobotics." In Nanorobotics: Current Approaches and Techniques, 355382. January 1, 2013. Full Text
 Reif, JH, and Reif, JH. "Mechanical computing: The computational complexity of physical devicesMechanical computing: The computational complexity of physical devices (PublishedPublished)." In Computational Complexity: Theory, Techniques, and Applications, 18211836. November 1, 2012. Full Text
 Reif, JH, and LaBean, TH. "Engineering natural computation by autonomous DNAbased biomolecular devices." In Handbook of Natural Computing, 13201353. January 1, 2012. Full Text

Conference Papers
 Sahu, S, Yin, P, and Reif, JH. "A Selfassembly Model of TimeDependent Glue Strength." 2009. Full Text Link to Item
 Reif, J, and Slee, S. "Optimal kinodynamic motion planning for 2D reconfiguration of selfreconfigurable robots." January 1, 2008.
 Reif, JH, LaBean, TH, Pirrung, M, Rana, VS, Guo, B, Kingsford, C, and Wickham, GS. "Experimental construction of very large scale DNA databases with associative search capability." January 1, 2002.
 Reif, J, and Sun, Z. "Movement planning in the presence of flows." January 1, 2001. Full Text
 Reif, JH, LaBean, TH, and Seeman, NC. "Challenges and applications for selfassembled DNA nanostructures." January 1, 2001. Full Text
 Reif, JH, and LaBean, TH. "Computationally inspired biotechnologies: Improved DNA synthesis and associative search using errorcorrecting codes and vectorquantization." January 1, 2001. Full Text
 Reif, JH. "Alternative computational models: A comparison of biomolecular and quantum computation  Extended abstract." 1998. Link to Item
 Nyland, L, Prins, J, Goldberg, A, Mills, P, Reif, J, and Wagner, R. "A refinement methodology for developing DataParallel applications." January 1, 1996.
 Nikoletseas, S, Reif, J, Spirakis, P, and Yung, M. "Stochastic graphs have short memory: Fully dynamic connectivity in polylog expected time." January 1, 1995. Full Text
 Reif, JH, and Tate, SR. "Dynamic parallel tree contraction (extended abstract)." August 1, 1994. Full Text
 Cheriyan, J, and Reif, JH. "Parallel and output sensitive algorithms for combinatorial and linear algebra problems." August 1, 1993. Full Text
 Armon, D, and Reif, J. "A dynamic separator algorithm." January 1, 1993.
 Reif, JH, and Tate, SR. "The complexity of Nbody simulation." January 1, 1993.
 Pan, V, and Reif, J. "On the bitcomplexity of discrete solutions of PDEs: Compact multigrid." January 1, 1990.
 Reif, JH, and Sen, S. "An efficient outputsensitive hiddensurface removal algorithm and its parallelization." January 6, 1988. Full Text
 Pan, V, and Reif, J. "Fast and efficient parallel linear programming and linear least squares computations." January 1, 1986. Full Text
 Pan, V, and Reif, J. "Extension of the parallel nested dissection algorithm to path algebra problems." January 1, 1986. Full Text
 Reif, JH, and Tygar, JD. "Efficient Parallel PseudoRandom Number Generation." January 1, 1986. Full Text
 Reif, J. "Probabilistic algorithms in group theory." January 1, 1985. Full Text
 Reif, JH, and Scherlis, WL. "Deriving efficient graph algorithms (summary)." January 1, 1984. Full Text
 Reif, J, and Sistla, AP. "A multiprocess network logic with temporal and spatial modalities." January 1, 1983. Full Text
 Reif, JH. "On the power of probabilistic choice in synchronous parallel computations." January 1, 1982. Full Text
 Reif, JH. "Minimum st cut of a planar undirected network in o(n log^{2}(n)) time." January 1, 1981. Full Text

Journal Articles
 Song, T, Garg, S, Mokhtar, R, Bui, H, and Reif, J. "Design and Analysis of Compact DNA Strand Displacement Circuits for Analog Computation Using Autocatalytic Amplifiers." ACS Synthetic Biology 7, no. 1 (January 19, 2018): 4653. Full Text
 Reif, JH. "DNA robots sort as they walk." Science (New York, N.Y.) 357, no. 6356 (September 2017): 10951096. Full Text
 Bui, H, Miao, V, Garg, S, Mokhtar, R, Song, T, and Reif, J. "Design and Analysis of Localized DNA Hybridization Chain Reactions." Small 13, no. 12 (March 2017): 16029831602983. Full Text
 Bui, H, Garg, S, Miao, V, Song, T, Mokhtar, R, and Reif, J. "Design and analysis of linear cascade DNA hybridization chain reactions using DNA hairpins." New Journal of Physics 19, no. 1 (January 1, 2017): 015006015006. Full Text
 Song, X, Eshra, A, Dwyer, C, and Reif, J. "Renewable DNA seesaw logic circuits enabled by photoregulation of toeholdmediated strand displacement." RSC Adv. 7, no. 45 (2017): 2813028144. Full Text
 Song, T, Garg, S, Mokhtar, R, Bui, H, and Reif, J. "Analog Computation by DNA Strand Displacement Circuits." ACS synthetic biology 5, no. 8 (August 2016): 898912. Full Text
 Tyagi, A, and Reif, JH. "Energy complexity of optical computations." International Journal of Unconventional Computing 12, no. 56 (January 1, 2016): 393412.
 Alhalabi, W, Reif, J, Elsheikh, Z, Felimban, H, Fallata, M, Thabit, K, and Abusorrah, A. "The colearning in the design, simulation and optimization of a solar concentrating system." Computers in Human Behavior 51 (October 2015): 857866. Full Text
 Dalchau, N, Chandran, H, Gopalkrishnan, N, Phillips, A, and Reif, J. "Probabilistic Analysis of Localized DNA Hybridization Circuits." ACS synthetic biology 4, no. 8 (August 2015): 898913. Full Text
 Reif, JH, and Alhalabi, W. "Solarthermal powered desalination: Its significant challenges and potential." Renewable and Sustainable Energy Reviews 48 (August 2015): 152165. Full Text
 Garg, S, Chandran, H, Gopalkrishnan, N, LaBean, TH, and Reif, J. "Directed enzymatic activation of 1D DNA tiles." ACS nano 9, no. 2 (February 9, 2015): 10721079. Full Text
 Chandran, H, Gopalkrishnan, N, Yurke, B, and Reif, J. "MetaDNA: A DNAbased approach to synthetic biology." (March 1, 2014): 171200. (Chapter) Full Text
 Chandran, H, Rangnekar, A, Shetty, G, Schultes, EA, Reif, JH, and LaBean, TH. "An autonomously selfassembling dendritic DNA nanostructure for target DNA detection." Biotechnol J 8, no. 2 (February 2013): 221227. Full Text Link to Item
 Chandran, H, Gopalkrishnan, N, and Reif, J. "Tile Complexity of Approximate Squares." Algorithmica 66, no. 1 (2013): 117. Full Text
 Chandran, H, Rangnekar, A, Shetty, G, Schultes, EA, Reif, JH, and Labean, TH. "An autonomously selfassembling dendritic DNA nanostructure for target DNA detection." Biotechnology Journal 8, no. 2 (2013): 221227. Full Text
 Chandran, H, Garg, S, Gopalkrishnan, N, and Reif, JH. "Biomolecular Computing Systems." (December 21, 2012): 199223. (Chapter) Full Text
 Chandran, H, Gopalkrishnan, N, Yurke, B, and Reif, J. "MetaDNA: Synthetic biology via DNA nanostructures and hybridization reactions." Journal of the Royal Society Interface 9, no. 72 (2012): 16371653. Full Text
 Chandran, H, Gopalkrishnan, N, and Reif, J. "Tile complexity of linear assemblies." SIAM Journal on Computing 41, no. 4 (2012): 10511073. Full Text
 Chandran, H, Gopalkrishnan, N, and Reif, J. "Tile Complexity of Approximate Squares." Algorithmica (New York) (2012): 117. Full Text
 Reif, JH. "Local parallel biomolecular computation." International Journal of Unconventional Computing 8, no. 56 (2012): 459507.
 Reif, JH. "Biochemistry. Scaling up DNA computation." Science 332, no. 6034 (June 3, 2011): 11561157. Full Text Link to Item
 Majumder, U, Rangnekar, A, Gothelf, KV, Reif, JH, and LaBean, TH. "Design and construction of doubledecker tile as a route to threedimensional periodic assembly of DNA." J Am Chem Soc 133, no. 11 (March 23, 2011): 38433845. Full Text Link to Item
 Chandran, H, Gopalkrishnan, N, Phillips, A, and Reif, J. "Localized hybridization circuits." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6937 LNCS (2011): 6483. Full Text
 Gopalkrishnan, N, Chandran, H, and Reif, J. "Highfidelity DNA hybridization using programmable molecular DNA devices." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6518 LNCS (2011): 5970. Full Text
 Majumder, U, and Reif, JH. "Design of a biomolecular device that executes process algebra." Natural Computing 10, no. 1 (2011): 447466. Full Text
 Reif, J, and Slee, S. "Asymptotically optimal kinodynamic motion planning for a class of modular selfreconfigurable robots." International Journal of Computational Geometry and Applications 21, no. 2 (2011): 131155. Full Text
 Reif, JH, Sahu, S, and Yin, P. "Complexity of graph selfassembly in accretive systems and selfdestructible systems." Theoretical Computer Science 412, no. 17 (2011): 15921605. Full Text
 Reif, JH. "Keynote: DNAbased molecular devices." 2011 IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2011 (2011): 3. Full Text
 Reif, JH, and Majumder, U. "Isothermal reactivating Whiplash PCR for locally programmable molecular computation." Natural Computing 9, no. 1 (2010): 183206. Full Text
 Sahu, S, and Reif, JH. "Capabilities and limits of compact error resilience methods for algorithmic selfassembly." Algorithmica (New York) 56, no. 4 (2010): 480504. Full Text
 Slee, S, and Reif, J. "Robomotion: Scalable, physically stable locomotion for selfreconfigurable robots." Springer Tracts in Advanced Robotics 68, no. STAR (2010): 121137. Full Text
 Reif, JH, and LaBean, TH. "DNA Nanotechnology and its Biological Applications." (November 24, 2009): 349375. (Chapter) Full Text
 Reif, JH. "Quantum Computing." (November 24, 2009): 67109. (Chapter) Full Text
 Chandran, H, Gopalkrishnan, N, and Reif, J. "The tile complexity of linear assemblies." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5555 LNCS, no. PART 1 (2009): 235253. Full Text
 LaBean, TH, Shetty, G, Yan, H, Schultes, EA, Chandran, H, and Reif, JH. "Target DNA detection by strand displacement and deoxyribozymogen amplification." Extended Abstracts for 6th Annual Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2009 (2009): 8283.
 LaBean, TH, Shetty, G, Yin, P, Schultes, EA, Chandran, H, and Reif, JH. "A dendritic DNA Nanostructure for target DNA detection." Extended Abstracts for 6th Annual Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2009 (2009): 6061.
 Majumder, U, and Reif, JH. "Design of a biomolecular device that executes process algebra." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5877 LNCS (2009): 97105. Full Text
 Reif, J, and Lieberman, M. "Conference motivation: The challenge of selfassembly of molecular scale structures." Extended Abstracts for 6th Annual Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2009 (2009).
 Reif, JH, and Majumder, U. "Isothermal reactivating whiplash PCR for locally programmable molecular computation." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5347 LNCS (2009): 4156. Full Text
 Reif, JH, and Sahu, S. "Autonomous programmable DNA nanorobotic devices using DNAzymes." Theoretical Computer Science 410, no. 15 (2009): 14281439. Full Text
 Sahu, S, LaBean, TH, and Reif, JH. "A DNA nanotransport device powered by polymerase phi29." Nano Lett 8, no. 11 (November 2008): 38703878. Full Text Link to Item
 Majumder, U, LaBean, TH, and Reif, JH. "Activatable tiles: Compact, robust programmable assembly and other applications." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4848 LNCS (2008): 1525. Full Text
 Majumder, U, Sahu, S, and Reif, JH. "Stochastic analysis of reversible selfassembly." Journal of Computational and Theoretical Nanoscience 5, no. 7 (2008): 12891305. Full Text
 Majumder, U, and Reif, JH. "A framework for designing novel magnetic tiles capable of complex selfassemblies." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5204 LNCS (2008): 129145. Full Text
 Reif, J, and Weiss, P. "Conference motivation: The challenge of selfassembly of molecular scale structures." 5th Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2008 (2008): iv.
 Reif, JH, Kasif, S, and Sherlekar, D. "Formula dissection: A parallel algorithm for constraint satisfaction." Computers and Mathematics with Applications 55, no. 6 (2008): 11701177. Full Text
 Reif, JH, and Sahu, S. "Autonomous programmable nanorobotic devices using DNAzymes." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4848 LNCS (2008): 6678. Full Text
 Reif, JH, and Slee, S. "Asymptotically optimal kinodynamic motion planning for selfreconfigurable robots." Springer Tracts in Advanced Robotics 47 (2008): 457472. Full Text
 Sahu, S, Wang, B, and Reif, JH. "A framework for modeling DNA based molecular systems." Journal of Computational and Theoretical Nanoscience 5, no. 11 (2008): 21242134. Full Text
 Yin, P, Hariadi, RF, Sahu, S, Choi, HMT, Sung, HP, LaBean, TH, and Reif, JH. "Programming DNA tube circumferences." Science 321, no. 5890 (2008): 824826. Full Text
 Labean, TH, Gothelf, KV, and Reif, JH. "SelfAssembling DNA Nanostructures for Patterned Molecular Assembly." (February 19, 2007): 7997. (Chapter) Full Text
 Gehani, A, and Reif, J. "Superresolution video analysis for forensic investigations." IFIP International Federation for Information Processing 242 (2007): 281299. Full Text
 Majumder, U, LaBean, TH, and Reif, JH. "Activatable DNA tiles for compact errorresilient directional assembly." 4th Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2007 (2007): 6064.
 Majumder, U, Sahu, S, and Reif, J. "Reversible selfassembly of squares as a rapidly mixing Markov Chain." 4th Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2007 (2007): 155157.
 Reif, JH, and Chakraborty, S. "Efficient and exact quantum compression." Information and Computation 205, no. 7 (2007): 967981. Full Text
 Reif, JH, and Labean, TH. "Autonomous programmable biomolecular devices using selfassembled DNA nanostructures." Communications of the ACM 50, no. 9 (2007): 4653. Full Text
 Reif, JH, and Labean, TH. "Autonomous programmable biomolecular devices using selfassembled DNA nanostructures." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4576 LNCS (2007): 297306.
 Sun, Z, and Reif, JH. "On robotic optimal path planning in polygonal regions with pseudoEuclidean metrics." IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics 37, no. 4 (2007): 925936. Full Text
 Yin, P, Hariadi, RF, Sahu, S, Choi, HMT, Park, SH, Walters, B, LaBean, TH, and Reif, JH. "Abstract: Single strand DNA tiles and molecular tubes with precisely programmable circumferences." 4th Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2007 (2007): 7178.
 Park, SH, Pistol, C, Ahn, SJ, Reif, JH, Lebeck, AR, Dwyer, C, and LaBean, TH. "Erratum: Finitesize, fully addressable DNA tile lattices formed by hierarchical assembly procedures (Angewandte ChemieInternational Edition (2006) 45 (735739))." Angewandte Chemie  International Edition 45, no. 40 (October 13, 2006): 6607. Full Text
 Park, SH, Pistol, C, Ahn, SJ, Reif, JH, Lebeck, AR, Dwyer, C, and LaBean, TH. "Finitesize, fully addressable DNA tile lattices formed by hierarchical assembly procedures." Angew Chem Int Ed Engl 45, no. 5 (January 23, 2006): 735739. Full Text Link to Item
 Majumder, U, Sahu, S, LaBean, TH, and Reif, JH. "Design and simulation of selfrepairing DNA lattices." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4287 LNCS (2006): 195214. Full Text
 Park, SH, Pistol, C, Ahn, SJ, Reif, JH, Lebeck, AR, Dwyer, C, and LaBean, TH. "Finitesize, fully addressable DNA tile lattices formed by hierarchical assembly procedures." Angewandte Chemie  International Edition 45, no. 5 (2006): 735739. Full Text
 Reif, J. "Conference motivation: The challenge of selfassembly of molecular scale structures." 3rd Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2006 (2006).
 Reif, JH, Sahu, S, and Yin, P. "Complexity of graph selfassembly in accretive systems and selfdestructible systems." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3892 LNCS (2006): 257274. Full Text
 Reif, JH, and Sun, Z. "On boundaries of highly visible spaces and applications." Theoretical Computer Science 354, no. 3 (2006): 379390. Full Text
 Sahu, S, Wang, B, and Reif, JH. "A framework for modeling DNA based molecular systems." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4287 LNCS (2006): 250265. Full Text
 Sahu, S, Yin, P, and Reif, JH. "A selfassembly model of timedependent glue strength." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3892 LNCS (2006): 290304. Full Text
 Sahu, S, and Reif, JH. "Capabilities and limits of compact error resilience methods for algorithmic selfassembly in two and three dimensions." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4287 LNCS (2006): 223238. Full Text
 Sun, Z, and Reif, JH. "On finding approximate optimal paths in weighted regions." Journal of Algorithms 58, no. 1 (2006): 132. Full Text
 Yin, P, Sahu, S, Turberfield, AJ, and Reif, JH. "Design of autonomous DNA cellular automata." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3892 LNCS (2006): 399416. Full Text
 Park, SH, Barish, R, Li, H, Reif, JH, Finkelstein, G, Yan, H, and Labean, TH. "Threehelix bundle DNA tiles selfassemble into 2D lattice or 1D templates for silver nanowires." Nano Lett 5, no. 4 (April 2005): 693696. Full Text Link to Item
 Park, SH, Yin, P, Liu, Y, Reif, JH, LaBean, TH, and Yan, H. "Programmable DNA selfassemblies for nanoscale organization of ligands and proteins." Nano Lett 5, no. 4 (April 2005): 729733. Full Text Link to Item
 Azhar, S, McLennan, A, and Reif, JH. "Computation of equilibriain noncooperative games." Computers and Mathematics with Applications 50, no. 56 (2005): 823854. Full Text
 Chen, J, Reif, J, and Rozenberg, G. "Preface." Natural Computing 4, no. 2 (2005): 8182. Full Text
 LaBean, TH, Park, SH, Ahn, SJ, and Reif, JH. "Stepwise DNA selfassembly of fixedsize nanostructures." 2nd Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2005 (2005): 178180.
 Park, SH, Li, H, Yan, H, Reif, JH, Finkelstein, G, and LaBean, TH. "Selfassembled 1D DNA nanostructures as templates for silver nanowires." 2nd Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices, FNANO 2005 (2005): 193196.
 Reif, JH, LaBean, TH, Sahu, S, Yan, H, and Yin, P. "Design, simulation, and experimental demonstration of selfassembled DNA nanostructures and motors." Lecture Notes in Computer Science 3566 (2005): 173187.
 Reif, JH, Sahu, S, and Yin, P. "Compact errorresilient computational DNA tiling assemblies." Lecture Notes in Computer Science 3384 (2005): 293307.
 Reif, JH. "Efficient parallel factorization and solution of structured and unstructured linear systems." Journal of Computer and System Sciences 71, no. 1 (2005): 86143. Full Text
 Sun, Z, Hsu, D, Jiang, T, Kurniawati, H, and Reif, JH. "Narrow passage sampling for probabilistic roadmap planning." IEEE Transactions on Robotics 21, no. 6 (2005): 11051115. Full Text
 Sun, Z, and Reif, JH. "On finding energyminimizing paths on terrains." IEEE Transactions on Robotics 21, no. 1 (2005): 102114. Full Text
 Yin, P, Turberfield, AJ, Sahu, S, and Reif, JH. "Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion." Lecture Notes in Computer Science 3384 (2005): 426444.
 Yin, P, Turberfield, AJ, and Reif, JH. "Designs of autonomous unidirectional walking DNA devices." Lecture Notes in Computer Science 3384 (2005): 410425.
 Yin, P, Yan, H, Daniell, XG, Turberfield, AJ, and Reif, JH. "A unidirectional DNA walker that moves autonomously along a track." Angew Chem Int Ed Engl 43, no. 37 (September 20, 2004): 49064911. Full Text Link to Item
 Li, H, Park, SH, Reif, JH, LaBean, TH, and Yan, H. "DNAtemplated selfassembly of protein and nanoparticle linear arrays." J Am Chem Soc 126, no. 2 (January 21, 2004): 418419. Full Text Link to Item
 Liu, D, Park, SH, Reif, JH, and LaBean, TH. "DNA nanotubes selfassembled from triplecrossover tiles as templates for conductive nanowires." Proc Natl Acad Sci U S A 101, no. 3 (January 20, 2004): 717722. Full Text Link to Item
 Gehani, A, Labean, T, and Reif, J. "DNAbased cryptography." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2950 (2004): 167188.
 Park, SH, Yan, H, Reif, JH, LaBean, TH, and Finkelstein, G. "Electronic nanostructures templated on selfassembled DNA scaffolds." Nanotechnology 15, no. 10 (2004): S525S527. Full Text
 Reif, JH, and Scherlis, WL. "Deriving efficient graph algorithms." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2772 (2004): 645681.
 Reif, JH, and Sun, Z. "Movement planning in the presence of flows." Algorithmica (New York) 39, no. 2 (2004): 127153. Full Text
 Yan, H, Feng, L, LaBean, TH, and Reif, JH. "Parallel molecular computations of pairwise exclusiveor (XOR) using DNA "string tile" selfassembly." J Am Chem Soc 125, no. 47 (November 26, 2003): 1424614247. Full Text Link to Item
 Yan, H, Park, SH, Finkelstein, G, Reif, JH, and LaBean, TH. "DNAtemplated selfassembly of protein arrays and highly conductive nanowires." Science 301, no. 5641 (September 26, 2003): 18821884. Full Text Link to Item
 Feng, L, Park, SH, Reif, JH, and Yan, H. "A twostate DNA lattice switched by DNA nanoactuator." Angew Chem Int Ed Engl 42, no. 36 (September 22, 2003): 43424346. Full Text Link to Item
 Yan, H, LaBean, TH, Feng, L, and Reif, JH. "Directed nucleation assembly of DNA tile complexes for barcodepatterned lattices." Proc Natl Acad Sci U S A 100, no. 14 (July 8, 2003): 81038108. Full Text Link to Item
 Hsu, D, Jiang, T, Reif, J, and Sun, Z. "The bridge test for sampling narrow passages with probabilistic roadmap planners." Proceedings  IEEE International Conference on Robotics and Automation 3 (2003): 44204426.
 Liu, D, Reif, JH, and LaBean, TH. "DNA nanotubes: Construction and characterization of filaments composed of TXtile lattice." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2568 (2003): 1021.
 Reif, JH, and Sun, Z. "On frictional mechanical systems and their computational power." SIAM Journal on Computing 32, no. 6 (2003): 14491474. Full Text
 Reif, JH, and Sun, Z. "On boundaries of highly visible spaces and applications." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2751 (2003): 271283.
 Reif, JH. "The design of autonomous DNA nanomechanical devices: Walking and rolling DNA." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2568 (2003): 2237.
 Reif, JH. "The design of autonomous DNA nanomechanical devices: Walking and rolling DNA." Natural Computing 2, no. 4 (2003): 439461. Full Text
 Sun, Z, and Reif, J. "On energyminimizing paths on terrains for a mobile robot." Proceedings  IEEE International Conference on Robotics and Automation 3 (2003): 37823788.
 Sun, Z, and Reif, JH. "Adaptive and compact discretization for weighted region optimal path finding." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2751 (2003): 258270.
 Reif, JH. "Computing. Successes and challenges." Science 296, no. 5567 (April 19, 2002): 478479. Full Text Link to Item
 Peterson, G, Reif, J, and Azhar, S. "Decision algorithms for multiplayer noncooperative games of incomplete information." Computers and Mathematics with Applications 43, no. 12 (2002): 179206. Full Text
 Reif, J. "Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, 1921 May 2002: Foreword." Conference Proceedings of the Annual ACM Symposium on Theory of Computing (2002): iii.
 Reif, JH. "Molecular assembly and Computation: From theory to experimental demonstrations." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2380 LNCS (2002): 121.
 Reif, JH. "DNA lattices: A method for molecularscale patterning and computation." Computing in Science and Engineering 4, no. 1 (2002): 3241. Full Text
 Reif, JH. "The emerging discipline of biomolecular computation in the US." New Generation Computing 20, no. 3 (2002): 217236.
 Peterson, G, Reif, J, and Azhar, S. "Lower bounds for multiplayer noncooperative games of incomplete information." Computers and Mathematics with Applications 41, no. 78 (2001): 957992. Full Text
 Reif, JH, LaBean, TH, and Seeman, NC. "Programmable assembly at the molecular scale: Selfassembly of DNA lattices (invited paper)." Proceedings  IEEE International Conference on Robotics and Automation 1 (2001): 966971.
 Reif, JH, and Storer, JA. "Optimal encoding of nonstationary sources." Information Sciences 135, no. 12 (2001): 87105. Full Text
 Reif, JH. "Parallel outputsensitive algorithms for combinatorial and linear algebra problems." Journal of Computer and System Sciences 62, no. 3 (2001): 398412. Full Text
 Reif, JH. "Efficient parallel computation of the characteristic polynomial of a sparse, separable matrix." Algorithmica (New York) 29, no. 3 (2001): 487510.
 Sun, Z, and Reif, J. "BUSHWHACK: An approximation algorithm for minimal paths through pseudoeuclidean spaces." Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2223 LNCS (2001): 160171. Full Text
 LaBean, TH, Yan, H, Kopatsch, J, Liu, F, Winfree, E, Reif, JH, and Seeman, NC. "Construction, analysis, ligation, and selfassembly of DNA triple crossover complexes." Journal of the American Chemical Society 122, no. 9 (2000): 18481860. Full Text
 Mao, C, LaBean, TH, Reif, JH, and Seeman, NC. "Logical computation using algorithmic selfassembly of DNA triplecrossover molecules." Nature 407, no. 6803 (2000): 493496. Full Text
 Reif, J. "On the impossibility of interactionfree quantum sensing for small I/O bandwidth." Information and Computation 163, no. 1 (2000): 103122. Full Text
 Reif, JH, and Tate, SR. "Fast spatial decomposition and closest pair computation for limited precision input." Algorithmica (New York) 28, no. 3 (2000): 271287. Full Text
 Reif, JH, and Wang, H. "Nonuniform discretization for kinodynamic motion planning and its applications." SIAM Journal on Computing 30, no. 1 (2000): 161190. Full Text
 Azhar, S, and Reif, JH. "Efficient algorithmic learning of the structure of permutation groups by examples." Computers and Mathematics with Applications 37, no. 10 (1999): 105132. Full Text
 Gehani, A, and Reif, J. "Micro flow biomolecular computation." BioSystems 52, no. 13 (1999): 197216. Full Text
 Li, Z, Reif, JH, and Gupta, SKS. "Synthesizing efficient outofcore programs for block recursive algorithms using blockcyclic data distributions." IEEE Transactions on Parallel and Distributed Systems 10, no. 3 (1999): 297315. Full Text
 Reif, JH, and Wang, H. "Social potential fields: A distributed behavioral control for autonomous robots." Robotics and Autonomous Systems 27, no. 3 (1999): 171194. Full Text
 Reif, JH. "Approximate complex polynomial evaluation in near constant work per point." SIAM Journal on Computing 28, no. 6 (1999): 20592089.
 Reif, JH. "Parallel biomolecular computation: Models and simulations." Algorithmica (New York) 25, no. 23 (1999): 142175.
 Gazit, H, and Reif, JH. "A Randomized Parallel Algorithm for Planar Graph Isomorphism." Journal of Algorithms 28, no. 2 (1998): 290314.
 Reif, JH, and Storer, JA. "Optimal lossless compression of a class of dynamic sources." Data Compression Conference Proceedings (1998): 501510.
 Reif, JH. "Efficient Approximate Solution of Sparse Linear Systems." Computers and Mathematics with Applications 36, no. 9 (1998): 3758.
 Rolland, JP, Yoshida, A, Davis, LD, and Reif, JH. "Highresolution inset headmounted display." Applied Optics 37, no. 19 (1998): 41834193.
 Chen, S, and Reif, JH. "Fast and compact volume rendering in the compressed transform domain." Data Compression Conference Proceedings (1997): 271280.
 Gelenbe, E, Schmajuk, N, Staddon, J, and Reif, J. "Autonomous search by robots and animals: A survey." Robotics and Autonomous Systems 22, no. 1 (1997): 2334.
 Han, Y, Pan, VY, and Reif, JH. "Efficient Parallel Algorithms for Computing All Pair Shortest Paths in Directed Graphs1." Algorithmica (New York) 17, no. 4 (1997): 399415.
 Reif, JH, and Tate, SR. "On Dynamic Algorithms for Algebraic Problems." Journal of Algorithms 22, no. 2 (1997): 347371.
 Reif, JH, and Tyagi, A. "Efficient parallel algorithms for optical computing with the discrete Fourier transform (DFT) primitive." Applied Optics 36, no. 29 (1997): 73277340.
 Reif, JH, and Tyagi, A. "Optical delay line memory model with efficient algorithms." Optical Engineering 36, no. 9 (1997): 25212535.
 Reif, JH. "Approximate complex polynomial evaluation in near constant work per point." Conference Proceedings of the Annual ACM Symposium on Theory of Computing (1997): 3039.
 Storer, JA, and Reif, J. "Lowcost prevention of errorpropagation for data compression with dynamic dictionaries." Data Compression Conference Proceedings (1997): 171180.
 Storer, JA, and Reif, JH. "Errorresilient optimal data compression." SIAM Journal on Computing 26, no. 4 (1997): 934949.
 Kao, MY, Reif, JH, and Tate, SR. "Searching in an Unknown Environment: An Optimal Randomized Algorithm for the CowPath Problem." Information and Computation 131, no. 1 (1996): 6379. Full Text
 Neff, AC, and Reif, JH. "An efficient algorithm for the complex roots problem." Journal of Complexity 12, no. 2 (1996): 81115. Full Text
 Nyland, LS, and Reif, JH. "An algebraic technique for generating optimal CMOS circuitry in linear time." Computers and Mathematics with Applications 31, no. 1 (1996): 85108. Full Text
 Chen, S, and Reif, JH. "Fast pattern matching for entropy bounded text." Data Compression Conference Proceedings (1995): 282291.
 Paturi, R, Rajasekaran, S, and Reif, J. "The Light Bulb Problem." Information and Computation 117, no. 2 (1995): 187192. Full Text
 Reif, JH, and Sen, S. "An efficient outputsensitive hiddensurface removal algorithm for polyhedral terrains." Mathematical and Computer Modelling 21, no. 5 (1995): 89104.
 Reif, JH. "Efficient parallel solution of sparse eigenvalue and eigenvector problems." Annual Symposium on Foundations of Computer Science  Proceedings (1995): 123132.
 Reif, JH. "Parallel molecular computation." Annual ACM Symposium on Parallel Algorithms and Architectures (1995): 213223.
 Yoshida, A, Rolland, JP, and Reif, JH. "Optical design and analysis of a headmounted display with a highresolution insert." Proceedings of SPIE  The International Society for Optical Engineering 2537 (1995): 7182.
 Yoshida, A, Rolland, JP, and Reif, JH. "Design and applications of a highresolution insert headmounteddisplay." Proceedings  Virtual Reality Annual International Symposium (1995): 8493.
 Azhar, S, Badros, GJ, Glodjo, A, Kao, MY, and Reif, JH. "Data compression techniques for stock market prediction." Proceedings of the Data Compression Conference (1994): 7282.
 Cheriyan, J, and Reif, JH. "Directed st numberings, Rubber bands, and testing digraph kvertex connectivity." Combinatorica 14, no. 4 (1994): 435451. Full Text
 Ramachandran, V, and Reif, J. "Planarity testing in parallel." Journal of Computer and System Sciences 49, no. 3 (1994): 517561.
 Reif, J, and Sharir, M. "Motion planning in the presence of moving obstacles." Journal of the ACM 41, no. 4 (1994): 764790. Full Text
 Reif, JH, Tygar, JD, and Yoshida, A. "Computability and complexity of ray tracing." Discrete & Computational Geometry 11, no. 1 (1994): 265288. Full Text
 Reif, JH, and Sen, S. "Randomized algorithms for binary search and load balancing on fixed connection networks with geometric applications." SIAM Journal on Computing 23, no. 3 (1994): 633651.
 Reif, JH, and Storer, JA. "Singleexponential upper bound for finding shortest paths in three dimensions." Journal of the ACM 41, no. 5 (1994): 10131019. Full Text
 Reif, JH, and Tate, SR. "Approximate kinodynamic planning using L_{2}norm dynamic bounds." Computers and Mathematics with Applications 27, no. 5 (1994): 2944.
 Reif, JH, and Tate, SR. "Dynamic algebraic algorithms." Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms (1994): 290301.
 Reif, JH. "Models and resource metrics for parallel and distributed computation." Proceedings of the International Conference on Parallel Processing (1994): 404.
 Storer, JA, and Reif, JH. "Shortest paths in the plane with polygonal obstacles." Journal of the ACM 41, no. 5 (1994): 9821012. Full Text
 Yoshida, A, and Reif, JH. "Optical computing techniques for image/video compression." Proceedings of the IEEE 82, no. 6 (1994): 948954. Full Text
 Chen, S, and Reif, JH. "Using difficulty of prediction to decrease computation: Fast sort, priority queue and convex hull on entropy bounded inputs." Annual Symposium on Foundatons of Computer Science (Proceedings) (1993): 104112.
 Donald, B, Xavier, P, Canny, J, and Reif, J. "Kinodynamic motion planning." Journal of the ACM 40, no. 5 (1993): 10481066. Full Text
 Kao, MY, Reif, JH, and Tate, SR. "Searching in an unknown environment: An optimal randomized algorithm for the cowpath problem." Proceedings of the Fourth Annual ACMSIAM Symposium on Discrete Algorithms (1993): 441447.
 Pan, V, and Reif, J. "Fast and efficient parallel solution of sparse linear systems." SIAM Journal on Computing 22, no. 6 (1993): 12271250.
 Pan, V, and Reif, J. "Generalized compact multigrid." Computers and Mathematics with Applications 25, no. 9 (1993): 35.
 Reif, JH, and Tate, SR. "Continuous alternation: The complexity of pursuit in continuous domains." Algorithmica 10, no. 24 (1993): 156181. Full Text
 Reif, JH, and Yoshida, A. "Optical expanders with applications in optical computing." Applied Optics 32, no. 2 (1993): 159165. Full Text
 Reif, JH. "Probabilistic parallel prefix computation." Computers and Mathematics with Applications 26, no. 1 (1993): 101110.
 Reif, JH. "Efficient VLSI fault simulation." Computers and Mathematics with Applications 25, no. 2 (1993): 1532.
 Reif, JH. "O(n log^{3} n) algorithm for the real root problem." Annual Symposium on Foundatons of Computer Science (Proceedings) (1993): 626635.
 Royals, DM, Markas, T, Kanopoulos, N, Reif, JH, and Storer, JA. "On the design and implementation of a lossless data compression and decompression chip." IEEE Journal of SolidState Circuits 28, no. 9 (1993): 948953. Full Text
 Reif, J, and Spirakis, P. "Expected parallel time and sequential space complexity of graph and digraph problems." Algorithmica 7, no. 1 (December 1, 1992): 597630. Full Text
 Markas, T, and Reif, J. "Quad tree structures for image compression applications." Information Processing & Management 28, no. 6 (November 1992): 707721. Full Text
 Armon, D, and Reif, J. "Space and time efficient implementations of parallel nested dissection." 4th Annual ACM Symposium on Parallel Algorithms and Architectures (1992): 344352.
 Han, Y, Pan, V, and Reif, J. "Efficient parallel algorithms for computing all pair shortest paths in directed graphs." 4th Annual ACM Symposium on Parallel Algorithms and Architectures (1992): 353362.
 Hightower, WL, Prins, JF, and Reif, JH. "Implementations of randomized sorting on large parallel machines." 4th Annual ACM Symposium on Parallel Algorithms and Architectures (1992): 158167.
 Mills, PH, Nyland, LS, Prins, JF, and Reif, JH. "Prototyping Nbody simulation in Proteus." Proceedings of the International Conference on Parallel Processing (1992): 476482.
 Rajasekaran, S, and Reif, JH. "Nested annealing: a provable improvement to simulated annealing." Theoretical Computer Science 99, no. 1 (1992): 157176.
 Reif, J, and Spirakis, P. "Expected parallel time and sequential space complexity of graph and digraph problems." Algorithmica (New York) 7, no. 56 (1992): 597630.
 Reif, J, and Spirakis, P. "Expected parallel time and sequential space complexity of graph and digraph problems." Algorithmica 7, no. 16 (1992): 597630. Full Text
 Reif, JH, and Sen, S. "Optimal randomized parallel algorithms for computational geometry." Algorithmica (New York) 7, no. 1 (1992): 91117.
 Reif, JH, and Sen, S. "Optimal randomized parallel algorithms for computational geometry." Algorithmica 7, no. 16 (1992): 91117. Full Text
 Reif, JH, and Tate, SR. "On threshold circuits and polynomial computation." SIAM Journal on Computing 21, no. 5 (1992): 896908.
 Canny, J, Rege, A, and Reif, J. "An exact algorithm for kinodynamic planning in the plane." Discrete & Computational Geometry 6, no. 1 (1991): 461484. Full Text
 Miller, GL, and Reif, JH. "Parallel tree contraction. Part 2. Further applications." SIAM Journal on Computing 20, no. 6 (1991): 11281147.
 Pan, V, and Reif, J. "The parallel computation of minimum cost paths in graphs by stream contraction." Information Processing Letters 40, no. 2 (1991): 7983.
 Reif, JH, Tygar, JD, and Yoshida, A. "The computability and complexity of optical beam tracing." IEEE Transactions on Industry Applications 27, no. 1 pt 1 (1991): 106114.
 Storer, JA, and Reif, JH. "A parallel architecture for highspeed data compression." Journal of Parallel and Distributed Computing 13, no. 2 (1991): 222227.
 Blevins, DW, Dams, EW, Heaton, RA, and Reif, JH. "BLITZEN: A highly integrated massively parallel machine." Journal of Parallel and Distributed Computing 8, no. 2 (1990): 150160.
 Canny, J, Rege, A, and Reif, J. "Exact algorithm for kinodynamic planning in the plane." (1990): 271280.
 Gazit, H, and Reif, JH. "Randomized parallel algorithm for planar graph isomorphism." Algorithms and Architectures (1990): 210219.
 Pan, V, and Reif, J. "The bitcomplexity of discrete solutions of partial differential equations: Compact multigrid." Computers and Mathematics with Applications 20, no. 2 (1990): 916.
 Reif, JH, and Sen, S. "Randomized algorithms for binary search and load balancing on fixed connection networks with geometric applications." Algorithms and Architectures (1990): 327337.
 Reif, JH, and Smolka, SA. "Data flow analysis of distributed communicating processes." International Journal of Parallel Programming 19, no. 1 (1990): 130. Full Text
 Reif, JH, and Tate, SR. "Optimal size integer division circuits." SIAM Journal on Computing 19, no. 5 (1990): 912924.
 Storer, JA, and Reif, JH. "A parallel architecture for high speed data compression." (1990): 238243.
 Pan, V, and Reif, J. "Fast and efficient solution of path algebra problems." Journal of Computer and System Sciences 38, no. 3 (1989): 494510.
 Pan, V, and Reif, J. "Fast and efficient parallel solution of dense linear systems." Computers and Mathematics with Applications 17, no. 11 (1989): 14811491.
 Rajasekaran, S, and Reif, JH. "Optimal and sublogarithmic time randomized parallel sorting algorithms." SIAM Journal on Computing 18, no. 3 (1989): 594607.
 Ramachandran, V, and Reif, J. "Optimal parallel algorithm for graph planarity." Annual Symposium on Foundations of Computer Science (Proceedings) (1989): 282287.
 Reif, JH, and Sen, S. "Polling: A new randomized sampling technique for computational geometry." (1989): 394404.
 Reif, JH, and Tate, SR. "Optimal size integer division circuits." (1989): 264273.
 Willard, DE, and Reif, JH. "Parallel processing can be harmful: The unusual behavior of interpolation search." Information and Computation 81, no. 3 (1989): 364379.
 Blevins, DW, Davis, EW, Heaton, RA, and Reif, JH. "BLITZEN: A highly integrated massively parallel machine." (1988): 399406.
 Canny, J, Reif, J, Donald, B, and Xavier, P. "On the complexity of kinodynamic planning." Annual Symposium on Foundations of Computer Science (Proceedings) (1988): 306316.
 Gács, P, and Reif, J. "A simple threedimensional realtime reliable cellular array." Journal of Computer and System Sciences 36, no. 2 (1988): 125147.
 Klein, PN, and Reif, JH. "An efficient parallel algorithm for planarity." Journal of Computer and System Sciences 37, no. 2 (1988): 190246.
 Klein, PN, and Reif, JH. "Parallel time O(log n) acceptance of deterministic CFLs on an exclusivewrite PRAM." SIAM Journal on Computing 17, no. 3 (1988): 463485.
 REIF, JH, and STORER, JA. "3DIMENSIONAL SHORTEST PATHS IN THE PRESENCE OF POLYHEDRAL OBSTACLES." LECTURE NOTES IN COMPUTER SCIENCE 324 (1988): 8592. Link to Item
 Reif, JH, and Smolka, SA. "The complexity of reachability in distributed communicating processes." Acta Informatica 25, no. 4 (1988): 333354. Full Text
 Reif, JH, and Smolka, SA. "The complexity of reachability in distributed communicating processes." Acta Informatica 25, no. 3 (1988): 333354. Full Text
 Reif, JH, and Tygar, JD. "Efficient parallel pseudorandom number generation." SIAM Journal on Computing 17, no. 2 (1988): 404411.
 Barakat, R, and Reif, J. "Polynomial convolution algorithm for matrix multiplication with application for optical computing." Applied Optics 26, no. 14 (July 15, 1987): 27072707. Full Text
 Reif, J, and Storer, J. "Minimizing turns for discrete movement in the interior of a polygon." IEEE Journal on Robotics and Automation 3, no. 3 (June 1987): 182193. Full Text
 Barakat, R, and Reif, J. "Lower bounds on the computational efficiency of optical computing systems." Applied Optics 26, no. 6 (1987): 10151018.
 Canny, J, and Reif, J. "NEW LOWER BOUND TECHNIQUES FOR ROBOT MOTION PLANNING PROBLEMS." Annual Symposium on Foundations of Computer Science (Proceedings) (1987): 4960.
 Kasif, S, Reif, JH, and Sherlekar, DD. "FORMULA DISSECTION: A PARALLEL ALGORITHM FOR CONSTRAINT SATISFACTION." (1987): 5158.
 Opsahl, T, and Reif, J. "SOLVING VERY LARGE, SPARSE LINEAR SYSTEMS ON MESHCONNECTED PARALLEL COMPUTERS." NASA Conference Publication (1987): 249256.
 Pan, V, and Reif, J. "SOME POLYNOMIAL AND TOEPLITZ MATRIX COMPUTATIONS." Annual Symposium on Foundations of Computer Science (Proceedings) (1987): 173184.
 RAJASEKARAN, S, and REIF, JH. "RANDOMIZED PARALLEL COMPUTATION." LECTURE NOTES IN COMPUTER SCIENCE 278 (1987): 364376. Link to Item
 Reif, JH, and Sen, S. "OPTIMAL RANDOMIZED PARALLEL ALGORITHMS FOR COMPUTATIONAL GEOMETRY." Proceedings of the International Conference on Parallel Processing (1987): 270277.
 Reif, JH, and Storer, JA. "MINIMIZING TURNS FOR DISCRETE MOVEMENT IN THE INTERIOR OF A POLYGON." IEEE journal of robotics and automation RA3, no. 3 (1987): 182193.
 Reif, JH, and Valiant, LG. "LOGARITHMIC TIME SORT FOR LINEAR SIZE NETWORKS." Journal of the ACM 34, no. 1 (1987): 6076. Full Text
 Reif, JH. "A topological approach to dynamic graph connectivity." Information Processing Letters 25, no. 1 (1987): 6570.
 Reif, JH. "ON THRESHOLD CIRCUITS AND POLYNOMIAL COMPUTATION." (1987): 118123.
 Victor, P, and Reif, JH. "Solving linear equations." Science 236, no. 4800 (1987): 462463.
 BenOr, M, Kozen, D, and Reif, J. "The complexity of elementary algebra and geometry." Journal of Computer and System Sciences 32, no. 2 (1986): 251264.
 Homer, S, and Reif, J. "Arithmetic theories for computational complexity problems." Information and Control 69, no. 13 (1986): 111.
 Klein, PN, and Reif, JH. "EFFICIENT PARALLEL ALGORITHM FOR PLANARITY." Annual Symposium on Foundations of Computer Science (Proceedings) (1986): 465477.
 Pan, V, and Reif, J. "Fast and efficient linear programming and linear leastsquares computations." Computers and Mathematics with Applications 12, no. 12 PART A (1986): 12171227.
 Pan, V, and Reif, J. "Parallel nested dissection for path algebra computations." Operations Research Letters 5, no. 4 (1986): 177184.
 Pan, V, and Reif, J. "Efficient parallel linear programming." Operations Research Letters 5, no. 3 (1986): 127135.
 Reif, JH, and Lewis, HR. "Efficient symbolic analysis of programs." Journal of Computer and System Sciences 32, no. 3 (1986): 280314.
 Reif, JH. "LOGARITHMIC DEPTH CIRCUITS FOR ALGEBRAIC FUNCTIONS." SIAM Journal on Computing 15, no. 1 (1986): 231242.
 Reif, JH. "SURVEY ON ADVANCES IN THE THEORY OF COMPUTATIONAL ROBOTICS." (1986): 331337.
 Gacs, P, and Reif, JH. "SIMPLE THREEDIMENSIONAL REALTIME RELIABLE CELLULAR ARRAY." Conference Proceedings of the Annual ACM Symposium on Theory of Computing (1985): 388395.
 Miller, GL, and Reif, JH. "PARALLEL TREE CONTRACTION AND ITS APPLICATION." Annual Symposium on Foundations of Computer Science (Proceedings) (1985): 478489.
 Nair, R, Bruss, A, and Reif, J. "LINEAR TIME ALGORITHMS FOR OPTIMAL CMOS LAYOUT." (1985): 327338.
 Pan, V, and Reif, J. "EFFICIENT PARALLEL SOLUTION OF LINEAR SYSTEMS." Conference Proceedings of the Annual ACM Symposium on Theory of Computing (1985): 143152.
 Reif, J, and Sharir, M. "MOTION PLANNING IN THE PRESENCE OF MOVING OBSTACLES." Annual Symposium on Foundations of Computer Science (Proceedings) (1985): 144154.
 Reif, J, and Sistla, AP. "A multiprocess network logic with temporal and spatial modalities." Journal of Computer and System Sciences 30, no. 1 (1985): 4153. Full Text
 Reif, JH, and Spirakis, PG. "kconnectivity in random undirected graphs." Discrete Mathematics 54, no. 2 (1985): 181191.
 Reif, JH, and Spirakis, PG. "UNBOUNDED SPEED VARIABILITY IN DISTRIBUTED COMMUNICATIONS SYSTEMS." SIAM Journal on Computing 14, no. 1 (1985): 7592.
 Reif, JH, and Willard, DE. "PARALLEL INTERPOLATION SEARCH." Proceedings  Annual Allerton Conference on Communication, Control, and Computing (1985): 821829.
 Reif, JH. "Depthfirst search is inherently sequential." Information Processing Letters 20, no. 5 (1985): 229234.
 Reif, JH. "OPTIMAL PARALLEL ALGORITHM FOR INTEGER SORTING." Annual Symposium on Foundations of Computer Science (Proceedings) (1985): 496504.
 Reif, JH, and Spirakis, PG. "RealTime Synchronization of Interprocess Communications." ACM Transactions on Programming Languages and Systems 6, no. 2 (April 1, 1984): 215238. Full Text
 Kao, G, Nikolaou, CN, and Reif, J. "ASSIGNING PROCESSES TO PROCESSORS: A FAULTTOLERANT APPROACH." Digest of Papers  FTCS (FaultTolerant Computing Symposium) (1984): 306309.
 Reif, J. "PROBABILISTIC PARALLEL PREFIX COMPUTATION." Proceedings of the International Conference on Parallel Processing (1984): 291298.
 Reif, JH. "The complexity of twoplayer games of incomplete information." Journal of Computer and System Sciences 29, no. 2 (1984): 274301.
 Reif, JH. "SYMMETRIC COMPLEMENTATION." Journal of the ACM 31, no. 2 (1984): 401421. Full Text
 Reif, JH. "ON SYNCHRONOUS PARALLEL COMPUTATIONS WITH INDEPENDENT PROBABILISTIC CHOICE." SIAM Journal on Computing 13, no. 1 (1984): 4656.
 Halpern, JY, and Reif, JH. "The propositional dynamic logic of deterministic, wellstructured programs." Theoretical Computer Science 27, no. 12 (1983): 127165.
 Reif, J, and Sistla, AP. "MULTIPROCESS NETWORK LOGIC WITH TEMPORAL AND SPATIAL MODALITIES." Lecture Notes in Computer Science (1983): 628639.
 Reif, J. "LOGARITHMIC DEPTH CIRCUITS FOR ALGEBRAIC FUNCTIONS." Annual Symposium on Foundations of Computer Science (Proceedings) (1983): 138145.
 Reif, JH, and Valiant, LG. "LOGARITHMIC TIME SORT FOR LINEAR SIZE NETWORKS." Conference Proceedings of the Annual ACM Symposium on Theory of Computing (1983): 1016.
 Reif, J, and Spirakis, P. "REAL TIME RESOURCE ALLOCATION IN DISTRIBUTED SYSTEMS." (1982): 8494.
 Reif, J. "PARALLEL TIME O(log N) ACCEPTANCE OF DETERMINISTIC CFLs." Annual Symposium on Foundations of Computer Science  Proceedings (1982): 290296.
 Halpern, JY, and Reif, JH. "PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELLSTRUCTURED PROGRAM." Annual Symposium on Foundations of Computer Science  Proceedings (1981): 322334.
 Reif, JH, and Peterson, GL. "DYNAMIC LOGIC OF MULTIPROCESSING WITH INCOMPLETE INFORMATION." Conference Record of the Annual ACM Symposium on Principles of Programming Languages (1980): 193202.
 Reif, JH, and Spirakis, PG. "Random matroids." Proceedings of the Annual ACM Symposium on Theory of Computing 1980April (January 1, 1980): 385397. Full Text
 Reif, JH. "Logics for probabilistic programming." Proceedings of the Annual ACM Symposium on Theory of Computing 1980April (January 1, 1980): 813. Full Text
 Peterson, GL, and Reif, JH. "MULTIPLEPERSON ALTERNATION." Annual Symposium on Foundations of Computer Science  Proceedings (1979): 348363.
 Reif, JH. "COMPLEXITY OF THE MOVER'S PROBLEM AND GENERALIZATIONS." Annual Symposium on Foundations of Computer Science  Proceedings (1979): 421427.
 Reif, JH. "DATA FLOW ANALYSIS OF COMMUNICATING PROCESSES." (1979): 257226.
 Reif, J, and Barakat, R. "Numerical solution of the FokkerPlanck equation via chebyschev polynomial approximations with reference to first passage time probability density functions." Journal of Computational Physics 23, no. 4 (1977): 425445. Full Text

 Teaching & Mentoring

Recent Courses
 Scholarly, Clinical, & Service Activities

Presentations & Appearances
 Development and Demonstration of an EnergyEfficient CostEffective Durable Solar Concentrator for Powering Desalination. September 16, 2012 2012
 Development and Demonstration of an EnergyEfficient CostEffective Durable Solar Concentrator for Powering Desalination. September 16, 2012 2012
 Programmable SelfAssembled DNABased Autonomous Molecular Devices. May 13, 2012 2012
 Development and Demonstration of an EnergyEfficient CostEffective Durable Solar Concentrator. December 13, 2011 2011
 Development and Demonstration of an EnergyEfficient CostEffective Durable Solar Concentrator. December 11, 2011 2011
 Programmable SelfAssembled DNABased Autonomous Molecular Devices. December 4, 2011 2011
 Localized Hybridization Circuits. September 22, 2011 2011
 Programmable SelfAssembled DNABased Autonomous Molecular Devices. June 7, 2011 2011
 Programmable SelfAssembled DNABased Autonomous Molecular Devices. June 2, 2011 2011
 DNA SelfAssembled Autonomous Devices for Programmed Molecular Computation, Transport, and Amplified Sensing, van Leeuwenhoek Lecture on BioScience, Leiden University, Leiden, Netherlands. May 26, 2011 2011
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, Keynote talk ICCABS, Orlando, FL. February 3, 2011 2011
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, Distinguished Lecture, North Eastern University, College of Computer Science, Boston, MA. November 18, 2010 2010
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, Bioengineering Seminar Series, Hong Kong University of Science and Technology (HKUST), Department of Chemical and Biomolecular Engineering, Hong Kong, China. June 18, 2010 2010
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, Chinese University of Hong Kong, Hong Kong, China. June 18, 2010 2010
 HighFidelity DNA Hybridization using Programmable Molecular DNA Devices, International Conference on DNA Computing and Molecular Programming, (DNA16), Hong Kong University of Science and Technology. Hong Kong, China. June 14, 2010 2010
 The Theory of SelfAssembly, Tuitorial, International Conference on DNA Computing and Molecular Programming, (DNA16), Hong Kong University of Science and Technology. Hong Kong, China. June 14, 2010 2010
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, College of Computer Science and Information Technology, Kunming Normal University, Kunming, China. June 1, 2010 2010
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, Anhui University, Hefei, China. May 18, 2010 2010
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, Hefei University of Technology, Hefei, China. May 18, 2010 2010
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, Wuhan University. Hubei, China. May 17, 2010 2010
 DNABased Assembly of MolecularScale Autonomous Devices for Sensing, Transport and Computation, North China University of Technology, Beijing, China. May 1, 2010 2010
 DNA Nanoassembly and DNA Nanodevices: Challenges, Applications and Research Progress, Computer Technology Institute, University of Patras, Patras, Greece. July 19, 2009 2009
 The Tile Complexity of Linear Assemblies, 36th International Colloquium on Automata, Languages and Programming (ICALP 2009),Rhodes, Greece. July 5, 2009 2009
 Design of a Biomolecular Device that Executes Process Algebra, Fifteenth International Meeting on DNA Computing and Molecular Programming (DNA15), Fayetteville, Arkansas. June 8, 2009 2009
 DNA nanoassembly and DNA Nanodevices: Challenges, Applications and Research Progress, Future and Emerging Technologies (FET) seminar, European Commission, Brussels, Belgium. May 20, 2009 2009
 DNA Nanoassembly and DNA Nanodevices: Challenges, Applications and Research Progress, DNAbased nanotechnology: Construction, mechanics, and electronics, International Workshop, Dresden, Germany. May 11, 2009 2009
 Programmable DNA Nanodevices, NSF EMT 2008 Workshop, Princeton, NJ. July 24, 2008 2008
 Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation, Fourteenth International Meeting on DNA Based Computers (DNA14), Prague, Czech Republic. June 1, 2008 2008
 Autonomous Programmable Biomolecular Devices Using SelfAssembled DNA Nanostructures, invited talk, joint talk, University of Vancouver & SimonFraser University, Vancouver, BC. January 30, 2008 2008

Service to the Profession
 Member : Program Committee of the 18th International Conference on DNA Computing and Molecular Programming. November 4, 2012 2012
 Referee for Journal: Science. October 2012 2012
 NSF Porposal Review. August 2012 2012
 FOCS referee. May 2012 2012
 Referee Journal: Theory of Computing. May 2012 2012
 General Chairman : Ninth Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices(FNANO012). April 2012 2012
 Revew NSF proposal. April 2012 2012
 Referee Biotechnology Journal. March 2012 2012
 Referee Journal: Biochimie. January 2012 2012
 Referee Journal: Communications of the ACM. January 2012 2012
 Referee journal: Interface Focus. January 2012 2012
 Referee journal: Numerical Algebra, Control and Optimization (NACO). January 2012 2012
 Reveiw Wolfson Research Merit Awards. January 2012 2012
 Review NSF proposal. January 2012 2012
 Member : Program Committee of Seventeenth Annual International Symposium on DNA Based Computers (DNA17). June 2011 2011
 General Chairman : Eighth Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices(FNANO011). April 2011 2011
 Chairman : Review Committee of NSF EXPEDITIONS IN COMPUTING Explorations Grant: Molecular Programming Project, Caltech, Pasadena, CA 91125. November 2010 2010
 Member : Program Committee of International International Colloquium on Automata, Languages, and Programming(ICALP), 2010 Track A. July 2010 2010
 Referee : SODA Conference. July 2010 2010
 Member : Program Committee of Sixteenth Annual International Symposium on DNA Based Computers (DNA16). June 2010 2010
 General Chairman : Seventh Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices(FNANO10). April 2010 2010
 Referee : Robotica Journal. April 2010 2010
 Paper Evaluation : F1000 Evaluation. February 2010 2010
 Referee : Natural Computing Journal. February 2010 2010
 Referee : SIAM Journal of Computing. February 2010 2010
 Reviewed proposalsEurope ComplexityNet Call Consortium. February 2010 2010
 Referee : SICOMP. January 2010 2010
 Referee : STOC Confernce. January 2010 2010
 Reveiwer : Qatar National Research Fund (QNRF) Reviewer. December 1, 2009 2009
 Reviewer : NSERC Program. October 2009  January 2010 2009  2010
 General Chairman : Sixth Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices(FNANO09). April 2009 2009
 Member : Steering committee of 1st International Conference on Bioinformatics and Computational Biology (BICoB09). March 2009 2009
 General Chairman : Fifth Conference on Foundations of Nanoscience: SelfAssembled Architectures and Devices(FNANO07). April 2008 2008
Some information on this profile has been compiled automatically from Duke databases and external sources. (Our About page explains how this works.) If you see a problem with the information, please write to Scholars@Duke and let us know. We will reply promptly.