# zbMATH — the first resource for mathematics

## Reif, John H.

Compute Distance To:
 Author ID: reif.john-h Published as: Reif, J.; Reif, J. H.; Reif, John; Reif, John H. Homepage: https://users.cs.duke.edu/~reif/index.htm External Links: MGP · Wikidata · ORCID · dblp
 Documents Indexed: 171 Publications since 1977, including 6 Books
all top 5

#### Co-Authors

 31 single-authored 15 Pan, Victor Yakovlevich 11 Tate, Stephen R. 10 LaBean, Thomas H. 10 Sahu, Sudheer 10 Sun, Zheng 8 Rajasekaran, Sanguthevar 7 Sen, Sandeep 6 Majumder, Urmi 6 Spirakis, Paul G. 6 Storer, James A. 5 Chandran, Harish 5 Gopalkrishnan, Nikhil 4 Azhar, Syarifuddin 4 Slee, Sam 4 Yin, Peng 3 Tygar, J. D. 3 Wang, Hongyan 2 Canny, John F. 2 Chen, Junghuei 2 Cheriyan, Joseph 2 Gacs, Peter 2 Gehani, Ashish 2 Kao, Ming-Yang 2 Klein, Philip N. 2 Paturi, Ramamohan 2 Peterson, Greg 2 Scherlis, William L. 2 Shah, Shalin 2 Sistla, Aravinda Prasad 2 Smolka, Scott A. 1 Barakat, Richard 1 Ben-Or, Michael 1 Bruss, Anna Rosa 1 Chakraborty, Sukhendu 1 Donald, Bruce Randall 1 Garg, Sudhanshu 1 Gazit, Hillel 1 Guo, Bo 1 Halpern, Joseph Yehuda 1 Han, Yijie 1 Homer, Steve 1 Kasif, Simon 1 Kingsford, Carl 1 Kozen, Dexter C. 1 Lewis, Harry R. 1 Li, Zhiyong 1 Liu, Dage 1 McLennan, Andrew 1 Miller, Gary Lee 1 Mills, Peter H. 1 Nair, Ravi 1 Neff, C. Andrew 1 Nikoletseas, Sotiris E. 1 Nyland, L. S. 1 Paige, Robert L. 1 Pardalos, Panos M. 1 Phillips, Andrew 1 Pirrung, Michael 1 Ramachandran, Vijaya 1 Rana, Vipul S. 1 Rege, Ashutosh 1 Rolim, José D. P. 1 Rozenberg, Grzegorz 1 Seeman, Nadrian C. 1 Sharir, Micha 1 Sherlekar, Deepak D. 1 Song, Tianqi 1 Song, Xin 1 Tarjan, Robert Endre 1 Tyagi, Akhilesh 1 Wachter, Ralph 1 Wang, Bei 1 Wickham, Gene S. 1 Willard, Dan E. 1 Winfree, Erik 1 Xavier, Patrick 1 Yang, Ming 1 Yoshida, Akimasa 1 Yung, Moti
all top 5

#### Serials

 21 SIAM Journal on Computing 13 Computers & Mathematics with Applications 11 Journal of Computer and System Sciences 10 Algorithmica 5 Journal of the Association for Computing Machinery 5 Theoretical Computer Science 5 Information and Computation 4 Natural Computing 3 Information Processing Letters 3 Journal of Algorithms 2 Kiberneticheskiĭ Sbornik. Novaya Seriya 2 Operations Research Letters 2 Discrete & Computational Geometry 2 Lecture Notes in Computer Science 1 Acta Informatica 1 Discrete Mathematics 1 Journal of Computational Physics 1 Information and Control 1 Information Sciences 1 ACM Transactions on Programming Languages and Systems 1 SIAM Journal on Scientific and Statistical Computing 1 Combinatorica 1 Journal of Complexity 1 New Generation Computing 1 International Journal of Parallel Programming 1 Mathematical and Computer Modelling 1 International Journal of Computational Geometry & Applications 1 Computers and Mathematics with Applications. Part A 1 Parallel Algorithms and Applications 1 The Kluwer International Series in Engineering and Computer Science 1 Combinatorial Optimization 1 Chapman & Hall/CRC Computer and Information Science Series
all top 5

#### Fields

 147 Computer science (68-XX) 22 Numerical analysis (65-XX) 16 Biology and other natural sciences (92-XX) 14 Combinatorics (05-XX) 14 Information and communication theory, circuits (94-XX) 12 Mechanics of particles and systems (70-XX) 9 Systems theory; control (93-XX) 7 Mathematical logic and foundations (03-XX) 7 Operations research, mathematical programming (90-XX) 6 General and overarching topics; collections (00-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Convex and discrete geometry (52-XX) 2 Field theory and polynomials (12-XX) 2 Group theory and generalizations (20-XX) 2 Partial differential equations (35-XX) 2 Quantum theory (81-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Probability theory and stochastic processes (60-XX)

#### Citations contained in zbMATH Open

129 Publications have been cited 792 times in 672 Documents Cited by Year
The complexity of elementary algebra and geometry. Zbl 0634.03031
Ben-Or, Michael; Kozen, Dexter; Reif, John
1986
The complexity of two-player games of incomplete information. Zbl 0551.90100
Reif, John H.
1984
Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem. Zbl 0876.68030
Kao, Ming-Yang; Reif, John H.; Tate, Stephen R.
1996
Depth-first search is inherently sequential. Zbl 0572.68051
Reif, John H.
1985
Logaritmic depth circuits for algebraic functions. Zbl 0611.68014
Reif, John H.
1986
Lower bounds for multiplayer noncooperative games of incomplete information. Zbl 0991.91007
Peterson, G.; Reif, J.; Azhar, S.
2001
Optimal and sublogarithmic time randomized parallel sorting algorithms. Zbl 0679.68091
Rajasekaran, Sanguthevar; Reif, John H.
1989
Compact error-resilient computational DNA tiling assemblies. Zbl 1116.68466
Reif, John H.; Sahu, Sudheer; Yin, Peng
2005
An efficient algorithm for the complex roots problem. Zbl 0888.12005
Neff, C. Andrew; Reif, John H.
1996
On finding approximate optimal paths in weighted regions. Zbl 1103.68144
Sun, Zheng; Reif, John H.
2006
Probabilistic parallel prefix computation. Zbl 0772.94019
Reif, J. H.
1993
A multiprocess network logic with temporal and spatial modalities. Zbl 0565.68031
Reif, John; Sistla, A. P.
1985
The propositional dynamic logic of deterministic, well-structured programs. Zbl 0552.68035
Halpern, Joseph Y.; Reif, John H.
1983
Motion planning in the presence of moving obstacles. Zbl 0812.68115
Reif, John; Sharir, Micha
1994
On threshold circuits and polynomial computation. Zbl 0765.68057
Reif, John H.; Tate, Stephen R.
1992
Local parallel biomolecular computation. Zbl 0946.68048
Reif, John H.
1999
Parallel tree contraction. II: Further applications. Zbl 0737.68066
Miller, Gary L.; Reif, John H.
1991
Minimum s-t cut of a planar undirected network in O(n $$log^ 2($$n)) time. Zbl 0501.68031
Reif, John H.
1983
Complexity of graph self-assembly in accretive systems and self-destructible systems. Zbl 1234.68142
Reif, John H.; Sahu, Sudheer; Yin, Peng
2006
A simple three-dimensional real-time reliable cellular array. Zbl 0646.68072
Gács, Peter; Reif, John
1988
An efficient parallel algorithm for planarity. Zbl 0662.68073
Klein, Philip N.; Reif, John H.
1988
Shortest paths in the plane with polygonal obstacles. Zbl 0814.68129
Storer, James A.; Reif, John H.
1994
Fast and efficient parallel solution of sparse linear systems. Zbl 0790.65018
Pan, Victor; Reif, John
1993
Fast and efficient parallel solution of dense linear systems. Zbl 0684.65024
Pan, V.; Reif, J.
1989
DNA-based cryptography. Zbl 1200.94045
Gehani, Ashish; LaBean, Thomas; Reif, John
2004
A topological approach to dynamic graph connectivity. Zbl 0653.68063
Reif, John H.
1987
Symmetric complementation. Zbl 0632.68062
Reif, John H.
1984
The tile complexity of linear assemblies. Zbl 1248.68195
Chandran, Harish; Gopalkrishnan, Nikhil; Reif, John
2009
DNA-based cryptography. Zbl 0970.68055
Gehani, Ashish; LaBean, Thomas H.; Reif, John H.
1999
Parallel biomolecular computation: Models and simulations. Zbl 0953.68056
Reif, J. H.
1999
Kinodynamic motion planning. Zbl 0799.68181
Donald, Bruce; Xavier, Patrick; Canny, John; Reif, John
1993
Fast and efficient solution of path algebra problems. Zbl 0682.68055
Pan, Victor; Reif, John
1989
Activatable tiles: Compact, robust programmable assembly and other applications. Zbl 1137.68398
Majumder, Urmi; LaBean, Thomas H.; Reif, John H.
2008
A self-assembly model of time-dependent glue strength. Zbl 1234.68157
Sahu, Sudheer; Yin, Peng; Reif, John H.
2006
Movement planning in the presence of flows. Zbl 1064.68087
Reif, John H.; Sun, Zheng
2004
Experimental construction of very large scale DNA databases with associative search capability. Zbl 1065.68556
Reif, John H.; LaBean, Thomas H.; Pirrung, Michael; Rana, Vipul S.; Guo, Bo; Kingsford, Carl; Wickham, Gene S.
2002
Social potential fields: A distributed behavioral control for autonomous robots. Zbl 0855.70019
Reif, John H.; Wang, Hongyan
1995
Computability and complexity of ray tracing. Zbl 0807.68096
Reif, J. H.; Tygar, J. D.; Yoshida, A.
1994
Optimal parallel randomized algorithms for three-dimensional convex hulls and related problems. Zbl 0761.68100
Reif, John H.; Sen, Sandeep
1992
Optimal randomized parallel algorithms for computational geometry. Zbl 0764.68177
Reif, John H.; Sen, Sandeep
1992
An exact algorithm for kinodynamic planning in the plane. Zbl 0764.68190
Canny, John; Rege, Ashutosh; Reif, John
1991
Optimal size integer division circuits. Zbl 0711.68064
Reif, John H.; Tate, Stephen R.
1990
On synchronous parallel computations with independent probabilistic choice. Zbl 0558.68038
Reif, John H.
1984
Localized hybridization circuits. Zbl 1347.68131
Chandran, Harish; Gopalkrishnan, Nikhil; Phillips, Andrew; Reif, John
2011
Decision algorithms for multiplayer noncooperative games of incomplete information. Zbl 1011.91026
Peterson, G.; Reif, J.; Azhar, S.
2002
Experimental progress in computation by self-assembly of DNA tilings. Zbl 0961.68526
LaBean, Thomas H.; Winfree, Erik; Reif, John H.
1999
Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem. Zbl 0801.68039
Kao, Ming-Yang; Reif, John H.; Tate, Stephen R.
1993
Expected parallel time and sequential space complexity of graph and digraph problems. Zbl 0749.68059
Reif, John; Spirakis, Paul
1992
Fast and efficient linear programming and linear least-squares computations. Zbl 0625.90053
Pan, V.; Reif, J.
1986
Real-time synchronization of interprocess communications. Zbl 0536.68021
Reif, John H.; Spirakis, Paul G.
1984
Complexity of graph self-assembly in accretive systems and self-destructible systems. Zbl 1237.68103
Reif, John H.; Sahu, Sudheer; Yin, Peng
2011
Capabilities and limits of compact error resilience methods for algorithmic self-assembly in two and three dimensions. Zbl 1132.68407
Sahu, Sudheer; Reif, John H.
2008
BUSHWHACK: An approximation algorithm for minimal paths through pseudo-Euclidean spaces. Zbl 1077.68917
Sun, Zheng; Reif, John
2001
The complexity of the two-dimensional curvature-constrained shortest-path problem. Zbl 0966.70005
Reif, John; Wang, Hongyan
1998
Efficient approximate solution of sparse linear systems. Zbl 0934.65033
Reif, J. H.
1998
On dynamic algorithms for algebraic problems. Zbl 0866.68040
Reif, John H.; Tate, Stephen R.
1997
Planarity testing in parallel. Zbl 0938.68948
Ramachandran, Vijaya; Reif, John
1994
The parallel computation of minimum cost paths in graphs by stream contraction. Zbl 0748.68025
Pan, V.; Reif, J.
1991
Optimal kinodynamic motion planning for 2D reconfiguration of self-reconfigurable robots. Zbl 1344.70016
Reif, John; Slee, Sam
2008
Formula dissection: A parallel algorithm for constraint satisfaction. Zbl 1149.68415
Reif, John H.; Kasif, Simon; Sherlekar, Deepak
2008
Computation of equilibria in noncooperative games. Zbl 1121.91006
Azhar, S.; McLennan, A.; Reif, J. H.
2005
Molecular assembly and computation: From theory to experimental demonstrations. Zbl 1056.68544
Reif, John H.
2002
Optimal encoding of non-stationary sources. Zbl 1031.68534
Reif, John H.; Storer, James A.
2001
An efficient approximation algorithm for weighted region shortest path problem. Zbl 0989.65067
Reif, John; Sun, Zheng
2000
Nonuniform discretization for kinodynamic motion planning and its applications. Zbl 0959.68139
Reif, John H.; Wang, Hongyan
2000
A randomized parallel algorithm for planar graph isomorphism. Zbl 0936.68123
Gazit, Hillel; Reif, John H.
1998
Randomized algorithms for binary search and load balancing on fixed connection networks with geometric applications. Zbl 0938.68879
Reif, John H.; Sen, Sandeep
1994
The complexity of $$n$$-body simulation. Zbl 1422.68139
Reif, John H.; Tate, Stephen R.
1993
The power of combining the techniques of algebraic and numerical computing: Improved approximate multipoint polynomial evaluation and improved multipole algorithms. Zbl 0977.68881
Pan, V. Y.; Reif, J. H.; Tate, S. R.
1992
The light bulb problem. (Extended abstract). Zbl 0746.68073
Paturi, Ramamohan; Rajasekaran, Sanguthevar; Reif, John
1989
Parallel time O(log n) acceptance of deterministic CFLs on an exclusive- write P-RAM. Zbl 0652.68066
Klein, Philip N.; Reif, John H.
1988
Extension of the parallel nested dissection algorithm to path algebra problems. Zbl 0623.68040
Pan, Victor; Reif, John
1986
On the power of probabilistic choice in synchronous parallel computations. Zbl 0485.68042
Reif, John H.
1982
Tile complexity of approximate squares. Zbl 1262.68185
Chandran, Harish; Gopalkrishnan, Nikhil; Reif, John
2013
Tile complexity of linear assemblies. Zbl 1253.68133
Chandran, Harish; Gopalkrishnan, Nikhil; Reif, John
2012
Design of a biomolecular device that executes process algebra. Zbl 1273.68129
Majumder, Urmi; Reif, John H.
2009
Design and simulation of self-repairing DNA lattices. Zbl 1132.68403
Majumder, Urmi; Sahu, Sudheer; LaBean, Thomas H.; Reif, John H.
2008
Efficient parallel factorization and solution of structured and unstructured linear systems. Zbl 1079.65143
Reif, John H.
2005
The emerging discipline of biomolecular computation in the US. Zbl 1024.68034
Reif, John H.
2002
Computationally inspired biotechnologies: Improved DNA synthesis and associative search using error-correcting codes and vector-quantization. Zbl 0984.68669
Reif, John H.; LaBean, Thomas H.
2001
Error-resilient optimal data compression. Zbl 0885.68084
Storer, James A.; Reif, John H.
1997
An efficient output-sensitive hidden-surface removal algorithm for polyhedral terrains. Zbl 0817.68084
Reif, J. H.; Sen, S.
1995
Approximate kinodynamic planning using $$L_ 2$$-norm dynamic bounds. Zbl 0805.68139
Reif, J. H.; Tate, S. R.
1994
Parallel algorithm derivation and program transformation. Zbl 0810.68061
Paige, Robert (ed.); Reif, John (ed.); Wachter, Ralph (ed.)
1993
Continuous alternation: the complexity of pursuit in continuous domains. Zbl 0798.90146
Reif, John H.; Tate, Stephen R.
1993
Nested annealing: A provable improvement to simulated annealing. Zbl 0764.90089
Rajasekaran, Sanguthevar; Reif, John H.
1992
Randomization in parallel algorithms and its impact on computational geometry. Zbl 0704.68050
Reif, J. H.; Sen, S.
1989
3-dimensional shortest paths in the presence of polyhedral obstacles. Zbl 0652.68044
Reif, John H.; Storer, James A.
1988
Efficient parallel pseudorandom number generation. Zbl 0644.94019
Reif, J. H.; Tygar, J. D.
1988
The complexity of reachability in distributed communicating processes. Zbl 0637.68032
Reif, John H.; Smolka, Scott A.
1988
Efficient symbolic analysis of programs. Zbl 0603.68012
Reif, John H.; Lewis, Harry R.
1986
Efficient parallel pseudo-random number generation. Zbl 0593.68032
Reif, J. H.; Tygar, J. D.
1986
Unbounded speed variability in distributed communications systems. Zbl 0552.68025
Reif, John H.; Spirakis, Paul G.
1985
Symbolic program analysis in almost-linear time. Zbl 0481.68025
Reif, John H.; Tarjan, Robert E.
1982
Numerical solution of the Fokker-Planck equation via Chebyschev polynomial approximations with reference to first passage time probability density functions. Zbl 0348.65101
Reif, John; Barakat, Richard
1977
Isothermal reactivating whiplash PCR for locally programmable molecular computation. Zbl 1205.68155
Reif, John H.; Majumder, Urmi
2010
Autonomous programmable DNA nanorobotic devices using DNAzymes. Zbl 1178.68325
Reif, John H.; Sahu, Sudheer
2009
A framework for modeling DNA based molecular systems. Zbl 1132.68780
Sahu, Sudheer; Wang, Bei; Reif, John H.
2008
On frictional mechanical systems and their computational power. Zbl 1030.68088
Reif, John H.; Sun, Zheng
2003
The design of autonomous DNA nanomechanical devices: Walking and rolling DNA. Zbl 1026.68558
Reif, John H.
2003
Tile complexity of approximate squares. Zbl 1262.68185
Chandran, Harish; Gopalkrishnan, Nikhil; Reif, John
2013
Tile complexity of linear assemblies. Zbl 1253.68133
Chandran, Harish; Gopalkrishnan, Nikhil; Reif, John
2012
Localized hybridization circuits. Zbl 1347.68131
Chandran, Harish; Gopalkrishnan, Nikhil; Phillips, Andrew; Reif, John
2011
Complexity of graph self-assembly in accretive systems and self-destructible systems. Zbl 1237.68103
Reif, John H.; Sahu, Sudheer; Yin, Peng
2011
Isothermal reactivating whiplash PCR for locally programmable molecular computation. Zbl 1205.68155
Reif, John H.; Majumder, Urmi
2010
The tile complexity of linear assemblies. Zbl 1248.68195
Chandran, Harish; Gopalkrishnan, Nikhil; Reif, John
2009
Design of a biomolecular device that executes process algebra. Zbl 1273.68129
Majumder, Urmi; Reif, John H.
2009
Autonomous programmable DNA nanorobotic devices using DNAzymes. Zbl 1178.68325
Reif, John H.; Sahu, Sudheer
2009
Activatable tiles: Compact, robust programmable assembly and other applications. Zbl 1137.68398
Majumder, Urmi; LaBean, Thomas H.; Reif, John H.
2008
Capabilities and limits of compact error resilience methods for algorithmic self-assembly in two and three dimensions. Zbl 1132.68407
Sahu, Sudheer; Reif, John H.
2008
Optimal kinodynamic motion planning for 2D reconfiguration of self-reconfigurable robots. Zbl 1344.70016
Reif, John; Slee, Sam
2008
Formula dissection: A parallel algorithm for constraint satisfaction. Zbl 1149.68415
Reif, John H.; Kasif, Simon; Sherlekar, Deepak
2008
Design and simulation of self-repairing DNA lattices. Zbl 1132.68403
Majumder, Urmi; Sahu, Sudheer; LaBean, Thomas H.; Reif, John H.
2008
A framework for modeling DNA based molecular systems. Zbl 1132.68780
Sahu, Sudheer; Wang, Bei; Reif, John H.
2008
On finding approximate optimal paths in weighted regions. Zbl 1103.68144
Sun, Zheng; Reif, John H.
2006
Complexity of graph self-assembly in accretive systems and self-destructible systems. Zbl 1234.68142
Reif, John H.; Sahu, Sudheer; Yin, Peng
2006
A self-assembly model of time-dependent glue strength. Zbl 1234.68157
Sahu, Sudheer; Yin, Peng; Reif, John H.
2006
Compact error-resilient computational DNA tiling assemblies. Zbl 1116.68466
Reif, John H.; Sahu, Sudheer; Yin, Peng
2005
Computation of equilibria in noncooperative games. Zbl 1121.91006
Azhar, S.; McLennan, A.; Reif, J. H.
2005
Efficient parallel factorization and solution of structured and unstructured linear systems. Zbl 1079.65143
Reif, John H.
2005
DNA-based cryptography. Zbl 1200.94045
Gehani, Ashish; LaBean, Thomas; Reif, John
2004
Movement planning in the presence of flows. Zbl 1064.68087
Reif, John H.; Sun, Zheng
2004
On frictional mechanical systems and their computational power. Zbl 1030.68088
Reif, John H.; Sun, Zheng
2003
The design of autonomous DNA nanomechanical devices: Walking and rolling DNA. Zbl 1026.68558
Reif, John H.
2003
Experimental construction of very large scale DNA databases with associative search capability. Zbl 1065.68556
Reif, John H.; LaBean, Thomas H.; Pirrung, Michael; Rana, Vipul S.; Guo, Bo; Kingsford, Carl; Wickham, Gene S.
2002
Decision algorithms for multiplayer noncooperative games of incomplete information. Zbl 1011.91026
Peterson, G.; Reif, J.; Azhar, S.
2002
Molecular assembly and computation: From theory to experimental demonstrations. Zbl 1056.68544
Reif, John H.
2002
The emerging discipline of biomolecular computation in the US. Zbl 1024.68034
Reif, John H.
2002
Lower bounds for multiplayer noncooperative games of incomplete information. Zbl 0991.91007
Peterson, G.; Reif, J.; Azhar, S.
2001
BUSHWHACK: An approximation algorithm for minimal paths through pseudo-Euclidean spaces. Zbl 1077.68917
Sun, Zheng; Reif, John
2001
Optimal encoding of non-stationary sources. Zbl 1031.68534
Reif, John H.; Storer, James A.
2001
Computationally inspired biotechnologies: Improved DNA synthesis and associative search using error-correcting codes and vector-quantization. Zbl 0984.68669
Reif, John H.; LaBean, Thomas H.
2001
Challenges and applications for self-assembled DNA nanostructures. Zbl 0986.68033
Reif, John H.; LaBean, Thomas H.; Seeman, Nadrian C.
2001
Efficient parallel computation of the characteristic polynomial of a sparse, separable matrix. Zbl 0986.65043
Reif, J. H.
2001
An efficient approximation algorithm for weighted region shortest path problem. Zbl 0989.65067
Reif, John; Sun, Zheng
2000
Nonuniform discretization for kinodynamic motion planning and its applications. Zbl 0959.68139
Reif, John H.; Wang, Hongyan
2000
Parallel computational geometry: An approach using randomization. Zbl 0970.65022
Reif, John H.; Sen, Sandeep
2000
Local parallel biomolecular computation. Zbl 0946.68048
Reif, John H.
1999
DNA-based cryptography. Zbl 0970.68055
Gehani, Ashish; LaBean, Thomas H.; Reif, John H.
1999
Parallel biomolecular computation: Models and simulations. Zbl 0953.68056
Reif, J. H.
1999
Experimental progress in computation by self-assembly of DNA tilings. Zbl 0961.68526
LaBean, Thomas H.; Winfree, Erik; Reif, John H.
1999
Approximate complex polynomial evaluation in near constant work per point. Zbl 0971.68201
Reif, John H.
1999
Approximate complex polynomial evaluation in near constant work per point. Zbl 1015.65008
Reif, John H.
1999
The complexity of the two-dimensional curvature-constrained shortest-path problem. Zbl 0966.70005
Reif, John; Wang, Hongyan
1998
Efficient approximate solution of sparse linear systems. Zbl 0934.65033
Reif, J. H.
1998
A randomized parallel algorithm for planar graph isomorphism. Zbl 0936.68123
Gazit, Hillel; Reif, John H.
1998
On dynamic algorithms for algebraic problems. Zbl 0866.68040
Reif, John H.; Tate, Stephen R.
1997
Error-resilient optimal data compression. Zbl 0885.68084
Storer, James A.; Reif, John H.
1997
Efficient parallel algorithms for computing all pair shortest paths in directed graphs. Zbl 0869.68053
Han, Yijie; Pan, V. Y.; Reif, J. H.
1997
Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem. Zbl 0876.68030
Kao, Ming-Yang; Reif, John H.; Tate, Stephen R.
1996
An efficient algorithm for the complex roots problem. Zbl 0888.12005
Neff, C. Andrew; Reif, John H.
1996
Social potential fields: A distributed behavioral control for autonomous robots. Zbl 0855.70019
Reif, John H.; Wang, Hongyan
1995
An efficient output-sensitive hidden-surface removal algorithm for polyhedral terrains. Zbl 0817.68084
Reif, J. H.; Sen, S.
1995
Work efficient parallel solution of Toeplitz systems and polynomial GCD. Zbl 0948.65500
Reif, John H.
1995
The light bulb problem. Zbl 0939.68765
Paturi, Ramamohan; Rajasekaran, Sanguthevar; Reif, John
1995
Motion planning in the presence of moving obstacles. Zbl 0812.68115
Reif, John; Sharir, Micha
1994
Shortest paths in the plane with polygonal obstacles. Zbl 0814.68129
Storer, James A.; Reif, John H.
1994
Computability and complexity of ray tracing. Zbl 0807.68096
Reif, J. H.; Tygar, J. D.; Yoshida, A.
1994
Planarity testing in parallel. Zbl 0938.68948
Ramachandran, Vijaya; Reif, John
1994
Randomized algorithms for binary search and load balancing on fixed connection networks with geometric applications. Zbl 0938.68879
Reif, John H.; Sen, Sandeep
1994
Approximate kinodynamic planning using $$L_ 2$$-norm dynamic bounds. Zbl 0805.68139
Reif, J. H.; Tate, S. R.
1994
A single-exponential upper bound for finding shortest paths in three dimensions. Zbl 0814.68079
Reif, John H.; Storer, James A.
1994
Directed $$s$$-$$t$$ numberings, rubber bands, and testing digraph $$k$$-vertex connecitivity. Zbl 0810.05048
Cheriyan, Joseph; Reif, John H.
1994
Erratum: Optimal parallel randomized algorithms for three-dimensional convex hulls and related problems. Zbl 0791.68164
Reif, John H.; Sen, Sandeep
1994
Probabilistic parallel prefix computation. Zbl 0772.94019
Reif, J. H.
1993
Fast and efficient parallel solution of sparse linear systems. Zbl 0790.65018
Pan, Victor; Reif, John
1993
Kinodynamic motion planning. Zbl 0799.68181
Donald, Bruce; Xavier, Patrick; Canny, John; Reif, John
1993
Searching in an unknown environment: An optimal randomized algorithm for the cow-path problem. Zbl 0801.68039
Kao, Ming-Yang; Reif, John H.; Tate, Stephen R.
1993
The complexity of $$n$$-body simulation. Zbl 1422.68139
Reif, John H.; Tate, Stephen R.
1993
Parallel algorithm derivation and program transformation. Zbl 0810.68061
Paige, Robert (ed.); Reif, John (ed.); Wachter, Ralph (ed.)
1993
Continuous alternation: the complexity of pursuit in continuous domains. Zbl 0798.90146
Reif, John H.; Tate, Stephen R.
1993
Efficient VLSI fault simulation. Zbl 0760.94020
Reif, John H.
1993
On threshold circuits and polynomial computation. Zbl 0765.68057
Reif, John H.; Tate, Stephen R.
1992
Optimal parallel randomized algorithms for three-dimensional convex hulls and related problems. Zbl 0761.68100
Reif, John H.; Sen, Sandeep
1992
Optimal randomized parallel algorithms for computational geometry. Zbl 0764.68177
Reif, John H.; Sen, Sandeep
1992
Expected parallel time and sequential space complexity of graph and digraph problems. Zbl 0749.68059
Reif, John; Spirakis, Paul
1992
The power of combining the techniques of algebraic and numerical computing: Improved approximate multipoint polynomial evaluation and improved multipole algorithms. Zbl 0977.68881
Pan, V. Y.; Reif, J. H.; Tate, S. R.
1992
Nested annealing: A provable improvement to simulated annealing. Zbl 0764.90089
Rajasekaran, Sanguthevar; Reif, John H.
1992
Compact multigrid. Zbl 0746.65088
Pan, Victor; Reif, John
1992
Parallel tree contraction. II: Further applications. Zbl 0737.68066
Miller, Gary L.; Reif, John H.
1991
An exact algorithm for kinodynamic planning in the plane. Zbl 0764.68190
Canny, John; Rege, Ashutosh; Reif, John
1991
The parallel computation of minimum cost paths in graphs by stream contraction. Zbl 0748.68025
Pan, V.; Reif, J.
1991
Optimal size integer division circuits. Zbl 0711.68064
Reif, John H.; Tate, Stephen R.
1990
Efficient parallel algorithms for optical computing with the DFT primitive. Zbl 0733.68046
Reif, John; Tyagi, Akhilesh
1990
Data flow analysis of distributed communicating processes. Zbl 0714.68003
Reif, John H.; Smolka, Scott A.
1990
The bit-complexity of discrete solutions of partial differential equations: Compact multigrid. Zbl 0711.65100
Pan, V.; Reif, J.
1990
On the bit-complexity of discrete solutions of PDE’s: Compact multigrid. Zbl 0764.65075
Pan, Victor; Reif, John
1990
Optimal and sublogarithmic time randomized parallel sorting algorithms. Zbl 0679.68091
Rajasekaran, Sanguthevar; Reif, John H.
1989
Fast and efficient parallel solution of dense linear systems. Zbl 0684.65024
Pan, V.; Reif, J.
1989
Fast and efficient solution of path algebra problems. Zbl 0682.68055
Pan, Victor; Reif, John
1989
The light bulb problem. (Extended abstract). Zbl 0746.68073
Paturi, Ramamohan; Rajasekaran, Sanguthevar; Reif, John
1989
Randomization in parallel algorithms and its impact on computational geometry. Zbl 0704.68050
Reif, J. H.; Sen, S.
1989
Parallel processing can be harmful: The unusual behavior of interpolation search. Zbl 0684.68067
Willard, Dan E.; Reif, John H.
1989
A simple three-dimensional real-time reliable cellular array. Zbl 0646.68072
Gács, Peter; Reif, John
1988
An efficient parallel algorithm for planarity. Zbl 0662.68073
Klein, Philip N.; Reif, John H.
1988
Parallel time O(log n) acceptance of deterministic CFLs on an exclusive- write P-RAM. Zbl 0652.68066
Klein, Philip N.; Reif, John H.
1988
3-dimensional shortest paths in the presence of polyhedral obstacles. Zbl 0652.68044
Reif, John H.; Storer, James A.
1988
Efficient parallel pseudorandom number generation. Zbl 0644.94019
Reif, J. H.; Tygar, J. D.
1988
The complexity of reachability in distributed communicating processes. Zbl 0637.68032
Reif, John H.; Smolka, Scott A.
1988
A topological approach to dynamic graph connectivity. Zbl 0653.68063
Reif, John H.
1987
...and 29 more Documents
all top 5

#### Cited by 1,159 Authors

 43 Reif, John H. 21 Pan, Victor Yakovlevich 10 Summers, Scott M. 9 Patitz, Matthew J. 7 Chatterjee, Krishnendu 7 Hagerup, Torben 7 Maheshwari, Anil 7 Rajasekaran, Sanguthevar 7 Roy, Marie-Françoise 7 Schweller, Robert T. 6 Allender, Eric W. 6 Sen, Sandeep 5 Berwanger, Dietmar 5 Czyzowicz, Jurek 5 Demaine, Erik D. 5 Doty, David 5 Kao, Ming-Yang 5 Kranakis, Evangelos Konstantinou 5 López-Ortiz, Alejandro 5 Nikolopoulos, Stavros D. 5 Ramachandran, Vijaya 5 Rojas, J. Maurice 5 Sahu, Sudheer 5 Spirakis, Paul G. 4 Angelopoulos, Spyros 4 Azhar, Syarifuddin 4 Baier, Christel 4 Brun, Yuriy 4 Chazelle, Bernard 4 Chen, Ho-Lin 4 Fekete, Sándor P. 4 Grigor’ev, Dmitriĭ Yur’evich 4 Köbler, Johannes 4 Mahajan, Meena 4 Vorob’ëv, Nikolaĭ N. jun. 4 Winslow, Andrew 3 Ahmed, Mustaq 3 Batra, Prashant 3 Bertoni, Alberto 3 Beyersdorff, Olaf 3 Bini, Dario Andrea 3 Cheung, Yam Ki 3 Chiu, Man-Kwun 3 Condon, Anne E. 3 Daescu, Ovidiu 3 Damaschke, Peter 3 Datta, Samir 3 Doyen, Laurent 3 Dürr, Christoph 3 Egecioglu, Omer 3 Fujiwara, Akihiro 3 Gallopoulos, Efstratios 3 Georgiou, Konstantinos 3 Goldwurm, Massimiliano 3 Halpern, Joseph Yehuda 3 Heintz, Joos 3 Keenan, Alexandra 3 Klein, Joachim 3 Klüppelholz, Sascha 3 Kramosil, Ivan 3 Kurucz, Agi 3 Kutyłowski, Mirosław 3 Lai, Xuejia 3 Litow, Bruce E. 3 Lubiw, Anna 3 Meyer auf der Heide, Friedhelm 3 Naor, Joseph Seffi 3 Perrucci, Daniel 3 Phillips, Andrew 3 Roy, Sasanka 3 Sack, Jörg-Rüdiger 3 Scheffer, Christian 3 Schuierer, Sven 3 Sharir, Micha 3 Thachuk, Chris 3 Van den Bussche, Jan 3 Vigneron, Antoine 3 Virtema, Jonni 3 Vitter, Jeffrey Scott 3 Winfree, Erik 3 Yakaryılmaz, Abuzer 3 Yin, Peng 3 Zhong, Xingsi 2 Aleksandrov, Lyudmil G. 2 Angelov, Stanislav 2 Antoniadis, Antonios Foivos 2 Arnon, Dennis S. 2 Arsénio, Diogo 2 Arvind, Vikraman 2 Atallah, Mikhail J. 2 Banyassady, Bahareh 2 Barcelo, Neal 2 Baryshnikov, Yuliy M. 2 Baswana, Surender 2 Becker, Bernd 2 Bezáková, Ivona 2 Blinkhorn, Joshua 2 Bose, Prosenjit K. 2 Brijder, Robert 2 Brim, Luboš ...and 1,059 more Authors
all top 5

#### Cited in 134 Serials

 98 Theoretical Computer Science 39 Journal of Computer and System Sciences 38 Algorithmica 38 Information and Computation 33 Information Processing Letters 26 Natural Computing 19 Journal of Symbolic Computation 17 Computers & Mathematics with Applications 16 Computational Geometry 15 Journal of Complexity 12 Discrete Applied Mathematics 11 International Journal of Computational Geometry & Applications 9 Acta Informatica 9 Artificial Intelligence 8 Information Sciences 7 Theory of Computing Systems 6 Applied Mathematics and Computation 6 Discrete & Computational Geometry 6 International Journal of Foundations of Computer Science 5 BIT 5 SIAM Journal on Computing 5 Annals of Pure and Applied Logic 4 Journal of Soviet Mathematics 4 Mathematical and Computer Modelling 4 European Journal of Operational Research 4 International Journal of Computer Mathematics 3 Journal of Computational and Applied Mathematics 3 The Journal of Symbolic Logic 3 Mathematics and Computers in Simulation 3 Synthese 3 Operations Research Letters 3 International Journal of Parallel Programming 3 Journal of Automated Reasoning 3 Linear Algebra and its Applications 3 Distributed Computing 3 Mathematical Programming. Series A. Series B 3 Computational Complexity 3 Journal of Combinatorial Optimization 3 Chaos 3 Logical Methods in Computer Science 3 Discrete Mathematics, Algorithms and Applications 2 Discrete Mathematics 2 Journal of Statistical Physics 2 Mathematics of Computation 2 Automatica 2 Computing 2 Journal of Optimization Theory and Applications 2 Mathematical Systems Theory 2 Combinatorica 2 Journal of Intelligent & Robotic Systems 2 Discrete Event Dynamic Systems 2 Computers and Mathematics with Applications. Part A 2 RAIRO. Informatique Théorique et Applications 2 Journal of Applied Non-Classical Logics 2 Journal of Mathematical Sciences (New York) 2 Annals of Mathematics and Artificial Intelligence 2 Parallel Algorithms and Applications 2 Journal of Scheduling 2 Journal of Discrete Algorithms 2 Algorithms 1 International Journal of Control 1 International Journal of General Systems 1 Journal of the Franklin Institute 1 Mathematical Biosciences 1 Problems of Information Transmission 1 Bulletin de la Société Mathématique de France 1 Calcolo 1 Geometriae Dedicata 1 Journal of Economic Theory 1 Journal of Pure and Applied Algebra 1 Kybernetika 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 Semigroup Forum 1 Studia Logica 1 Systems & Control Letters 1 Science of Computer Programming 1 Computer Aided Geometric Design 1 Physica D 1 Journal of Computer Science and Technology 1 New Generation Computing 1 Computers & Operations Research 1 SIAM Journal on Discrete Mathematics 1 Journal of Cryptology 1 Journal of Scientific Computing 1 Journal of Parallel and Distributed Computing 1 Neural Networks 1 Annals of Operations Research 1 Random Structures & Algorithms 1 Neural Computation 1 The Annals of Applied Probability 1 International Journal of Algebra and Computation 1 Journal of Global Optimization 1 The Journal of Supercomputing 1 Automation and Remote Control 1 Archive for Mathematical Logic 1 Chinese Science Bulletin 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Mathematical Imaging and Vision 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering ...and 34 more Serials
all top 5

#### Cited in 42 Fields

 538 Computer science (68-XX) 78 Mathematical logic and foundations (03-XX) 70 Combinatorics (05-XX) 67 Numerical analysis (65-XX) 59 Operations research, mathematical programming (90-XX) 39 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 34 Information and communication theory, circuits (94-XX) 29 Biology and other natural sciences (92-XX) 26 Systems theory; control (93-XX) 24 Field theory and polynomials (12-XX) 17 Algebraic geometry (14-XX) 12 Convex and discrete geometry (52-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Real functions (26-XX) 8 Dynamical systems and ergodic theory (37-XX) 7 Number theory (11-XX) 7 Functions of a complex variable (30-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 6 Mechanics of particles and systems (70-XX) 5 Group theory and generalizations (20-XX) 5 Probability theory and stochastic processes (60-XX) 5 Quantum theory (81-XX) 4 Approximations and expansions (41-XX) 4 Operator theory (47-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Ordinary differential equations (34-XX) 3 Partial differential equations (35-XX) 3 Statistics (62-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 History and biography (01-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Measure and integration (28-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Geometry (51-XX) 2 Differential geometry (53-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Sequences, series, summability (40-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Relativity and gravitational theory (83-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.