Nordic Journal of Computing, Volume 10

Volume 10, Number 1, Spring 2003

Selected Papers Of The Prague Stringology Conference (PSC'02), September 23-24, 2002

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

Selected Papers Of The Ninth International Workshop On Expressiveness In Concurrency (EXPRESS'02), August 19, 2002

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

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

Selected Papers Of The Fourteenth Nordic Workshop On Programming Theory (NWPT'02), November 20-22, 2002

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

Last update Fri May 17 20:39:34 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page