John H. Reif

From MaRDI portal
Revision as of 09:02, 8 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page John H. Reif to John H. Reif: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:537850

Available identifiers

zbMath Open reif.john-hDBLPr/JohnHReifWikidataQ6254554 ScholiaQ6254554MaRDI QIDQ537850

List of research outcomes





PublicationDate of PublicationType
A dynamic separator algorithm2023-01-18Paper
Multidimensional data organization and random access in large-scale DNA storage systems2021-11-11Paper
Activatable tiles for compact robust programmable molecular assembly and other applications2019-07-10Paper
The complexity of N-body simulation2019-03-29Paper
Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time2019-01-10Paper
Temporal DNA barcodes: a time-based approach for single-molecule imaging2018-11-08Paper
Tile complexity of approximate squares2013-05-16Paper
Tile Complexity of Linear Assemblies2012-11-29Paper
Localized Hybridization Circuits2011-09-16Paper
Robomotion: Scalable, Physically Stable Locomotion for Self-reconfigurable Robots2011-08-04Paper
Design of a biomolecular device that executes process algebra2011-05-23Paper
ASYMPTOTICALLY OPTIMAL KINODYNAMIC MOTION PLANNING FOR A CLASS OF MODULAR SELF-RECONFIGURABLE ROBOTS2011-05-11Paper
Complexity of graph self-assembly in accretive systems and self-destructible systems2011-03-29Paper
High-Fidelity DNA Hybridization Using Programmable Molecular DNA Devices2011-01-28Paper
Asymptotically Optimal Kinodynamic Motion Planning for Self-reconfigurable Robots2010-06-02Paper
Isothermal reactivating whiplash PCR for locally programmable molecular computation2010-05-05Paper
Fundamentals of Computation Theory2010-04-20Paper
Fundamentals of Computation Theory2010-04-20Paper
Verification: Theory and Practice2010-03-23Paper
Capabilities and limits of compact error resilience methods for algorithmic self-assembly2010-02-23Paper
Design of a Biomolecular Device That Executes Process Algebra2010-01-07Paper
The Tile Complexity of Linear Assemblies2009-07-14Paper
Aspects of Molecular Computing2009-05-14Paper
Complexity of Graph Self-assembly in Accretive Systems and Self-destructible Systems2009-04-02Paper
A Self-assembly Model of Time-Dependent Glue Strength2009-04-02Paper
Autonomous programmable DNA nanorobotic devices using DNAzymes2009-03-30Paper
https://portal.mardi4nfdi.de/entity/Q35989332009-02-03Paper
Formula dissection: A parallel algorithm for constraint satisfaction2008-06-26Paper
Design and Simulation of Self-repairing DNA Lattices2008-04-04Paper
Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions2008-04-04Paper
A Framework for Modeling DNA Based Molecular Systems2008-04-04Paper
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications2008-04-04Paper
Autonomous Programmable Nanorobotic Devices Using DNAzymes2008-04-04Paper
Efficient and exact quantum compression2007-07-16Paper
DNA Computing2006-10-19Paper
On finding approximate optimal paths in weighted regions2006-04-28Paper
On boundaries of highly visible spaces and applications2006-04-28Paper
Computation of equilibria in noncooperative games2006-02-16Paper
Efficient parallel factorization and solution of structured and unstructured linear systems2005-08-05Paper
MODELS AND RESOURCE METRICS FOR PARALLEL AND DISTRIBUTED COMPUTATION∗2004-10-06Paper
Movement planning in the presence of flows2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q47371392004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47376612004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44740862004-08-04Paper
On Frictional Mechanical Systems and Their Computational Power2003-09-28Paper
https://portal.mardi4nfdi.de/entity/Q44146502003-07-25Paper
https://portal.mardi4nfdi.de/entity/Q44146512003-07-25Paper
On the impossibility of interaction-free quantum sensing for small I/O bandwidth2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q47785782002-11-18Paper
The emerging discipline of biomolecular computation in the US2002-09-30Paper
Parallel output-sensitive algorithms for combinatorial and linear algebra problems2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q45308612002-06-09Paper
https://portal.mardi4nfdi.de/entity/Q45299812002-05-07Paper
https://portal.mardi4nfdi.de/entity/Q44999462002-04-08Paper
https://portal.mardi4nfdi.de/entity/Q27497872001-10-21Paper
Optimal encoding of non-stationary sources2001-10-10Paper
https://portal.mardi4nfdi.de/entity/Q49455192001-10-07Paper
https://portal.mardi4nfdi.de/entity/Q44999282001-08-16Paper
Efficient parallel computation of the characteristic polynomial of a sparse, separable matrix2001-07-03Paper
https://portal.mardi4nfdi.de/entity/Q47623252001-05-17Paper
https://portal.mardi4nfdi.de/entity/Q45269672001-02-28Paper
https://portal.mardi4nfdi.de/entity/Q47623352001-02-22Paper
Parallel biomolecular computation: Models and simulations2001-01-29Paper
Fast spatial decomposition and closest pair computation for limited precision input2000-12-03Paper
https://portal.mardi4nfdi.de/entity/Q42341262000-11-20Paper
Nonuniform Discretization for Kinodynamic Motion Planning and its Applications2000-10-18Paper
https://portal.mardi4nfdi.de/entity/Q42636892000-10-17Paper
https://portal.mardi4nfdi.de/entity/Q42284452000-06-27Paper
Planarity testing in parallel2000-06-21Paper
https://portal.mardi4nfdi.de/entity/Q42319172000-04-26Paper
Efficient approximate solution of sparse linear systems2000-04-25Paper
Efficient algorithmic learning of the structure of permutation groups by examples2000-01-20Paper
Approximate Complex Polynomial Evaluation in Near Constant Work Per Point1999-10-28Paper
A Randomized Parallel Algorithm for Planar Graph Isomorphism1998-10-06Paper
An efficient algorithm for the complex roots problem1998-05-27Paper
https://portal.mardi4nfdi.de/entity/Q31288881998-03-10Paper
Error-Resilient Optimal Data Compression1998-02-10Paper
Efficient parallel algorithms for computing all pair shortest paths in directed graphs1997-08-20Paper
On Dynamic Algorithms for Algebraic Problems1997-04-16Paper
Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem1997-03-06Paper
https://portal.mardi4nfdi.de/entity/Q48584341996-08-19Paper
An algebraic technique for generating optimal CMOS circuitry in linear time1996-05-14Paper
https://portal.mardi4nfdi.de/entity/Q48485991995-09-17Paper
An efficient output-sensitive hidden-surface removal algorithm for polyhedral terrains1995-08-15Paper
The light bulb problem1995-07-06Paper
Shortest paths in the plane with polygonal obstacles1995-06-22Paper
https://portal.mardi4nfdi.de/entity/Q47634191995-04-11Paper
A single-exponential upper bound for finding shortest paths in three dimensions1995-02-20Paper
Directed \(s\)-\(t\) numberings, rubber bands, and testing digraph \(k\)-vertex connecitivity1995-02-01Paper
Motion planning in the presence of moving obstacles1994-11-03Paper
https://portal.mardi4nfdi.de/entity/Q43024561994-09-13Paper
https://portal.mardi4nfdi.de/entity/Q43024581994-09-13Paper
Randomized Algorithms for Binary Search and Load Balancing on Fixed Connection Networks with Geometric Applications1994-08-14Paper
Erratum: Optimal Parallel Randomized Algorithms for Three-Dimensional Convex Hulls and Related Problems1994-07-28Paper
Fast and Efficient Parallel Solution of Sparse Linear Systems1994-06-23Paper
Approximate kinodynamic planning using \(L_ 2\)-norm dynamic bounds1994-05-24Paper
https://portal.mardi4nfdi.de/entity/Q31404481993-12-15Paper
Generalized compact multi-grid1993-12-09Paper
Continuous alternation: the complexity of pursuit in continuous domains1993-10-13Paper
Probabilistic parallel prefix computation1993-09-02Paper
https://portal.mardi4nfdi.de/entity/Q40387221993-05-18Paper
Efficient VLSI fault simulation1993-02-22Paper
Optimal Parallel Randomized Algorithms for Three-Dimensional Convex Hulls and Related Problems1993-01-16Paper
Kinodynamic motion planning1993-01-01Paper
On Threshold Circuits and Polynomial Computation1992-12-06Paper
https://portal.mardi4nfdi.de/entity/Q40135441992-09-27Paper
Nested annealing: A provable improvement to simulated annealing1992-09-27Paper
Compact Multigrid1992-06-28Paper
The parallel computation of minimum cost paths in graphs by stream contraction1992-06-28Paper
Expected parallel time and sequential space complexity of graph and digraph problems1992-06-28Paper
Optimal randomized parallel algorithms for computational geometry1992-06-28Paper
Parallel Tree Contraction Part 2: Further Applications1992-06-27Paper
An exact algorithm for kinodynamic planning in the plane1992-06-25Paper
Data flow analysis of distributed communicating processes1990-01-01Paper
The bit-complexity of discrete solutions of partial differential equations: Compact multigrid1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33597661990-01-01Paper
Optimal Size Integer Division Circuits1990-01-01Paper
Optimal and Sublogarithmic Time Randomized Parallel Sorting Algorithms1989-01-01Paper
Fast and efficient solution of path algebra problems1989-01-01Paper
Fast and efficient parallel solution of dense linear systems1989-01-01Paper
Parallel processing can be harmful: The unusual behavior of interpolation search1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34843561989-01-01Paper
The complexity of reachability in distributed communicating processes1988-01-01Paper
A simple three-dimensional real-time reliable cellular array1988-01-01Paper
An efficient parallel algorithm for planarity1988-01-01Paper
Efficient Parallel Pseudorandom Number Generation1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37982321988-01-01Paper
Parallel Time $O(\log n)$ Acceptance of Deterministic CFL<scp>s</scp> on an Exclusive-Write P-RAM1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38028921988-01-01Paper
A topological approach to dynamic graph connectivity1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835281987-01-01Paper
Efficient symbolic analysis of programs1986-01-01Paper
Parallel nested dissection for path algebra computations1986-01-01Paper
The complexity of elementary algebra and geometry1986-01-01Paper
Efficient parallel linear programming1986-01-01Paper
Fast and efficient linear programming and linear least-squares computations1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37236961986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37349871986-01-01Paper
Logarithmic Depth Circuits for Algebraic Functions1986-01-01Paper
Arithmetic theories for computational complexity problems1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37616931986-01-01Paper
A multiprocess network logic with temporal and spatial modalities1985-01-01Paper
k-connectivity in random undirected graphs1985-01-01Paper
Depth-first search is inherently sequential1985-01-01Paper
Unbounded Speed Variability in Distributed Communications Systems1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36987101985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37359171985-01-01Paper
The complexity of two-player games of incomplete information1984-01-01Paper
Real-Time Synchronization of Interprocess Communications1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33401751984-01-01Paper
On Synchronous Parallel Computations with Independent Probabilistic Choice1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37025011984-01-01Paper
Symmetric Complementation1984-01-01Paper
Minimums-tCut of a Planar Undirected Network in $O(n\log ^2 (n))$ Time1983-01-01Paper
The propositional dynamic logic of deterministic, well-structured programs1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36688621983-01-01Paper
Symbolic Program Analysis in Almost-Linear Time1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39455871982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39120401981-01-01Paper
Code Motion1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41959221977-01-01Paper
Numerical solution of the Fokker-Planck equation via Chebyschev polynomial approximations with reference to first passage time probability density functions1977-01-01Paper

Research outcomes over time

This page was built for person: John H. Reif