Nordic Journal of Computing, Volume 7

Spring 2000, Volume 7, Number 1

• J. Karhumäki, W. Plandowski, and W. Rytter. Pattern-Matching Problems for Two-Dimensional. Images Described by Finite Automata. Nordic Journal of Computing, 7(1):1-13, Spring 2000. Abstract, References, etc.

• Hans L. Bodlaender and Klaus Jansen. On the Complexity of the Maximum Cut Problem. Nordic Journal of Computing, 7(1):14-31, Spring 2000. Abstract, References, etc.

• Joachim Gudmundsson and Christos Levcopoulos. A Parallel Approximation Algorithm for Minimum Weight Triangulation. Nordic Journal of Computing, 7(1):32-57, Spring 2000. Abstract, References, etc.

• Michele Zito. Linear Time Maximum Induced Matching Algorithm for Trees. Nordic Journal of Computing, 7(1):58-63, Spring 2000. Abstract, References, etc.

Summer 2000, Volume 7, Number 2

Selected Papers of the Ninth Nordic Workshop on Programming Environment Research (NWPER'2000), May 28-30, 2000

• Andreas L. Opdahl and Dag I. K. Sjøberg. Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. Nordic Journal of Computing, 7(2):65-66, Summer 2000.

• Eva Magnusson and Görel Hedin. Program Visualization Using Reference Attributed Grammars. Nordic Journal of Computing, 7(2):67-86, Summer 2000. Abstract, References, etc.

• Kurt Nørmark. Elucidative Programming. Nordic Journal of Computing, 7(2):87-105, Summer 2000. Abstract, References, etc.

• Thomas Vestdam. Documentation Threads - Presentation of Fragmented Documentation. Nordic Journal of Computing, 7(2):106-125, Summer 2000. Abstract, References, etc.

• Maarit Harsu. Identifying Object-Oriented Features from Procedural Software. Nordic Journal of Computing, 7(2):126-142, Summer 2000. Abstract, References, etc.

• Lars Bendix, Ulf Asklund, and Jonas Persson. Summary of the Subworkshop on Change Management for Open Source Software. Nordic Journal of Computing, 7(2):143-147, Summer 2000.

Fall 2000, Volume 7, Number 3

Selected Papers of the Seventh Scandinavian Workshop on Algorithm Theory (SWAT'2000), July 5-7, 2000

• Mágnus M. Halldórsson. Guest Editor's Foreword. Nordic Journal of Computing, 7(3):149-150, Fall 2000.

• Rasmus Pagh. A Trade-Off for Worst-Case Efficient Dictionaries. Nordic Journal of Computing, 7(3):151-163, Fall 2000. Abstract, References, etc.

• Anne Berry, Jean-Paul Bordat, and Pinar Heggernes. Recognizing Weakly Triangulated Graphs by Edge Separability. Nordic Journal of Computing, 7(3):164-177, Fall 2000. Abstract, References, etc.

• Piotr Berman. A d/2 Approximation for Maximum Weight Independent Set in d-Claw Free Graphs. Nordic Journal of Computing, 7(3):178-184, Fall 2000. Abstract, References, etc.

• Srinivas Doddi, Madhav V. Marathe, S. S. Ravi, David S. Taylor, and Peter Widmayer. Approximation Algorithms for Clustering to Minimize the Sum of Diameters. Nordic Journal of Computing, 7(3):185-203, Fall 2000. Abstract, References, etc.

• Vincenzo Liberatore. Scheduling Jobs before Shut-Down. Nordic Journal of Computing, 7(3):204-226, Fall 2000. Abstract, References, etc.

• Pankaj K. Agarwal, Leonidas J. Guibas, Sariel Har-Peled, Alexander Rabinovitch, and Micha Sharir. Penetration Depth of Two Convex Polytopes in 3D. Nordic Journal of Computing, 7(3):227-240, Fall 2000. Abstract, References, etc.

• Tetsuo Asano, Tomomi Matsui, and Takeshi Tokuyama. Optimal Roundings of Sequences and Matrices. Nordic Journal of Computing, 7(3):241-256, Fall 2000. Abstract, References, etc.

Winter 2000, Volume 7, Number 4

Selected Papers of the European Symposium on Programming (ESOP'2000), March 25 - April 2, 2000

• Gert Smolka. Guest Editor's Foreword. Nordic Journal of Computing, 7(4):257, Winter 2000.

• Martin Hofmann. A Type System for Bounded Space and Functional In-Place Update. Nordic Journal of Computing, 7(4):258-289, Winter 2000. Abstract, References, etc.

• Laurent Mauborgne. An Incremental Unique Representation for Regular Trees. Nordic Journal of Computing, 7(4):290-311, Winter 2000. Abstract, References, etc.

• François Pottier. A Versatile Constraint-Based Type Inference System. Nordic Journal of Computing, 7(4):312-347, Winter 2000. Abstract, References, etc.

• Claudio V. Russo. First-Class Structures for Standard ML. Nordic Journal of Computing, 7(4):348-374, Winter 2000. Abstract, References, etc.

• Helmut Seidl and Bernhard Steffen. Constraint-Based Inter-Procedural Analysis of Parallel Programs. Nordic Journal of Computing, 7(4):375-400, Winter 2000. Abstract, References, etc.

Shortcuts: