|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
14 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Simple Randomized Sieve Algorithm for the Closest-Pair Problem |
Khuller, S. |
1995 |
118 | 1 |
p. 34-37 4 p. |
article |
|
| 2 | Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement |
Cristian, F. |
1995 |
118 | 1 |
p. 158-179 22 p. |
article |
|
| 3 | Decidability of Regularity and Related Properties of Ground Normal Form Languages |
Kucherov, G. |
1995 |
118 | 1 |
p. 91-100 10 p. |
article |
|
| 4 | Efficient 2-Dimensional Approximate Matching of Half-Rectangular Figures |
Amir, A. |
1995 |
118 | 1 |
p. 1-11 11 p. |
article |
|
| 5 | Fast Identification of Geometric Objects with Membership Queries |
Bultman, W.J. |
1995 |
118 | 1 |
p. 48-64 17 p. |
article |
|
| 6 | Generalized OM-Bisimulation |
Vogler, W. |
1995 |
118 | 1 |
p. 38-47 10 p. |
article |
|
| 7 | Negation and Constraint Logic Programming |
Stuckey, P.J. |
1995 |
118 | 1 |
p. 12-33 22 p. |
article |
|
| 8 | On the Recognition of Families of Graphs with Local Computations |
Litovsky, I. |
1995 |
118 | 1 |
p. 110-119 10 p. |
article |
|
| 9 | Parallel Reductions in λ-Calculus |
Takahashi, M. |
1995 |
118 | 1 |
p. 120-127 8 p. |
article |
|
| 10 | Quantifying the Amount of Verboseness |
Beigel, R. |
1995 |
118 | 1 |
p. 73-90 18 p. |
article |
|
| 11 | Safety Analysis versus Type Inference |
Palsberg, J. |
1995 |
118 | 1 |
p. 128-141 14 p. |
article |
|
| 12 | Sample Sizes for Threshold Networks with Equivalences |
Shawetaylor, J. |
1995 |
118 | 1 |
p. 65-72 8 p. |
article |
|
| 13 | Testing Language Containment for ω-Automata Using BDDs |
Touati, H.J. |
1995 |
118 | 1 |
p. 101-109 9 p. |
article |
|
| 14 | Timing Verification by Successive Approximation |
Alur, R. |
1995 |
118 | 1 |
p. 142-157 16 p. |
article |
14 results found