- Tristan Crolard, Samuel Lacas, Pierre Valarcher:
On the Expressive Power of the Loop Language. Nord. J. Comput. 13(1-2): 46-57 (2006) - Troels Christoffer Damgaard, Lars Birkedal:
Axiomatizing Binding Bigraphs. Nord. J. Comput. 13(1-2): 58-77 (2006) - Assefaw Hadish Gebremedhin, Mohamed Essaïdi, Isabelle Guérin Lassous, Jens Gustedt, Jan Arne Telle:
PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms. Nord. J. Comput. 13(4): 215-239 (2006) - Prosenjit Gupta:
Range-Aggregate Query Problems Involving Geometric Aggregation Operations. Nord. J. Comput. 13(4): 294-308 (2006) - Neil D. Jones:
Guest Editor's Foreword. Nord. J. Comput. 13(1-2): 1 (2006) - Johannes Koskinen, Anna Ruokonen, Tarja Systä:
A Pattern-Based Approach to Generate Code from API Usage Scenarios. Nord. J. Comput. 13(3): 162-179 (2006) - Daniel Lemire:
Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element. Nord. J. Comput. 13(4): 328-339 (2006) - Monica Nesi, Giustina Nocera:
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. Nord. J. Comput. 13(1-2): 78-97 (2006) - Christoffer Rosenkilde Nielsen, Hanne Riis Nielson:
Static Analysis for Blinding. Nord. J. Comput. 13(1-2): 98-116 (2006) - Rajiv Kumar Poddar, Purandar Bhaduri:
Verification of Giotto based Embedded Control Systems. Nord. J. Comput. 13(4): 266-293 (2006) - Andreas Prinz, Merete Skjelten Tveit:
Guest Editor's Foreword. Nord. J. Comput. 13(3): 147-148 (2006) - André L. Santos, Kai Koskimies, Antónia Lopes:
A Model-Driven Approach to Variability Management in Product-Line Engineering. Nord. J. Comput. 13(3): 196-213 (2006) - Michel P. Schellekens, Rachit Agarwal, Emanuel M. Popovici, Ka Lok Man:
A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons. Nord. J. Comput. 13(4): 340-346 (2006) - Mika Siikarla, Jari Peltonen, Johannes Koskinen:
Towards Unambiguous Model Fragments. Nord. J. Comput. 13(3): 180-195 (2006) - Kristian Støvring:
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nord. J. Comput. 13(1-2): 117-126 (2006) - K. Subramani, John Argentieri:
Chain Programming over Difference Constraints. Nord. J. Comput. 13(4): 309-327 (2006) - Leonidas Tsiopoulos, Marina Waldén:
Formal Development of NoC Systems in B. Nord. J. Comput. 13(1-2): 127-145 (2006) - 2005
- Issam Al-Azzoni, Douglas G. Down, Ridha Khédri:
Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. Nord. J. Comput. 12(3): 200-228 (2005) - Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
Comparison of Modeling Frameworks for Software Engineering. Nord. J. Comput. 12(4): 321-342 (2005) - João Paulo Barros, Jens Bæk Jørgensen:
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nord. J. Comput. 12(3): 229-250 (2005) - Jonathan Billington, Guy Edward Gallasch, Laure Petrucci:
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. Nord. J. Comput. 12(3): 251-274 (2005) - Lukasz Dobrzanski, Ludwik Kuzniarz:
Practical Refactoring of Executable UML Models. Nord. J. Comput. 12(4): 343-360 (2005) - Amr Elmasry:
Deterministic Jumplists. Nord. J. Comput. 12(1): 27-39 (2005) - Juhan P. Ernits:
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. Nord. J. Comput. 12(2): 68-88 (2005) - Wan J. Fokkink, Jaap-Henk Hoepman, Jun Pang:
A Note on K-State Self-stabilization in a Ring with K=N. Nord. J. Comput. 12(1): 18-26 (2005) - Kai Koskimies, Ludwik Kuzniarz:
Guest Editors' Foreword. Nord. J. Comput. 12(4): 319-320 (2005) - Lars Kristiansen, Paul J. Voda:
Programming Languages Capturing Complexity Classes. Nord. J. Comput. 12(2): 89-115 (2005) - Danny Krizanc, Pat Morin, Michiel H. M. Smid:
Range Mode and Range Median Queries on Lists and Trees. Nord. J. Comput. 12(1): 1-17 (2005) - Marcel Kyas, Frank S. de Boer, Willem P. de Roever:
A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (2005) - 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. Nord. J. Comput. 12(4): 361-378 (2005)