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