Journal Article (3189)
3001.
Journal Article
24 (1-2), pp. 125 - 155 (1995)
Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundamenta Informaticae 3002.
Journal Article
24 (2), pp. 203 - 226 (1995)
A Randomized Maximum-Flow Algorithm. SIAM Journal on Computing 3003.
Journal Article
24 (1), pp. 30 - 45 (1995)
Tighter Lower Bounds on the Exact Complexity of String Matching. SIAM Journal on Computing 3004.
Journal Article
19 (3), pp. 474 - 503 (1995)
Static and Dynamic Algorithms for k-point Clustering Problems. Journal of Algorithms 3005.
Journal Article
80 (1-2), pp. 487 - 496 (1995)
Exact Ground States of Ising Spin Glasses: New Experimental Results With a Branch and Cut Algorithm. Journal of Statistical Physics 3006.
Journal Article
14 (2), pp. 154 - 168 (1995)
Lower Bounds for Set Intersection Queries. Algorithmica 3007.
Journal Article
148 (1), pp. 133 - 140 (1995)
The Fourth Moment in Luby's Distribution. Theoretical computer science 3008.
Journal Article
116 (2), pp. 155 - 161 (1995)
A Communication-randomness Tradeoff for Two-processor Systems. Information and Computation 3009.
Journal Article
70 (1), pp. 17 - 25 (1995)
A Polyhedron with all s-t Cuts as Vertices, and Adjacency of Cuts. Mathematical Programming / A 3010.
Journal Article
2 (1), pp. 3 - 27 (1995)
Simple Randomized Algorithms for Closest Pair Problems. Nordic Journal of Computing 3011.
Journal Article
27 (7), pp. 559 - 566 (1995)
A Platform for Visualizing Curves and Surfaces. Computer Aided Design 3012.
Journal Article
19 (2), pp. 282 - 317 (1995)
Further Results on Generalized Intersection Searching Problems: Counting, Reporting, and Dynamization. Journal of Algorithms 3013.
Journal Article
119 (1), pp. 124 - 128 (1995)
A Lower Bound for the Emulation of PRAM Memories on Processor Networks. Information and Computation 3014.
Journal Article
18 (3), pp. 629 - 649 (1995)
Fast Deterministic Processor Allocation. Journal of Algorithms 3015.
Journal Article
56 (1), pp. 59 - 64 (1995)
The Parallel Complexity of Integer Prefix Summation. Information Processing Letters 3016.
Journal Article
5 (2), pp. 139 - 148 (1995)
Fast Parallel Permutation Algorithms. Parallel Processing Letters 3017.
Journal Article
24 (6), pp. 1332 - 1358 (1995)
Computing Minimal Spanning Subgraphs in Linear Time. SIAM Journal on Computing 3018.
Journal Article
24 (3), pp. 219 - 245 (1995)
Analysis of Residuating Logic Programs. Journal of Logic Programming 3019.
Journal Article
13 (2), pp. 155 - 186 (1995)
Compile-Time Analysis of Nonlinear Constraints in CLP(R). New Generation Computing 3020.
Journal Article
24 (2), pp. 247 - 265 (1995)
Algorithms for Enumerating all Spanning Trees of Undirected and Weighted Graphs. SIAM Journal on Computing