1 | -- | 5 | Joost Engelfriet, Tjalling Gelsema. An exercise in structural congruence |
6 | -- | 12 | Houman Alborzi, Hanan Samet. Execution time analysis of a top-down R-tree construction algorithm |
13 | -- | 19 | Eric McDermid, Christine Cheng, Ichiro Suzuki. Hardness results on the man-exchange stable marriage problem with short preference lists |
20 | -- | 25 | Junhu Wang. Binary equality implication constraints, normal forms and data redundancy |
26 | -- | 29 | Uriel Feige, James R. Lee. An improved approximation ratio for the minimum linear arrangement problem |
30 | -- | 35 | Vardges Melkonian. Flows in dynamic networks with aggregate arc capacities |
36 | -- | 40 | Faisal N. Abu-Khzam, Michael A. Langston. Linear-time algorithms for problems on planar graphs with fixed disk dimension |
41 | -- | 45 | Richard S. Bird, Stefan Sadnicki. Minimal on-line labelling |
46 | -- | 51 | Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. Theorem-proving anonymity of infinite-state systems |