John H. Reif

From MaRDI portal
Person:537850

Available identifiers

zbMath Open reif.john-hWikidataQ6254554 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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: John H. Reif