Nord. J. Comput.

Keyphrases

Publications

volume 15, number 2, 2015

Natarajan Shankar, K. Subramani, Pavlos Eirinakis
Identifying Negative Cost Cycles in Strongly Polynomial Space. Nord. J. Comput. 15 (2) (2015)
Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron
Timed-Gamma and its Coordination Language. Nord. J. Comput. 15 (2) (2015)
George B. Purdy, Justin W. Smith
On Finding Ordinary or Monochromatic Intersection Points. Nord. J. Comput. 15 (2) (2015)
Christoph Knieke, Michaela Huhn
Semantic Foundation and Validation of Live Activity Diagrams. Nord. J. Comput. 15 (2) (2015)

volume 15, number 1, 2013

volume 14, number 3, 2008

volume 14, number 4, 2008

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

volume 14, number 1-2, 2007

volume 13, number 1-2, 2006

Monica Nesi, Giustina Nocera
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. Nord. J. Comput. 13 (1-2) (2006)
Tristan Crolard, Samuel Lacas, Pierre Valarcher
On the Expressive Power of the Loop Language. Nord. J. Comput. 13 (1-2) (2006)
Maksym Bortin, Einar Broch Johnsen, Christoph Lüth
Structured Formal Development in Isabelle. Nord. J. Comput. 13 (1-2) (2006)
Ingo Brückner, Björn Metzler, Heike Wehrheim
Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput. 13 (1-2) (2006)
Christoffer Rosenkilde Nielsen, Hanne Riis Nielson
Static Analysis for Blinding. Nord. J. Comput. 13 (1-2) (2006)
Neil D. Jones
Guest Editor's Foreword. Nord. J. Comput. 13 (1-2) (2006)
Kristian Støvring
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nord. J. Comput. 13 (1-2) (2006)
Troels Christoffer Damgaard, Lars Birkedal
Axiomatizing Binding Bigraphs. Nord. J. Comput. 13 (1-2) (2006)
Leonidas Tsiopoulos, Marina Waldén
Formal Development of NoC Systems in B. Nord. J. Comput. 13 (1-2) (2006)

volume 13, number 3, 2006

volume 13, number 4, 2006

volume 12, number 4, 2005

Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
Comparison of Modeling Frameworks for Software Engineering. Nord. J. Comput. 12 (4) (2005)
Kai Koskimies, Ludwik Kuzniarz
Guest Editors' Foreword. Nord. J. Comput. 12 (4) (2005)
Sven Wenzel
Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams. Nord. J. Comput. 12 (4) (2005)