Scientific Publications
Journal Article (46)
1.
Journal Article
29 (2), pp. 459 - 473 (1999)
Better bounds for online scheduling. SIAM Journal on Computing 2.
Journal Article
70 (5), pp. 251 - 254 (1999)
A Correctness Certificate for the Stoer-Wagner Min-cut Algorithm. Information Processing Letters 3.
Journal Article
8 (3), pp. 209 - 228 (1999)
On the Expected Depth of Random Circuits. Combinatorics, Probability and Computing 4.
Journal Article
32 (1), pp. 21 - 30 (1999)
A 2-approximation algorithm for finding an optimum 3-vertex-connected spanning subgraph. Journal of Algorithms 5.
Journal Article
15 (2), pp. 99 - 122 (1999)
Modeling a Hardware Synthesis Methodology in Isabelle. Formal Methods in Systems Design 6.
Journal Article
7 (1), pp. 27 - 54 (1999)
Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 7.
Journal Article
98 (1/2), pp. 21 - 27 (1999)
On the Chvátal Rank of Polytopes in the 0/1 Cube. Discrete applied mathematics 8.
Journal Article
22 (4), pp. 336 - 45 (1999)
Mutations in ABC1 in Tangier disease and familial high-density lipoprotein. Nature Genetics 9.
Journal Article
68 (225), pp. 345 - 350 (1999)
On Factor Refinement in Number Fields. Mathematics of Computation 10.
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 11.
Journal Article
18 (4), p. 200 (1999)
Editorial. Computer Graphics Forum 12.
Journal Article
9 (3), pp. 253 - 286 (1999)
A specification logic for concurrent object-oriented programming. Mathematical Structures in Computer Science 13.
Journal Article
19 (1), pp. 17 - 41 (1999)
On the single-source unsplittable flow problem. Combinatorica 14.
Journal Article
32 (1), pp. 21 - 30 (1999)
A 3-approximation algorithm for finding optimum 4,5-vertex-connected spanning subgraphs. Journal of Algorithms 15.
Journal Article
19 (2), pp. 297 - 300 (1999)
On the Membership Problem for the Elementary Closure of a Polyhedron. Combinatorica 16.
Journal Article
152, pp. 44 - 61 (1999)
Decision trees: old and new results. Information and Computation 17.
Journal Article
45 (3), pp. 971 - 991 (1999)
Scaling Analysis of Conservative Cascades, with Applications to Network Traffic. IEEE Transactions on Information Theory 18.
Journal Article
69 (1), pp. 7 - 13 (1999)
Efficient algorithms for counting and reporting pairwise intersections between convex polygons. Information Processing Letters 19.
Journal Article
152 (2), pp. 205 - 235 (1999)
Logic with Equality: Partisan Corroboration and Shifted Pairing. Information and Computation 20.
Journal Article
15 (4), pp. 623 - 639 (1999)
Motion Planning in R3 for Multiple Tethered Robots. IEEE Transactions on Robotics and Automation