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