Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNordic Journal of Computing, Volume 11
Volume 11, Number 1, 2004
- Martin Gairing, Robert Geist, Stephen T. Hedetniemi, Petter Kristiansen:
A Self-stabilizing Algorithm for Maximal 2-packing. Nord. J. Comput. 11(1): 1-11 (2004) - Terje Sivertsen:
Undefinedness vs. Underspecification in HALDEN ASL. Nord. J. Comput. 11(1): 12-34 (2004) - Zdenek Tronícek:
Episode Directed Acyclic Subsequence Graph. Nord. J. Comput. 11(1): 35-40 (2004) - Alexandru Berlea, Helmut Seidl:
Binary Queries for Document Trees. Nord. J. Comput. 11(1): 41-71 (2004)
Volume 11, Number 2, 2004
- Kaisa Sere, Marina Waldén:
Guest Editors' Foreword. Nord. J. Comput. 11(2): 73-74 (2004) - Pontus Boström, Marina Waldén:
Implementation of Control Systems Using B Action Systems: A Case Study. Nord. J. Comput. 11(2): 75-101 (2004) - Orieta Celiku, Annabelle McIver:
Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. Nord. J. Comput. 11(2): 102-128 (2004) - Elena Fersman, Wang Yi:
A Generic Approach to Schedulability Analysis of Real-Time Tasks. Nord. J. Comput. 11(2): 129-147 (2004) - Timo Latvala, Heikki Tauriainen:
Improved On-the-fly Verification with Testers. Nord. J. Comput. 11(2): 148-164 (2004) - Rimvydas Ruksenas:
A Rigourous Environment for Development of Concurrent Systems. Nord. J. Comput. 11(2): 165-193 (2004) - Gerardo Schneider:
Computing Invariance Kernels of Polygonal Hybrid Systems. Nord. J. Comput. 11(2): 194-209 (2004)
Volume 11, Number 3, 2004
- Johan Lilius, Kasper Østerbye:
Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries. Nord. J. Comput. 11(3): 211-212 (2004) - Anders Nilsson, Anders Ive, Torbjörn Ekman, Görel Hedin:
Implementing Java Compilers Using ReRAGs. Nord. J. Comput. 11(3): 213-234 (2004) - Petri Selonen, Mika Siikarla, Kai Koskimies, Tommi Mikkonen:
Towards the Unification of Patterns and Profiles in UML. Nord. J. Comput. 11(3): 235-253 (2004) - Miroslaw Staron, Ludwik Kuzniarz, Ludwik Wallin:
Case Study on a Process of Industrial MDA Realization -- Determinants of Effectiveness. Nord. J. Comput. 11(3): 254-278 (2004) - Harald Störrle:
Structured Nodes in UML 2.0 Activities. Nord. J. Comput. 11(3): 279-302 (2004) - Thomas Vestdam, Kurt Nørmark:
Maintaining Program Understanding -- Issues, Tools, and Future Directions. Nord. J. Comput. 11(3): 303-319 (2004)
Volume 11, Number 4, 2004
- Erkki Sutinen, Jorma Tarhio:
Approximate String Matching with Ordered q-Grams. Nord. J. Comput. 11(4): 321-343 (2004) - Sergey Bereg, Michael Segal:
Dynamic Algorithms for Approximating Interdistances. Nord. J. Comput. 11(4): 344-355 (2004) - Gonzalo Navarro:
Approximate Regular Expression Searching with Arbitrary Integer Weights. Nord. J. Comput. 11(4): 356-373 (2004) - Hans L. Bodlaender, Jan Arne Telle:
Space-Efficient Construction Variants of Dynamic Programming. Nord. J. Comput. 11(4): 374-385 (2004)
a service of 
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 2024-04-19 19:19 CEST 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:
