John H. Reif

Publication Activity (10 Years)

Years Active: 1977-2021
Publications (10 Years): 7

Top Venues

DNA

CoRR

Nat. Comput.

Int. J. Unconv. Comput.

Publications

Xin Song, Shalin Shah, John H. Reif
Multidimensional data organization and random access in large-scale DNA storage systems. Theor. Comput. Sci. 894 (2021)
Shalin Shah, Abhishek Kumar Dubey, John H. Reif
ExTemp: A computational and image-processing suite for extracting temporal barcodes. J. Open Source Softw. 5 (46) (2020)
Shalin Shah, Tianqi Song, Xin Song, Ming Yang, John H. Reif
Implementing Arbitrary CRNs Using Strand Displacing Polymerase. DNA (2019)
Shalin Shah, John H. Reif
Temporal DNA Barcodes: A Time-Based Approach for Single-Molecule Imaging. DNA (2018)
Abeer Eshra, Shalin Shah, John H. Reif
DNA Hairpin Gate: A Renewable DNA Seesaw Motif Using Hairpins. CoRR (2017)
Akhilesh Tyagi, John H. Reif
Energy Complexity of Optical Computations. Int. J. Unconv. Comput. 12 (5-6) (2016)
Urmi Majumder, Sudhanshu Garg, Thomas H. LaBean, John H. Reif
Activatable tiles for compact robust programmable molecular assembly and other applications. Nat. Comput. 15 (4) (2016)
Wadee Alhalabi, John H. Reif, Zeineb Elsheikh, Heba Felimban, Majda Fallata, Khalid Thabit, Abdullah Abusorrah
The co-learning in the design, simulation and optimization of a solar concentrating system. Comput. Hum. Behav. 51 (2015)
Harish Chandran, Nikhil Gopalkrishnan, John H. Reif
Tile Complexity of Approximate Squares. Algorithmica 66 (1) (2013)
Harish Chandran, Nikhil Gopalkrishnan, John H. Reif
Tile Complexity of Linear Assemblies. SIAM J. Comput. 41 (4) (2012)
John H. Reif
Local Parallel Biomolecular Computation. Int. J. Unconv. Comput. 8 (5-6) (2012)
John H. Reif, Sudheer Sahu, Peng Yin
Complexity of graph self-assembly in accretive systems and self-destructible systems. Theor. Comput. Sci. 412 (17) (2011)
Urmi Majumder, John H. Reif
Design of a biomolecular device that executes process algebra. Nat. Comput. 10 (1) (2011)
John H. Reif, Sam Slee
Asymptotically Optimal Kinodynamic Motion Planning for a Class of Modular Self-Reconfigurable Robots. Int. J. Comput. Geom. Appl. 21 (2) (2011)
Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John H. Reif
Localized Hybridization Circuits. DNA (2011)
John H. Reif
Keynote: DNA-based molecular devices. ICCABS (2011)
Sudheer Sahu, John H. Reif
Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-Assembly. Algorithmica 56 (4) (2010)
Nikhil Gopalkrishnan, Harish Chandran, John H. Reif
High-Fidelity DNA Hybridization Using Programmable Molecular DNA Devices. DNA (2010)
Sam Slee, John H. Reif
Robomotion: Scalable, Physically Stable Locomotion for Self-reconfigurable Robots. WAFR (2010)
John H. Reif, Urmi Majumder
Isothermal reactivating Whiplash PCR for locally programmable molecular computation. Nat. Comput. 9 (1) (2010)
John H. Reif, Sudheer Sahu
Autonomous programmable DNA nanorobotic devices using DNAzymes. Theor. Comput. Sci. 410 (15) (2009)
Harish Chandran, Nikhil Gopalkrishnan, John H. Reif
The Tile Complexity of Linear Assemblies. ICALP (1) (2009)
Urmi Majumder, John H. Reif
Design of a Biomolecular Device That Executes Process Algebra. DNA (2009)
Sudheer Sahu, Peng Yin, John H. Reif
A Self-assembly Model of Time-Dependent Glue Strength. Algorithmic Bioprocesses (2009)
John H. Reif, Simon Kasif, Deepak Sherlekar
Formula dissection: A parallel algorithm for constraint satisfaction. Comput. Math. Appl. 55 (6) (2008)
John H. Reif, Urmi Majumder
Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation. DNA (2008)
Urmi Majumder, John H. Reif
A Framework for Designing Novel Magnetic Tiles Capable of Complex Self-assemblies. UC (2008)
Ashish Gehani, John H. Reif
Super-Resolution Video Analysis for Forensic Investigations. IFIP Int. Conf. Digital Forensics (2007)
John H. Reif, Sam Slee
Optimal Kinodynamic Motion Planning for 2D Reconfiguration of Self-Reconfigurable Robots. Robotics: Science and Systems (2007)
John H. Reif, Sudheer Sahu
Autonomous Programmable Nanorobotic Devices Using DNAzymes. DNA (2007)
Zheng Sun, John H. Reif
On Robotic Optimal Path Planning in Polygonal Regions With Pseudo-Euclidean Metrics. IEEE Trans. Syst. Man Cybern. Part B 37 (4) (2007)
John H. Reif, Thomas H. LaBean
Autonomous programmable biomolecular devices using self-assembled DNA nanostructures. Commun. ACM 50 (9) (2007)
Urmi Majumder, Thomas H. LaBean, John H. Reif
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications. DNA (2007)
John H. Reif, Sukhendu Chakraborty
Efficient and exact quantum compression. Inf. Comput. 205 (7) (2007)
John H. Reif, Thomas H. LaBean
Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures. WoLLIC (2007)
Urmi Majumder, Sudheer Sahu, Thomas H. LaBean, John H. Reif
Design and Simulation of Self-repairing DNA Lattices. DNA (2006)
Sudheer Sahu, John H. Reif
Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions. DNA (2006)
Sudheer Sahu, Bei Wang, John H. Reif
A Framework for Modeling DNA Based Molecular Systems. DNA (2006)
John H. Reif, Zheng Sun
On boundaries of highly visible spaces and applications. Theor. Comput. Sci. 354 (3) (2006)
John H. Reif, Sudheer Sahu, Peng Yin
Compact Error-Resilient Computational DNA Tilings. Nanotechnology: Science and Computation (2006)
Zheng Sun, John H. Reif
On finding approximate optimal paths in weighted regions. J. Algorithms 58 (1) (2006)
John H. Reif, Sam Slee
Asymptotically Optimal Kinodynamic Motion Planning for Self-reconfigurable Robots. WAFR (2006)
Peng Yin, Sudheer Sahu, Andrew J. Turberfield, John H. Reif
Design of Autonomous DNA Cellular Automata. DNA (2005)
Zheng Sun, David Hsu, Tingting Jiang, Hanna Kurniawati, John H. Reif
Narrow passage sampling for probabilistic roadmap planning. IEEE Trans. Robotics 21 (6) (2005)
Sudheer Sahu, Peng Yin, John H. Reif
A Self-assembly Model of Time-Dependent Glue Strength. DNA (2005)
John H. Reif, Sudheer Sahu, Peng Yin
Complexity of Graph Self-assembly in Accretive Systems and Self-destructible Systems. DNA (2005)
John H. Reif
Efficient parallel factorization and solution of structured and unstructured linear systems. J. Comput. Syst. Sci. 71 (1) (2005)
Zheng Sun, John H. Reif
On finding energy-minimizing paths on terrains. IEEE Trans. Robotics 21 (1) (2005)
Peng Yin, Andrew J. Turberfield, John H. Reif
Designs of Autonomous Unidirectional Walking DNA Devices. DNA (2004)
John H. Reif, Sudheer Sahu, Peng Yin
Compact Error-Resilient Computational DNA Tiling Assemblies. DNA (2004)
Ashish Gehani, Thomas H. LaBean, John H. Reif
DNA-based Cryptography. Aspects of Molecular Computing (2004)
John H. Reif, Thomas H. LaBean, Sudheer Sahu, Hao Yan, Peng Yin
Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors. UPP (2004)
John H. Reif, Zheng Sun
Movement Planning in the Presence of Flows. Algorithmica 39 (2) (2004)
Peng Yin, Andrew J. Turberfield, Sudheer Sahu, John H. Reif
Design of an Autonomous DNA Nanomechanical Device Capable of Universal Computation and Universal Translational Motion. DNA (2004)
Zheng Sun, John H. Reif
Adaptive and Compact Discretization for Weighted Region Optimal Path Finding. FCT (2003)
John H. Reif, Zheng Sun
On Boundaries of Highly Visible Spaces and Applications. FCT (2003)
John H. Reif, Zheng Sun
On Frictional Mechanical Systems and Their Computational Power. SIAM J. Comput. 32 (6) (2003)
John H. Reif, William L. Scherlis
Deriving Effcient Graph Algorithms. Verification: Theory and Practice (2003)
John H. Reif
The design of autonomous DNA nano-mechanical devices: Walking and rolling DNA. Nat. Comput. 2 (4) (2003)
John H. Reif
Guest Editor's Foreword. J. Comput. Syst. Sci. 67 (2) (2003)
David Hsu, Tingting Jiang, John H. Reif, Zheng Sun
The bridge test for sampling narrow passages with probabilistic roadmap planners. ICRA (2003)
Zheng Sun, John H. Reif
On energy-minimizing paths on terrains for a mobile robot. ICRA (2003)
John H. Reif
Molecular Assembly and Computation: From Theory to Experimental Demonstrations. ICALP (2002)
John H. Reif
The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA. DNA (2002)
Dage Liu, John H. Reif, Thomas H. LaBean
DNA Nanotubes: Construction and Characterization of Filaments Composed of TX-tile Lattice. DNA (2002)
John H. Reif
DNA lattices: A method for molecular-scale patterning and computation. Comput. Sci. Eng. 4 (1) (2002)
John H. Reif
The Emerging Discipline of Biomolecular Computation in the US. New Gener. Comput. 20 (3) (2002)
John H. Reif, Zheng Sun
Movement Planning in the Presence of Flows. WADS (2001)
John H. Reif, Thomas H. LaBean, Michael Pirrung, Vipul S. Rana, Bo Guo, Carl Kingsford, Gene S. Wickham
Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability. DNA (2001)
John H. Reif
Parallel Output-Sensitive Algorithms for Combinatorial and Linear Algebra Problems. J. Comput. Syst. Sci. 62 (3) (2001)
John H. Reif
Efficient Parallel Computation of the Characteristic Polynomial of a Sparse, Separable Matrix. Algorithmica 29 (3) (2001)
Zheng Sun, John H. Reif
BUSHWHACK: An Approximation Algorithm for Minimal Paths through Pseudo-Euclidean Spaces. ISAAC (2001)
John H. Reif, Thomas H. LaBean, Nadrian C. Seeman
Programmable Assembly at the Molecular Scale: Self-Assembly of DNA Lattices (Invited Paper). ICRA (2001)
John H. Reif, James A. Storer
Optimal encoding of non-stationary sources. Inf. Sci. 135 (1-2) (2001)
John H. Reif
On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth. Inf. Comput. 163 (1) (2000)
John H. Reif, Thomas H. LaBean
Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization. DNA Computing (2000)
John H. Reif, Hongyan Wang
Nonuniform Discretization for Kinodynamic Motion Planning and its Applications. SIAM J. Comput. 30 (1) (2000)
John H. Reif
Fast Spatial Decomposition and Closest Pair Computation for Limited Precision Input. Algorithmica 28 (3) (2000)
John H. Reif, Thomas H. LaBean, Nadrian C. Seeman
Challenges and Applications for Self-Assembled DNA Nanostructures. DNA Computing (2000)
Thomas H. LaBean, Erik Winfree, John H. Reif
Experimental progress in computation by self-assembly of DNA tilings. DNA Based Computers (1999)
Ashish Gehani, Thomas H. LaBean, John H. Reif
DNA-based cryptography. DNA Based Computers (1999)
John H. Reif
Approximate Complex Polynomial Evaluation in Near Constant Work Per Point. SIAM J. Comput. 28 (6) (1999)
John H. Reif, Hongyan Wang
Social potential fields: A distributed behavioral control for autonomous robots. Robotics Auton. Syst. 27 (3) (1999)
Zhiyong Li, John H. Reif, Sandeep K. S. Gupta
Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions. IEEE Trans. Parallel Distributed Syst. 10 (3) (1999)
John H. Reif
Parallel Biomolecular Computation: Models and Simulations. Algorithmica 25 (2-3) (1999)
Hillel Gazit, John H. Reif
A Randomized Parallel Algorithm for Planar Graph Isomorphism. J. Algorithms 28 (2) (1998)
John H. Reif
Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation. FSTTCS (1998)
John H. Reif, James A. Storer
Optimal Lossless Compression of a Class of Dynamic Sources. Data Compression Conference (1998)
Sefeng Chen, John H. Reif
Fast and Compact Volume Rendering in the Compressed Transform Domain. Data Compression Conference (1997)
James A. Storer, John H. Reif
Low-Cost Prevention of Error Propagation for Data Compression with Dynamic Dictionaries. Data Compression Conference (1997)
Erol Gelenbe, Nestor A. Schmajuk, John Staddon, John H. Reif
Autonomous search by robots and animals: A survey. Robotics Auton. Syst. 22 (1) (1997)
Yijie Han, Victor Y. Pan, John H. Reif
Efficient Parallel Algorithms for Computing All Pair Shortest Paths in Directed Graphs. Algorithmica 17 (4) (1997)
James A. Storer, John H. Reif
Error-Resilient Optimal Data Compression. SIAM J. Comput. 26 (4) (1997)
John H. Reif, Stephen R. Tate
On Dynamic Algorithms for Algebraic Problems. J. Algorithms 22 (2) (1997)
John H. Reif
Local parallel biomolecular computation. DNA Based Computers (1997)
John H. Reif
Approximate Complex Polynomial Evaluation in Near Constant Work Per Point. STOC (1997)
Zhiyong Li, Peter Mills, John H. Reif
Models and Resource Metrics for Parallel and Distributed Computation. Parallel Algorithms Appl. 8 (1) (1996)
Zhiyong Li, John H. Reif, Sandeep K. S. Gupta
Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions. ICPP, Vol. 2 (1996)
C. Andrew Neff, John H. Reif
An Efficient Algorithm for the Complex Roots Problem. J. Complex. 12 (2) (1996)
Shenfeng Chen, John H. Reif
Efficient Lossless Compression of Trees and Graphs. Data Compression Conference (1996)

John H. Reif.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John H. Reif