External Links

    Journal: Nord. J. Comput.

    Volume 6, Issue 4

    363 -- 371Min-Shiang Hwang. A Dynamic Key Generation Scheme for Access Control in a Hierarchy
    372 -- 402Sofiène Tahar, Paul Curzon. Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric
    403 -- 421Jesper Larsen, Ib Pedersen. Experiments with the Auction Algorithm for the Shortest Path Problem
    422 -- 445Maria I. Andreou, Stavros D. Nikolopoulos. NC Coloring Algorithms for Permutation Graphs
    446 -- 461Drago Krznaric, Christos Levcopoulos, Bengt J. Nilsson. Minimum Spanning Trees in d Dimensions
    462 -- 468Olivier Devillers, Asish Mukhopadhyay. Finding an Ordinary Conic and an Ordinary Hyperplane
    469 -- 0Joachim Gudmundsson, Christos Levcopoulos. A Fast Approximation Algorithm for TSP with Neighborhoods

    Volume 6, Issue 3

    213 -- 214Kaisa Sere. Guest Editor s Foreword
    215 -- 240Paolo Ciancarini, Andrea Omicini, Franco Zambonelli. Coordination Technologies for Internet Agents
    241 -- 270Magne Haveraaen, Helmer André Friis, Tor Arne Johansen. Formal Software Engineering for Computational Modelling
    271 -- 298Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi. Clock Difference Diagrams
    299 -- 319Carl Johan Lillieroth, Satnam Singh. Formal Verification of FPGA Cores
    320 -- 342Elena Troubitsyna. Reliability Assessment through Probabilistic Refinement
    343 -- 0Tarmo Uustalu, Varmo Vene. Mendler-Style Inductive Types, Categorically

    Volume 6, Issue 2

    135 -- 136Jens Lagergren, Peter Bro Miltersen. Guest Editors Foreword
    137 -- 161Nora Sleumer. Output-Sensitive Cell Enumeration in Hyperplane Arrangements
    148 -- 161Steven S. Seiden. Randomized Online Multi-Threaded Paging
    162 -- 180Venkatesh Raman, Sarnath Ramnath. Improved Upper Bounds for Time-Space Trade-offs for Selection
    181 -- 193Piotr Berman, Chris Coulston. Speed is More Powerful than Clairvoyance
    194 -- 0Sandeep Sen, Neelima Gupta. Distribution-Sensitive Algorithms

    Volume 6, Issue 1

    1 -- 3Khalid Azim Mughal, Andreas L. Opdahl. Guest Editors Foreword: Programming and Software Development Environment Research in the Nordic Countries
    4 -- 21Henrik Bærbak Christensen. The Ragnarok Software Development Environment
    22 -- 35Kåre Kjelstrøm, Peter Petersen. A CASE Tool for COM Development
    36 -- 54Elizabeth Bjarnason, Görel Hedin, Klas Nilsson. Interactive Language Development for Embedded Systems
    55 -- 71Henrik Røn. An Overview of a Dynamic Programming Environment Based on Extensibility
    72 -- 92Erik Ernst. Dynamic Inheritance in a Statically Typed Language Nordic Journal of Computing
    93 -- 109Maarit Harsu. Translation of Conditional Compilation Nordic Journal of Computing
    110 -- 128Kurt Nørmark, Lars Iversen, Per Madsen. Animation and Presentation Tools for Object-Oriented Design
    129 -- 0Lars Bendix, Ulf Asklund. Summary of the Subworkshop on Change Management
    runs on