Scientific Publications
Journal Article (37)
1.
Journal Article
59 (3), pp. 123 - 127 (1996)
Matching nuts and bolts faster. Information Processing Letters 2.
Journal Article
3 (4), pp. 425 - 439 (1996)
Coloring 2-colorable Hypergraphs with a Sublinear Number of Colors. Nordic Journal of Computing 3.
Journal Article
16, pp. 543 - 547 (1996)
A Method for Obtaining Randomized Algorithms with Small Tail Probabilities. Algorithmica 4.
Journal Article
9 (2), pp. 317 - 338 (1996)
Realizing degree sequences in parallel. SIAM Journal of Discrete Mathematics 5.
Journal Article
16 (2), pp. 155 - 176 (1996)
Accounting for boundary effects in nearest neighbor searching. Discrete & Computational Geometry 6.
Journal Article
6 (6), pp. 835 - 849 (1996)
Adding Metatheoretic facilities to First-order Theories. Journal of Logic and Computation 7.
Journal Article
16 (1/2), pp. 147 - 180 (1996)
A Calculus for and Termination of Rippling. Journal of Automated Reasoning 8.
Journal Article
6 (1), pp. 35 - 44 (1996)
Optimal Parallel Construction of Minimal Suffix and Factor Automata. Parallel Processing Letters 9.
Journal Article
3 (4), pp. 337 - 351 (1996)
The Randomized Complexity of Maintaining the Minimum. Nordic Journal of Computing 10.
Journal Article
126 (-), pp. 161 - 168 (1996)
Sensitive functions and approximate problems. Information and Computation 11.
Journal Article
6 (2), pp. 223 - 230 (1996)
On the Parallel Complexity of Acyclic Logic Programs. Parallel Processing Letters 12.
Journal Article
25 (6), pp. 1144 - 1170 (1996)
An o(n³)-Time Maximum-Flow Algorithm. SIAM Journal on Computing 13.
Journal Article
15 (6), pp. 521 - 549 (1996)
Algorithms for Dense Graphs and Networks on the Random Access Computer. Algorithmica 14.
Journal Article
84 (5/6), pp. 1363 - 1371 (1996)
Exact Ground States of Two-Dimensional +-J Ising Spin Glasses. Journal of Statistical Physics 15.
Journal Article
6 (5), pp. 315 - 327 (1996)
Queries on Voronoi Diagrams of Moving Points. Computational Geometry: Theory and Applications 16.
Journal Article
17 (3), pp. 259 - 289 (1996)
On Computing Logic Programs. Journal of Automated Reasoning 17.
Journal Article
12 (4), pp. 527 - 544 (1996)
An Improved Upper Complexity Bound for the Topology Computation of a Real Algebraic Plane Curve. Journal of Complexity 18.
Journal Article
7 (2), pp. 137 - 149 (1996)
A simple balanced search tree with $O(1)$ worst-case update time. International Journal of Foundations of Computer Science 19.
Journal Article
7 (2), pp. 137 - 149 (1996)
A Simple Balanced Search Tree with 0(1) Worst-case Update Time. International Journal of Foundations of Computer Science 20.
Journal Article
25 (2), pp. 235 - 251 (1996)
Approximate max-flow min-(multi)cut theorems and their applications. SIAM Journal on Computing