default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNordic Journal of Computing, Volume 13
Volume 13, Number 1-2, Summer 2006
- Neil D. Jones:
Guest Editor's Foreword. Nord. J. Comput. 13(1-2): 1 (2006) - Maksym Bortin, Einar Broch Johnsen, Christoph Lüth:
Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006) - Ingo Brückner, Björn Metzler, Heike Wehrheim:
Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput. 13(1-2): 22-45 (2006) - 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) - 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) - Kristian Støvring:
Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nord. J. Comput. 13(1-2): 117-126 (2006) - Leonidas Tsiopoulos, Marina Waldén:
Formal Development of NoC Systems in B. Nord. J. Comput. 13(1-2): 127-145 (2006)
Volume 13, Number 3, Fall 2006
- Andreas Prinz, Merete Skjelten Tveit:
Guest Editor's Foreword. Nord. J. Comput. 13(3): 147-148 (2006) - Pauli Byckling, Petri Gerdt, Ludwik Kuzniarz, Jorma Sajaniemi:
Increasing Comprehensibility of Object Models: Making the Roles of Attributes Explicit in UML Diagrams. Nord. J. Comput. 13(3): 149-161 (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) - Mika Siikarla, Jari Peltonen, Johannes Koskinen:
Towards Unambiguous Model Fragments. Nord. J. Comput. 13(3): 180-195 (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)
Volume 13, Number 4, Winter 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) - Alexandru Berlea:
Online Evaluation of Regular Tree Queries. Nord. J. Comput. 13(4): 240-265 (2006) - Rajiv Kumar Poddar, Purandar Bhaduri:
Verification of Giotto based Embedded Control Systems. Nord. J. Comput. 13(4): 266-293 (2006) - Prosenjit Gupta:
Range-Aggregate Query Problems Involving Geometric Aggregation Operations. Nord. J. Comput. 13(4): 294-308 (2006) - K. Subramani, John Argentieri:
Chain Programming over Difference Constraints. Nord. J. Comput. 13(4): 309-327 (2006) - Daniel Lemire:
Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element. Nord. J. Comput. 13(4): 328-339 (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)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
