default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNordic Journal of Computing, Volume 10
Volume 10, Number 1, Spring 2003
- Jan Holub:
Guest Editor's Foreword. Nord. J. Comput. 10(1): 1 (2003) - Kensuke Baba, Ayumi Shinohara, Masayuki Takeda, Shunsuke Inenaga, Setsuo Arikawa:
A Note on Randomized Algorithm for String Matching with Mismatches. Nord. J. Comput. 10(1): 2-12 (2003) - Luigi Cinque, Sergio De Agostino, Franco Liberati:
A Work-Optimal Parallel Implementation of Lossless Image Compression by Block Matching. Nord. J. Comput. 10(1): 13-20 (2003) - Frantisek Franek, William F. Smyth, Xiangdong Xiao:
A Note on Crochemore's Repetitions Algorithm - A Fast Space-Efficient Approach. Nord. J. Comput. 10(1): 21-28 (2003) - Heikki Hyyrö:
A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit Distances. Nord. J. Comput. 10(1): 29-39 (2003) - Costas S. Iliopoulos, Manal Mohamed, Laurent Mouchard, Katerina Perdikuri, William F. Smyth, Athanasios K. Tsakalidis:
String Regularities with Don't Cares. Nord. J. Comput. 10(1): 40-51 (2003) - Shunsuke Inenaga:
Bidirectional Construction of Suffix Trees. Nord. J. Comput. 10(1): 52- (2003)
Volume 10, Number 2, Summer 2003
- Uwe Nestmann, Prakash Panangaden:
Guest Editors' Foreword. Nord. J. Comput. 10(2): 69 (2003) - Marco Carbone, Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003) - Joël Ouaknine, James Worrell:
Timed CSP = Closed Timed epsilon-automata. Nord. J. Comput. 10(2): 99-133 (2003) - Maribel Fernández, Lionel Khalil:
Interaction Nets with McCarthy's amb: Properties and Applications. Nord. J. Comput. 10(2): 134-162 (2003) - Vladimiro Sassone, Pawel Sobocinski:
Deriving Bisimulation Congruences using 2-categories. Nord. J. Comput. 10(2): 163- (2003)
Volume 10, Number 3, Fall 2003
- Kjell Lemström, Jorma Tarhio:
Transposition Invariant Pattern Matching for Multi-Track Strings. Nord. J. Comput. 10(3): 185-205 (2003) - Jirí Fiala, Pinar Heggernes, Petter Kristiansen, Jan Arne Telle:
Generalized H-coloring and H-covering of Trees. Nord. J. Comput. 10(3): 206-223 (2003) - Michael Segal:
Placing an Obnoxious Facility in Geometric Networks. Nord. J. Comput. 10(3): 224-237 (2003) - Jyrki Katajainen, Fabio Vitale:
Navigation Piles with Applications to Sorting, Priority Queues, and Priority Deques. Nord. J. Comput. 10(3): 238- (2003)
Volume 10, Number 4, Winter 2003
- Magne Haveraaen, Jüri Vain:
Guest Editors' Foreword. Nord. J. Comput. 10(4): 263-264 (2003) - Marcin Benke, Peter Dybjer, Patrik Jansson:
Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput. 10(4): 265-289 (2003) - Neil Ghani, Christoph Lüth:
Rewriting Via Coinserters. Nord. J. Comput. 10(4): 290-312 (2003) - Einar Broch Johnsen, Christoph Lüth:
Abstracting Refinements for Transformation. Nord. J. Comput. 10(4): 313-336 (2003) - Henrik Pilegaard, Michael R. Hansen, Robin Sharp:
An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10(4): 337- (2003)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
