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: Hot DNA Computation: Speeding up DNAbased Computation, CRNs, and Robotics using StrandDisplacing Polymerase awarded by National Science Foundation 2018  2021
 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
 Fifteenth Conference on the Foundations of Nanoscience (FNANO 2018) awarded by Army Research Office 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

Books
 Handbook of Parallel Computing. : Chapman and Hall/CRC, December 20, 2007. Full Text

Academic Articles
 Garg, S, Shah, S, Bui, H, Song, T, Mokhtar, R, and Reif, J. "Renewable TimeResponsive DNA Circuits." Small (Weinheim an Der Bergstrasse, Germany) (July 18, 2018): e1801470null. Full Text
 Bui, H, Shah, S, Mokhtar, R, Song, T, Garg, S, and Reif, J. "Localized DNA Hybridization Chain Reactions on DNA Origami." Acs Nano 12, no. 2 (February 2018): 11461155. Full Text
 Fu, D, Shah, S, Song, T, and Reif, J. "DNABased Analog Computing." Methods in Molecular Biology (Clifton, N.J.) 1772 (January 2018): 411417. Full Text
 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 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 (Weinheim an Der Bergstrasse, Germany) 13, no. 12 (March 2017). Full Text
 Majumder, U, Garg, S, LaBean, TH, and Reif, JH. "Activatable tiles for compact robust programmable molecular assembly and other applications." Natural Computing 15, no. 4 (December 2016): 611634. 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." (2014): 171200. Full Text
 Chandran, H, Gopalkrishnan, N, and Reif, J. "Tile Complexity of Approximate Squares." Algorithmica 66, no. 1 (May 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 (February 2013): 221227. Full Text
 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
 "Local parallel biomolecular computation." International Journal of Unconventional Computing 8, no. 56 (December 1, 2012): 459507.
 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 (July 2012): 16371653. Full Text
 Chandran, H, Gopalkrishnan, N, and Reif, J. "Tile Complexity of Linear Assemblies." Siam Journal on Computing 41, no. 4 (January 2012): 10511073. Full Text
 Reif, JH. "Biochemistry. Scaling up DNA computation." Science 332, no. 6034 (June 3, 2011): 11561157. Full Text Link to Item
 REIF, JOHN, and SLEE, SAM. "ASYMPTOTICALLY OPTIMAL KINODYNAMIC MOTION PLANNING FOR A CLASS OF MODULAR SELFRECONFIGURABLE ROBOTS." International Journal of Computational Geometry & Applications 21, no. 02 (April 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 (April 2011): 15921605. Full Text
 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
 Majumder, U, and Reif, JH. "Design of a biomolecular device that executes process algebra." Natural Computing 10, no. 1 (March 2011): 447466. Full Text
 Reif, JH. "Keynote: DNAbased molecular devices." 2011 Ieee 1st International Conference on Computational Advances in Bio and Medical Sciences (Iccabs) (February 2011). Full Text
 Chandran, H, Gopalkrishnan, N, Phillips, A, and Reif, J. "Localized Hybridization Circuits." (2011): 6483. Full Text
 Gopalkrishnan, N, Chandran, H, and Reif, J. "HighFidelity DNA Hybridization Using Programmable Molecular DNA Devices." (2011): 5970. Full Text
 Sahu, S, and Reif, JH. "Capabilities and Limits of Compact Error Resilience Methods for Algorithmic SelfAssembly." Algorithmica 56, no. 4 (April 2010): 480504. Full Text
 Reif, JH, and Majumder, U. "Isothermal reactivating Whiplash PCR for locally programmable molecular computation." Natural Computing 9, no. 1 (March 2010): 183206. Full Text
 Slee, S, and Reif, J. "Robomotion: Scalable, Physically Stable Locomotion for Selfreconfigurable Robots." (2010): 121137. Full Text
 "Target DNA detection by strand displacement and deoxyribozymogen amplification." Extended Abstracts for 6th Annual Conference on Foundations of Nanoscience: Self Assembled Architectures and Devices, Fnano 2009 (December 1, 2009): 8283.
 "Conference motivation: The challenge of selfassembly of molecular scale structures." Extended Abstracts for 6th Annual Conference on Foundations of Nanoscience: Self Assembled Architectures and Devices, Fnano 2009 (December 1, 2009).
 Reif, JH, and Sahu, S. "Autonomous programmable DNA nanorobotic devices using DNAzymes." Theoretical Computer Science 410, no. 15 (April 2009): 14281439. Full Text
 Chandran, H, Gopalkrishnan, N, and Reif, J. "The Tile Complexity of Linear Assemblies." (2009): 235253. Full Text
 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." (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." (2009): 4156. 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
 Sahu, S, Wang, B, and Reif, JH. "A Framework for Modeling DNA Based Molecular Systems." Journal of Computational and Theoretical Nanoscience 5, no. 11 (November 1, 2008): 21242134. Full Text
 Yin, P, Hariadi, RF, Sahu, S, Choi, HMT, Park, SH, Labean, TH, and Reif, JH. "Programming DNA tube circumferences." Science (New York, N.Y.) 321, no. 5890 (August 2008): 824826. Full Text
 Majumder, U, Sahu, S, and Reif, JH. "Stochastic Analysis of Reversible SelfAssembly." Journal of Computational and Theoretical Nanoscience 5, no. 7 (July 1, 2008): 12891305. Full Text
 Reif, JH, Kasif, S, and Sherlekar, D. "Formula dissection: A parallel algorithm for constraint satisfaction." Computers & Mathematics With Applications 55, no. 6 (March 2008): 11701177. Full Text
 "Activatable DNA tiles for compact errorresilient directional assembly." 4th Conference on Foundations of Nanoscience: Self Assembled Architectures and Devices, Fnano 2007 (December 1, 2007): 6064.
 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: Self Assembled Architectures and Devices, Fnano 2007 (December 1, 2007): 7178.
 Reif, J. "Reversible selfassembly of squares as a rapidly mixing Markov Chain." 4th Conference on Foundations of Nanoscience: Self Assembled Architectures and Devices, Fnano 2007 (December 1, 2007): 155157.
 Reif, JH, and LaBean, TH. "Autonomous programmable biomolecular devices using selfassembled DNA nanostructures." Communications of the Acm 50, no. 9 (September 1, 2007): 4646. Full Text
 Zheng Sun, , 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 (August 2007): 925936. Full Text
 Reif, JH, and Chakraborty, S. "Efficient and exact quantum compression." Information and Computation 205, no. 7 (July 2007): 967981. Full Text
 Reif, JH, and LaBean, TH. "Autonomous Programmable Biomolecular Devices Using Selfassembled DNA Nanostructures." (2007): 297306. Full Text
 "Conference motivation: The challenge of selfassembly of molecular scale structures." 3rd Conference on Foundations of Nanoscience: Self Assembled Architectures and Devices, Fnano 2006 (December 1, 2006).
 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): 6607null. Full Text
 Reif, JH, and Sun, Z. "On boundaries of highly visible spaces and applications." Theoretical Computer Science 354, no. 3 (April 2006): 379390. 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." (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, JH, Sahu, S, and Yin, P. "Complexity of Graph Selfassembly in Accretive Systems and Selfdestructible Systems." (2006): 257274. Full Text
 Sahu, S, Wang, B, and Reif, JH. "A Framework for Modeling DNA Based Molecular Systems." (2006): 250265. Full Text
 Sahu, S, Yin, P, and Reif, JH. "A Selfassembly Model of TimeDependent Glue Strength." (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." (2006): 223238. Full Text
 Sun, Z, and Reif, JH. "On finding approximate optimal paths in weighted regions." Journal of Algorithms 58, no. 1 (January 2006): 132. Full Text
 Yin, P, Sahu, S, Turberfield, AJ, and Reif, JH. "Design of Autonomous DNA Cellular Automata." (2006): 399416. Full Text
 Zheng Sun, , Hsu, D, Tingting Jiang, , Kurniawati, H, and Reif, JH. "Narrow passage sampling for probabilistic roadmap planning." Ieee Transactions on Robotics 21, no. 6 (December 2005): 11051115. Full Text
 "Design, simulation, and experimental demonstration of selfassembled DNA nanostructures and motors." Lecture Notes in Computer Science 3566 (October 17, 2005): 173187.
 "Compact errorresilient computational DNA tiling assemblies." Lecture Notes in Computer Science 3384 (September 9, 2005): 293307.
 "Design of an autonomous DNA nanomechanical device capable of universal computation and universal translational motion." Lecture Notes in Computer Science 3384 (September 9, 2005): 426444.
 "Designs of autonomous unidirectional walking DNA devices." Lecture Notes in Computer Science 3384 (September 9, 2005): 410425.
 Azhar, S, McLennan, A, and Reif, JH. "Computation of equilibriain noncooperative games." Computers & Mathematics With Applications 50, no. 56 (September 2005): 823854. Full Text
 Reif, JH. "Efficient parallel factorization and solution of structured and unstructured linear systems." Journal of Computer and System Sciences 71, no. 1 (July 2005): 86143. Full Text
 Chen, J, and Rozenberg, G. "Preface." Natural Computing 4, no. 2 (June 2005): 8182. 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 Letters 5, no. 4 (April 2005): 693696. Full Text
 Park, SH, Yin, P, Liu, Y, Reif, JH, LaBean, TH, and Yan, H. "Programmable DNA selfassemblies for nanoscale organization of ligands and proteins." Nano Letters 5, no. 4 (April 2005): 729733. Full Text
 Zheng Sun, , and Reif, JH. "On finding energyminimizing paths on terrains." Ieee Transactions on Robotics 21, no. 1 (February 2005): 102114. 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.
 "Deriving efficient graph algorithms." Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2772 (December 1, 2004): 645681.
 "DNAbased cryptography." Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2950 (December 1, 2004): 167188.
 Park, SH, Yan, H, Reif, JH, LaBean, TH, and Finkelstein, G. "Electronic nanostructures templated on selfassembled DNA scaffolds." Nanotechnology 15, no. 10 (October 1, 2004): S525S527. Full Text
 Yin, P, Yan, H, Daniell, XG, Turberfield, AJ, and Reif, JH. "A unidirectional DNA walker that moves autonomously along a track." Angewandte Chemie (International Ed. in English) 43, no. 37 (September 2004): 49064911. Full Text
 Reif, JH, and Sun, Z. "Movement Planning in the Presence of Flows." Algorithmica 39, no. 2 (June 2004): 127153. Full Text
 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
 "On energyminimizing paths on terrains for a mobile robot." Proceedings Ieee International Conference on Robotics and Automation 3 (December 9, 2003): 37823788.
 "The bridge test for sampling narrow passages with probabilistic roadmap planners." Proceedings Ieee International Conference on Robotics and Automation 3 (December 9, 2003): 44204426.
 "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 (December 1, 2003): 271283.
 "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 (December 1, 2003): 258270.
 "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 (December 1, 2003): 1021.
 "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 (December 1, 2003): 2237.
 Yan, H, Feng, L, LaBean, TH, and Reif, JH. "Parallel molecular computations of pairwise exclusiveor (XOR) using DNA "string tile" selfassembly." Journal of the American Chemical Society 125, no. 47 (November 2003): 1424614247. Full Text
 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, Park, SH, Finkelstein, G, Reif, JH, and LaBean, TH. "DNAtemplated selfassembly of protein arrays and highly conductive nanowires." Science (New York, N.Y.) 301, no. 5641 (September 2003): 18821884. Full Text
 Yan, H, LaBean, TH, Feng, L, and Reif, JH. "Directed nucleation assembly of DNA tile complexes for barcodepatterned lattices." Proceedings of the National Academy of Sciences of the United States of America 100, no. 14 (July 2003): 81038108. Full Text
 Reif, JH, and Sun, Z. "On Frictional Mechanical Systems and Their Computational Power." Siam Journal on Computing 32, no. 6 (January 2003): 14491474. Full Text
 Reif, JH. "The design of autonomous DNA nanomechanical devices: Walking and rolling DNA." Natural Computing 2, no. 4 (2003): 439461. Full Text
 "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 (December 1, 2002): 121.
 Reif, JH. "The emerging discipline of biomolecular computation in the US." New Generation Computing 20, no. 3 (September 2002): 217236. Full Text
 Reif, JH. "Computing. Successes and challenges." Science 296, no. 5567 (April 19, 2002): 478479. Full Text Link to Item
 "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 (January 1, 2002).
 Peterson, G, Reif, J, and Azhar, S. "Decision algorithms for multiplayer noncooperative games of incomplete information." Computers & Mathematics With Applications 43, no. 12 (January 2002): 179206. Full Text
 Reif, JH. "DNA lattices: A method for molecularscale patterning and computation." Computing in Science & Engineering 4, no. 1 (January 2002): 3241. Full Text
 Reif, JH, and Storer, JA. "Optimal encoding of nonstationary sources." Information Sciences 135, no. 12 (June 2001): 87105. Full Text
 Reif, JH. "Parallel OutputSensitive Algorithms for Combinatorial and Linear Algebra Problems." Journal of Computer and System Sciences 62, no. 3 (May 2001): 398412. Full Text
 Peterson, G, Reif, J, and Azhar, S. "Lower bounds for multiplayer noncooperative games of incomplete information." Computers & Mathematics With Applications 41, no. 78 (April 2001): 957992. Full Text
 Reif, JH. "Efficient Parallel Computation of the Characteristic Polynomial of a Sparse, Separable Matrix." Algorithmica 29, no. 3 (March 2001): 487510. Full Text
 "Programmable assembly at the molecular scale: Selfassembly of DNA lattices (invited paper)." Proceedings Ieee International Conference on Robotics and Automation 1 (January 1, 2001): 966971.
 Sun, Z, and Reif, J. "BUSHWHACK: An Approximation Algorithm for Minimal Paths through PseudoEuclidean Spaces." (2001): 160171. Full Text
 Reif, J. "On the Impossibility of InteractionFree Quantum Sensing for Small I/O Bandwidth." Information and Computation 163, no. 1 (November 2000): 103122. Full Text
 Reif, JH. "Fast Spatial Decomposition and Closest Pair Computation for Limited Precision Input." Algorithmica 28, no. 3 (November 2000): 271287. Full Text
 Mao, C, LaBean, TH, Relf, JH, and Seeman, NC. "Logical computation using algorithmic selfassembly of DNA triplecrossover molecules." Nature 407, no. 6803 (September 2000): 493496. 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 (March 2000): 18481860. Full Text
 Reif, JH, and Wang, H. "Nonuniform Discretization for Kinodynamic Motion Planning and its Applications." Siam Journal on Computing 30, no. 1 (January 2000): 161190. Full Text
 Reif, JH. "Parallel Biomolecular Computation: Models and Simulations." Algorithmica 25, no. 23 (June 1999): 142175. Full Text
 Azhar, S, and Reif, JH. "Efficient algorithmic learning of the structure of permutation groups by examples." Computers & Mathematics With Applications 37, no. 10 (May 1999): 105132. Full Text
 Reif, JH, and Wang, H. "Social potential fields: A distributed behavioral control for autonomous robots." Robotics and Autonomous Systems 27, no. 3 (May 1999): 171194. Full Text
 Zhiyong Li, , 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 (March 1999): 297315. Full Text
 Gehani, A, and Reif, J. "Micro flow biomolecular computation." BioSystems 52, no. 13 (1999): 197216. Full Text
 Reif, JH. "Approximate Complex Polynomial Evaluation in Near Constant Work Per Point." Siam Journal on Computing 28, no. 6 (January 1999): 20592089. Full Text
 Reif, JH. "Efficient approximate solution of sparse linear systems." Computers & Mathematics With Applications 36, no. 9 (November 1998): 3758. Full Text
 Gazit, H, and Reif, JH. "A Randomized Parallel Algorithm for Planar Graph Isomorphism." Journal of Algorithms 28, no. 2 (August 1998): 290314. Full Text
 Rolland, JP, Yoshida, A, Davis, LD, and Reif, JH. "Highresolution inset headmounted display." Applied Optics 37, no. 19 (1998): 41834193.
 Gelenbe, E, Schmajuk, N, Staddon, J, and Reif, J. "Autonomous search by robots and animals: A survey." Robotics and Autonomous Systems 22, no. 1 (November 1997): 2334. Full Text
 Tyagi, A. "Optical delay line memory model with efficient algorithms." Optical Engineering 36, no. 9 (September 1, 1997): 25212521. Full Text
 Storer, JA, and Reif, JH. "ErrorResilient Optimal Data Compression." Siam Journal on Computing 26, no. 4 (August 1997): 934949. Full Text
 Han, Y, Pan, VY, and Reif, JH. "Efficient parallel algorithms for computing all pair shortest paths in directed graphs." Algorithmica 17, no. 4 (April 1997): 399415. Full Text
 Reif, JH, and Tate, SR. "On Dynamic Algorithms for Algebraic Problems." Journal of Algorithms 22, no. 2 (February 1997): 347371. Full Text
 "Approximate complex polynomial evaluation in near constant work per point." Conference Proceedings of the Annual Acm Symposium on Theory of Computing (January 1, 1997): 3039.
 "Lowcost prevention of errorpropagation for data compression with dynamic dictionaries." Data Compression Conference Proceedings (January 1, 1997): 171180.
 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.
 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 (November 1996): 6379. Full Text
 Neff, CA, and Reif, JH. "An Efficient Algorithm for the Complex Roots Problem." Journal of Complexity 12, no. 2 (June 1996): 81115. Full Text
 Nyland, LS, and Reif, JH. "An algebraic technique for generating optimal CMOS circuitry in linear time." Computers & Mathematics With Applications 31, no. 1 (January 1996): 85108. Full Text
 Paturi, R, Rajasekaran, S, and Reif, J. "The Light Bulb Problem." Information and Computation 117, no. 2 (March 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 (March 1995): 89104. Full Text
 "Design and applications of a highresolution insert headmounteddisplay." Proceedings Virtual Reality Annual International Symposium (January 1, 1995): 8493.
 "Parallel molecular computation." Annual Acm Symposium on Parallel Algorithms and Architectures (January 1, 1995): 213223.
 Chen, S, and Reif, JH. "Fast pattern matching for entropy bounded text." Data Compression Conference Proceedings (1995): 282291.
 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.
 Cheriyan, J, and Reif, JH. "Directedst numberings, Rubber bands, and testing digraphkvertex connectivity." Combinatorica 14, no. 4 (December 1994): 435451. Full Text
 Ramachandran, V, and Reif, J. "Planarity testing in parallel." Journal of Computer and System Sciences 49, no. 3 (December 1994): 517561. Full Text
 Reif, JH, and Storer, JA. "A singleexponential upper bound for finding shortest paths in three dimensions." Journal of the Acm 41, no. 5 (September 1, 1994): 10131019. Full Text
 Storer, JA, and Reif, JH. "Shortest paths in the plane with polygonal obstacles." Journal of the Acm 41, no. 5 (September 1, 1994): 9821012. Full Text
 Reif, J, and Sharir, M. "Motion planning in the presence of moving obstacles." Journal of the Acm 41, no. 4 (July 1, 1994): 764790. 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 (June 1994): 633651. Full Text
 Yoshida, A, and Reif, JH. "Optical computing techniques for image/video compression." Proceedings of the Ieee 82, no. 6 (June 1994): 948954. Full Text
 Reif, JH, Tygar, JD, and Yoshida, A. "Computability and complexity of ray tracing." Discrete & Computational Geometry 11, no. 3 (March 1994): 265288. Full Text
 Reif, JH, and Tate, SR. "Approximate kinodynamic planning using L2norm dynamic bounds." Computers & Mathematics With Applications 27, no. 5 (March 1994): 2944. Full Text
 "Dynamic algebraic algorithms." Proceedings of the Annual Acm Siam Symposium on Discrete Algorithms (January 1, 1994): 290301.
 "Models and resource metrics for parallel and distributed computation." Proceedings of the International Conference on Parallel Processing (January 1, 1994): 404null.
 "Data compression techniques for stock market prediction." Proceedings of the Data Compression Conference (January 1, 1994): 7282.
 "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) (December 1, 1993): 104112.
 Pan, V, and Reif, J. "Fast and Efficient Parallel Solution of Sparse Linear Systems." Siam Journal on Computing 22, no. 6 (December 1993): 12271250. Full Text
 Donald, B, Xavier, P, Canny, J, and Reif, J. "Kinodynamic motion planning." Journal of the Acm 40, no. 5 (November 1, 1993): 10481066. Full Text
 Reif, JH, and Tate, SR. "Continuous alternation: The complexity of pursuit in continuous domains." Algorithmica 10, no. 24 (October 1993): 156181. Full Text
 Reif, JH. "Probabilistic parallel prefix computation." Computers & Mathematics With Applications 26, no. 1 (July 1993): 101110. Full Text
 Pan, V, and Reif, J. "Generalized compact multigrid." Computers & Mathematics With Applications 25, no. 9 (May 1993): 35. 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. "Efficient VLSI fault simulation." Computers & Mathematics With Applications 25, no. 2 (January 1993): 1532. Full Text
 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 Solid State Circuits 28, no. 9 (1993): 948953. Full Text
 Tate, SR. "Searching in an unknown environment: An optimal randomized algorithm for the cowpath problem." Proceedings of the Fourth Annual Acm Siam Symposium on Discrete Algorithms (January 1, 1993): 441447.
 "Implementations of randomized sorting on large parallel machines." 4th Annual Acm Symposium on Parallel Algorithms and Architectures (December 1, 1992): 158167.
 "Space and time efficient implementations of parallel nested dissection." 4th Annual Acm Symposium on Parallel Algorithms and Architectures (December 1, 1992): 344352.
 Reif, J. "Efficient parallel algorithms for computing all pair shortest paths in directed graphs." 4th Annual Acm Symposium on Parallel Algorithms and Architectures (December 1, 1992): 353362.
 Reif, JH. "Prototyping Nbody simulation in Proteus." Proceedings of the International Conference on Parallel Processing (December 1, 1992): 476482.
 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
 Reif, JH, and Tate, SR. "On Threshold Circuits and Polynomial Computation." Siam Journal on Computing 21, no. 5 (October 1992): 896908. Full Text
 "Optimal randomized parallel algorithms for computational geometry." Algorithmica 7, no. 16 (June 1, 1992): 91117. Full Text
 Rajasekaran, S, and Reif, JH. "Nested annealing: a provable improvement to simulated annealing." Theoretical Computer Science 99, no. 1 (June 1992): 157176. Full Text
 Reif, J, and Spirakis, P. "Expected parallel time and sequential space complexity of graph and digraph problems." Algorithmica 7, no. 16 (June 1992): 597630. Full Text
 Reif, JH, and Sen, S. "Optimal randomized parallel algorithms for computational geometry." Algorithmica 7, no. 16 (June 1992): 91117. Full Text
 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
 Miller, GL, and Reif, JH. "Parallel Tree Contraction Part 2: Further Applications." Siam Journal on Computing 20, no. 6 (December 1991): 11281147. Full Text
 Pan, V, and Reif, J. "The parallel computation of minimum cost paths in graphs by stream contraction." Information Processing Letters 40, no. 2 (October 1991): 7983. Full Text
 Storer, JA, and Reif, JH. "A parallel architecture for highspeed data compression." Journal of Parallel and Distributed Computing 13, no. 2 (October 1991): 222227. Full Text
 Canny, J, Rege, A, and Reif, J. "An exact algorithm for kinodynamic planning in the plane." Discrete & Computational Geometry 6, no. 3 (September 1991): 461484. Full Text
 "The computability and complexity of optical beam tracing." Ieee Transactions on Industry Applications 27, no. 1 pt 1 (January 1, 1991): 106114.
 "Randomized parallel algorithm for planar graph isomorphism." Algorithms and Architectures (December 1, 1990): 210219.
 "Randomized algorithms for binary search and load balancing on fixed connection networks with geometric applications." Algorithms and Architectures (December 1, 1990): 327337.
 "A parallel architecture for high speed data compression." (December 1, 1990): 238243.
 Reif, JH, and Tate, SR. "Optimal Size Integer Division Circuits." Siam Journal on Computing 19, no. 5 (October 1990): 912924. Full Text
 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 (February 1990): 150160. Full Text
 Reif, JH, and Smolka, SA. "Data flow analysis of distributed communicating processes." International Journal of Parallel Programming 19, no. 1 (February 1990): 130. Full Text
 Canny, J, Rege, A, and Reif, J. "Exact algorithm for kinodynamic planning in the plane." (1990): 271280.
 Pan, V, and Reif, J. "The bitcomplexity of discrete solutions of partial differential equations: Compact multigrid." Computers & Mathematics With Applications 20, no. 2 (1990): 916. Full Text
 "Polling: A new randomized sampling technique for computational geometry." (December 1, 1989): 394404.
 "Optimal size integer division circuits." (December 1, 1989): 264273.
 "Optimal parallel algorithm for graph planarity." Annual Symposium on Foundations of Computer Science (Proceedings) (November 1, 1989): 282287.
 Pan, V, and Reif, J. "Fast and efficient solution of path algebra problems." Journal of Computer and System Sciences 38, no. 3 (June 1989): 494510. Full Text
 Rajasekaran, S, and Reif, JH. "Optimal and Sublogarithmic Time Randomized Parallel Sorting Algorithms." Siam Journal on Computing 18, no. 3 (June 1989): 594607. Full Text
 Willard, DE, and Reif, JH. "Parallel processing can be harmful: The unusual behavior of interpolation search." Information and Computation 81, no. 3 (June 1989): 364379. Full Text
 Pan, V, and Reif, J. "Fast and efficient parallel solution of dense linear systems." Computers & Mathematics With Applications 17, no. 11 (1989): 14811491. Full Text
 Reif, JH, and Sen, S. "Randomization in parallel algorithms and its impact on computational geometry." (1989): 18. Full Text
 Canny, J, Reif, J, Donald, B, and Xavier, P. "On the complexity of kinodynamic planning." Annual Symposium on Foundations of Computer Science (Proceedings) (December 1, 1988): 306316.
 Reif, JH. "BLITZEN: A highly integrated massively parallel machine." (December 1, 1988): 399406.
 Klein, PN, and Reif, JH. "An efficient parallel algorithm for planarity." Journal of Computer and System Sciences 37, no. 2 (October 1988): 190246. Full Text
 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 (June 1988): 463485. Full Text
 Reif, JH, and Smolka, SA. "The complexity of reachability in distributed communicating processes." Acta Informatica 25, no. 4 (May 1988): 333354. Full Text
 Gács, P, and Reif, J. "A simple threedimensional realtime reliable cellular array." Journal of Computer and System Sciences 36, no. 2 (April 1988): 125147. Full Text
 Reif, J, and Smolka, S. "The complexity of reachability in distributed communicating processes." Acta Informatica 25, no. 3 (April 1988). Full Text
 Reif, JH, and Tygar, JD. "Efficient Parallel Pseudorandom Number Generation." Siam Journal on Computing 17, no. 2 (April 1988): 404411. Full Text
 "SOME POLYNOMIAL AND TOEPLITZ MATRIX COMPUTATIONS." Annual Symposium on Foundations of Computer Science (Proceedings) (December 1, 1987): 173184.
 "NEW LOWER BOUND TECHNIQUES FOR ROBOT MOTION PLANNING PROBLEMS." Annual Symposium on Foundations of Computer Science (Proceedings) (December 1, 1987): 4960.
 "SOLVING VERY LARGE, SPARSE LINEAR SYSTEMS ON MESHCONNECTED PARALLEL COMPUTERS." Nasa Conference Publication (December 1, 1987): 249256.
 "OPTIMAL RANDOMIZED PARALLEL ALGORITHMS FOR COMPUTATIONAL GEOMETRY." Proceedings of the International Conference on Parallel Processing (December 1, 1987): 270277.
 "FORMULA DISSECTION: A PARALLEL ALGORITHM FOR CONSTRAINT SATISFACTION." (December 1, 1987): 5158.
 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
 Reif, JH. "A topological approach to dynamic graph connectivity." Information Processing Letters 25, no. 1 (April 1987): 6570. Full Text
 Barakat, R, and Reif, J. "Lower bounds on the computational efficiency of optical computing systems." Applied Optics 26, no. 6 (March 15, 1987): 10151015. Full Text
 "Solving linear equations." Science 236, no. 4800 (January 1, 1987): 462463.
 "ON THRESHOLD CIRCUITS AND POLYNOMIAL COMPUTATION." (January 1, 1987): 118123.
 Rajasekaran, S, and Reif, JH. "Randomized parallel computation." (1987): 364376. Full Text
 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. "A logarithmic time sort for linear size networks." Journal of the Acm 34, no. 1 (January 1, 1987): 6076. Full Text
 "EFFICIENT PARALLEL ALGORITHM FOR PLANARITY." Annual Symposium on Foundations of Computer Science (Proceedings) (December 1, 1986): 465477.
 Pan, V, and Reif, J. "Fast and efficient linear programming and linear leastsquares computations." Computers & Mathematics With Applications 12, no. 12 (December 1986): 12171227. Full Text
 Pan, V, and Reif, J. "Parallel nested dissection for path algebra computations." Operations Research Letters 5, no. 4 (October 1986): 177184. Full Text
 Pan, V, and Reif, J. "Efficient parallel linear programming." Operations Research Letters 5, no. 3 (August 1986): 127135. Full Text
 Reif, JH, and Lewis, HR. "Efficient symbolic analysis of programs." Journal of Computer and System Sciences 32, no. 3 (June 1986): 280314. Full Text
 BenOr, M, Kozen, D, and Reif, J. "The complexity of elementary algebra and geometry." Journal of Computer and System Sciences 32, no. 2 (April 1986): 251264. Full Text
 Homer, S, and Reif, J. "Arithmetic theories for computational complexity problems." Information and Control 69, no. 13 (April 1986): 111. Full Text
 Reif, JH. "Logarithmic Depth Circuits for Algebraic Functions." Siam Journal on Computing 15, no. 1 (February 1986): 231242. Full Text
 Reif, JH. "SURVEY ON ADVANCES IN THE THEORY OF COMPUTATIONAL ROBOTICS." (1986): 331337.
 "MOTION PLANNING IN THE PRESENCE OF MOVING OBSTACLES." Annual Symposium on Foundations of Computer Science (Proceedings) (December 1, 1985): 144154.
 "PARALLEL INTERPOLATION SEARCH." Proceedings Annual Allerton Conference on Communication, Control, and Computing (December 1, 1985): 821829.
 Reif, J. "LINEAR TIME ALGORITHMS FOR OPTIMAL CMOS LAYOUT." (December 1, 1985): 327338.
 Reif, JH. "PARALLEL TREE CONTRACTION AND ITS APPLICATION." Annual Symposium on Foundations of Computer Science (Proceedings) (December 1, 1985): 478489.
 Reif, JH. "Depthfirst search is inherently sequential." Information Processing Letters 20, no. 5 (June 1985): 229234. Full Text
 Reif, JH, and Spirakis, PG. "kconnectivity in random undirected graphs." Discrete Mathematics 54, no. 2 (April 1985): 181191. Full Text
 Reif, J, and Sistla, AP. "A multiprocess network logic with temporal and spatial modalities." Journal of Computer and System Sciences 30, no. 1 (February 1985): 4153. Full Text
 Reif, JH, and Spirakis, PG. "Unbounded Speed Variability in Distributed Communications Systems." Siam Journal on Computing 14, no. 1 (February 1985): 7592. Full Text
 "SIMPLE THREEDIMENSIONAL REALTIME RELIABLE CELLULAR ARRAY." Conference Proceedings of the Annual Acm Symposium on Theory of Computing (January 1, 1985): 388395.
 "EFFICIENT PARALLEL SOLUTION OF LINEAR SYSTEMS." Conference Proceedings of the Annual Acm Symposium on Theory of Computing (January 1, 1985): 143152.
 Reif, JH. "OPTIMAL PARALLEL ALGORITHM FOR INTEGER SORTING." Annual Symposium on Foundations of Computer Science (Proceedings) (1985): 496504.
 "PROBABILISTIC PARALLEL PREFIX COMPUTATION." Proceedings of the International Conference on Parallel Processing (December 1, 1984): 291298.
 Reif, JH. "The complexity of twoplayer games of incomplete information." Journal of Computer and System Sciences 29, no. 2 (October 1984): 274301. Full Text
 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
 Reif, JH. "Symmetric Complementation." Journal of the Acm 31, no. 2 (March 30, 1984): 401421. Full Text
 Reif, JH. "On Synchronous Parallel Computations with Independent Probabilistic Choice." Siam Journal on Computing 13, no. 1 (February 1984): 4656. Full Text
 Reif, J. "ASSIGNING PROCESSES TO PROCESSORS: A FAULTTOLERANT APPROACH." Digest of Papers Ftcs (Fault Tolerant Computing Symposium) (January 1, 1984): 306309.
 "LOGARITHMIC DEPTH CIRCUITS FOR ALGEBRAIC FUNCTIONS." Annual Symposium on Foundations of Computer Science (Proceedings) (December 1, 1983): 138145.
 "LOGARITHMIC TIME SORT FOR LINEAR SIZE NETWORKS." Conference Proceedings of the Annual Acm Symposium on Theory of Computing (December 1, 1983): 1016.
 "MULTIPROCESS NETWORK LOGIC WITH TEMPORAL AND SPATIAL MODALITIES." Lecture Notes in Computer Science (December 1, 1983): 628639.
 Halpern, JY, and Reif, JH. "The propositional dynamic logic of deterministic, wellstructured programs." Theoretical Computer Science 27, no. 12 (1983): 127165. Full Text
 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.
 "PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELLSTRUCTURED PROGRAM." Annual Symposium on Foundations of Computer Science Proceedings (December 1, 1981): 322334.
 Reif, JH, and Peterson, GL. "A dynamic logic of multiprocessing with incomplete information." Proceedings of the 7th Acm Sigplan Sigact Symposium on Principles of Programming Languages Popl '80 (1980). Full Text
 Reif, JH, and Spirakis, PG. "Random matroids." Proceedings of the Twelfth Annual Acm Symposium on Theory of Computing Stoc '80 (1980). Full Text
 Reif, JH. "Logics for probabilistic programming (Extended Abstract)." Proceedings of the Twelfth Annual Acm Symposium on Theory of Computing Stoc '80 (1980). Full Text
 "MULTIPLEPERSON ALTERNATION." Annual Symposium on Foundations of Computer Science Proceedings (January 1, 1979): 348363.
 Reif, JH. "COMPLEXITY OF THE MOVER'S PROBLEM AND GENERALIZATIONS." Annual Symposium on Foundations of Computer Science Proceedings (January 1, 1979): 421427.
 Reif, JH. "Data flow analysis of communicating processes." Proceedings of the 6th Acm Sigact Sigplan Symposium on Principles of Programming Languages Popl '79 (1979). Full Text
 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 (April 1977): 425445. 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(Published online)." New Journal of Physics 19, no. 1: 015006015006. Full Text
 Chandran, H, Garg, S, Gopalkrishnan, N, and Reif, JH. "Biomolecular Computing Systems(Published online)." : 199223. Full Text
 EshaghianWilner, MM, Lau, L, Navab, S, and Shen, DD. "DNA Sequence Matching at Nanoscale Level." : 377389. Full Text
 Gehani, A, and Reif, J. "SuperResolution Video Analysis for Forensic Investigations." : 281299. Full Text
 LaBean, TH, Gothelf, KV, and Reif, JH. "SelfAssembling DNA Nanostructures for Patterned Molecular Assembly." : 7997. Full Text
 Majumder, U, LaBean, TH, and Reif, JH. "Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications." : 1525. Full Text
 Majumder, U, and Reif, JH. "A Framework for Designing Novel Magnetic Tiles Capable of Complex Selfassemblies." : 129145. Full Text
 Reif, JH, and Sahu, S. "Autonomous Programmable Nanorobotic Devices Using DNAzymes." : 6678. Full Text
 Reif, JH, and Slee, S. "Asymptotically Optimal Kinodynamic Motion Planning for Selfreconfigurable Robots." : 457472. Full Text
 Reif, JH, and Storer, JA. "Optimal lossless compression of a class of dynamic sources(Accepted)." Proceedings Dcc '98 Data Compression Conference (Cat. No.98tb100225) . Full Text
 Reif, JH, and Storer, JA. "3dimensional shortest paths in the presence of polyhedral obstacles." : 8592. Full Text
 Reif, JH. "Quantum Computing." : 67109. Full Text
 Reif, JH. "Efficient parallel solution of sparse eigenvalue and eigenvector problems(Accepted)." Proceedings of Ieee 36th Annual Foundations of Computer Science . Full Text
 Shenfeng Chen, , and Reif, JH. "Fast and compact volume rendering in the compressed transform domain(Accepted)." Proceedings Dcc '97. Data Compression Conference . Full Text
 Song, X, Eshra, A, Dwyer, C, and Reif, J. "Renewable DNA seesaw logic circuits enabled by photoregulation of toeholdmediated strand displacement(Published online)." Rsc Advances 7, no. 45: 2813028144. Full Text

Book Sections
 "Computing Handbook, Third Edition." .: Chapman and Hall/CRC, May 14, 2014. Full Text
 Chandran, H, Gopalkrishnan, N, and Reif, J. "DNA Nanorobotics." In Nanorobotics, 355382.: Springer New York, 2013. Full Text
 "Nanofabrication Handbook." .: CRC Press, February 24, 2012. Full Text
 Reif, JH, and LaBean, TH. "Engineering Natural Computation by Autonomous DNABased Biomolecular Devices." In Handbook of Natural Computing, 13191353.: Springer Berlin Heidelberg, 2012. Full Text
 Reif, JH. "Mechanical Computing: The Computational Complexity of Physical Devices." In Computational Complexity, 18211836.: Springer New York, 2012. Full Text

Conference Papers
 Shah, S, and Reif, J. "Temporal DNA Barcodes: A TimeBased Approach for SingleMolecule Imaging." : Springer International Publishing, 2018. Full Text
 Sahu, S, Yin, P, and Reif, JH. "A Selfassembly Model of TimeDependent Glue Strength." : Springer Berlin Heidelberg, 2009. Full Text
 "Optimal kinodynamic motion planning for 2D reconfiguration of selfreconfigurable robots." January 1, 2008.
 "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." : Springer Berlin Heidelberg, 2001. Full Text
 Reif, JH, LaBean, TH, and Seeman, NC. "Challenges and applications for selfassembled DNA nanostructures?." : Springer Berlin Heidelberg, 2001. Full Text
 Reif, JH, and LaBean, TH. "Computationally inspired biotechnologies: Improved DNA synthesis and associative search using ErrorCorrecting Codes and VectorQuantization?." : Springer Berlin Heidelberg, 2001. Full Text
 Reif, JH. "Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation." : Springer Berlin Heidelberg, 1998. Full Text
 "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." : Springer Berlin Heidelberg, 1995. Full Text
 Reif, JH, and Tate, SR. "Dynamic parallel tree contraction (extended abstract)." the sixth annual ACM symposium. June 27, 1994  June 29, 1994.: ACM Press, 1994. Full Text
 Reif, JH. "O(log2 n) time efficient parallel factorization of dense, sparse separable, and banded matrices." the sixth annual ACM symposium. June 27, 1994  June 29, 1994.: ACM Press, 1994. Full Text
 "The complexity of Nbody simulation." January 1, 1993.
 "A dynamic separator algorithm." January 1, 1993.
 Cheriyan, J, and Reif, JH. "Parallel and output sensitive algorithms for combinatorial and linear algebra problems." the fifth annual ACM symposium. June 30, 1993  July 2, 1993.: ACM Press, 1993. Full Text
 "On the bitcomplexity of discrete solutions of PDEs: Compact multigrid." January 1, 1990.
 Reif, J, and Tyagi, A. "Efficient parallel algorithms for optical computing with the DFT primitive." : Springer Berlin Heidelberg, 1990. Full Text
 Reif, JH, and Sen, S. "An efficient outputsensitive hidden surface removal algorithm and its parallelization." the fourth annual symposium. June 6, 1988  June 8, 1988.: ACM Press, 1988. Full Text
 Pan, V, and Reif, J. "Fast and efficient parallel linear programming and linear least squares computations." : Springer Berlin Heidelberg, 1986. Full Text
 Pan, V, and Reif, J. "Extension of the parallel nested dissection algorithm to path algebra problems." : Springer Berlin Heidelberg, 1986. Full Text
 BenOr, M, Kozen, D, and Reif, J. "The complexity of elementary algebra and geometry." the sixteenth annual ACM symposium. 1984.: ACM Press, 1984. Full Text
 Reif, JH, and Scherlis, WL. "Deriving efficient graph algorithms (summary)." : Springer Berlin Heidelberg, 1984. Full Text
 Reif, J, and Spirakis, P. "Real time resource allocation in distributed systems." the first ACM SIGACTSIGOPS symposium. August 18, 1982  August 20, 1982.: ACM Press, 1982. Full Text
 Reif, J, and Spirakis, P. "Unbounded speed variability in distributed communication systems." the 9th ACM SIGPLANSIGACT symposium. January 25, 1982  January 27, 1982.: ACM Press, 1982. Full Text
 Reif, JH. "Symmetric complementation." the fourteenth annual ACM symposium. May 5, 1982  May 7, 1982.: ACM Press, 1982. Full Text
 Reif, J, and Spirakis, P. "Distributed algorithms for synchronizing interprocess communication within real time." the thirteenth annual ACM symposium. May 11, 1981  May 13, 1981.: ACM Press, 1981. Full Text
 Reif, JH. "Minimum st cut of a planar undirected network in o(n log2(n)) time." : Springer Berlin Heidelberg, 1981. Full Text
 Filotti, IS, Miller, GL, and Reif, J. "On determining the genus of a graph in O(v O(g)) steps(Preliminary Report)." the eleventh annual ACM symposium. April 30, 1979  May 2, 1979.: ACM Press, 1979. Full Text
 Reif, JH. "Universal games of incomplete information." the eleventh annual ACM symposium. April 30, 1979  May 2, 1979.: ACM Press, 1979. Full Text
 Reif, JH. "Symbolic program analysis in almost linear time." the 5th ACM SIGACTSIGPLAN symposium. January 23, 1978  January 25, 1978.: ACM Press, 1978. Full Text
 Reif, JH, and Lewis, HR. "Symbolic evaluation and the global value graph." the 4th ACM SIGACTSIGPLAN symposium. January 17, 1977  January 19, 1977.: ACM Press, 1977. Full Text
 Reif, J, and Sistla, AP. "A multiprocess network logic with temporal and spatial modalities." : SpringerVerlag,. Full Text
 Reif, J. "Probabilistic algorithms in group theory." : SpringerVerlag,. Full Text
 Reif, JH, and Tygar, JD. "Efficient Parallel PseudoRandom Number Generation." : Springer Berlin Heidelberg,. Full Text
 Reif, JH. "On the power of probabilistic choice in synchronous parallel computations." : SpringerVerlag,. 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.