Search results for "John H. Reif"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Urmi Majumder, John H. Reif	Design of a biomolecular device that executes process algebra.	Natural Computing	2011	DBLP DOI BibTeX RDF
1	John H. Reif, Sudheer Sahu, Peng Yin	Complexity of graph self-assembly in accretive systems and self-destructible systems.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	John H. Reif, Sam Slee	Asymptotically Optimal Kinodynamic Motion Planning for a Class of Modular Self-Reconfigurable Robots.	Int. J. Comput. Geometry Appl.	2011	DBLP DOI BibTeX RDF
1	Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John H. Reif	Localized Hybridization Circuits.	DNA	2011	DBLP DOI BibTeX RDF
1	John H. Reif	Keynote: DNA-based molecular devices.	ICCABS	2011	DBLP DOI BibTeX RDF
1	John H. Reif, Urmi Majumder	Isothermal reactivating Whiplash PCR for locally programmable molecular computation.	Natural Computing	2010	DBLP BibTeX RDF
1	Sudheer Sahu, John H. Reif	Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-Assembly.	Algorithmica	2010	DBLP DOI BibTeX RDF
1	Nikhil Gopalkrishnan, Harish Chandran, John H. Reif	High-Fidelity DNA Hybridization Using Programmable Molecular DNA Devices.	DNA	2010	DBLP DOI BibTeX RDF
1	Sam Slee, John H. Reif	Robomotion: Scalable, Physically Stable Locomotion for Self-reconfigurable Robots.	WAFR	2010	DBLP DOI BibTeX RDF
1	John H. Reif, Sudheer Sahu	Autonomous programmable DNA nanorobotic devices using DNAzymes.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	John H. Reif	Mechanical Computing: The Computational Complexity of Physical Devices.	Encyclopedia of Complexity and Systems Science	2009	DBLP DOI BibTeX RDF
1	Urmi Majumder, John H. Reif	Design of a Biomolecular Device That Executes Process Algebra.	DNA	2009	DBLP DOI BibTeX RDF
1	Harish Chandran, Nikhil Gopalkrishnan, John H. Reif	The Tile Complexity of Linear Assemblies.	ICALP	2009	DBLP DOI BibTeX RDF
1	John H. Reif, Simon Kasif, Deepak Sherlekar	Formula dissection: A parallel algorithm for constraint satisfaction.	Computers & Mathematics with Applications	2008	DBLP DOI BibTeX RDF
1	John H. Reif, Urmi Majumder	Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation.	DNA	2008	DBLP DOI BibTeX RDF
1	Urmi Majumder, John H. Reif	A Framework for Designing Novel Magnetic Tiles Capable of Complex Self-assemblies.	UC	2008	DBLP DOI BibTeX RDF
1	John H. Reif, Sukhendu Chakraborty	Efficient and exact quantum compression.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
1	John H. Reif, Thomas H. LaBean	Autonomous programmable biomolecular devices using self-assembled DNA nanostructures.	Commun. ACM	2007	DBLP DOI BibTeX RDF
1	Zheng Sun, John H. Reif	On Robotic Optimal Path Planning in Polygonal Regions With Pseudo-Euclidean Metrics.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2007	DBLP DOI BibTeX RDF
1	John H. Reif, Thomas H. LaBean	Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures.	WoLLIC	2007	DBLP DOI BibTeX RDF
1	Urmi Majumder, Thomas H. LaBean, John H. Reif	Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications.	DNA	2007	DBLP DOI BibTeX RDF	DNA-assembly, error-correction, molecular computation
1	John H. Reif, Sudheer Sahu	Autonomous Programmable Nanorobotic Devices Using DNAzymes.	DNA	2007	DBLP DOI BibTeX RDF
1	John H. Reif, Sam Slee	Optimal Kinodynamic Motion Planning for 2D Reconfiguration of Self-Reconfigurable Robots.	Robotics: Science and Systems	2007	DBLP BibTeX RDF
1	Ashish Gehani, John H. Reif	Super-Resolution Video Analysis for Forensic Investigations.	IFIP Int. Conf. Digital Forensics	2007	DBLP DOI BibTeX RDF	Video recordings, super-resolution analysis, parameterization
1	John H. Reif, Zheng Sun	On boundaries of highly visible spaces and applications.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Zheng Sun, John H. Reif	On finding approximate optimal paths in weighted regions.	J. Algorithms	2006	DBLP DOI BibTeX RDF
1	Urmi Majumder, Sudheer Sahu, Thomas H. LaBean, John H. Reif	Design and Simulation of Self-repairing DNA Lattices.	DNA	2006	DBLP DOI BibTeX RDF
1	Sudheer Sahu, Bei Wang, John H. Reif	A Framework for Modeling DNA Based Molecular Systems.	DNA	2006	DBLP DOI BibTeX RDF
1	Sudheer Sahu, John H. Reif	Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions.	DNA	2006	DBLP DOI BibTeX RDF
1	John H. Reif, Sam Slee	Asymptotically Optimal Kinodynamic Motion Planning for Self-reconfigurable Robots.	WAFR	2006	DBLP DOI BibTeX RDF
1	John H. Reif, Sudheer Sahu, Peng Yin	Compact Error-Resilient Computational DNA Tilings.	Nanotechnology: Science and Computation	2006	DBLP DOI BibTeX RDF
1	Zheng Sun, David Hsu, Tingting Jiang, Hanna Kurniawati, John H. Reif	Narrow passage sampling for probabilistic roadmap planning.	IEEE Transactions on Robotics	2005	DBLP DOI BibTeX RDF
1	Zheng Sun, John H. Reif	On finding energy-minimizing paths on terrains.	IEEE Transactions on Robotics	2005	DBLP DOI BibTeX RDF
1	John H. Reif	Efficient parallel factorization and solution of structured and unstructured linear systems.	J. Comput. Syst. Sci.	2005	DBLP DOI BibTeX RDF
1	Peng Yin, Sudheer Sahu, Andrew J. Turberfield, John H. Reif	Design of Autonomous DNA Cellular Automata.	DNA	2005	DBLP DOI BibTeX RDF
1	John H. Reif, Sudheer Sahu, Peng Yin	Complexity of Graph Self-assembly in Accretive Systems and Self-destructible Systems.	DNA	2005	DBLP DOI BibTeX RDF
1	Sudheer Sahu, Peng Yin, John H. Reif	A Self-assembly Model of Time-Dependent Glue Strength.	DNA	2005	DBLP DOI BibTeX RDF
1	John H. Reif, Zheng Sun	Movement Planning in the Presence of Flows.	Algorithmica	2004	DBLP DOI BibTeX RDF	Optimization, Robotics, Shortest path, Path planning
1	Junghuei Chen, John H. Reif (eds.)	DNA Computing, 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers	DNA	2004	DBLP BibTeX RDF
1	Peng Yin, Andrew J. Turberfield, John H. Reif	Designs of Autonomous Unidirectional Walking DNA Devices.	DNA	2004	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	John H. Reif, Sudheer Sahu, Peng Yin	Compact Error-Resilient Computational DNA Tiling Assemblies.	DNA	2004	DBLP DOI BibTeX RDF
1	Ashish Gehani, Thomas H. LaBean, John H. Reif	DNA-based Cryptography.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	John H. Reif	The design of autonomous DNA nano-mechanical devices: Walking and rolling DNA.	Natural Computing	2003	DBLP DOI BibTeX RDF	molecular, motor nanomechanical device, nanostructure, DNA
1	John H. Reif	Guest Editor's Foreword.	J. Comput. Syst. Sci.	2003	DBLP DOI BibTeX RDF
1	John H. Reif, Zheng Sun	On Frictional Mechanical Systems and Their Computational Power.	SIAM J. Comput.	2003	DBLP DOI BibTeX RDF
1	David Hsu, Tingting Jiang, John H. Reif, Zheng Sun	The bridge test for sampling narrow passages with probabilistic roadmap planners.	ICRA	2003	DBLP BibTeX RDF
1	Zheng Sun, John H. Reif	On energy-minimizing paths on terrains for a mobile robot.	ICRA	2003	DBLP BibTeX RDF
1	Zheng Sun, John H. Reif	Adaptive and Compact Discretization for Weighted Region Optimal Path Finding.	FCT	2003	DBLP DOI BibTeX RDF
1	John H. Reif, Zheng Sun	On Boundaries of Highly Visible Spaces and Applications.	FCT	2003	DBLP DOI BibTeX RDF
1	John H. Reif, William L. Scherlis	Deriving Effcient Graph Algorithms.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
1	John H. Reif	The Emerging Discipline of Biomolecular Computation in the US.	New Generation Comput.	2002	DBLP DOI BibTeX RDF
1	John H. Reif	The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA.	DNA	2002	DBLP DOI BibTeX RDF
1	Dage Liu, John H. Reif, Thomas H. LaBean	DNA Nanotubes: Construction and Characterization of Filaments Composed of TX-tile Lattice.	DNA	2002	DBLP DOI BibTeX RDF
1	John H. Reif	Molecular Assembly and Computation: From Theory to Experimental Demonstrations.	ICALP	2002	DBLP DOI BibTeX RDF
1	John H. Reif (eds.)	Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada	STOC	2002	DBLP BibTeX RDF
1	John H. Reif	Efficient Parallel Computation of the Characteristic Polynomial of a Sparse, Separable Matrix.	Algorithmica	2001	DBLP DOI BibTeX RDF	Nested Dissection, Parallel algorithms, Characteristic polynomial, Sparse linear systems
1	John H. Reif, James A. Storer	Optimal encoding of non-stationary sources.	Inf. Sci.	2001	DBLP DOI BibTeX RDF
1	John H. Reif	Parallel Output-Sensitive Algorithms for Combinatorial and Linear Algebra Problems.	J. Comput. Syst. Sci.	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	John H. Reif, Thomas H. LaBean, Nadrian C. Seeman	Programmable Assembly at the Molecular Scale: Self-Assembly of DNA Lattices (Invited Paper).	ICRA	2001	DBLP BibTeX RDF
1	John H. Reif, Zheng Sun	Movement Planning in the Presence of Flows.	WADS	2001	DBLP DOI BibTeX RDF
1	Zheng Sun, John H. Reif	BUSHWHACK: An Approximation Algorithm for Minimal Paths through Pseudo-Euclidean Spaces.	ISAAC	2001	DBLP DOI BibTeX RDF
1	John H. Reif	Fast Spatial Decomposition and Closest Pair Computation for Limited Precision Input.	Algorithmica	2000	DBLP DOI BibTeX RDF	Visibility problems, Gap-preserving reductions, Telecommunications, Terrains, Inapproximability, Art gallery
1	John H. Reif	On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
1	John H. Reif, Hongyan Wang	Nonuniform Discretization for Kinodynamic Motion Planning and its Applications.	SIAM J. Comput.	2000	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	John H. Reif, Thomas H. LaBean, Nadrian C. Seeman	Challenges and Applications for Self-Assembled DNA Nanostructures.	DNA Computing	2000	DBLP DOI BibTeX RDF
1	John H. Reif, Hongyan Wang	Social potential fields: A distributed behavioral control for autonomous robots.	Robotics and Autonomous Systems	1999	DBLP DOI BibTeX RDF
1	John H. Reif	Parallel Biomolecular Computation: Models and Simulations.	Algorithmica	1999	DBLP DOI BibTeX RDF	Parallel RAM, Nondeterministic computation, Recombinant DNA, Parallel computation, DNA, NP, Biomolecular computation, Biotechnology
1	Zhiyong Li 0002, 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 Distrib. Syst.	1999	DBLP DOI BibTeX RDF	block recursive algorithm, fast Fourier transform, Parallel I/O, data distribution, program synthesis, tensor product
1	John H. Reif	Approximate Complex Polynomial Evaluation in Near Constant Work Per Point.	SIAM J. Comput.	1999	DBLP DOI BibTeX RDF
1	Hillel Gazit, John H. Reif	A Randomized Parallel Algorithm for Planar Graph Isomorphism.	J. Algorithms	1998	DBLP DOI BibTeX RDF
1	John H. Reif, James A. Storer	Optimal Lossless Compression of a Class of Dynamic Sources.	Data Compression Conference	1998	DBLP DOI BibTeX RDF
1	John H. Reif	Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation.	FSTTCS	1998	DBLP DOI BibTeX RDF
1	Erol Gelenbe, Nestor A. Schmajuk, John Staddon, John H. Reif	Autonomous search by robots and animals: A survey.	Robotics and Autonomous Systems	1997	DBLP DOI BibTeX RDF
1	Yijie Han, Victor Y. Pan, John H. Reif	Efficient Parallel Algorithms for Computing All Pair Shortest Paths in Directed Graphs.	Algorithmica	1997	DBLP DOI BibTeX RDF
1	John H. Reif, Stephen R. Tate	On Dynamic Algorithms for Algebraic Problems.	J. Algorithms	1997	DBLP DOI BibTeX RDF
1	James A. Storer, John H. Reif	Error-Resilient Optimal Data Compression.	SIAM J. Comput.	1997	DBLP DOI BibTeX RDF
1	James A. Storer, John H. Reif	Low-Cost Prevention of Error Propagation for Data Compression with Dynamic Dictionaries.	Data Compression Conference	1997	DBLP DOI BibTeX RDF
1	Sefeng Chen, John H. Reif	Fast and Compact Volume Rendering in the Compressed Transform Domain.	Data Compression Conference	1997	DBLP DOI BibTeX RDF
1	John H. Reif	Approximate Complex Polynomial Evaluation in Near Constant Work Per Point.	STOC	1997	DBLP DOI BibTeX RDF
1	C. Andrew Neff, John H. Reif	An Efficient Algorithm for the Complex Roots Problem.	J. Complexity	1996	DBLP DOI BibTeX RDF
1	Ming-Yang Kao, John H. Reif, Stephen R. Tate	Searching in an Unknown Environment: An Optimal Randomized Algorithm for the Cow-Path Problem.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
1	Zhiyong Li 0002, Peter Mills, John H. Reif	Models and Resource Metrics for Parallel and Distributed Computation.	Parallel Algorithms Appl.	1996	DBLP DOI BibTeX RDF
1	Lars S. Nyland, Jan Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner	A Refinement Methodology for Developing Data-Parallel Applications.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
1	Zhiyong Li 0002, John H. Reif, Sandeep K. Gupta	Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions.	ICPP, Vol. 2	1996	DBLP BibTeX RDF
1	Shenfeng Chen, John H. Reif	Efficient Lossless Compression of Trees and Graphs.	Data Compression Conference	1996	DBLP DOI BibTeX RDF
1	Ramamohan Paturi, Sanguthevar Rajasekaran, John H. Reif	The Light Bulb Problem	Inf. Comput.	1995	DBLP DOI BibTeX RDF
1	Sandeep K. S. Gupta, Zhiyong Li 0002, John H. Reif	Generating Efficient Programs for Two-Level Memories from Tensor-products.	Parallel and Distributed Computing and Systems	1995	DBLP BibTeX RDF
1	Sotiris E. Nikoletseas, John H. Reif, Paul G. Spirakis, Moti Yung	Stocastic Graphs Have Short Memory: Fully Dynamic Connectivity in Poly-Log Expected Time.	ICALP	1995	DBLP DOI BibTeX RDF
1	Zhiyong Li 0002, Peter Mills, John H. Reif	Models and resource metrics for parallel and distributed computation.	HICSS	1995	DBLP DOI BibTeX RDF	resource metrics, architectural details, generic parameters, network communication costs, LogP-HMM model, parameterized network model, sequential hierarchical memory model, multilevel memory, local cache, near-optimal sorting, parallel processing, parallel computation, distributed algorithms, distributed computation, resource allocation, sorting, fast Fourier transforms, parallel machines, memory hierarchy, cache storage, design principles, asynchrony, parallel models, input/output, synchronous models, fast Fourier transform algorithms
1	John H. Reif	Parallel Molecular Computation.	SPAA	1995	DBLP DOI BibTeX RDF
1	John H. Reif	Efficient Parallel Solution of Sparse Eigenvalue and Eigenvector Problems.	FOCS	1995	DBLP DOI BibTeX RDF	parallel solution, sparse eigenvalue, eigenvector problems, symmetric sparse matrix, algebraic version, perturbation methods, polylog parallel algorithm, work bounds, sparse Lanczos methods, sparsity graph, parallel algorithms, planar graph, matrix algebra, eigenvalues and eigenfunctions, characteristic polynomial
1	Shenfeng Chen, John H. Reif	Fast Pattern Matching for Entropy Bounded Text.	Data Compression Conference	1995	DBLP DOI BibTeX RDF
1	John H. Reif	Work efficient parallel solution of Toeplitz systems and polynomial GCD.	STOC	1995	DBLP DOI BibTeX RDF
1	John H. Reif, Micha Sharir	Motion Planning in the Presence of Moving Obstacles.	J. ACM	1994	DBLP DOI BibTeX RDF	moving obstacles, theory of reals, computational geometry, motion planning, decision procedures, Turing machines, cylindrical algebraic decomposition
1	John H. Reif, James A. Storer	A Single-Exponential Upper Bound for Finding Shortest Paths in Three Dimensions.	J. ACM	1994	DBLP DOI BibTeX RDF	3-dimensional Euclidean space, minimal movement problem, mover's problem, theory of real closed fields, robotics, shortest path, motion planning
1	James A. Storer, John H. Reif	Shortest Paths in the Plane with Polygonal Obstacles.	J. ACM	1994	DBLP DOI BibTeX RDF	minimal movement problem, mover's problem, polygonal obstacles, robotics, shortest path, motion planning, Euclidean plane

Publications of "John H. Reif" ( http://dblp.L3S.de/Authors/John_H._Reif )