Nordic Journal of Computing, Volume 14

Summer 2007, Volume 14, Number 1-2

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata and Aletta Nylén. Using Forward Reachability Analysis for Verification of Timed Petri Nets. Nordic Journal of Computing, 14(1-2):1-42, Summer 2007.
Vitus S.W. Lam. A Formalism for Reasoning about UML Activity Diagrams. Nordic Journal of Computing, 14(1-2):43-64, Summer 2007.
Ka Lok Man. Formal Specification and Analysis of Hardware Systems in Timed Chi. Nordic Journal of Computing, 14(1-2):65-86, Summer 2007.
Pinar Heggernes and Dieter Kratsch. Linear-time certifying recognition algorithms and forbidden induced subgraphs. Nordic Journal of Computing, 14(1-2):87-108, Summer 2007.
Anat Bremler-Barr and Leah Epstein. Path layout on tree networks: Bounds in different label switching models. Nordic Journal of Computing, 14(1-2):109-125, Summer 2007.
Meena Mahajan, Raghavan Rama and S. Vijayakumar. Block Sorting: A Characterization and some Heuristics. Nordic Journal of Computing, 14(1-2):126-150, Summer 2007.

Mark Cieliebak, Stephan Eidenbenz, Aris T. Pagourtzis and Konrad Schlude. On the Complexity of Variations of Equal Sum Subsets. Nordic Journal of Computing, 14(3):151-172, Fall 2008.
Qiwen Xu and Naijun Zhan. Formalising Scheduling Theories in Duration Calculus. Nordic Journal of Computing, 14(3):173-201, Fall 2008.
Evangelos Kranakis, Danny Krizanc and Sunil Shende. Tracking Mobile Users in Cellular Networks using Timing Information. Nordic Journal of Computing, 14(3):202-215, Fall 2008.
Y. Boichut, P.-C. Héam and O. Kouchnarenko. Approximation-based Tree Regular Model-Checking. Nordic Journal of Computing, 14(3):216-241, Fall 2008.

Ebba Hvannberg. Guest Editor's Foreword. Nordic Journal of Computing, 14(4):243-244, Winter 2008.
Cyril Carrez, Lotte Johansen, Pawel Cieslak and Stefan Hänsgen. Service Engineering with the SIMS Design and Validation Tools. Nordic Journal of Computing, 14(4):245-263, Winter 2008.
Samuel Lahtinen and Kai Koskimies. A Model-Based Approach to Reflective Command Interfaces Nordic Journal of Computing, 14(4):264-281, Winter 2008.
Kenneth Lind and Rogardt Heldal. Estimation of Real-Time Software Component Size. Nordic Journal of Computing, 14(4):282-300, Winter 2008.
Parastoo Mohagheghi, Vegard Dehlen and Tor Neple. A Metamodel and Supporting Process and Tool for Specifying Quality Models in Model-Based Software Development. Nordic Journal of Computing, 14(4):301-320, Winter 2008.
Mikko Raatikainen, Varvana Myllärniemi and Tomi Männistö. Featback: Method for Enhancing Management of Agile Development. Nordic Journal of Computing, 14(4):321-337, Winter 2008.
Outi Räihä, Kai Koskimies, Erkki Mäkinen and Tarja Systä. Pattern-Based Genetic Model Refinements in MDA. Nordic Journal of Computing, 14(4):338-355, Winter 2008.