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 BibTeX
Terje Sivertsen: Undefinedness vs. Underspecification in HALDEN ASL. 12-34 BibTeX
Zdenek Tronícek: Episode Directed Acyclic Subsequence Graph. 35-40 BibTeX
Alexandru Berlea, Helmut Seidl: Binary Queries for Document Trees. 41-71 BibTeX

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

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 BibTeX
Anders Nilsson, Anders Ive, Torbjörn Ekman, Görel Hedin: Implementing Java Compilers Using ReRAGs. 213-234 BibTeX
Petri Selonen, Mika Siikarla, Kai Koskimies, Tommi Mikkonen: Towards the Unification of Patterns and Profiles in UML. 235-253 BibTeX
Miroslaw Staron, Ludwik Kuzniarz, Ludwik Wallin: Case Study on a Process of Industrial MDA Realization -- Determinants of Effectiveness. 254-278 BibTeX
Harald Störrle: Structured Nodes in UML 2.0 Activities. 279-302 BibTeX
Thomas Vestdam, Kurt Nørmark: Maintaining Program Understanding -- Issues, Tools, and Future Directions. 303-319 BibTeX

Volume 11, Number 4, 2004

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