Journal Article (3187)
2781.
Journal Article
5 (1/2), pp. 161 - 202 (2000)
Generalized Definite Set Constraints. Constraints 2782.
Journal Article
35, pp. 189 - 201 (2000)
Floats, Integers, and Single Source Shortest Paths. Journal of Algorithms 2783.
Journal Article
60 (9), pp. 1103 - 1124 (2000)
A simple parallel algorithm for the single-source shortest path problem on planar digraphs. Journal of Parallel and Distributed Computing 2784.
Journal Article
74 (1/2), pp. 47 - 53 (2000)
Farmer's Theorem Revisited. Information Processing Letters 2785.
Journal Article
19 (2), pp. 122 - 161 (2000)
Using the Visual Differences Predictor to Improve Performance of Progressive Global Illumination Computations. ACM Transactions on Graphics 2786.
Journal Article
2 (2000)
Review - Data Placement In Bubba. ACM SIGMOD Digital Review 2787.
Journal Article
2 (2000)
Review - TerraServer: A Spatial Data Warehouse. ACM SIGMOD Digital Review 2788.
Journal Article
2 (2000)
Review - XTRACT: A System for Extracting Document Type Descriptors from XML Documents. ACM SIGMOD Digital Review 2789.
Journal Article
29 (2), pp. 459 - 473 (1999)
Better bounds for online scheduling. SIAM Journal on Computing 2790.
Journal Article
70 (5), pp. 251 - 254 (1999)
A Correctness Certificate for the Stoer-Wagner Min-cut Algorithm. Information Processing Letters 2791.
Journal Article
8 (3), pp. 209 - 228 (1999)
On the Expected Depth of Random Circuits. Combinatorics, Probability and Computing 2792.
Journal Article
32 (1), pp. 21 - 30 (1999)
A 2-approximation algorithm for finding an optimum 3-vertex-connected spanning subgraph. Journal of Algorithms 2793.
Journal Article
15 (2), pp. 99 - 122 (1999)
Modeling a Hardware Synthesis Methodology in Isabelle. Formal Methods in Systems Design 2794.
Journal Article
7 (1), pp. 27 - 54 (1999)
Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 2795.
Journal Article
98 (1/2), pp. 21 - 27 (1999)
On the Chvátal Rank of Polytopes in the 0/1 Cube. Discrete applied mathematics 2796.
Journal Article
22 (4), pp. 336 - 45 (1999)
Mutations in ABC1 in Tangier disease and familial high-density lipoprotein. Nature Genetics 2797.
Journal Article
68 (225), pp. 345 - 350 (1999)
On Factor Refinement in Number Fields. Mathematics of Computation 2798.
Journal Article
69 (5), pp. 239 - 242 (1999)
An Analysis of the Highest-level Selection rule in the Preflow-push Max-flow Algorithm. Information Processing Letters 2799.
Journal Article
18 (4), p. 200 (1999)
Editorial. Computer Graphics Forum 2800.
Journal Article
9 (3), pp. 253 - 286 (1999)
A specification logic for concurrent object-oriented programming. Mathematical Structures in Computer Science