Nordic Journal of Computing, Volume 12

Spring 2005, Volume 12, Number 1

• Danny Krizanc, Pat Morin, and Michiel Smid. Range Mode and Range Median Queries on Lists and Trees. Nordic Journal of Computing, 12(1):1-17, Spring 2005.
• Wan Fokkink, Jaap-Henk Hoepman, and Jun Pang. A Note on K-State Self-stabilization in a Ring with K=N. Nordic Journal of Computing, 12(1):18-26, Spring 2005.
• Amr Elmasry. Deterministic Jumplists. Nordic Journal of Computing, 12(1):27-39, Spring 2005.
• Veli Mäkinen and Gonzalo Navarro. Succinct Suffix Arrays based on Run-Length Encoding. Nordic Journal of Computing, 12(1):40-66, Spring 2005.

Summer 2005, Volume 12, Number 2

Selected Papers of the Sixteenth Nordic Workshop on Programming Theory (NWPT'04), October 6-8, 2004

• Paul Pettersson and Wang Yi. Guest Editors' Foreword. Nordic Journal of Computing, 12(2):67, Summer 2005.
• Juhan Ernits. Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. Nordic Journal of Computing, 12(2):68-88, Summer 2005.
• Lars Kristiansen and Paul J. Voda. Programming Languages Capturing Complexity Classes. Nordic Journal of Computing, 12(2):89-115, Summer 2005.
• Marcel Kyas, Frank S. de Boer, and Willem-Paul de Roever. A Compositional Trace Logic for Behavioural Interface Specifications.Nordic Journal of Computing, 12(2):116-132, Summer 2005.
• Härmel Nestra. Transfinite Corecursion. Nordic Journal of Computing, 12(2):133-156, Summer 2005.
• Ragnhild Kobro Runde, Øystein Haugen, and Ketil Stølen. Refining UML Interactions with Underspecification and Nondeterminism. Nordic Journal of Computing, 12(2):157-188, Summer 2005.
• Todd L. Veldhuizen. Language Embeddings that Preserve Staging and Safety. Nordic Journal of Computing, 12(2):189-198, Summer 2005.

Fall 2005, Volume 12, Number 3

Selected Papers of the Second International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05), June 6, 2005, Rennes, France

• Johan Lilius, Ricardo J. Machado, Dragos Truscan, João M. Fernandes and Ivan Porres. Guest Editors' Foreword. Nordic Journal of Computing, 12(3):198-199, Fall 2005.
• Issam Al-Azzoni, Douglas G. Down and Ridha Khedri. Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. Nordic Journal of Computing, 12(3):200-228, Fall 2005.
• João Paulo Barros and Jens Bæk Jørgensen. A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nordic Journal of Computing, 12(3):229-250, Fall 2005.
• Jonathan Billington, Guy Edward Gallasch and Laure Petrucci. Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. Nordic Journal of Computing, 12(3):251-274, Fall 2005.

General Papers

• Erez Petrank and Dror Rawitz. The Hardness of Cache Conscious Data Placement. Nordic Journal of Computing, 12(3):275-307, Fall 2005.
• Elena Prieto and Christian Sloper. Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree. Nordic Journal of Computing, 12(3):308-318, Fall 2005.

Winter 2005, Volume 12, Number 4

Selected Papers of the Third Nordic Workshop on UML and Software Modeling (NWUML'2005), August 29-31, 2005

• Kai Koskimies and Ludwik Kuźniarz. Guest Editors' Foreword. Nordic Journal of Computing, 12(4):319-320, Winter 2005.
• Marcus Alanen, Torbjörn Lundkvist and Ivan Porres. Comparison of Modeling Frameworks for Software Engineering. Nordic Journal of Computing, 12(4):321-342, Winter 2005.
• Łukasz Dobrzański and Ludwik Kuźniarz. Practical Refactoring of Executable UML Models. Nordic Journal of Computing, 12(4):343-360, Winter 2005.
• Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm and Asim Pervez Zaka. An Architecture Exploration Environment for System on Chip Design. Nordic Journal of Computing, 12(4):361-378, Winter 2005.
• Sven Wenzel. Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams. Nordic Journal of Computing, 12(4):361-378, Winter 2005.

Shortcuts: