Journal: Nord. J. Comput.

Volume 10, Issue 4

263 -- 264Magne Haveraaen, Jüri Vain. Guest Editors Foreword
265 -- 289Marcin Benke, Peter Dybjer, Patrik Jansson. Universes for Generic Programs and Proofs in Dependent Type Theory
290 -- 312Neil Ghani, Christoph Lüth. Rewriting Via Coinserters
313 -- 336Einar Broch Johnsen, Christoph Lüth. Abstracting Refinements for Transformation
337 -- 0Henrik Pilegaard, Michael R. Hansen, Robin Sharp. An Approach to Analyzing Availability Properties of Security Protocols

Volume 10, Issue 3

185 -- 205Kjell Lemström, Jorma Tarhio. Transposition Invariant Pattern Matching for Multi-Track Strings
206 -- 223Jirí Fiala, Pinar Heggernes, Petter Kristiansen, Jan Arne Telle. Generalized H-coloring and H-covering of Trees
224 -- 237Michael Segal. Placing an Obnoxious Facility in Geometric Networks
238 -- 0Jyrki Katajainen, Fabio Vitale. Navigation Piles with Applications to Sorting, Priority Queues, and Priority Deques

Volume 10, Issue 2

69 -- 0Uwe Nestmann, Prakash Panangaden. Guest Editors Foreword
70 -- 98Marco Carbone, Sergio Maffeis. On the Expressive Power of Polyadic Synchronisation in pi-calculus
99 -- 133Joël Ouaknine, James Worrell. Timed CSP = Closed Timed epsilon-automata
134 -- 162Maribel Fernández, Lionel Khalil. Interaction Nets with McCarthy s amb: Properties and Applications
163 -- 0Vladimiro Sassone, Pawel Sobocinski. Deriving Bisimulation Congruences using 2-categories

Volume 10, Issue 1

1 -- 0Jan Holub. Guest Editor s Foreword
2 -- 12Kensuke Baba, Ayumi Shinohara, Masayuki Takeda, Shunsuke Inenaga, Setsuo Arikawa. A Note on Randomized Algorithm for String Matching with Mismatches
13 -- 20Luigi Cinque, Sergio De Agostino, Franco Liberati. A Work-Optimal Parallel Implementation of Lossless Image Compression by Block Matching
21 -- 28Frantisek Franek, William F. Smyth, Xiangdong Xiao. A Note on Crochemore s Repetitions Algorithm - A Fast Space-Efficient Approach
29 -- 39Heikki Hyyrö. A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit Distances
40 -- 51Costas S. Iliopoulos, Manal Mohamed, Laurent Mouchard, Katerina Perdikuri, William F. Smyth, Athanasios K. Tsakalidis. String Regularities with Don t Cares
52 -- 0Shunsuke Inenaga. Bidirectional Construction of Suffix Trees