Journal: BIT

Volume 32, Issue 4

546 -- 558Tung-Shou Chen, Wei-Pang Yang, Richard C. T. Lee. Amortized Analysis of Some Disk Scheduling Algorithms: SSTF, SCAN, and ::::N::::-Step SCAN
559 -- 569Kris Coolsaet, H. De Meyer, Veerle Fack. Optimal Algorithms for Total Exchange without Buffering on the Hypercube
570 -- 579Jeannette M. de Graaf, Walter A. Kosters. Expected Heights in Heaps
580 -- 585Jyrki Katajainen, Tomi Pasanen. Stable Minimum Space Partitioning in Linear Time
586 -- 597Stephan Olariu, James L. Schwing, Jingyuan Zhang. A Constant-Time Channel-Assignment Algorithm on Reconfigurable Meshes
598 -- 608A. Louise Perkins. A Mixed Directed-Undirected Data Structure for a Parallel Implementation of a Domain Decomposition Algorithm
609 -- 618Chang-Wu Yu, Gen-Huey Chen. The Weighted Maximum Independent Set Problem in Permutation Graphs

Volume 32, Issue 3

370 -- 383Johann Blieberger, Ulrich Schmid. FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions
384 -- 402Mamoru Hoshi, Philippe Flajolet. Page Usage in a Quadtree Index
403 -- 412Rong-Hong Jan, Lih-Hsing Hsu, Yueh-Ying Lee. The Most Vital Edges with Respect to the Number of Spanning Trees in Two-Terminal Series-Parallel Graphs
413 -- 429Mark Levene, George Loizou. Inferring Null Join Dependencies in Relational Databases
430 -- 440Harry G. Mairson. The Effect of Table Expansion on the Program Complexity of Perfect Hash Funtions

Volume 32, Issue 2

180 -- 196Ravi B. Boppana, Magnús M. Halldórsson. Approximating Maximum Independent Sets by Excluding Subgraphs
197 -- 214Stefan Arnborg, Andrzej Proskurowski. Canonical Representations of Partial 2- and 3-Trees
215 -- 236Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis. Efficient Parallel Algorithms for Shortest Paths in Planar Digraphs
237 -- 248David Eppstein. Finding the ::::k:::: Smallest Spanning Trees
249 -- 267John Hershberger, Subhash Suri. Applications of a Semi-Dynamic Convex Hull Algorithm
268 -- 279Marc J. van Kreveld, Mark H. Overmars, Pankaj K. Agarwal. Intersection Queries in Sets of Disks
280 -- 296Christos Levcopoulos, Andrzej Lingas. Fast Algorithms for Greedy Triangulation
297 -- 315Ricardo A. Baeza-Yates, Gaston H. Gonnet, Nivio Ziviani. Improved Bounds for the Expected Behaviour of AVL Trees
316 -- 332Thomas Papadakis, J. Ian Munro, Patricio V. Poblete. Average Search and Update Costs in Skip Lists

Volume 32, Issue 1

5 -- 9Loïc Colson. On List Primitive Recursion and the Complexity of Computing ::::inf::::
10 -- 14Thierry Coquand. The Paradox of Trees in Type Theory
15 -- 29Joëlle Despeyroux. Theo: An Interactive Proof Development System
30 -- 44Daniel Fredholm, Svetozar Serafimovski. Partial Inductive Definitions as Type-Systems for lambda-Terms
45 -- 63Lars Hallnäs. On Systems of Definitions, Induction and Recursion
64 -- 69Grigori Mints. Complexity of Subclasses of the Intuitionistic Propositional Calculus
70 -- 83Erik Palmgren, Viggo Stoltenberg-Hansen. Remarks on Martin-Löf s Partial Type Theory
84 -- 101Anne Salvesen. On Specifications, Subset Types and Interpretation of Proposition in Type Theory