Nordic Journal of Computing, Volume 10

Spring 2003, Volume 10, Number 1

Selected Papers of the Prague Stringology Coference (PSC'02), September 23-24, 2002:

• J. Holub. Guest Editor's Foreword. Nordic Journal of Computing, 10(1):1, Spring 2003.
• K. Baba, A. Shinohara, M. Takeda, S. Inenaga and S. Arikawa. A Note on Randomized Algorithm for String Matching with Mismatches. Nordic Journal of Computing, 10(1):2, Spring 2003.
• L. Cinque, S. De Agostino and F. Liberati. A Work-Optimal Parallel Implementation of Lossless Image Compression by Block Matching. Nordic Journal of Computing, 10(1):13, Spring 2003.
• F. Franek, W. F. Smyth and X. Xiao. A Note on Crochemore's Repetitions Algorithm - A Fast Space-Efficient Approach. Nordic Journal of Computing, 10(1):21, Spring 2003.
• H. Hyyrö. A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit Distances. Nordic Journal of Computing, 10(1):29, Spring 2003.
• C. S. Iliopoulos, M. Mohamed, L. Mouchard, K. G. Perdikuri, W. F. Smyth and A. K. Tsakalidis. String Regularities with Don't Cares. Nordic Journal of Computing, 10(1):40, Spring 2003.
• S. Inenaga. Bidirectional Construction of Suffix Trees. Nordic Journal of Computing, 10(1):52, Spring 2003.

Summer 2003, Volume 10, Number 2

Selected Papers of the Ninth International Workshop on Expressiveness in Concurrency (EXPRESS'02), August 19, 2002:

• U. Nestmann and P. Panangaden. Guest Editors' Foreword. Nordic Journal of Computing, 10(2):69, Summer 2003.
• M. Carbone and S. Maffeis. On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nordic Journal of Computing, 10(2):70, Summer 2003.
• J. Ouaknine and J. Worrell. Timed CSP = Closed Timed epsilon-automata. Nordic Journal of Computing, 10(2):99, Summer 2003.
• M. Fernández and L. Khalil. Interaction Nets with McCarthy's amb: Properties and Applications. Nordic Journal of Computing, 10(2):134, Summer 2003.
• V. Sassone and P. Sobocinski. Deriving Bisimulation Congruences using 2-categories. Nordic Journal of Computing, 10(2):163, Summer 2003.

Fall 2003, Volume 10, Number 3

• K. Lemström and J. Tarhio. Transposition Invariant Pattern Matching for Multi-Track Strings. Nordic Journal of Computing, 10(3):185, Fall 2003.
• J. Fiala, P. Heggernes, P. Kristiansen and J. A. Telle. Generalized H-coloring and H-covering of Trees. Nordic Journal of Computing, 10(3):206, Fall 2003.
• M. Segal. Placing an Obnoxious Facility in Geometric Networks. Nordic Journal of Computing, 10(3):224, Fall 2003.
• J. Katajainen and F. Vitale. Navigation Piles with Applications to Sorting, Priority Queues, and Priority Deques. Nordic Journal of Computing, 10(3):238, Fall 2003.

Winter 2003, Volume 10, Number 4

Selected Papers of the Fourteenth Nordic Workshop on Programming Theory (NWPT'02), November 20-22, 2002:

• M. Haveraaen and J. Vain. Guest Editors' Foreword. Nordic Journal of Computing, 10(4):263, Winter 2003.
• M. Benke, P. Dybjer and P. Jansson. Universes for Generic Programs and Proofs in Dependent Type Theory. Nordic Journal of Computing, 10(4):265, Winter 2003.
• N. Ghani and C. Lüth. Rewriting Via Coinserters. Nordic Journal of Computing, 10(4):290, Winter 2003.
• E. B. Johnsen and C. Lüth. Abstracting Refinements for Transformation. Nordic Journal of Computing, 10(4):313, Winter 2003.
• H. Pilegaard, M. R. Hansen and R. Sharp. An Approach to Analyzing Availability Properties of Security Protocols. Nordic Journal of Computing, 10(4):337, Winter 2003.

Shortcuts: