J. Reif

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A dynamic separator algorithm
Lecture Notes in Computer Science
2023-01-18Paper
Multidimensional data organization and random access in large-scale DNA storage systems
Theoretical Computer Science
2021-11-11Paper
Activatable tiles for compact robust programmable molecular assembly and other applications
Natural Computing
2019-07-10Paper
The complexity of N-body simulation
Automata, Languages and Programming
2019-03-29Paper
Stochastic graphs have short memory: Fully dynamic connectivity in poly-log expected time
Automata, Languages and Programming
2019-01-10Paper
Temporal DNA barcodes: a time-based approach for single-molecule imaging2018-11-08Paper
Tile complexity of approximate squares
Algorithmica
2013-05-16Paper
Tile Complexity of Linear Assemblies
SIAM Journal on Computing
2012-11-29Paper
Localized hybridization circuits
Lecture Notes in Computer Science
2011-09-16Paper
Robomotion: Scalable, Physically Stable Locomotion for Self-reconfigurable Robots
Springer Tracts in Advanced Robotics
2011-08-04Paper
Design of a biomolecular device that executes process algebra
Natural Computing
2011-05-23Paper
Asymptotically optimal kinodynamic motion planning for a class of modular self-reconfigurable robots
International Journal of Computational Geometry & Applications
2011-05-11Paper
Complexity of graph self-assembly in accretive systems and self-destructible systems
Theoretical Computer Science
2011-03-29Paper
High-Fidelity DNA Hybridization Using Programmable Molecular DNA Devices
Lecture Notes in Computer Science
2011-01-28Paper
Asymptotically optimal kinodynamic motion planning for self-reconfigurable robots
Springer Tracts in Advanced Robotics
2010-06-02Paper
Isothermal reactivating whiplash PCR for locally programmable molecular computation
Natural Computing
2010-05-05Paper
Adaptive and compact discretization for weighted region optimal path finding.
Lecture Notes in Computer Science
2010-04-20Paper
On boundaries of highly visible spaces and applications.
Lecture Notes in Computer Science
2010-04-20Paper
Deriving efficient graph algorithms
Lecture Notes in Computer Science
2010-03-23Paper
Capabilities and limits of compact error resilience methods for algorithmic self-assembly
Algorithmica
2010-02-23Paper
Design of a biomolecular device that executes process algebra
Lecture Notes in Computer Science
2010-01-07Paper
The Tile Complexity of Linear Assemblies
Automata, Languages and Programming
2009-07-14Paper
Aspects of Molecular Computing
Lecture Notes in Computer Science
2009-05-14Paper
Complexity of Graph Self-assembly in Accretive Systems and Self-destructible Systems
DNA Computing
2009-04-02Paper
A Self-assembly Model of Time-Dependent Glue Strength
DNA Computing
2009-04-02Paper
Autonomous programmable DNA nanorobotic devices using DNAzymes
Theoretical Computer Science
2009-03-30Paper
Optimal kinodynamic motion planning for 2D reconfiguration of self-reconfigurable robots2009-02-03Paper
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
2008-06-26Paper
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications
DNA Computing
2008-04-04Paper
Autonomous Programmable Nanorobotic Devices Using DNAzymes
DNA Computing
2008-04-04Paper
Design and Simulation of Self-repairing DNA Lattices
DNA Computing
2008-04-04Paper
Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions
DNA Computing
2008-04-04Paper
A Framework for Modeling DNA Based Molecular Systems
DNA Computing
2008-04-04Paper
Efficient and exact quantum compression
Information and Computation
2007-07-16Paper
DNA Computing
Lecture Notes in Computer Science
2006-10-19Paper
On boundaries of highly visible spaces and applications
Theoretical Computer Science
2006-04-28Paper
On finding approximate optimal paths in weighted regions
Journal of Algorithms
2006-04-28Paper
Computation of equilibria in noncooperative games
Computers & Mathematics with Applications
2006-02-16Paper
Efficient parallel factorization and solution of structured and unstructured linear systems
Journal of Computer and System Sciences
2005-08-05Paper
MODELS AND RESOURCE METRICS FOR PARALLEL AND DISTRIBUTED COMPUTATION∗
Parallel Algorithms and Applications
2004-10-06Paper
Movement planning in the presence of flows
Algorithmica
2004-10-01Paper
scientific article; zbMATH DE number 2087023 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2086605 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2080988 (Why is no real title available?)2004-08-04Paper
On Frictional Mechanical Systems and Their Computational Power
SIAM Journal on Computing
2003-09-28Paper
scientific article; zbMATH DE number 1953203 (Why is no real title available?)2003-07-25Paper
scientific article; zbMATH DE number 1953204 (Why is no real title available?)2003-07-25Paper
On the impossibility of interaction-free quantum sensing for small I/O bandwidth
Information and Computation
2003-01-14Paper
scientific article; zbMATH DE number 1830755 (Why is no real title available?)2002-11-18Paper
The emerging discipline of biomolecular computation in the US
New Generation Computing
2002-09-30Paper
Parallel output-sensitive algorithms for combinatorial and linear algebra problems
Journal of Computer and System Sciences
2002-07-15Paper
scientific article; zbMATH DE number 1746683 (Why is no real title available?)2002-06-09Paper
scientific article; zbMATH DE number 1738647 (Why is no real title available?)2002-05-07Paper
scientific article; zbMATH DE number 1501065 (Why is no real title available?)2002-04-08Paper
Lower bounds for multiplayer noncooperative games of incomplete information
Computers & Mathematics with Applications
2001-11-12Paper
An efficient approximation algorithm for weighted region shortest path problem2001-10-21Paper
Optimal encoding of non-stationary sources
Information Sciences
2001-10-10Paper
scientific article; zbMATH DE number 1424306 (Why is no real title available?)2001-10-07Paper
scientific article; zbMATH DE number 1501051 (Why is no real title available?)2001-08-16Paper
Efficient parallel computation of the characteristic polynomial of a sparse, separable matrix
Algorithmica
2001-07-03Paper
scientific article; zbMATH DE number 1568804 (Why is no real title available?)2001-05-17Paper
scientific article; zbMATH DE number 1559519 (Why is no real title available?)2001-02-28Paper
scientific article; zbMATH DE number 1568812 (Why is no real title available?)2001-02-22Paper
Parallel biomolecular computation: Models and simulations
Algorithmica
2001-01-29Paper
Fast spatial decomposition and closest pair computation for limited precision input
Algorithmica
2000-12-03Paper
scientific article; zbMATH DE number 1263254 (Why is no real title available?)2000-11-20Paper
Nonuniform Discretization for Kinodynamic Motion Planning and its Applications
SIAM Journal on Computing
2000-10-18Paper
scientific article; zbMATH DE number 1342108 (Why is no real title available?)2000-10-17Paper
scientific article; zbMATH DE number 1256709 (Why is no real title available?)2000-06-27Paper
Planarity testing in parallel
Journal of Computer and System Sciences
2000-06-21Paper
scientific article; zbMATH DE number 1261814 (Why is no real title available?)2000-04-26Paper
Efficient approximate solution of sparse linear systems
Computers & Mathematics with Applications
2000-04-25Paper
Efficient algorithmic learning of the structure of permutation groups by examples
Computers & Mathematics with Applications
2000-01-20Paper
Approximate Complex Polynomial Evaluation in Near Constant Work Per Point
SIAM Journal on Computing
1999-10-28Paper
A Randomized Parallel Algorithm for Planar Graph Isomorphism
Journal of Algorithms
1998-10-06Paper
An efficient algorithm for the complex roots problem
Journal of Complexity
1998-05-27Paper
scientific article; zbMATH DE number 1003260 (Why is no real title available?)1998-03-10Paper
Error-Resilient Optimal Data Compression
SIAM Journal on Computing
1998-02-10Paper
Efficient parallel algorithms for computing all pair shortest paths in directed graphs
Algorithmica
1997-08-20Paper
On Dynamic Algorithms for Algebraic Problems
Journal of Algorithms
1997-04-16Paper
Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem
Information and Computation
1997-03-06Paper
scientific article; zbMATH DE number 826049 (Why is no real title available?)1996-08-19Paper
An algebraic technique for generating optimal CMOS circuitry in linear time
Computers & Mathematics with Applications
1996-05-14Paper
scientific article; zbMATH DE number 797439 (Why is no real title available?)1995-09-17Paper
An efficient output-sensitive hidden-surface removal algorithm for polyhedral terrains
Mathematical and Computer Modelling
1995-08-15Paper
The light bulb problem
Information and Computation
1995-07-06Paper
Shortest paths in the plane with polygonal obstacles
Journal of the ACM
1995-06-22Paper
scientific article; zbMATH DE number 742980 (Why is no real title available?)1995-04-11Paper
A single-exponential upper bound for finding shortest paths in three dimensions
Journal of the ACM
1995-02-20Paper
Directed \(s\)-\(t\) numberings, rubber bands, and testing digraph \(k\)-vertex connecitivity
Combinatorica
1995-02-01Paper
Motion planning in the presence of moving obstacles
Journal of the ACM
1994-11-03Paper
scientific article; zbMATH DE number 619537 (Why is no real title available?)1994-09-13Paper
scientific article; zbMATH DE number 619535 (Why is no real title available?)1994-09-13Paper
Randomized Algorithms for Binary Search and Load Balancing on Fixed Connection Networks with Geometric Applications
SIAM Journal on Computing
1994-08-14Paper
Erratum: Optimal Parallel Randomized Algorithms for Three-Dimensional Convex Hulls and Related Problems
SIAM Journal on Computing
1994-07-28Paper
Fast and Efficient Parallel Solution of Sparse Linear Systems
SIAM Journal on Computing
1994-06-23Paper
Approximate kinodynamic planning using \(L_ 2\)-norm dynamic bounds
Computers & Mathematics with Applications
1994-05-24Paper
scientific article; zbMATH DE number 437569 (Why is no real title available?)1993-12-15Paper
Generalized compact multi-grid
Computers & Mathematics with Applications
1993-12-09Paper
Continuous alternation: the complexity of pursuit in continuous domains
Algorithmica
1993-10-13Paper
Probabilistic parallel prefix computation
Computers & Mathematics with Applications
1993-09-02Paper
scientific article; zbMATH DE number 177844 (Why is no real title available?)1993-05-18Paper
Efficient VLSI fault simulation
Computers & Mathematics with Applications
1993-02-22Paper
Optimal Parallel Randomized Algorithms for Three-Dimensional Convex Hulls and Related Problems
SIAM Journal on Computing
1993-01-16Paper
Kinodynamic motion planning
Journal of the ACM
1993-01-01Paper
On Threshold Circuits and Polynomial Computation
SIAM Journal on Computing
1992-12-06Paper
scientific article; zbMATH DE number 67624 (Why is no real title available?)1992-09-27Paper
Nested annealing: A provable improvement to simulated annealing
Theoretical Computer Science
1992-09-27Paper
Optimal randomized parallel algorithms for computational geometry
Algorithmica
1992-06-28Paper
Compact Multigrid
SIAM Journal on Scientific and Statistical Computing
1992-06-28Paper
The parallel computation of minimum cost paths in graphs by stream contraction
Information Processing Letters
1992-06-28Paper
Expected parallel time and sequential space complexity of graph and digraph problems
Algorithmica
1992-06-28Paper
Parallel Tree Contraction Part 2: Further Applications
SIAM Journal on Computing
1992-06-27Paper
An exact algorithm for kinodynamic planning in the plane
Discrete & Computational Geometry
1992-06-25Paper
scientific article; zbMATH DE number 4213457 (Why is no real title available?)1990-01-01Paper
Optimal Size Integer Division Circuits
SIAM Journal on Computing
1990-01-01Paper
Data flow analysis of distributed communicating processes
International Journal of Parallel Programming
1990-01-01Paper
The bit-complexity of discrete solutions of partial differential equations: Compact multigrid
Computers & Mathematics with Applications
1990-01-01Paper
scientific article; zbMATH DE number 4155888 (Why is no real title available?)1989-01-01Paper
Parallel processing can be harmful: The unusual behavior of interpolation search
Information and Computation
1989-01-01Paper
Optimal and Sublogarithmic Time Randomized Parallel Sorting Algorithms
SIAM Journal on Computing
1989-01-01Paper
Fast and efficient solution of path algebra problems
Journal of Computer and System Sciences
1989-01-01Paper
Fast and efficient parallel solution of dense linear systems
Computers & Mathematics with Applications
1989-01-01Paper
scientific article; zbMATH DE number 4070640 (Why is no real title available?)1988-01-01Paper
A simple three-dimensional real-time reliable cellular array
Journal of Computer and System Sciences
1988-01-01Paper
An efficient parallel algorithm for planarity
Journal of Computer and System Sciences
1988-01-01Paper
Efficient Parallel Pseudorandom Number Generation
SIAM Journal on Computing
1988-01-01Paper
scientific article; zbMATH DE number 4064475 (Why is no real title available?)1988-01-01Paper
Parallel Time $O(\log n)$ Acceptance of Deterministic CFL<scp>s</scp> on an Exclusive-Write P-RAM
SIAM Journal on Computing
1988-01-01Paper
The complexity of reachability in distributed communicating processes
Acta Informatica
1988-01-01Paper
scientific article; zbMATH DE number 4047072 (Why is no real title available?)1987-01-01Paper
A topological approach to dynamic graph connectivity
Information Processing Letters
1987-01-01Paper
Parallel nested dissection for path algebra computations
Operations Research Letters
1986-01-01Paper
Arithmetic theories for computational complexity problems
Information and Control
1986-01-01Paper
scientific article; zbMATH DE number 4011931 (Why is no real title available?)1986-01-01Paper
The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
1986-01-01Paper
Efficient symbolic analysis of programs
Journal of Computer and System Sciences
1986-01-01Paper
Logarithmic Depth Circuits for Algebraic Functions
SIAM Journal on Computing
1986-01-01Paper
Efficient parallel linear programming
Operations Research Letters
1986-01-01Paper
scientific article; zbMATH DE number 3954270 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 3967813 (Why is no real title available?)1986-01-01Paper
Fast and efficient linear programming and linear least-squares computations
Computers & Mathematics with Applications
1986-01-01Paper
scientific article; zbMATH DE number 3922544 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3968860 (Why is no real title available?)1985-01-01Paper
Unbounded Speed Variability in Distributed Communications Systems
SIAM Journal on Computing
1985-01-01Paper
Depth-first search is inherently sequential
Information Processing Letters
1985-01-01Paper
k-connectivity in random undirected graphs
Discrete Mathematics
1985-01-01Paper
A multiprocess network logic with temporal and spatial modalities
Journal of Computer and System Sciences
1985-01-01Paper
scientific article; zbMATH DE number 3928336 (Why is no real title available?)1984-01-01Paper
scientific article; zbMATH DE number 3874635 (Why is no real title available?)1984-01-01Paper
The complexity of two-player games of incomplete information
Journal of Computer and System Sciences
1984-01-01Paper
Real-Time Synchronization of Interprocess Communications
ACM Transactions on Programming Languages and Systems
1984-01-01Paper
On Synchronous Parallel Computations with Independent Probabilistic Choice
SIAM Journal on Computing
1984-01-01Paper
Symmetric Complementation
Journal of the ACM
1984-01-01Paper
scientific article; zbMATH DE number 3823135 (Why is no real title available?)1983-01-01Paper
The propositional dynamic logic of deterministic, well-structured programs
Theoretical Computer Science
1983-01-01Paper
Minimums-tCut of a Planar Undirected Network in $O(n\log ^2 (n))$ Time
SIAM Journal on Computing
1983-01-01Paper
scientific article; zbMATH DE number 3763293 (Why is no real title available?)1982-01-01Paper
Symbolic Program Analysis in Almost-Linear Time
SIAM Journal on Computing
1982-01-01Paper
scientific article; zbMATH DE number 3723881 (Why is no real title available?)1981-01-01Paper
Code Motion
SIAM Journal on Computing
1980-01-01Paper
scientific article; zbMATH DE number 3635476 (Why is no real title available?)1977-01-01Paper
Numerical solution of the Fokker-Planck equation via Chebyschev polynomial approximations with reference to first passage time probability density functions
Journal of Computational Physics
1977-01-01Paper


Research outcomes over time


This page was built for person: J. Reif