:facetid:toc:\"db/journals/njc/njc11.bht\"OK:facetid:toc:db/journals/njc/njc11.bhtSergey BeregMichael Segal 0001Dynamic Algorithms for Approximating Interdistances.Nord. J. Comput.114344-3552004Journal Articlesunavailablejournals/njc/BeregS04https://dblp.org/rec/journals/njc/BeregS04URL#5997446Alexandru BerleaHelmut SeidlBinary Queries for Document Trees.Nord. J. Comput.11141-712004Journal Articlesunavailablejournals/njc/BerleaS04https://dblp.org/rec/journals/njc/BerleaS04URL#5997447Hans L. BodlaenderJan Arne TelleSpace-Efficient Construction Variants of Dynamic Programming.Nord. J. Comput.114374-3852004Journal Articlesunavailablejournals/njc/BodlaenderT04https://dblp.org/rec/journals/njc/BodlaenderT04URL#5997448Pontus BoströmMarina WaldénImplementation of Control Systems Using B Action Systems: A Case Study.Nord. J. Comput.11275-1012004Journal Articlesunavailablejournals/njc/BostromW04https://dblp.org/rec/journals/njc/BostromW04URL#5997449Orieta CelikuAnnabelle McIverCost-Based Analysis of Probabilistic Programs Mechanised in HOL.Nord. J. Comput.112102-1282004Journal Articlesunavailablejournals/njc/CelikuM04https://dblp.org/rec/journals/njc/CelikuM04URL#5997450Elena FersmanWang Yi 0001A Generic Approach to Schedulability Analysis of Real-Time Tasks.Nord. J. Comput.112129-1472004Journal Articlesunavailablejournals/njc/FersmanY04https://dblp.org/rec/journals/njc/FersmanY04URL#5997451Martin GairingRobert GeistStephen T. HedetniemiPetter KristiansenA Self-stabilizing Algorithm for Maximal 2-packing.Nord. J. Comput.1111-112004Journal Articlesunavailablejournals/njc/GairingGHK04https://dblp.org/rec/journals/njc/GairingGHK04URL#5997452Timo LatvalaHeikki TauriainenImproved On-the-fly Verification with Testers.Nord. J. Comput.112148-1642004Journal Articlesunavailablejournals/njc/LatvalaT04https://dblp.org/rec/journals/njc/LatvalaT04URL#5997453Johan LiliusKasper ØsterbyeGuest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries.Nord. J. Comput.113211-2122004Journal Articlesunavailablejournals/njc/LiliusO04https://dblp.org/rec/journals/njc/LiliusO04URL#5997454Gonzalo Navarro 0001Approximate Regular Expression Searching with Arbitrary Integer Weights.Nord. J. Comput.114356-3732004Journal Articlesunavailablejournals/njc/Navarro04https://dblp.org/rec/journals/njc/Navarro04URL#5997455Anders Nilsson 0003Anders IveTorbjörn Ekman 0001Görel HedinImplementing Java Compilers Using ReRAGs.Nord. J. Comput.113213-2342004Journal Articlesunavailablejournals/njc/NilssonIEH04https://dblp.org/rec/journals/njc/NilssonIEH04URL#5997456Rimvydas RuksenasA Rigourous Environment for Development of Concurrent Systems.Nord. J. Comput.112165-1932004Journal Articlesunavailablejournals/njc/Ruksenas04https://dblp.org/rec/journals/njc/Ruksenas04URL#5997457Gerardo SchneiderComputing Invariance Kernels of Polygonal Hybrid Systems.Nord. J. Comput.112194-2092004Journal Articlesunavailablejournals/njc/Schneider04https://dblp.org/rec/journals/njc/Schneider04URL#5997458Petri SelonenMika SiikarlaKai KoskimiesTommi MikkonenTowards the Unification of Patterns and Profiles in UML.Nord. J. Comput.113235-2532004Journal Articlesunavailablejournals/njc/SelonenSKM04https://dblp.org/rec/journals/njc/SelonenSKM04URL#5997459Kaisa SereMarina WaldénGuest Editors' Foreword.Nord. J. Comput.11273-742004Journal Articlesunavailablejournals/njc/SereW04https://dblp.org/rec/journals/njc/SereW04URL#5997460Terje SivertsenUndefinedness vs. Underspecification in HALDEN ASL.Nord. J. Comput.11112-342004Journal Articlesunavailablejournals/njc/Sivertsen04https://dblp.org/rec/journals/njc/Sivertsen04URL#5997461Miroslaw StaronLudwik KuzniarzLudwik WallinCase Study on a Process of Industrial MDA Realization -- Determinants of Effectiveness.Nord. J. Comput.113254-2782004Journal Articlesunavailablejournals/njc/StaronKW04https://dblp.org/rec/journals/njc/StaronKW04URL#5997462Harald StörrleStructured Nodes in UML 2.0 Activities.Nord. J. Comput.113279-3022004Journal Articlesunavailablejournals/njc/Storrle04https://dblp.org/rec/journals/njc/Storrle04URL#5997463Erkki SutinenJorma TarhioApproximate String Matching with Ordered q-Grams.Nord. J. Comput.114321-3432004Journal Articlesunavailablejournals/njc/SutinenT04https://dblp.org/rec/journals/njc/SutinenT04URL#5997464Zdenek TronícekEpisode Directed Acyclic Subsequence Graph.Nord. J. Comput.11135-402004Journal Articlesunavailablejournals/njc/Tronicek04https://dblp.org/rec/journals/njc/Tronicek04URL#5997465Thomas VestdamKurt NørmarkMaintaining Program Understanding -- Issues, Tools, and Future Directions.Nord. J. Comput.113303-3192004Journal Articlesunavailablejournals/njc/VestdamN04https://dblp.org/rec/journals/njc/VestdamN04URL#5997466