Nordic Journal of Computing, Volume 13

Summer 2006, Volume 13, Number 1-2

Selected Papers of the 17th Nordic Workshop on Programming Theory (NWPT'05), October 19-21, 2005

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

Fall 2006, Volume 13, Number 3

Selected Papers of the Fourth Nordic Workshop on UML and Software Modelling (NWUML'06), June 12-14, 2006

• Andreas Prinz and Merete Skjelten Tveit. Guest Editor's Foreword. Nordic Journal of Computing, 13(3):147-148, Fall 2006.
• Pauli Byckling, Petri Gerdt, Ludwik Kuzniarz and Jorma Sajaniemi. Increasing Comprehensibility of Object Models: Making the Roles of Attributes Explicit in UML Diagrams. Nordic Journal of Computing, 13(3):149-161, Fall 2006.
• Johannes Koskinen, Anna Ruokonen and Tarja Systä. A Pattern-Based Approach to Generate Code from API Usage Scenarios. Nordic Journal of Computing, 13(3):162-179, Fall 2006.
• Mika Siikarla, Jari Peltonen and Johannes Koskinen. Towards Unambiguous Model Fragments. Nordic Journal of Computing, 13(3):180-195, Fall 2006.
• André L. Santos, Kai Koskimies and Antónia Lopes. A Model-Driven Approach to Variability Management in Product-Line Engineering. Nordic Journal of Computing, 13(3):196-213, Fall 2006.

Winter 2006, Volume 13, Number 4

• Assefaw Hadish Gebremedhin, Mohamed Essaïdi, Isabelle Guérin Lassous, Jens Gustedt and Jan Arne Telle. PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms. Nordic Journal of Computing, 13(4):215-239, Winter 2006.
• Alexandru Berlea. Online Evaluation of Regular Tree Queries. Nordic Journal of Computing, 13(4):240-265, Winter 2006.
• Rajiv Kumar Poddar and Purandar Bhaduri. Verification of Giotto based Embedded Control Systems. Nordic Journal of Computing, 13(4):266-293, Winter 2006.
• Prosenjit Gupta. Range-Aggregate Query Problems Involving Geometric Aggregation Operations. Nordic Journal of Computing, 13(4):294-308, Winter 2006.
• K. Subramani and John Argentieri. Chain Programming over Difference Constraints. Nordic Journal of Computing, 13(4):309-327, Winter 2006.
• Daniel Lemire. Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element. Nordic Journal of Computing, 13(4):328-339, Winter 2006.

Note:

• Michel Schellekens, Rachit Agarwal, Emanuel Popovici and Ka Lok Man. A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons. Nordic Journal of Computing, 13(4):340-346, Winter 2006.

Shortcuts: