External Links

    Journal: Nord. J. Comput.

    Volume 12, Issue 4

    319 -- 320Kai Koskimies, Ludwik Kuzniarz. Guest Editors Foreword
    321 -- 342Marcus Alanen, Torbjörn Lundkvist, Ivan Porres. Comparison of Modeling Frameworks for Software Engineering
    343 -- 360Lukasz Dobrzanski, Ludwik Kuzniarz. Practical Refactoring of Executable UML Models
    361 -- 378Sven Wenzel. Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams
    361 -- 378Johan 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

    Volume 12, Issue 3

    198 -- 199Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres. Guest Editors Foreword
    200 -- 228Issam Al-Azzoni, Douglas G. Down, Ridha Khédri. Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and ::::Design/CPN::::
    229 -- 250João Paulo Barros, Jens Bæk Jørgensen. A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
    251 -- 274Jonathan Billington, Guy Edward Gallasch, Laure Petrucci. Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets
    275 -- 307Erez Petrank, Dror Rawitz. The Hardness of Cache Conscious Data Placement
    308 -- 318Elena Prieto, Christian Sloper. Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree

    Volume 12, Issue 2

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

    Volume 12, Issue 1

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