Nordic Journal of Computing, Volume 11

Spring 2004, Volume 11, Number 1

• M. Gairing, R. M. Geist, S. T. Hedetniemi and P. Kristiansen. A Self-stabilizing Algorithm for Maximal 2-packing. Nordic Journal of Computing, 11(1):1, Spring 2004.
• T. Sivertsen. Undefinedness vs. Underspecification in HALDEN ASL. Nordic Journal of Computing, 11(1):12, Spring 2004.
• Z. Tronícek. Episode Directed Acyclic Subsequence Graph. Nordic Journal of Computing, 11(1):35, Spring 2004.
• A. Berlea and H. Seidl. Binary Queries for Document Trees. Nordic Journal of Computing, 11(1):41, Spring 2004.

Summer 2004, Volume 11, Number 2

Selected Papers of the Fifteenth Nordic Workshop on Programming Theory (NWPT'03), October 29-31, 2003:

• K. Sere and M. Waldén. Guest Editors' Foreword. Nordic Journal of Computing, 11(2):73, Summer 2004.
• P. Boström and M. Waldén. Implementation of Control Systems Using B Action Systems: A Case Study. Nordic Journal of Computing, 11(2):75, Summer 2004.
• O. Celiku and A. McIver. Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. Nordic Journal of Computing, 11(2):102, Summer 2004.
• E. Fersman and W. Yi. A Generic Approach to Schedulability Analysis of Real-Time Tasks. Nordic Journal of Computing, 11(2):129, Summer 2004.
• T. Latvala and H. Tauriainen. Improved On-the-fly Verification with Testers. Nordic Journal of Computing, 11(2):148, Summer 2004.
• R. Ruksenas. A Rigourous Environment for Development of Concurrent Systems. Nordic Journal of Computing, 11(2):165, Summer 2004.
• G. Schneider. Computing Invariance Kernels of Polygonal Hybrid Systems. Nordic Journal of Computing, 11(2):194, Summer 2004.

Fall 2004, Volume 11, Number 3

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:

• J. Lilius and K. Østerbye. Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. Nordic Journal of Computing, 11(3):211, Fall 2004.
• A. Nilsson, A. Ive, T. Ekman and G. Hedin. Implementing Java Compilers Using ReRAGs. Nordic Journal of Computing, 11(3):213, Fall 2004.
• P. Selonen, M. Siikarla, K. Koskimies and T. Mikkonen. Towards the Unification of Patterns and Profiles in UML. Nordic Journal of Computing, 11(3):235, Fall 2004.
• M. Staron, L. Kuzniarz and L. Wallin. Case Study on a Process of Industrial MDA Realization - Determinants of Effectiveness. Nordic Journal of Computing, 11(3):254, Fall 2004.
• H. Störrle. Structured Nodes in UML 2.0 Activities. Nordic Journal of Computing, 11(3):279, Fall 2004.
• T. Vestdam and K. Nørmark. Maintaining Program Understanding -- Issues, Tools, and Future Directions. Nordic Journal of Computing, 11(3):303, Fall 2004.

Winter 2004, Volume 11, Number 4

• E. Sutinen and J. Tarhio. Approximate String Matching with Ordered q-Grams. Nordic Journal of Computing, 11(4):321, Winter 2004.
• S. Bereg and M. Segal. Dynamic Algorithms for Approximating Interdistances. Nordic Journal of Computing, 11(4):344, Winter 2004.
• G. Navarro. Approximate Regular Expression Searching with Arbitrary Integer Weights. Nordic Journal of Computing, 11(4):356, Winter 2004.
• H. L. Bodlaender and J. A. Telle. Space-Efficient Construction Variants of Dynamic Programming. Nordic Journal of Computing, 11(4):374, Winter 2004.

Shortcuts: