Nordic Journal of Computing, Volume 12

Volume 12, Number 1, 2005

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

Volume 12, Number 2, 2005

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

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

Volume 12, Number 3, 2005

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 Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres: Guest Editors' Foreword. 198-199 BibTeX
Issam Al-Azzoni, Douglas G. Down, Ridha Khédri: Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. 200-228 BibTeX
João Paulo Barros, Jens Bæk Jørgensen: A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. 229-250 BibTeX
Jonathan Billington, Guy Edward Gallasch, Laure Petrucci: Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. 251-274 BibTeX

General Papers

Erez Petrank, Dror Rawitz: The Hardness of Cache Conscious Data Placement. 275-307 BibTeX
Elena Prieto, Christian Sloper: Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree. 308-318 BibTeX

Volume 12, Number 4, August 2005

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

Kai Koskimies, Ludwik Kuzniarz: Guest Editors' Foreword. 319-320 BibTeX
Marcus Alanen, Torbjörn Lundkvist, Ivan Porres: Comparison of Modeling Frameworks for Software Engineering. 321-342 BibTeX
Lukasz Dobrzanski, Ludwik Kuzniarz: Practical Refactoring of Executable UML Models. 343-360 BibTeX
Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka: An Architecture Exploration Environment for System on Chip Design. 361-378 BibTeX
Sven Wenzel: Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams. 361-378 BibTeX