:facetid:toc:\"db/journals/njc/njc5.bht\"OK:facetid:toc:db/journals/njc/njc5.bhtMartín AbadiAndrew D. Gordon 0001A Bisimulation Method for Cryptographic Protocols.Nord. J. Comput.54267-1998Journal Articlesunavailablejournals/njc/AbadiG98https://dblp.org/rec/journals/njc/AbadiG98URL#6573352Ricardo A. Baeza-YatesHector Soza-PollmanAnalysis of Linear Hashing Revisited.Nord. J. Comput.511998Journal Articlesunavailablejournals/njc/Baeza-YatesS98https://dblp.org/rec/journals/njc/Baeza-YatesS98URL#6573353Ole-Johan DahlOlaf OweTore J. BastiansenSubtyping and Constructive Specification.Nord. J. Comput.511998Journal Articlesunavailablejournals/njc/DahlOB98https://dblp.org/rec/journals/njc/DahlOB98URL#6573354Stefan DobrevPeter RuzickaOn the Communication Complexity of Strong Time-Optimal Distributed Algorithms.Nord. J. Comput.5287-1041998Journal Articlesunavailablejournals/njc/DobrevR98https://dblp.org/rec/journals/njc/DobrevR98URL#6573355Christian FechtHelmut SeidlPropagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.Nord. J. Comput.54304-3291998Journal Articlesunavailablejournals/njc/FechtS98https://dblp.org/rec/journals/njc/FechtS98URL#6573356Joseph L. GanleyJeffrey S. SaloweThe Power-p Steiner Tree Problem.Nord. J. Comput.52115-1271998Journal Articlesunavailablejournals/njc/GanleyS98https://dblp.org/rec/journals/njc/GanleyS98URL#6573357Teofilo F. GonzalezBounded Fan-Out Multimessage Multicasting.Nord. J. Comput.53196-2131998Journal Articlesunavailablejournals/njc/Gonzalez98https://dblp.org/rec/journals/njc/Gonzalez98URL#6573358Chris HankinGuest Editor's Foreword.Nord. J. Comput.54265-2661998Journal Articlesunavailablejournals/njc/Hankin98https://dblp.org/rec/journals/njc/Hankin98URL#6573359Pinar HeggernesJan Arne TellePartitioning Graphs into Generalized Dominating Sets.Nord. J. Comput.52128-1421998Journal Articlesunavailablejournals/njc/HeggernesT98https://dblp.org/rec/journals/njc/HeggernesT98URL#6573360Peter HøyerKim S. LarsenParametric Permutation Routing via Matchings.Nord. J. Comput.52105-1141998Journal Articlesunavailablejournals/njc/HoyerL98https://dblp.org/rec/journals/njc/HoyerL98URL#6573361Mika JohnssonGábor MagyarOlli NevalainenOn the Euclidean 3-Matching Problem.Nord. J. Comput.52143-1998Journal Articlesunavailablejournals/njc/JohnssonMN98https://dblp.org/rec/journals/njc/JohnssonMN98URL#6573362Jan KratochvílAndrzej ProskurowskiJan Arne TelleOn the Complexity of Graph Covering Problems.Nord. J. Comput.53173-1951998Journal Articlesunavailablejournals/njc/KratochvilPT98https://dblp.org/rec/journals/njc/KratochvilPT98URL#6573363Bjørn KristoffersenOle-Johan DahlOn Introducing Higher Order Functions in ABEL.Nord. J. Comput.511998Journal Articlesunavailablejournals/njc/KristoffersenD98https://dblp.org/rec/journals/njc/KristoffersenD98URL#6573364Drago KrznaricChristos LevcopoulosComputing a Threaded Quadtree from the Delaunay Triangulation in linear Time.Nord. J. Comput.511998Journal Articlesunavailablejournals/njc/KrznaricL98https://dblp.org/rec/journals/njc/KrznaricL98URL#6573365K. Rustan M. LeinoRecursive Object Types in a Logic of Object-Oriented Programs.Nord. J. Comput.54330-3601998Journal Articlesunavailablejournals/njc/Leino98https://dblp.org/rec/journals/njc/Leino98URL#6573366Christian MossinHigher-Order Value Flow Graphs.Nord. J. Comput.53214-2341998Journal Articlesunavailablejournals/njc/Mossin98https://dblp.org/rec/journals/njc/Mossin98URL#6573367Jukka PaakkiAntti-Pekka TuovinenSource-to-Source Translation of Visual Languages.Nord. J. Comput.53235-1998Journal Articlesunavailablejournals/njc/PaakkiT98https://dblp.org/rec/journals/njc/PaakkiT98URL#6573368John L. RossShmuel SagivBuilding a Bridge between Pointer Aliases and Program Dependences.Nord. J. Comput.54361-1998Journal Articlesunavailablejournals/njc/RossS98https://dblp.org/rec/journals/njc/RossS98URL#6573369