Nordic Journal of Computing, Volume 11

Volume 11, Number 1, 2004

Martin Gairing, Robert Geist, Stephen T. Hedetniemi, Petter Kristiansen: A Self-stabilizing Algorithm for Maximal 2-packing. 1-11
Terje Sivertsen: Undefinedness vs. Underspecification in HALDEN ASL. 12-34
Zdenek Tronícek: Episode Directed Acyclic Subsequence Graph. 35-40
Alexandru Berlea, Helmut Seidl: Binary Queries for Document Trees. 41-71

Volume 11, Number 2, 2004

Selected Papers Of The Fifteenth Nordic Workshop On Programming Theory (NWPT'03), October 29--31, 2003

Kaisa Sere, Marina A. Waldén: Guest Editors' Foreword. 73-74
Pontus Boström, Marina A. Waldén: Implementation of Control Systems Using B Action Systems: A Case Study. 75-101
Orieta Celiku, Annabelle McIver: Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. 102-128
Elena Fersman, Wang Yi: A Generic Approach to Schedulability Analysis of Real-Time Tasks. 129-147
Timo Latvala, Heikki Tauriainen: Improved On-the-fly Verification with Testers. 148-164
Rimvydas Ruksenas: A Rigourous Environment for Development of Concurrent Systems. 165-193
Gerardo Schneider: Computing Invariance Kernels of Polygonal Hybrid Systems. 194-209

Volume 11, Number 3, 2004

Selected Papers Of The Eleventh Nordic Workshop On Programming Environment Research (NWPER'2004), And The Second Nordic Workshop On Uml, Modeling, Methods And Tools (NWUML'2004), August 17--20, 2004

Johan Lilius, Kasper Østerbye: Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. 211-212
Anders Nilsson, Anders Ive, Torbjörn Ekman, Görel Hedin: Implementing Java Compilers Using ReRAGs. 213-234
Petri Selonen, Mika Siikarla, Kai Koskimies, Tommi Mikkonen: Towards the Unification of Patterns and Profiles in UML. 235-253
Miroslaw Staron, Ludwik Kuzniarz, Ludwik Wallin: Case Study on a Process of Industrial MDA Realization -- Determinants of Effectiveness. 254-278
Harald Störrle: Structured Nodes in UML 2.0 Activities. 279-302
Thomas Vestdam, Kurt Nørmark: Maintaining Program Understanding -- Issues, Tools, and Future Directions. 303-319

Volume 11, Number 4, 2004

Erkki Sutinen, Jorma Tarhio: Approximate String Matching with Ordered q-Grams. 321-343
Sergey Bereg, Michael Segal: Dynamic Algorithms for Approximating Interdistances. 344-355
Gonzalo Navarro: Approximate Regular Expression Searching with Arbitrary Integer Weights. 356-373
Hans L. Bodlaender, Jan Arne Telle: Space-Efficient Construction Variants of Dynamic Programming. 374-385