default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNordic Journal of Computing, Volume 12
Volume 12, Number 1, 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) - 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) - Amr Elmasry:
Deterministic Jumplists. Nord. J. Comput. 12(1): 27-39 (2005) - Veli Mäkinen, Gonzalo Navarro:
Succinct Suffix Arrays based on Run-Length Encoding. Nord. J. Comput. 12(1): 40-66 (2005)
Volume 12, Number 2, 2005
- Paul Pettersson, Wang Yi:
Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005) - Juhan P. Ernits:
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. Nord. J. Comput. 12(2): 68-88 (2005) - Lars Kristiansen, Paul J. Voda:
Programming Languages Capturing Complexity Classes. Nord. J. Comput. 12(2): 89-115 (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) - Härmel Nestra:
Transfinite Corecursion. Nord. J. Comput. 12(2): 133-156 (2005) - Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen:
Refining UML Interactions with Underspecification and Nondeterminism. Nord. J. Comput. 12(2): 157-188 (2005) - Todd L. Veldhuizen:
Language Embeddings that Preserve Staging and Safety. Nord. J. Comput. 12(2): 189-198 (2005)
Volume 12, Number 3, 2005
- Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres:
Guest Editors' Foreword. Nord. J. Comput. 12(3): 198-199 (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) - 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)
- Erez Petrank, Dror Rawitz:
The Hardness of Cache Conscious Data Placement. Nord. J. Comput. 12(3): 275-307 (2005) - Elena Prieto-Rodriguez, Christian Sloper:
Reducing to Independent Set Structure -- the Case of k-Internal Spanning Tree. Nord. J. Comput. 12(3): 308-318 (2005)
Volume 12, Number 4, August 2005
- Kai Koskimies, Ludwik Kuzniarz:
Guest Editors' Foreword. Nord. J. Comput. 12(4): 319-320 (2005) - Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
Comparison of Modeling Frameworks for Software Engineering. Nord. J. Comput. 12(4): 321-342 (2005) - Lukasz Dobrzanski, Ludwik Kuzniarz:
Practical Refactoring of Executable UML Models. Nord. J. Comput. 12(4): 343-360 (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) - Sven Wenzel:
Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams. Nord. J. Comput. 12(4): 361-378 (2005)
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-05 22:23 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:
