Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.11",
%%%     date            = "25 April 2024",
%%%     time            = "09:55:27 MST",
%%%     filename        = "nordic-j-computing.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "46721 6319 21637 230095",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, Nordic Journal of
%%%                        Computing",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a COMPLETE bibliography of the
%%%                        quarterly Nordic Journal of Computing (CODEN
%%%                        NJCOFR, ISSN 1236-6064), published by
%%%                        Publishing Association Nordic Journal of
%%%                        Computing, Helsinki, Finland.  It began with
%%%                        volume 1, number 1, Spring 1994, and appears
%%%                        quarterly.  It has a World-Wide Web site at
%%%
%%%                            http://www.cs.helsinki.fi/njc/
%%%
%%%                        with pointers to complete tables of contents,
%%%                        abstracts, selected references, and an author
%%%                        index.
%%%
%%%                        At version 1.11, the year coverage looked
%%%                        like this:
%%%
%%%                             1994 (  28)    2001 (  23)    2008 (  11)
%%%                             1995 (  23)    2002 (  23)    2009 (   0)
%%%                             1996 (  25)    2003 (  22)    2010 (   0)
%%%                             1997 (  20)    2004 (  22)    2011 (   0)
%%%                             1998 (  18)    2005 (  22)    2012 (   0)
%%%                             1999 (  29)    2006 (  21)    2013 (   5)
%%%                             2000 (  24)    2007 (   6)
%%%
%%%                             Article:        322
%%%
%%%                             Total entries:  322
%%%
%%%                        The initial draft of this bibliography was
%%%                        derived entirely from the tables of contents
%%%                        at the journal Web site, then augmented with
%%%                        data from the MathSciNet database, with
%%%                        discrepancies cross-checked in the
%%%                        Zentralblatt fuer Mathematik database.  This
%%%                        journal is not covered by the OCLC
%%%                        Contents1st database, or by the Compendex
%%%                        database.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.   Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, using bibsort -byvolume.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
@Preamble{
    "\ifx \scr \undefined \let \scr = \cal \fi"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%======================================================================
%%% Journal abbreviations:
@String{j-NORDIC-J-COMPUT       = "Nordic Journal of Computing"}

%%% ====================================================================
%%% Bibliography entries.
@Article{Fisher:1994:LCO,
  author =       "Kathleen Fisher and Furio Honsell and John C.
                 Mitchell",
  title =        "A lambda calculus of objects and method
                 specialization",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "3--37",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q55 (03B40)",
  MRnumber =     "95m:68109",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/fisherhm1994:3.html",
  acknowledgement = ack-nhfb,
}

@Article{Hagerup:1994:GTS,
  author =       "Torben Hagerup and Martin Maas",
  title =        "Generalized topological sorting in linear time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "38--49",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68R10 (05C85 68Q20)",
  MRnumber =     "96d:68164",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/hagerupm1994:38.html",
  acknowledgement = ack-nhfb,
}

@Article{Melham:1994:MTC,
  author =       "T. F. Melham",
  title =        "A mechanized theory of the {$\pi$}-calculus in {HOL}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "50--76",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q60 (68T15)",
  MRnumber =     "96b:68121",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/melham1994:50.html",
  acknowledgement = ack-nhfb,
}

@Article{Mossenbock:1994:EOS,
  author =       "Hanspeter M{\"o}ssenb{\"o}ck",
  title =        "Extensibility in the {Oberon} system",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "77--93",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:29 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/mossenbock1994:77.html",
  acknowledgement = ack-nhfb,
}

@Article{Orponen:1994:CCN,
  author =       "Pekka Orponen",
  title =        "Computational complexity of neural networks: a
                 survey",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "94--110",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q05 (68T05 92B20)",
  MRnumber =     "96a:68022",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/orponen1994:94.html",
  acknowledgement = ack-nhfb,
  xxtitle =      "Neural networks and complexity theory",
}

@Article{Bodlaender:1994:TON,
  author =       "Hans L. Bodlaender and Gerard Tel and Nicola Santoro",
  title =        "Trade-offs in non-reversing diameter",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "111--134",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68R10",
  MRnumber =     "96c:68148",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bodlaenderts1994:111.html",
  acknowledgement = ack-nhfb,
}

@Article{Lysne:1994:HCA,
  author =       "Olav Lysne",
  title =        "Heuristics for completion in automatic proofs by
                 structural induction",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "135--156",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68T15 (03B35)",
  MRnumber =     "95m:68152",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/lysne1994:135.html",
  acknowledgement = ack-nhfb,
}

@Article{Telle:1994:CDT,
  author =       "Jan Arne Telle",
  title =        "Complexity of domination-type problems in graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "157--171",
  month =        "Spring",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (05C70 05C85 68Q10)",
  MRnumber =     "96g:68056",
  MRreviewer =   "Italo Jos{\'e} Dejter",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/telle1994:157.html",
  acknowledgement = ack-nhfb,
}

@Article{Blair:1994:FMD,
  author =       "Jean R. S. Blair and Barry W. Peyton",
  title =        "On finding minimum-diameter clique trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "173--201",
  month =        "Summer",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P05 (05C05 05C85 68R10)",
  MRnumber =     "96c:68029",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/blairp1994:173.html",
  acknowledgement = ack-nhfb,
}

@Article{Coolsaet:1994:TMV,
  author =       "K. Coolsaet and V. Fack and H. De Meyer",
  title =        "A tabular method for verification of data exchange
                 algorithms on networks of parallel processors",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "202--213",
  month =        "Summer",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:29 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/coolsaetfm1994:202.html",
  acknowledgement = ack-nhfb,
}

@Article{Jajodia:1994:VBD,
  author =       "S. Jajodia and R. Mukkamala and K. V. S. Ramarao",
  title =        "A view-based dynamic replication control algorithm",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "214--230",
  month =        "Summer",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:29 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/jajodiamr1994:214.html",
  acknowledgement = ack-nhfb,
}

@Article{Janardan:1994:WCP,
  author =       "Ravi Janardan and Franco P. Preparata",
  title =        "Widest-corridor problems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "231--245",
  month =        "Summer",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (52B55 68Q25)",
  MRnumber =     "96e:68131",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/janardanp1994:231.html",
  acknowledgement = ack-nhfb,
}

@Article{Pferschy:1994:SGC,
  author =       "Ulrich Pferschy and R{\"u}diger Rudolf and Gerhard J.
                 Woeginger",
  title =        "Some geometric clustering problems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "246--263",
  month =        "Summer",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (68Q25)",
  MRnumber =     "96d:68212",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/pferschyrw1994:246.html",
  acknowledgement = ack-nhfb,
}

@Article{Jansen:1994:IFD,
  author =       "Klaus Jansen",
  title =        "Integral flow with disjoint bundles",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "264--267",
  month =        "Summer",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (05C85 68R10)",
  MRnumber =     "96f:68062",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/jansen1994:264.html",
  acknowledgement = ack-nhfb,
}

@Article{Krussel:1994:NHO,
  author =       "John W. Krussel and Barry F. Schaudt",
  title =        "A note on higher order {Vorono{\u{\i}}diagrams}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "268--272",
  month =        "Summer",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05",
  MRnumber =     "96g:68140",
  MRreviewer =   "Hans-Dietrich Hecker",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/krussels1994:268.html",
  acknowledgement = ack-nhfb,
}

@Article{Lingas:1994:EF,
  author =       "Andrzej Lingas",
  title =        "{Editor}'s foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "3",
  pages =        "273--??",
  month =        "Fall",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:29 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Marathe:1994:CAP,
  author =       "Madhav V. Marathe and Harry B. {Hunt, III} and S. S.
                 Ravi",
  title =        "The complexity of approximation {PSPACE}-complete
                 problems for hierarchical specifications",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "3",
  pages =        "275--316",
  month =        "Fall",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q15 (68Q25 68R10)",
  MRnumber =     "96d:68072",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 20th International Colloquium
                 on Automata, Languages and Programming (ICALP 93)
                 (Lund, 1993).",
  URL =          "http://www.cs.helsinki.fi/njc/References/marathehr1994:275.html",
  acknowledgement = ack-nhfb,
}

@Article{Kann:1994:PBM,
  author =       "Viggo Kann",
  title =        "Polynomially bounded minimization problems that are
                 hard to approximate",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "3",
  pages =        "317--331",
  month =        "Fall",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q15 (68Q25)",
  MRnumber =     "96h:68072",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 20th International Colloquium
                 on Automata, Languages and Programming (ICALP 93)
                 (Lund, 1993).",
  URL =          "http://www.cs.helsinki.fi/njc/References/kann1994:317.html",
  acknowledgement = ack-nhfb,
}

@Article{Chlebus:1994:SNS,
  author =       "Bogdan S. Chlebus and Krzysztof Diks and Andrzej
                 Pelc",
  title =        "Sparse networks supporting efficient reliable
                 broadcasting",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "3",
  pages =        "332--345",
  month =        "Fall",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M10 (90B12)",
  MRnumber =     "96b:68021",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 20th International Colloquium
                 on Automata, Languages and Programming (ICALP 93)
                 (Lund, 1993).",
  URL =          "http://www.cs.helsinki.fi/njc/References/chlebusdp1994:332.html",
  acknowledgement = ack-nhfb,
}

@Article{Havelund:1994:FC,
  author =       "Klaus Havelund and Kim Guldstrand Larsen",
  title =        "The fork calculus",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "3",
  pages =        "346--363",
  month =        "Fall",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q10 (68Q55 68Q60)",
  MRnumber =     "96c:68048",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 20th International Colloquium
                 on Automata, Languages and Programming (ICALP 93)
                 (Lund, 1993).",
  URL =          "http://www.cs.helsinki.fi/njc/References/havelundl1994:346.html",
  acknowledgement = ack-nhfb,
}

@Article{Hungar:1994:LMC,
  author =       "Hardi Hungar and Bernhard Steffen",
  title =        "Local model checking for context-free processes",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "3",
  pages =        "364--385",
  month =        "Fall",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q60",
  MRnumber =     "96h:68126",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 20th International Colloquium
                 on Automata, Languages and Programming (ICALP 93)
                 (Lund, 1993).",
  URL =          "http://www.cs.helsinki.fi/njc/References/hungars1994:364.html",
  acknowledgement = ack-nhfb,
}

@Article{Skyum:1994:GEF,
  author =       "Sven Skyum",
  title =        "{Guest Editor}'s foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "4",
  pages =        "387--??",
  month =        "Winter",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:29 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Becker:1994:NAC,
  author =       "Peter Becker",
  title =        "A new algorithm for the construction of optimal
                 {$B$}-trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "4",
  pages =        "389--401",
  month =        "Winter",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P05 (68Q20 90C27)",
  MRnumber =     "96d:68035b",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 4th Scandinavian Workshop on
                 Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).",
  URL =          "http://www.cs.helsinki.fi/njc/References/becker1994:389.html",
  acknowledgement = ack-nhfb,
}

@Article{Schenk:1994:PDL,
  author =       "Eric Schenk",
  title =        "Parallel dynamic lowest common ancestors",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "4",
  pages =        "402--432",
  month =        "Winter",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P05",
  MRnumber =     "96d:68037",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 4th Scandinavian Workshop on
                 Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).",
  URL =          "http://www.cs.helsinki.fi/njc/References/schenk1994:402.html",
  acknowledgement = ack-nhfb,
}

@Article{Das:1994:FAW,
  author =       "Gautam Das and Paul J. Heffernan and Giri Narasimhan",
  title =        "Finding all weakly visible chords of a polygon in
                 linear time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "4",
  pages =        "433--457",
  month =        "Winter",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (68Q25)",
  MRnumber =     "97f:68186",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 4th Scandinavian Workshop on
                 Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).",
  URL =          "http://www.cs.helsinki.fi/njc/References/dashn1994:433.html",
  acknowledgement = ack-nhfb,
}

@Article{Schuierer:1994:TAC,
  author =       "Sven Schuierer",
  title =        "An {$O(\log \log n)$} time algorithm to compute the
                 kernel of a polygon",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "4",
  pages =        "458--474",
  month =        "Winter",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (52B55 68Q25)",
  MRnumber =     "96k:68198",
  MRreviewer =   "Hans-Dietrich Hecker",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 4th Scandinavian Workshop on
                 Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).",
  URL =          "http://www.cs.helsinki.fi/njc/References/schuierer1994:458.html",
  acknowledgement = ack-nhfb,
}

@Article{Halldorsson:1994:IAI,
  author =       "Magn{\'u}s M. Halld{\'o}rsson and Jaikumar
                 Radhakrishnan",
  title =        "Improved approximations of independent sets in
                 bounded-degree graphs via subgraph removal",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "4",
  pages =        "475--492",
  month =        "Winter",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "05C85 (05C35 68R10)",
  MRnumber =     "96h:05186b",
  MRreviewer =   "Mukkai S. Krishnamoorthy",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 4th Scandinavian Workshop on
                 Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).",
  URL =          "http://www.cs.helsinki.fi/njc/References/halldorssonr1994:475.html",
  acknowledgement = ack-nhfb,
}

@Article{Peinado:1994:HGR,
  author =       "Marcus Peinado",
  title =        "Hard graphs for the randomized
                 {Boppana-Halld{\'o}rsson} algorithm for {MAXCLIQUE}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "1",
  number =       "4",
  pages =        "493--515",
  month =        "Winter",
  year =         "1994",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (05C80 05C85 68R10)",
  MRnumber =     "96h:68098b",
  MRreviewer =   "Mark R. Jerrum",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc1.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the 4th Scandinavian Workshop on
                 Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).",
  URL =          "http://www.cs.helsinki.fi/njc/References/peinado1994:493.html",
  acknowledgement = ack-nhfb,
}

@Article{Ukkonen:1995:EF,
  author =       "Esko Ukkonen",
  title =        "{Editor}'s foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "1--??",
  month =        "Spring",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:32 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Golin:1995:SRA,
  author =       "Mordecai Golin and Rajeev Raman and Christian Schwarz
                 and Michiel Smid",
  title =        "Simple randomized algorithms for closest pair
                 problems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "3--27",
  month =        "Spring",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (68P05)",
  MRnumber =     "96h:68206",
  MRreviewer =   "Hans-Dietrich Hecker",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/golinrss1995:3.html",
  acknowledgement = ack-nhfb,
}

@Article{Kamakoti:1995:ERA,
  author =       "V. Kamakoti and Kamala Krithivasan and C. Pandu
                 Rangan",
  title =        "An efficient randomized algorithm for the closest pair
                 problem on colored point sets",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "28--40",
  month =        "Spring",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (68P05)",
  MRnumber =     "96h:68207",
  MRreviewer =   "Hans-Dietrich Hecker",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/kamakotikr1995:28.html",
  acknowledgement = ack-nhfb,
}

@Article{Kratochvil:1995:GDC,
  author =       "Jan Kratochv{\'\i}l and Paul D. Manuel and Mirka
                 Miller",
  title =        "Generalized domination in chordal graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "41--50",
  month =        "Spring",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "05C85 (68Q25 68R10)",
  MRnumber =     "96h:05191",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/kratochvilmm1995:41.html",
  acknowledgement = ack-nhfb,
}

@Article{Leppanen:1995:WOS,
  author =       "Ville Lepp{\"a}nen and Martti Penttonen",
  title =        "Work-optimal simulation of {PRAM} models on meshes",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "51--69",
  month =        "Spring",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M07 (68Q05)",
  MRnumber =     "1 344 146",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/leppanenp1995:51.html",
  acknowledgement = ack-nhfb,
}

@Article{Vassilakopoulos:1995:EAO,
  author =       "Michael Vassilakopoulos and Yannis Manolopoulos and
                 Brigitte Kr{\"o}ll",
  title =        "Efficiency analysis of overlapped quadtrees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "70--84",
  month =        "Spring",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P05",
  MRnumber =     "96c:68032",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/vassilakopoulosmk1995:70.html",
  acknowledgement = ack-nhfb,
}

@Article{Jonsson:1995:GEF,
  author =       "B. Jonsson and Joachim Parrow",
  title =        "{Guest Editors}' foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "87--??",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:32 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Burkart:1995:CDM,
  author =       "Olaf Burkart and Bernhard Steffen",
  title =        "Composition, decomposition and model checking of
                 pushdown processes",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "89--125",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q05 (68Q60)",
  MRnumber =     "96g:68027",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/burkarts1995:89.html",
  acknowledgement = ack-nhfb,
}

@Article{DiGianantonio:1995:ULL,
  author =       "Pietro {Di Gianantonio} and Furio Honsell and Gordon
                 Plotkin",
  title =        "Uncountable limits and the lambda calculus",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "126--145",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q55 (03B40 06B35)",
  MRnumber =     "96j:68108",
  MRreviewer =   "Eugenio Moggi",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/gianantoniohp1995:126.html",
  acknowledgement = ack-nhfb,
}

@Article{Kanellakis:1995:CMA,
  author =       "Paris C. Kanellakis and Dimitrios Michailidis and Alex
                 Allister Shvartsman",
  title =        "Controlling memory access concurrency in efficient
                 fault-tolerant parallel algorithms",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "146--180",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q22 (68M10 68M15 68Q10)",
  MRnumber =     "96g:68047",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/kanellakisms1995:146.html",
  acknowledgement = ack-nhfb,
}

@Article{Mendler:1995:LVC,
  author =       "Nax P. Mendler and Prakash Panangaden and P. J. Scott
                 and R. A. G. Seely",
  title =        "A logical view of concurrent constraint programming",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "181--220",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q55 (03B70)",
  MRnumber =     "97a:68105",
  MRreviewer =   "Xiang Li",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/mendlerpss1995:181.html",
  acknowledgement = ack-nhfb,
}

@Article{Nielsen:1995:GLN,
  author =       "Mogens Nielsen and Christian Clausen",
  title =        "Games and logics for a noninterleaving bisimulation",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "221--249",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q10 (03B70 68Q55 68Q90)",
  MRnumber =     "96k:68060",
  MRreviewer =   "Peter Bachmann",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/nielsenc1995:221.html",
  acknowledgement = ack-nhfb,
}

@Article{Segala:1995:PSP,
  author =       "Roberto Segala and Nancy Lynch",
  title =        "Probabilistic simulations for probabilistic
                 processes",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "250--273",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q10 (68Q60)",
  MRnumber =     "96k:68063",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/segalal1995:250.html",
  acknowledgement = ack-nhfb,
}

@Article{Verhoef:1995:CTS,
  author =       "Chris Verhoef",
  title =        "A congruence theorem for structured operational
                 semantics with predicates and negative premises",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "274--302",
  month =        "Summer",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q55",
  MRnumber =     "96g:68072",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/verhoef1995:274.html",
  acknowledgement = ack-nhfb,
}

@Article{Fraser:1995:AAS,
  author =       "Campbell B. Fraser and Robert W. Irving",
  title =        "Approximation Algorithms for the Shortest Common
                 Supersequence",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "3",
  pages =        "303--325",
  month =        "Fall",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q20 (68Q25)",
  MRnumber =     "96m:68066",
  MRreviewer =   "Dany Breslauer",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/fraseri1995:303.html",
  acknowledgement = ack-nhfb,
}

@Article{Chung:1995:MPD,
  author =       "Kuo Liang Chung and Yu Wei Chen",
  title =        "Mapping Pyramids into {$3$-D} Meshes",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "3",
  pages =        "326--337",
  month =        "Fall",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M10",
  MRnumber =     "97b:68016",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/chungc1995:326.html",
  acknowledgement = ack-nhfb,
}

@Article{Godskesen:1995:SDF,
  author =       "Jens Chr. Godskesen and Kim G. Larsen",
  title =        "Synthesizing Distinguishing Formulae for Real Time
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "3",
  pages =        "338--357",
  month =        "Fall",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q60",
  MRnumber =     "96j:68121",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/godskesenl1995:338.html",
  acknowledgement = ack-nhfb,
}

@Article{Walicki:1995:SSI,
  author =       "Micha{\l} Walicki and Manfred Broy",
  title =        "Structured Specifications and Implementation of
                 Nondeterministic Data Types",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "3",
  pages =        "358--395",
  month =        "Fall",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q65",
  MRnumber =     "97f:68129",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/walickib1995:358.html",
  acknowledgement = ack-nhfb,
}

@Article{Chung:1995:FMF,
  author =       "Kuo-Liang -L. Chung",
  title =        "Fast Median-Finding on Mesh-Connected Computers with
                 Segmented Buses",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "4",
  pages =        "397--406",
  month =        "Winter",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M10 (68M07)",
  MRnumber =     "1 372 206",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/chung1995:397.html",
  acknowledgement = ack-nhfb,
}

@Article{Parrow:1995:ID,
  author =       "Joachim Parrow",
  title =        "Interaction Diagrams",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "4",
  pages =        "407--443",
  month =        "Winter",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q10",
  MRnumber =     "96k:68061",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/parrow1995:407.html",
  acknowledgement = ack-nhfb,
}

@Article{Rick:1995:NFA,
  author =       "Claus Rick",
  title =        "A New Flexible Algorithm for the Longest Common
                 Subsequence Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "4",
  pages =        "444--461",
  month =        "Winter",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q20 (68R15 92D20)",
  MRnumber =     "96j:68081",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/rick1995:444.html",
  acknowledgement = ack-nhfb,
}

@Article{Bodlaender:1995:CAT,
  author =       "Hans L. Bodlaender and Teofilo F. Gonzalez and Ton
                 Kloks",
  title =        "Complexity Aspects of Two-Dimensional Data
                 Compression",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "4",
  pages =        "462--495",
  month =        "Winter",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (68R10 94A29)",
  MRnumber =     "96k:68088",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bodlaendergk1995:462.html",
  acknowledgement = ack-nhfb,
}

@Article{Clausen:1995:FBC,
  author =       "Jens Clausen and Jakob Krarup",
  title =        "A Family of Bipartite Cardinality Matching Problems
                 Solvable in {$O(n^2)$} Time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "2",
  number =       "4",
  pages =        "496--501",
  month =        "Winter",
  year =         "1995",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (05C70 05C85 68R10 90C27)",
  MRnumber =     "96j:68088",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc2.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/clausenk1995:496.html",
  acknowledgement = ack-nhfb,
}

@Article{Tsin:1996:GVD,
  author =       "Yung H. Tsin and Cao-An Wang",
  title =        "Geodesic {Voronoi} Diagrams in the Presence of
                 Rectilinear Barriers",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "1--26",
  month =        "Spring",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (52B55)",
  MRnumber =     "98f:68271",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/tsinw1996:1.html",
  acknowledgement = ack-nhfb,
}

@Article{Katajainen:1996:PPM,
  author =       "Jyrki Katajainen and Tomi Pasanen and Jukka Teuhola",
  title =        "Practical In-Place Mergesort",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "27--40",
  month =        "Spring",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P10",
  MRnumber =     "97a:68041",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/katajainenpt1996:27.html",
  acknowledgement = ack-nhfb,
}

@Article{Seidl:1996:LGS,
  author =       "Helmut Seidl",
  title =        "Least and greatest solutions of equations over {$\scr
                 N$}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "41--62",
  month =        "Spring",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q55 (06B35 68N20)",
  MRnumber =     "97c:68093",
  MRreviewer =   "Victor N. Kas{\cprime}yanov",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/seidl1996:41.html",
  acknowledgement = ack-nhfb,
}

@Article{Akl:1996:GAT,
  author =       "Selim G. Akl and Ivan Stojmenovic",
  title =        "Generating $t$-ary Trees in Parallel",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "63--71",
  month =        "Spring",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68R10 (68P05 68Q22)",
  MRnumber =     "97b:68165",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/akls1996:63.html",
  acknowledgement = ack-nhfb,
}

@Article{Datta:1996:OPA,
  author =       "Amitava Datta and Anil Maheshwari and
                 J{\"o}rg-R{\"u}diger -R. Sack",
  title =        "Optimal Parallel Algorithms for Direct Dominance
                 Problems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "72--88",
  month =        "Spring",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (68Q22)",
  MRnumber =     "97d:68234",
  MRreviewer =   "Evangelos Kranakis",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/dattams1996:72.html",
  acknowledgement = ack-nhfb,
}

@Article{Lin:1996:SAS,
  author =       "C.-Z. Lin and C.-C. Tseng and Y.-L. Chen and T.-W.
                 Kuo",
  title =        "A Systematic Approach to Synthesize Data Alignment
                 Directives for Distributed Memory Machines",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "89--119",
  month =        "Summer",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:30:22 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/lintck1996:89.html",
  acknowledgement = ack-nhfb,
  xxnote =       "Check pages??",
}

@Article{Malmi:1996:NMU,
  author =       "Lauri Malmi",
  title =        "A New Method for Updating and Rebalancing Tree-Type
                 Main Memory Dictionaries",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "111--130",
  month =        "Summer",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P05",
  MRnumber =     "97g:68049",
  MRreviewer =   "Fabrizio Luccio",
  bibdate =      "Fri Oct 13 05:30:23 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/malmi1996:111.html",
  acknowledgement = ack-nhfb,
  xxnote =       "Check pages??",
}

@Article{Linnestad:1996:FSK,
  author =       "Henrik Linnestad",
  title =        "Fatal Steps of {Knuth--Bendix} Completion",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "131--143",
  month =        "Summer",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q42",
  MRnumber =     "98e:68129",
  MRreviewer =   "Klaus Madlener",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/linnestad1996:131.html",
  acknowledgement = ack-nhfb,
}

@Article{Nielson:1996:OST,
  author =       "Flemming Nielson and Hanne Riis Nielson",
  title =        "Operational Semantics of Termination Types",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "144--187",
  month =        "Summer",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q55 (68Q60)",
  MRnumber =     "97g:68144",
  MRreviewer =   "David B. Benson",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/nielsonn1996:144.html",
  acknowledgement = ack-nhfb,
}

@Article{Diks:1996:FTL,
  author =       "Krzysztof Diks and Andrzej Pelc",
  title =        "Fault-Tolerant Linear Broadcasting",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "188--201",
  month =        "Summer",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M15 (68M10 90B12)",
  MRnumber =     "97c:68025",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/diksp1996:188.html",
  acknowledgement = ack-nhfb,
}

@Article{Brown:1996:BSP,
  author =       "Cynthia A. Brown and Larry Finkelstein and Paul Walton
                 {Purdom, Jr.}",
  title =        "Backtrack Searching in the Presence of Symmetry",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "203--219",
  month =        "Fall",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68T20",
  MRnumber =     "97g:68203",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/brownfp1996:203.html",
  acknowledgement = ack-nhfb,
}

@Article{Eades:1996:TMD,
  author =       "Peter Eades and Mark Keil and Paul D. Manuel and Mirka
                 Miller",
  title =        "Two Minimum Dominating Sets with Minimum Intersection
                 in Chordal Graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "220--237",
  month =        "Fall",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "05C70 (05C35 05C85)",
  MRnumber =     "97k:05153",
  MRreviewer =   "Richard C. Brewster",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/eadeskmm1996:220.html",
  acknowledgement = ack-nhfb,
}

@Article{Brodal:1996:PPD,
  author =       "Gerth St{\o}lting Brodal",
  title =        "Partially Persistent Data Structures of Bounded Degree
                 with Constant Update Time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "238--255",
  month =        "Fall",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P05 (90D43)",
  MRnumber =     "97i:68048",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/brodal1996:238.html",
  acknowledgement = ack-nhfb,
}

@Article{Natarajan:1996:DPC,
  author =       "Sridhar Natarajan and Alan P. Sprague",
  title =        "Disjoint Paths in Circular Arc Graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "256--270",
  month =        "Fall",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "05C38 (05C85)",
  MRnumber =     "97m:05153",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/natarajans1996:256.html",
  acknowledgement = ack-nhfb,
}

@Article{Chen:1996:PSS,
  author =       "J.-C. Chen",
  title =        "Proportion Split Sort",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "271--279",
  month =        "Fall",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:34 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/chen1996:271.html",
  acknowledgement = ack-nhfb,
}

@Article{Ang:1996:AAS,
  author =       "C.-H. Ang and H. Samet",
  title =        "Approximate Average Storage Utilization of Bucket
                 Methods with Arbitrary Fanout",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "280--291",
  month =        "Fall",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:34 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/angs1996:280.html",
  acknowledgement = ack-nhfb,
}

@Article{Karlsson:1996:GEF,
  author =       "R. Karlsson and Andrzej Lingas",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "293--294",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:34 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lam:1996:CUM,
  author =       "T. W. Lam and W. K. Sung and H. F. Ting",
  title =        "Computing unrooted maximum subtrees in sub-quartic
                 time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "295--322",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (92B10 92D10)",
  MRnumber =     "97m:68099",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "The 5th Scandinavian Workshop on Algorithm Theory
                 (SWAT '96) (Reykjav{\'\i}k, 1996).",
  URL =          "http://www.cs.helsinki.fi/njc/References/lamst1996:295.html",
  acknowledgement = ack-nhfb,
  xxtitle =      "Computing the Unrooted Maximum Agreement Subtree in
                 Sub-quadratic Time",
}

@Article{Husfeldt:1996:LBD,
  author =       "Thore Husfeldt and Theis Rauhe and S{\o}ren Skyum",
  title =        "Lower Bounds for Dynamic Transitive Closure, Planar
                 Point Location, and Parentheses Matching",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "323--336",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25",
  MRnumber =     "97m:68094",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "The 5th Scandinavian Workshop on Algorithm Theory
                 (SWAT '96) (Reykjav{\'\i}k, 1996).",
  URL =          "http://www.cs.helsinki.fi/njc/References/husfeldtrs1996:323.html",
  acknowledgement = ack-nhfb,
}

@Article{Brodal:1996:RCM,
  author =       "Gerth St{\o}lting Brodal and Shiva Chaudhuri and
                 Jaikumar Radhakrishnan",
  title =        "The Randomized Complexity of Maintaining the Minimum",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "337--351",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P05 (68Q25)",
  MRnumber =     "97m:68038",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "The 5th Scandinavian Workshop on Algorithm Theory
                 (SWAT '96) (Reykjav{\'\i}k, 1996).",
  URL =          "http://www.cs.helsinki.fi/njc/References/brodalcr1996:337.html",
  acknowledgement = ack-nhfb,
}

@Article{Fernandez-Baca:1996:USP,
  author =       "David Fern{\'a}ndez-Baca and Giora Slutzki and David
                 Eppstein",
  title =        "Using Sparsification for Parametric Minimum Spanning
                 Tree Problems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "352--366",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "05C85 (05C05 68Q25 68R10)",
  MRnumber =     "98a:05133",
  MRreviewer =   "Peter B. Gibbons",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "The 5th Scandinavian Workshop on Algorithm Theory
                 (SWAT '96) (Reykjav{\'\i}k, 1996).",
  URL =          "http://www.cs.helsinki.fi/njc/References/fernandez-bacase1996:352.html",
  acknowledgement = ack-nhfb,
}

@Article{Marathe:1996:SCN,
  author =       "M. V. Marathe and R. Ravi and R. Sundaram",
  title =        "Service-Constrained Network Design Problems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "367--387",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:34 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/marathers1996:367.html",
  acknowledgement = ack-nhfb,
}

@Article{Asano:1996:AAM,
  author =       "Takao Asano and Takao Ono and Tomio Hirata",
  title =        "Approximation Algorithms for the Maximum
                 Satisfiability Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "388--404",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (90C29)",
  MRnumber =     "97m:68089",
  MRreviewer =   "Ding Zhu Du",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "The 5th Scandinavian Workshop on Algorithm Theory
                 (SWAT '96) (Reykjav{\'\i}k, 1996).",
  URL =          "http://www.cs.helsinki.fi/njc/References/asanooh1996:388.html",
  acknowledgement = ack-nhfb,
}

@Article{Lau:1996:RAC,
  author =       "Hoong Chuin Lau and Osamu Watanabe",
  title =        "Randomized Approximations of the Constraint
                 Satisfaction Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "405--424",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68T20 (05C85 68Q25)",
  MRnumber =     "98b:68172",
  MRreviewer =   "Valentin E. Brimkov",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "The 5th Scandinavian Workshop on Algorithm Theory
                 (SWAT '96) (Reykjav{\'\i}k, 1996).",
  URL =          "http://www.cs.helsinki.fi/njc/References/lauw1996:405.html",
  acknowledgement = ack-nhfb,
  xxtitle =      "Randomized approximation of the constraint
                 satisfaction problem",
}

@Article{Alon:1996:CCH,
  author =       "Noga Alon and Pierre Kelsen and Sanjeev Mahajan and
                 Hariharan Ramesh",
  title =        "Coloring $2$-colorable hypergraphs with a sublinear
                 number of colors",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "425--439",
  month =        "Winter",
  year =         "1996",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "05C65 (05C15 68Q25)",
  MRnumber =     "97m:05189",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc3.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "The 5th Scandinavian Workshop on Algorithm Theory
                 (SWAT '96) (Reykjav{\'\i}k, 1996).",
  URL =          "http://www.cs.helsinki.fi/njc/References/alonkmr1996:425.html",
  acknowledgement = ack-nhfb,
  xxtitle =      "Approximate Hypergraph Coloring",
}

@Article{Koskimies:1997:EF,
  author =       "K. Koskimies",
  title =        "{Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "1--2",
  month =        "Spring",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:37 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Paakki:1997:RPD,
  author =       "J. Paakki and J. Koskinen and A. Salminen",
  title =        "From Relational Program Dependencies to Hypertextual
                 Access Structures",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "3--36",
  month =        "Spring",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:37 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/paakkiks1997:3.html",
  acknowledgement = ack-nhfb,
}

@Article{Efremidis:1997:AAG,
  author =       "Sofoklis G. Efremidis and Khalid A. Mughal and John H.
                 Reppy and Lars S{\o}raas",
  title =        "{AML}: Attribute Grammars in {ML}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "37--65",
  month =        "Spring",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:37 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/efremidismrq1997:37.html",
  acknowledgement = ack-nhfb,
}

@Article{Bosch:1997:DCO,
  author =       "Jan Bosch",
  title =        "Delegating Compiler Objects: Modularity and
                 Reusability in Language Engineering",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "66--92",
  month =        "Spring",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:37 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bosch1997:66.html",
  acknowledgement = ack-nhfb,
}

@Article{Hedin:1997:AET,
  author =       "Goerel Hedin",
  title =        "Attribute Extensions -- a Technique for Enforcing
                 Programming Conventions",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "93--122",
  month =        "Spring",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:37 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/hedin1997:93.html",
  acknowledgement = ack-nhfb,
}

@Article{Sjoberg:1997:PWP,
  author =       "Dag I. K. Sj{\o}berg and Ray Welland and Malcolm P.
                 Atkinson and Paul Philbrow and Cathy Waite and Stewart
                 Macneill",
  title =        "The Persistent Workshop --- a Programming Environment
                 for {Napier88}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "123--149",
  month =        "Spring",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Nov 13 15:49:37 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/sjobergwapwm1997:123.html",
  acknowledgement = ack-nhfb,
}

@Article{Gambosi:1997:LMA,
  author =       "Giorgio Gambosi and Alberto Postiglione and Maurizio
                 Talamo",
  title =        "On-Line Maintenance of an Approximate Bin-Packing
                 Solution",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "151--166",
  month =        "Summer",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "90C27 (68Q25 90C10)",
  MRnumber =     "98e:90127",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/gambosipt1997:151.html",
  acknowledgement = ack-nhfb,
}

@Article{Roos:1997:NUB,
  author =       "Thomas Roos",
  title =        "New Upper Bounds on {Voronoi} Diagrams of Moving
                 Points",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "167--171",
  month =        "Summer",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "65Y25",
  MRnumber =     "98c:65215",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/roos1997:167.html",
  acknowledgement = ack-nhfb,
}

@Article{Karpinski:1997:EPM,
  author =       "Marek Karpinski and Wojciech Rytter and Ayumi
                 Shinohara",
  title =        "An Efficient Pattern-Matching Algorithm for Strings
                 with Short Descriptions",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "172--186",
  month =        "Summer",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q20 (68Q25)",
  MRnumber =     "1 460 443",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/karpinskirs1997:172.html",
  acknowledgement = ack-nhfb,
}

@Article{Roche:1997:CFF,
  author =       "Emmanuel Roche",
  title =        "Compact Factorization of Finite-State Transducers and
                 Finite-State Automata",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "187--216",
  month =        "Summer",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q68",
  MRnumber =     "98i:68203",
  MRreviewer =   "P. D{\"o}m{\"o}si",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/roche1997:187.html",
  acknowledgement = ack-nhfb,
}

@Article{Mohri:1997:SMA,
  author =       "Mehryar Mohri",
  title =        "String-Matching with Automata",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "217--231",
  month =        "Summer",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q20 (68Q68)",
  MRnumber =     "1 460 445",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/mohri1997:217.html",
  acknowledgement = ack-nhfb,
}

@Article{Lundberg:1997:BGC,
  author =       "Lars Lundberg and H{\aa}kan Lennerstad",
  title =        "Bounding the Gain of Changing the Number of Memory
                 Modules in Shared Memory Multiprocessors",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "233--258",
  month =        "Fall",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M07",
  MRnumber =     "98f:68018",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/lundbergl1997:233.html",
  acknowledgement = ack-nhfb,
}

@Article{Palsberg:1997:TIS,
  author =       "Jens Palsberg and Trevor Jim",
  title =        "Type Inference with Simple Selftypes is
                 {NP}-complete",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "259--286",
  month =        "Fall",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68N15 (68Q25)",
  MRnumber =     "98f:68035",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/palsbergj1997:259.html",
  acknowledgement = ack-nhfb,
}

@Article{Gyimothy:1997:LSF,
  author =       "Tibor Gyim{\'o}thy and Tam{\'a}s Horv{\'a}th",
  title =        "Learning Semantic Functions of Attribute Grammars",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "287--302",
  month =        "Fall",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q50 (68N20 68S05 68T05)",
  MRnumber =     "98f:68164",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/gyimothyh1997:287.html",
  acknowledgement = ack-nhfb,
}

@Article{Yamaguchi:1997:AAM,
  author =       "Atsuko Yamaguchi and Koji Nakano and Satoru Miyano",
  title =        "An Approximation Algorithm for the Minimum Common
                 Supertree Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "303--316",
  month =        "Fall",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25 (90C35)",
  MRnumber =     "98e:68118",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/yamaguchinm1997:303.html",
  acknowledgement = ack-nhfb,
}

@Article{Israeli:1997:TMT,
  author =       "Amos Israeli and Evangelos Kranakis and Danny Krizanc
                 and Nicola Santoro",
  title =        "Time-Message Trade-Offs for the Weak Unison Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "317--329",
  month =        "Winter",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M10",
  MRnumber =     "98m:68009",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/israelikks1997:317.html",
  acknowledgement = ack-nhfb,
}

@Article{Mukhopadhyay:1997:OLP,
  author =       "Asish Mukhopadhyay and Alok Agrawal and Ravi Mohan
                 Hosabettu",
  title =        "On the Ordinary Line Problem in Computational
                 Geometry",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "330--341",
  month =        "Winter",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05 (52B55 65Y25)",
  MRnumber =     "98m:68276",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/mukhopadhyayah1997:330.html",
  acknowledgement = ack-nhfb,
}

@Article{Pal:1997:OPA,
  author =       "Madhumangal Pal and G. P. Bhattacharjee",
  title =        "An Optimal Parallel Algorithm for All-Pairs Shortest
                 Paths on Unweighted Interval Graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "342--356",
  month =        "Winter",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68R10 (65Y05 68Q25 90C35)",
  MRnumber =     "98j:68133",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/palb1997:342.html",
  acknowledgement = ack-nhfb,
}

@Article{Kaser:1997:OHR,
  author =       "Owen Kaser",
  title =        "Optimal Height Reduction Problems for Tree-Structured
                 Hierarchies",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "357--379",
  month =        "Winter",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68R10 (05C85 68Q25)",
  MRnumber =     "98i:68222",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/kaser1997:357.html",
  acknowledgement = ack-nhfb,
}

@Article{Erdogmus:1997:ADV,
  author =       "Hakan Erdogmus",
  title =        "Architecture-Driven Verification of Concurrent
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "380--413",
  month =        "Winter",
  year =         "1997",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q60",
  MRnumber =     "1 607 026",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc4.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/erdogmus1997:380.html",
  acknowledgement = ack-nhfb,
}

@Article{Krznaric:1998:CTQ,
  author =       "Drago Krznaric and Christos Levcopoulos",
  title =        "Computing a Threaded Quadtree from the {Delaunay}
                 Triangulation in linear time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "1",
  pages =        "1--18",
  month =        "Spring",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68U05",
  MRnumber =     "1 616 153",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/krznaricl1998:1.html",
  acknowledgement = ack-nhfb,
}

@Article{Dahl:1998:SCS,
  author =       "Ole-Johan Dahl and Olaf Owe and Tore J. Bastiansen",
  title =        "Subtyping and Constructive Specification",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "1",
  pages =        "19--49",
  month =        "Spring",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q65 (68Q60)",
  MRnumber =     "98m:68179",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/dahlob1998:19.html",
  acknowledgement = ack-nhfb,
}

@Article{Kristoffersen:1998:IHO,
  author =       "Bj{\o}rn Kristoffersen and Ole-Johan Dahl",
  title =        "On Introducing Higher Order Functions in {ABEL}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "1",
  pages =        "50--69",
  month =        "Spring",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q65 (Abstract data types; algebraic specification)",
  bibdate =      "Fri Nov 13 15:49:39 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/kristoffersend1998:50.html",
  acknowledgement = ack-nhfb,
}

@Article{Baeza-Yates:1998:ALH,
  author =       "Ricardo A. Baeza-Yates and H{\'e}ctor Soza-Pollman",
  title =        "Analysis of Linear Hashing Revisited",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "1",
  pages =        "70--85",
  month =        "Spring",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68P10 (68Q25)",
  MRnumber =     "98m:68048",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/baeza-yatess1998:70.html",
  acknowledgement = ack-nhfb,
}

@Article{Dobrev:1998:CCS,
  author =       "Stefan Dobrev and Peter Ru{\v{z}}i{\v{c}}ka",
  title =        "On the Communication Complexity of Strong Time-Optimal
                 Distributed Algorithms",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "2",
  pages =        "87--104",
  month =        "Summer",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68Q25",
  MRnumber =     "1 638 685",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/dobrevr1998:87.html",
  acknowledgement = ack-nhfb,
}

@Article{Hoyer:1998:PPR,
  author =       "Peter H{\o}yer and Kim S. Larsen",
  title =        "Parametric Permutation Routing via Matchings",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "2",
  pages =        "105--114",
  month =        "Summer",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68M10 (05Cxx 90B12)",
  MRnumber =     "1 638 689",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/hoyerl1998:105.html",
  acknowledgement = ack-nhfb,
}

@Article{Ganley:1998:PST,
  author =       "Joseph L. Ganley and Jeffrey S. Salowe",
  title =        "The Power-$p$ {Steiner} Tree Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "2",
  pages =        "115--127",
  month =        "Summer",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "90Bxx (65Yxx 68Q35 68Uxx)",
  MRnumber =     "1 638 693",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/1998:115.html",
  acknowledgement = ack-nhfb,
}

@Article{Heggernes:1998:PGG,
  author =       "Pinar Heggernes and Jan Arne Telle",
  title =        "Partitioning Graphs into Generalized Dominating Sets",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "2",
  pages =        "128--142",
  month =        "Summer",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "68R10 (05C85 68Q25)",
  MRnumber =     "1 638 697",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/heggernest1998:128.html",
  acknowledgement = ack-nhfb,
}

@Article{Johnsson:1998:EMP,
  author =       "Mika Johnsson and G{\'a}bor Magyar and Olli
                 Nevalainen",
  title =        "On the {Euclidean} $3$-Matching Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "2",
  pages =        "143--171",
  month =        "Summer",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  MRclass =      "05C70 (90Bxx 90Cxx)",
  MRnumber =     "1 638 701",
  bibdate =      "Fri Nov 13 16:14:15 MST 1998",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/johnssonmn1998:143.html",
  acknowledgement = ack-nhfb,
}

@Article{Kratochvil:1998:CGC,
  author =       "Jan Kratochv{\'\i}l and Andrzej Proskurowski and Jan
                 Arne Telle",
  title =        "On the Complexity of Graph Covering Problems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "173--??",
  month =        "Fall",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/kratochvilpt1998:173.html",
  acknowledgement = ack-nhfb,
  xxtitle =      "On the Communication Complexity of Strong Time-Optimal
                 Distributed Algorithms",
}

@Article{Gonzalez:1998:BFM,
  author =       "Teofilo F. Gonzalez",
  title =        "Bounded Fan-Out Multimessage Multicasting",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "196--??",
  month =        "Fall",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/gonzalez1998:196.html",
  acknowledgement = ack-nhfb,
}

@Article{Mossin:1998:HOV,
  author =       "Christian Mossin",
  title =        "Higher-Order Value Flow Graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "214--??",
  month =        "Fall",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/mossin1998:214.html",
  acknowledgement = ack-nhfb,
}

@Article{Paakki:1998:SST,
  author =       "Jukka Paakki and Antti-Pekka Tuovinen",
  title =        "Source-to-Source Translation of Visual Languages",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "235--??",
  month =        "Fall",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/paakkit1998:235.html",
  acknowledgement = ack-nhfb,
}

@Article{Hankin:1998:GEF,
  author =       "Chris Hankin",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "265--??",
  month =        "Winter",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Abadi:1998:BMC,
  author =       "Mart{\'\i}n Abadi and Andrew D. Gordon",
  title =        "A Bisimulation Method for Cryptographic Protocols",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "267--??",
  month =        "Winter",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/abadig1998:267.html",
  acknowledgement = ack-nhfb,
}

@Article{Fecht:1998:PDE,
  author =       "Christian Fecht and Helmut Seidl",
  title =        "Propagating Differences: an Efficient New Fixpoint
                 Algorithm for Distributive Constraint Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "304--??",
  month =        "Winter",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/fechts1998:304.html",
  acknowledgement = ack-nhfb,
}

@Article{Leino:1998:ROT,
  author =       "K. Rustan M. Leino",
  title =        "Recursive Object Types in a Logic of Object-Oriented
                 Programs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "330--??",
  month =        "Winter",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/leino1998:330.html",
  acknowledgement = ack-nhfb,
}

@Article{Ross:1998:BBB,
  author =       "John L. Ross and Mooly Sagiv",
  title =        "Building a Bridge between Pointer Aliases and Program
                 Dependences",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "361--??",
  month =        "Winter",
  year =         "1998",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:46 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc5.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/rosss1998:361.html",
  acknowledgement = ack-nhfb,
}

@Article{Mughal:1999:GEF,
  author =       "Khalid A. Mughal and Andreas L. Opdahl",
  title =        "{Guest Editors}' Foreword: Programming and Software
                 Development Environment Research in the {Nordic}
                 Countries",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "1--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Christensen:1999:RSD,
  author =       "Henrik B{\ae}rbak Christensen",
  title =        "The {Ragnarok} Software Development Environment",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "4--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/christensen1999:4.html",
  acknowledgement = ack-nhfb,
}

@Article{Kjelstrom:1999:CTC,
  author =       "K{\aa}re Kjelstr{\o}m and Peter Petersen",
  title =        "A {CASE} Tool for {COM} Development",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "22--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/kjelstromp1999:22.html",
  acknowledgement = ack-nhfb,
}

@Article{Bjarnason:1999:ILD,
  author =       "Elizabeth Bjarnason and G{\"o}rel Hedin and Klas Nilsson",
  title =        "Interactive Language Development for Embedded
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "36--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bjarnasonhn1999:36.html",
  acknowledgement = ack-nhfb,
}

@Article{Ron:1999:ODP,
  author =       "Henrik R{\o}n",
  title =        "An Overview of a Dynamic Programming Environment Based
                 on Extensibility",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "55--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/ron1999:55.html",
  acknowledgement = ack-nhfb,
}

@Article{Ernst:1999:DIS,
  author =       "Erik Ernst",
  title =        "Dynamic Inheritance in a Statically Typed Language",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "72--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/ernst1999:72.html",
  acknowledgement = ack-nhfb,
}

@Article{Harsu:1999:TCC,
  author =       "Maarit Harsu",
  title =        "Translation of Conditional Compilation",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "93--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/harsu1999:93.html",
  acknowledgement = ack-nhfb,
}

@Article{Normark:1999:APT,
  author =       "Kurt N{\o}rmark and Lars Iversen and Per Madsen",
  title =        "Animation and Presentation Tools for Object-Oriented
                 Design",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "110--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/normarkim1999:110.html",
  acknowledgement = ack-nhfb,
}

@Article{Bendix:1999:SSC,
  author =       "Lars Bendix and Ulf Asklund",
  title =        "Summary of the Subworkshop on Change Management",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "1",
  pages =        "129--??",
  month =        "Spring",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Thu Jul 15 14:28:49 MDT 1999",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lagergren:1999:GEF,
  author =       "Jens Lagergren and Peter Bro Miltersen",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "2",
  pages =        "135--??",
  month =        "Summer",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Sleumer:1999:OSC,
  author =       "Nora H. Sleumer",
  title =        "Output-Sensitive Cell Enumeration in Hyperplane
                 Arrangements",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "2",
  pages =        "137--??",
  month =        "Summer",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/sleumer1999:137.html",
  acknowledgement = ack-nhfb,
}

@Article{Seiden:1999:ROM,
  author =       "Steven S. Seiden",
  title =        "Randomized Online Multi-Threaded Paging",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "2",
  pages =        "148--??",
  month =        "Summer",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/seiden1999:148.html",
  acknowledgement = ack-nhfb,
}

@Article{Raman:1999:IUB,
  author =       "Venkatesh Raman and Sarnath Ramnath",
  title =        "Improved Upper Bounds for Time-Space Trade-offs for
                 Selection",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "2",
  pages =        "162--??",
  month =        "Summer",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/ramanr1999:162.html",
  acknowledgement = ack-nhfb,
}

@Article{Berman:1999:SMP,
  author =       "Piotr Berman and Chris Coulston",
  title =        "Speed is More Powerful than Clairvoyance",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "2",
  pages =        "181--??",
  month =        "Summer",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bermanc1999:181.html",
  acknowledgement = ack-nhfb,
}

@Article{Sen:1999:DSA,
  author =       "Sandeep Sen and Neelima Gupta",
  title =        "Distribution-Sensitive Algorithms",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "2",
  pages =        "194--??",
  month =        "Summer",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/seng:194.html",
  acknowledgement = ack-nhfb,
}

@Article{Sere:1999:GEF,
  author =       "Kaisa Sere",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "3",
  pages =        "213--??",
  month =        "Fall",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Ciancarini:1999:CTI,
  author =       "Paolo Ciancarini and Andrea Omicini and Franco
                 Zambonelli",
  title =        "Coordination Technologies for {Internet} Agents",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "3",
  pages =        "215--??",
  month =        "Fall",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/ciancarinioz1999:215.html",
  acknowledgement = ack-nhfb,
}

@Article{Haveraaen:1999:FSE,
  author =       "Magne Haveraaen and Helmer Andr{\'e} Friis and Tor
                 Arne Johansen",
  title =        "Formal Software Engineering for Computational
                 Modelling",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "3",
  pages =        "241--??",
  month =        "Fall",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/haveraaenfj1999:241.html",
  acknowledgement = ack-nhfb,
}

@Article{Larsen:1999:CDD,
  author =       "Kim G. Larsen and Justin Pearson and Carsten Weise and
                 Wang Yi",
  title =        "Clock Difference Diagrams",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "3",
  pages =        "271--??",
  month =        "Fall",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/larsenpwy1999:271.html",
  acknowledgement = ack-nhfb,
}

@Article{Lillieroth:1999:FVF,
  author =       "Carl Johan Lillieroth and Satnam Singh",
  title =        "Formal Verification of {FPGA} Cores",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "3",
  pages =        "299--??",
  month =        "Fall",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/lillieroths1999:299.html",
  acknowledgement = ack-nhfb,
}

@Article{Troubitsyna:1999:RAT,
  author =       "Elena A. Troubitsyna",
  title =        "Reliability Assessment through Probabilistic
                 Refinement",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "3",
  pages =        "320--??",
  month =        "Fall",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/troubitsyna1999:320.html",
  acknowledgement = ack-nhfb,
}

@Article{Uustalu:1999:MSI,
  author =       "Tarmo Uustalu and Varmo Vene",
  title =        "{Mendler}-Style Inductive Types, Categorically",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "3",
  pages =        "343--??",
  month =        "Fall",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/uustaluv1999:343.html",
  acknowledgement = ack-nhfb,
}

@Article{Hwang:1999:DKG,
  author =       "Min-Shiang Hwang",
  title =        "A Dynamic Key Generation Scheme for Access Control in
                 a Hierarchy",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "4",
  pages =        "363--??",
  month =        "Winter",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/hwang1999:363.html",
  acknowledgement = ack-nhfb,
}

@Article{Tahar:1999:CHM,
  author =       "Sofi{\`e}ne Tahar and Paul Curzon",
  title =        "Comparing {HOL} and {MDG}: a Case Study on the
                 Verification of an {ATM} Switch Fabric",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "4",
  pages =        "372--??",
  month =        "Winter",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/taharc1999:372.html",
  acknowledgement = ack-nhfb,
}

@Article{Larsen:1999:EAA,
  author =       "Jesper Larsen and Ib Pedersen",
  title =        "Experiments with the Auction Algorithm for the
                 Shortest Path Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "4",
  pages =        "403--??",
  month =        "Winter",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/larsenp1999:403.html",
  acknowledgement = ack-nhfb,
}

@Article{Andreou:1999:NCA,
  author =       "Maria Andreou and Stavros D. Nikolopoulos",
  title =        "{NC} Coloring Algorithms for Permutation Graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "4",
  pages =        "422--??",
  month =        "Winter",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/andreoun:422.html",
  acknowledgement = ack-nhfb,
}

@Article{Krznaric:1999:MST,
  author =       "Drago Krznaric and Christos Levcopoulos and Bengt J.
                 Nilsson",
  title =        "Minimum Spanning Trees in $d$ Dimensions",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "4",
  pages =        "446--??",
  month =        "Winter",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/krznaricln:446.html",
  acknowledgement = ack-nhfb,
}

@Article{Devillers:1999:FOC,
  author =       "Olivier Devillers and Asish Mukhopadhyay",
  title =        "Finding an Ordinary Conic and an Ordinary Hyperplane",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "4",
  pages =        "462--??",
  month =        "Winter",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/devillersm:462.html",
  acknowledgement = ack-nhfb,
}

@Article{Gudmundsson:1999:FAA,
  author =       "Joachim Gudmundsson and Christos Levcopoulos",
  title =        "A Fast Approximation Algorithm for {TSP} with
                 Neighborhoods",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "6",
  number =       "4",
  pages =        "469--??",
  month =        "Winter",
  year =         "1999",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:14 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc6.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/gudmundssonl:469.html",
  acknowledgement = ack-nhfb,
}

@Article{Karhumaki:2000:PMP,
  author =       "Juhani Karhum{\"a}ki and Wojciech Plandowski and
                 Wojciech Rytter",
  title =        "Pattern-Matching Problems for Two-Dimensional Images
                 Described by Finite Automata",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "1--??",
  month =        "Spring",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:17 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/karhumakipr2000:1.html",
  acknowledgement = ack-nhfb,
}

@Article{Bodlaender:2000:CMC,
  author =       "Hans L. Bodlaender and Klaus Jansen",
  title =        "On the Complexity of the Maximum Cut Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "14--??",
  month =        "Spring",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:17 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bodlaenderj:14.html",
  acknowledgement = ack-nhfb,
}

@Article{Gudmundsson:2000:PAA,
  author =       "Joachim Gudmundsson and Christos Levcopoulos",
  title =        "A Parallel Approximation Algorithm for Minimum Weight
                 Triangulation",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "32--??",
  month =        "Spring",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:17 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/gudmundssonl:32.html",
  acknowledgement = ack-nhfb,
}

@Article{Zito:2000:LTM,
  author =       "Michele Zito",
  title =        "Linear Time Maximum Induced Matching Algorithm for
                 Trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "58--??",
  month =        "Spring",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Oct 13 05:25:17 MDT 2000",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/zito2000:58.html",
  acknowledgement = ack-nhfb,
}

@Article{Opdahl:2000:GEF,
  author =       "Andreas L. Opdahl and Dag I. K. Sj{\o}berg",
  title =        "{Guest Editors}' Foreword: Programming and Software
                 Development Environment Research in the {Nordic}
                 Countries",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "2",
  pages =        "65--??",
  month =        "Summer",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Magnusson:2000:PVU,
  author =       "Eva Magnusson and G{\"o}rel Hedin",
  title =        "Program Visualization Using Reference Attributed
                 Grammars",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "2",
  pages =        "67--??",
  month =        "Summer",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/magnussonh2000:67.html",
  acknowledgement = ack-nhfb,
}

@Article{Normark:2000:EP,
  author =       "Kurt N{\o}rmark",
  title =        "Elucidative Programming",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "2",
  pages =        "87--??",
  month =        "Summer",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/normark:87.html",
  acknowledgement = ack-nhfb,
}

@Article{Vestdam:2000:DTP,
  author =       "Thomas Vestdam",
  title =        "Documentation Threads --- Presentation of Fragmented
                 Documentation",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "2",
  pages =        "106--??",
  month =        "Summer",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/vestdam2000:106.html",
  acknowledgement = ack-nhfb,
}

@Article{Harsu:2000:IOO,
  author =       "Maarit Harsu",
  title =        "Identifying Object-Oriented Features from Procedural
                 Software",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "2",
  pages =        "126--??",
  month =        "Summer",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/harsu:126.html",
  acknowledgement = ack-nhfb,
}

@Article{Bendix:2000:SSC,
  author =       "Lars Bendix and Ulf Asklund and Jonas Persson",
  title =        "Summary of the Subworkshop on Change Management for
                 Open Source Software",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "2",
  pages =        "143--??",
  month =        "Summer",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Halldorsson:2000:GEF,
  author =       "M{\'a}gnus M. Halld{\'o}rsson",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "149--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Pagh:2000:TWC,
  author =       "Rasmus Pagh",
  title =        "A Trade-Off for Worst-Case Efficient Dictionaries",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "151--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/pagh2000:151.html",
  acknowledgement = ack-nhfb,
}

@Article{Berry:2000:RWT,
  author =       "Anne Berry and Jean-Paul Bordat and Pinar Heggernes",
  title =        "Recognizing Weakly Triangulated Graphs by Edge
                 Separability",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "164--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/berrybh2000:164.html",
  acknowledgement = ack-nhfb,
}

@Article{Berman:2000:AMW,
  author =       "Piotr Berman",
  title =        "A $d/2$ Approximation for Maximum Weight Independent
                 Set in $d$-Claw Free Graphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "178--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/berman:178.html",
  acknowledgement = ack-nhfb,
}

@Article{Doddi:2000:AAC,
  author =       "Srinivas Doddi and Madhav V. Marathe and S. S. Ravi
                 and David S. Taylor and Peter Widmayer",
  title =        "Approximation Algorithms for Clustering to Minimize
                 the Sum of Diameters",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "185--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/doddimrtw2000:185.html",
  acknowledgement = ack-nhfb,
}

@Article{Liberatore:2000:SJB,
  author =       "Vincenzo Liberatore",
  title =        "Scheduling Jobs before Shut-Down",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "204--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/liberatore2000:204.html",
  acknowledgement = ack-nhfb,
}

@Article{Agarwal:2000:PDT,
  author =       "Pankaj K. Agarwal and Leonidas J. Guibas and Sariel
                 Har-Peled and Alexander Rabinovitch and Micha Sharir",
  title =        "Penetration Depth of Two Convex Polytopes in {$3$D}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "227--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/agarwalghrs2000:227.html",
  acknowledgement = ack-nhfb,
}

@Article{Asano:2000:ORS,
  author =       "Tetsuo Asano and Tomomi Matsui and Takeshi Tokuyama",
  title =        "Optimal Roundings of Sequences and Matrices",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "3",
  pages =        "241--??",
  month =        "Fall",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/asanomt:241.html",
  acknowledgement = ack-nhfb,
}

@Article{Smolka:2000:GEF,
  author =       "Gert Smolka",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "257--??",
  month =        "Winter",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Hofmann:2000:TSB,
  author =       "Martin Hofmann",
  title =        "A Type System for Bounded Space and Functional
                 In-Place Update",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "258--??",
  month =        "Winter",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/hofmann2000:258.html",
  acknowledgement = ack-nhfb,
}

@Article{Mauborgne:2000:IUR,
  author =       "Laurent Mauborgne",
  title =        "An Incremental Unique Representation for Regular
                 Trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "290--??",
  month =        "Winter",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/mauborgne2000:290.html",
  acknowledgement = ack-nhfb,
}

@Article{Pottier:2000:VCB,
  author =       "Fran{\c{c}}ois Pottier",
  title =        "A Versatile Constraint-Based Type Inference System",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "312--??",
  month =        "Winter",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/pottier2000:312.html",
  acknowledgement = ack-nhfb,
}

@Article{Russo:2000:FCS,
  author =       "Claudio V. Russo",
  title =        "First-Class Structures for {Standard ML}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "348--??",
  month =        "Winter",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/russo2000:348.html",
  acknowledgement = ack-nhfb,
}

@Article{Seidl:2000:CBI,
  author =       "Helmut Seidl and Bernhard Steffen",
  title =        "Constraint-Based Inter-Procedural Analysis of Parallel
                 Programs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "375--??",
  month =        "Winter",
  year =         "2000",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:02 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc7.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/seidls:375.html",
  acknowledgement = ack-nhfb,
}

@Article{Sere:2001:GEF,
  author =       "Kaisa Sere and Wang Li",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "1--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Back:2001:CAS,
  author =       "Ralph-Johan Back and Luigia Petre and Ivan Porres",
  title =        "Continuous Action Systems as a Model for Hybrid
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "2--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/backpp2001:2.html",
  acknowledgement = ack-nhfb,
}

@Article{Bove:2001:SGR,
  author =       "Ana Bove",
  title =        "Simple General Recursion in Type Theory",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "22--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bove2001:22.html",
  acknowledgement = ack-nhfb,
}

@Article{Hune:2001:GSC,
  author =       "Thomas Hune and Kim G. Larsen and Paul Pettersson",
  title =        "Guided Synthesis of Control Programs Using {UPPAAL}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "43--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/hunelp2001:43.html",
  acknowledgement = ack-nhfb,
}

@Article{Jonsson:2001:IRS,
  author =       "Bengt Jonsson and Tiziana Margaria and Gustaf Naeser
                 and Jan Nystr{\"o}m and Bernhard Steffen",
  title =        "Incremental Requirement Specification for Evolving
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "65--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/jonssonmnns:65.html",
  acknowledgement = ack-nhfb,
}

@Article{Spelberg:2001:PRT,
  author =       "R. F. Lutje Spelberg and W. J. Toetenel",
  title =        "Parametric Real-Time Model Checking Using Splitting
                 Trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "88--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/lutjespelbergt2001:88.html",
  acknowledgement = ack-nhfb,
}

@Article{Mork:2001:DIP,
  author =       "Simon M{\o}rk",
  title =        "Distributed Implementation of a Process-Algebra Based
                 Programming Language for Embedded Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "121--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/mork2001:121.html",
  acknowledgement = ack-nhfb,
}

@Article{Ronkko:2001:LHA,
  author =       "Mauno R{\"o}nkk{\"o} and Xuandong Li",
  title =        "Linear Hybrid Action Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "1",
  pages =        "159--??",
  month =        "Spring",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/ronkko2001:159.html",
  acknowledgement = ack-nhfb,
}

@Article{Ottmann:2001:EEP,
  author =       "Thomas Ottmann and Sven Schuierer and Subbiah
                 Soundaralakshmi",
  title =        "Enumerating Extreme Points in Higher Dimensions",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "2",
  pages =        "179--??",
  month =        "Summer",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/ottmannss2001:179.html",
  acknowledgement = ack-nhfb,
}

@Article{Sere:2001:SVD,
  author =       "Kaisa Sere and Marina Wald{\'e}n",
  title =        "Structuring and Verifying Distributed Algorithms",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "2",
  pages =        "193--??",
  month =        "Summer",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/serew:193.html",
  acknowledgement = ack-nhfb,
}

@Article{Gudmundsson:2001:AMM,
  author =       "Joachim Gudmundsson and Christos Levcopoulos and Giri
                 Narasimhan",
  title =        "Approximating a Minimum {Manhattan} Network",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "2",
  pages =        "216--??",
  month =        "Summer",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Jul 14 11:08:05 MDT 2001",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/gudmundssonln:216.html",
  acknowledgement = ack-nhfb,
}

@Article{Haveraaen:2001:GEF,
  author =       "Magne Haveraaen and Olaf Owe",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "277--??",
  month =        "Fall",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Feb 22 11:12:55 MST 2002",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Dosch:2001:CAF,
  author =       "Walter Dosch and S{\"o}nke Magnussen",
  title =        "Computer Aided Fusion for Algebraic Program
                 Derivation",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "279--??",
  month =        "Fall",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Feb 22 11:12:55 MST 2002",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/doschm2001:279.html",
  acknowledgement = ack-nhfb,
}

@Article{Lamo:2001:SPP,
  author =       "Yngve Lamo and Michal Walicki",
  title =        "Specification of Parameterized Programs ---
                 Persistency Revisited",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "298--??",
  month =        "Fall",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Feb 22 11:12:55 MST 2002",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/lamow2001:298.html",
  acknowledgement = ack-nhfb,
}

@Article{Petersson:2001:RSA,
  author =       "Viktor Petersson and Sergei Vorobyov",
  title =        "A Randomized Subexponential Algorithm for Parity
                 Games",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "324--??",
  month =        "Fall",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Feb 22 11:12:55 MST 2002",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/peterssonv2001:324.html",
  acknowledgement = ack-nhfb,
}

@Article{Fecher:2001:RTP,
  author =       "Harald Fecher",
  title =        "A Real-Time Process Algebra with Open Intervals and
                 Maximal Progress",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "346--??",
  month =        "Fall",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Feb 22 11:12:55 MST 2002",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/fecher2001:346.html",
  acknowledgement = ack-nhfb,
}

@Article{Uustalu:2001:RSC,
  author =       "Tarmo Uustalu and Varmo Vene and Alberto Pardo",
  title =        "Recursion Schemes from Comonads",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "366--??",
  month =        "Fall",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Feb 22 11:12:55 MST 2002",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/uustaluvp2001:366.html",
  acknowledgement = ack-nhfb,
}

@Article{Gayo:2001:MDI,
  author =       "Jose Emilio Labra Gayo and Juan Manuel Cueva Lovelle
                 and Maria C{\'a}ndida Luengo D{\'\i}ez and Agust{\'\i}n
                 Cernuda del R{\'\i}o",
  title =        "Modular Development of Interpreters from Semantic
                 Building Blocks",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "391--407",
  month =        "Fall",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Fri Feb 22 11:12:55 MST 2002",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/labragayoclc2001:391.html",
  acknowledgement = ack-nhfb,
}

@Article{Bollobas:2001:TSS,
  author =       "B{\'e}la Bollob{\'a}s and Gautam Das and Dimitrios
                 Gunopulos and Heikki Mannila",
  title =        "Time-Series Similarity Problems and Well-Separated
                 Geometric Sets",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "409--423",
  month =        "Winter",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:23:55 MST 2003",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/bollobas2001:409.html",
  acknowledgement = ack-nhfb,
}

@Article{Ostergaard:2001:NAM,
  author =       "Patric R. J. {\"O}sterg{\aa}rd",
  title =        "A New Algorithm for the Maximum-Weight Clique
                 Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "424--436",
  month =        "Winter",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:23:55 MST 2003",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/ostergard2001:424.html",
  acknowledgement = ack-nhfb,
}

@Article{Grobauer:2001:PEP,
  author =       "Bernd Grobauer and Julia L. Lawall",
  title =        "Partial Evaluation of Pattern Matching in Strings,
                 revisited",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "437--462",
  month =        "Winter",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:23:55 MST 2003",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/grobauer2001:437.html",
  acknowledgement = ack-nhfb,
}

@Article{Boyar:2001:CRL,
  author =       "Joan Boyar and Lene M. Favrholdt and Kim S. Larsen and
                 Morten N. Nielsen",
  title =        "The Competitive Ratio for On-Line Dual Bin Packing
                 with Restricted Input Sequences",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "463--472",
  month =        "Winter",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:23:55 MST 2003",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/boyar2001:463.html",
  acknowledgement = ack-nhfb,
}

@Article{Burghardt:2001:MPS,
  author =       "Jochen Burghardt",
  title =        "Maintaining Partial Sums in Logarithmic Time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "473--474",
  month =        "Winter",
  year =         "2001",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:23:55 MST 2003",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc8.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  URL =          "http://www.cs.helsinki.fi/njc/References/burghardt2001:473.html",
  acknowledgement = ack-nhfb,
}

@Article{Goldberg:2002:HCC,
  author =       "M. Goldberg and M. Torgersen",
  title =        "How to Circumvent {Church} Numerals",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "1--??",
  month =        "Spring",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Narasimhan:2002:AAB,
  author =       "G. Narasimhan and M. Smid",
  title =        "Approximation Algorithms for the Bottleneck Stretch
                 Factor Problem",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "13--??",
  month =        "Spring",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Hammar:2002:IER,
  author =       "M. Hammar and B. J. Nilsson and S. Schuierer",
  title =        "Improved Exploration of Rectilinear Polygons",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "32--??",
  month =        "Spring",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Crochemore:2002:ASM,
  author =       "M. Crochemore and C. Iliopoulos and C. Makris and W.
                 Rytter and A. Tsakalidis and K. Tsichlas",
  title =        "Approximate String Matching with Gaps",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "54--??",
  month =        "Spring",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Klipsch:2002:NBD,
  author =       "K. N. Klipsch and D. S. Wise",
  title =        "Note: Blood from {Dahm}'s Turnip",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "66--??",
  month =        "Spring",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Aceto:2002:GEF,
  author =       "L. Aceto and P. Panangaden",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "2",
  pages =        "69--??",
  month =        "Summer",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Eighth International Workshop
                 on Expressiveness in Concurrency (EXPRESS'01), August
                 20, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Amadio:2002:DCR,
  author =       "R. M. Amadio and C. Meyssonnier",
  title =        "On Decidability of the Control Reachability Problem in
                 the Asynchronous pi-Calculus",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "2",
  pages =        "70--??",
  month =        "Summer",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Eighth International Workshop
                 on Expressiveness in Concurrency (EXPRESS'01), August
                 20, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Bradfield:2002:IFM,
  author =       "J. C. Bradfield and S. B. Fr{\"o}schle",
  title =        "Independence-Friendly Modal Logic and True
                 Concurrency",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "2",
  pages =        "102--??",
  month =        "Summer",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Eighth International Workshop
                 on Expressiveness in Concurrency (EXPRESS'01), August
                 20, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Labroue:2002:ATA,
  author =       "A. Labroue and Ph. Schnoebelen",
  title =        "An Automata-Theoretic Approach to the Reachability
                 Analysis of {RPPS} Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "2",
  pages =        "118--??",
  month =        "Summer",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Eighth International Workshop
                 on Expressiveness in Concurrency (EXPRESS'01), August
                 20, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Nielsen:2002:TCC,
  author =       "M. Nielsen and C. Palamidessi and F. D. Valencia",
  title =        "Temporal Concurrent Constraint Programming:
                 Denotation, Logic and Applications",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "",
  pages =        "145--??",
  month =        "Summer",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Eighth International Workshop
                 on Expressiveness in Concurrency (EXPRESS'01), August
                 20, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Osterbye:2002:GEF,
  author =       "K. {\O}sterbye",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "3",
  pages =        "189--??",
  month =        "Fall",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Tenth Nordic Workshop on
                 Programming Environment Research (NWPER'2002), August
                 18--20, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Ernst:2002:SDM,
  author =       "E. Ernst",
  title =        "Safe Dynamic Multiple Inheritance",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "3",
  pages =        "191--??",
  month =        "Fall",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Tenth Nordic Workshop on
                 Programming Environment Research (NWPER'2002), August
                 18--20, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Vestdam:2002:EPT,
  author =       "T. Vestdam",
  title =        "Elucidative Program Tutorials",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "3",
  pages =        "209--??",
  month =        "Fall",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Tenth Nordic Workshop on
                 Programming Environment Research (NWPER'2002), August
                 18--20, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Arisholm:2002:WBS,
  author =       "E. Arisholm and D. I. K. Sj{\o}berg and G. J. Carelius
                 and Y. Lindsj{\o}rn",
  title =        "A {Web}-Based Support Environment for Software
                 Engineering Experiments",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "3",
  pages =        "231--??",
  month =        "Fall",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Tenth Nordic Workshop on
                 Programming Environment Research (NWPER'2002), August
                 18--20, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Hammouda:2002:PBJ,
  author =       "I. Hammouda and K. Koskimies",
  title =        "A Pattern-Based {J2EE} Application Development
                 Environment",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "3",
  pages =        "248--??",
  month =        "Fall",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Tenth Nordic Workshop on
                 Programming Environment Research (NWPER'2002), August
                 18--20, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Bendix:2002:SSE,
  author =       "L. Bendix and G. Hedin",
  title =        "Summary of the {Subworkshop on Extreme Programming}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "",
  pages =        "261--??",
  month =        "Fall",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Tenth Nordic Workshop on
                 Programming Environment Research (NWPER'2002), August
                 18--20, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Haveraaen:2002:GEF,
  author =       "M. Haveraaen and M. R. Hansen",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "267--??",
  month =        "????",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Thirteenth Nordic Workshop on
                 Programming Theory (NWPT'01), October 10--12, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Amnell:2002:CST,
  author =       "T. Amnell and E. Fersman and P. Pettersson and H. Sun
                 and W. Yi",
  title =        "Code Synthesis for Timed Automata",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "269--??",
  month =        "????",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Thirteenth Nordic Workshop on
                 Programming Theory (NWPT'01), October 10--12, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Hoenicke:2002:COD,
  author =       "J. Hoenicke and E.-R. Olderog",
  title =        "{CSP-OZ-DC}: {A} Combination of Specification
                 Techniques for Processes, Data and Time",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "301--??",
  month =        "????",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Thirteenth Nordic Workshop on
                 Programming Theory (NWPT'01), October 10--12, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Nielson:2002:SSA,
  author =       "F. Nielson and H. Seidl and H. Riis Nielson",
  title =        "A Succinct Solver for {ALFP}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "335--??",
  month =        "????",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Thirteenth Nordic Workshop on
                 Programming Theory (NWPT'01), October 10--12, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Wagner:2002:ASS,
  author =       "E. G. Wagner",
  title =        "Algebraic Specifications: some old history and new
                 thoughts",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "373--??",
  month =        "????",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Thirteenth Nordic Workshop on
                 Programming Theory (NWPT'01), October 10--12, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Wehrheim:2002:RSB,
  author =       "H. Wehrheim",
  title =        "Relating State-based and Behaviour-oriented
                 Subtyping",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "405--??",
  month =        "????",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Thirteenth Nordic Workshop on
                 Programming Theory (NWPT'01), October 10--12, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:2002:AIV,
  author =       "Anonymous",
  title =        "Author Index Volume 9 (2002)",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "436--??",
  month =        "????",
  year =         "2002",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Thirteenth Nordic Workshop on
                 Programming Theory (NWPT'01), October 10--12, 2001.",
  acknowledgement = ack-nhfb,
}

@Article{Holub:2003:GEF,
  author =       "J. Holub",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "1--1",
  month =        "Spring",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Prague Stringology Conference
                 (PSC'02), September 23--24, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Baba:2003:NRA,
  author =       "K. Baba and A. Shinohara and M. Takeda and S. Inenaga
                 and S. Arikawa",
  title =        "A Note on Randomized Algorithm for String Matching
                 with Mismatches",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "2--??",
  month =        "Spring",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Prague Stringology Conference
                 (PSC'02), September 23--24, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Cinque:2003:WOP,
  author =       "L. Cinque and S. De Agostino and F. Liberati",
  title =        "A Work-Optimal Parallel Implementation of Lossless
                 Image Compression by Block Matching",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "13--??",
  month =        "Spring",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Prague Stringology Conference
                 (PSC'02), September 23--24, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Franek:2003:NCR,
  author =       "F. Franek and W. F. Smyth and X. Xiao",
  title =        "A Note on {Crochemore}'s Repetitions Algorithm --- {A}
                 Fast Space-Efficient Approach",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "21--??",
  month =        "Spring",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Prague Stringology Conference
                 (PSC'02), September 23--24, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Hyyro:2003:BVA,
  author =       "H. Hyyr{\"o}",
  title =        "A Bit-Vector Algorithm for Computing {Levenshtein} and
                 {Damerau} Edit Distances",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "29--??",
  month =        "Spring",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Prague Stringology Conference
                 (PSC'02), September 23--24, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Iliopoulos:2003:SRD,
  author =       "C. S. Iliopoulos and M. Mohamed and L. Mouchard and K.
                 G. Perdikuri and W. F. Smyth and A. K. Tsakalidis",
  title =        "String Regularities with Don't Cares",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "40--??",
  month =        "Spring",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Prague Stringology Conference
                 (PSC'02), September 23--24, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Inenaga:2003:BCS,
  author =       "S. Inenaga",
  title =        "Bidirectional Construction of Suffix Trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "52--??",
  month =        "Spring",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Prague Stringology Conference
                 (PSC'02), September 23--24, 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Nestmann:2003:GEF,
  author =       "U. Nestmann and P. Panangaden",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "69--??",
  month =        "Summer",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Ninth International Workshop on
                 Expressiveness in Concurrency (EXPRESS'02), August 19,
                 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Carbone:2003:EPP,
  author =       "M. Carbone and S. Maffeis",
  title =        "On the Expressive Power of Polyadic Synchronisation in
                 pi-calculus",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "70--??",
  month =        "Summer",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Ninth International Workshop on
                 Expressiveness in Concurrency (EXPRESS'02), August 19,
                 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Ouaknine:2003:TCC,
  author =       "J. Ouaknine and J. Worrell",
  title =        "Timed {CSP} = Closed Timed epsilon-automata",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "99--??",
  month =        "Summer",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Ninth International Workshop on
                 Expressiveness in Concurrency (EXPRESS'02), August 19,
                 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Fernandez:2003:INM,
  author =       "M. Fern{\'a}ndez and L. Khalil",
  title =        "Interaction Nets with {McCarthy}'s {\tt amb}:
                 Properties and Applications",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "134--??",
  month =        "Summer",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Ninth International Workshop on
                 Expressiveness in Concurrency (EXPRESS'02), August 19,
                 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Sassone:2003:DBC,
  author =       "V. Sassone and P. Sobocinski",
  title =        "Deriving Bisimulation Congruences using $2$-categories",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "163--??",
  month =        "Summer",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  note =         "Selected papers of the Ninth International Workshop on
                 Expressiveness in Concurrency (EXPRESS'02), August 19,
                 2002.",
  acknowledgement = ack-nhfb,
}

@Article{Lemstrom:2003:TIP,
  author =       "K. Lemstr{\"o}m and J. Tarhio",
  title =        "Transposition Invariant Pattern Matching for
                 Multi-Track Strings",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "185--??",
  month =        "Fall",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Fiala:2003:GCC,
  author =       "J. Fiala and P. Heggernes and P. Kristiansen and J. A.
                 Telle",
  title =        "Generalized {$H$}-coloring and {$H$}-covering of
                 Trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "206--??",
  month =        "Fall",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Segal:2003:POF,
  author =       "M. Segal",
  title =        "Placing an Obnoxious Facility in Geometric Networks",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "225--??",
  month =        "Fall",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Katajainen:2003:NPA,
  author =       "J. Katajainen and F. Vitale",
  title =        "Navigation Piles with Applications to Sorting,
                 Priority Queues, and Priority Deques",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "238--??",
  month =        "Fall",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Dec 24 09:24:58 2003",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Haveraaen:2003:GEF,
  author =       "M. Haveraaen and J. Vain",
  title =        "{Guest Editors}' Foreword   ",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "263--??",
  month =        "Winter",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of the Fourteenth Nordic Workshop on
                 Programming Theory (NWPT'02), November 20--22, 2002.",
}

@Article{Benke:2003:UGP,
  author =       "M. Benke and P. Dybjer and P. Jansson",
  title =        "Universes for Generic Programs and Proofs in Dependent
                 Type Theory",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "265--??",
  month =        "Winter",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of the Fourteenth Nordic Workshop on
                 Programming Theory (NWPT'02), November 20--22, 2002.",
}

@Article{Ghani:2003:RC,
  author =       "N. Ghani and C. L{\"u}th",
  title =        "Rewriting Via Coinserters",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "290--??",
  month =        "Winter",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of the Fourteenth Nordic Workshop on
                 Programming Theory (NWPT'02), November 20--22, 2002.",
}

@Article{Johnsen:2003:ART,
  author =       "E. B. Johnsen and C. L{\"u}th",
  title =        "Abstracting Refinements for Transformation",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "313--??",
  month =        "Winter",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of the Fourteenth Nordic Workshop on
                 Programming Theory (NWPT'02), November 20--22, 2002.",
}

@Article{Pilegaard:2003:AAA,
  author =       "H. Pilegaard and M. R. Hansen and R. Sharp",
  title =        "An Approach to Analyzing Availability Properties of
                 Security Protocols",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "337--??",
  month =        "Winter",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of the Fourteenth Nordic Workshop on
                 Programming Theory (NWPT'02), November 20--22, 2002.",
}

@Article{Anonymous:2003:AIV,
  author =       "Anonymous",
  title =        "Author Index Volume 10 (2003)",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "374--??",
  month =        "Winter",
  year =         "2003",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of the Fourteenth Nordic Workshop on
                 Programming Theory (NWPT'02), November 20--22, 2002.",
}

@Article{Gairing:2004:SSA,
  author =       "M. Gairing and R. M. Geist and S. T. Hedetniemi and P.
                 Kristiansen",
  title =        "A Self-stabilizing Algorithm for Maximal $2$-packing",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "1",
  pages =        "1--??",
  month =        "Spring",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Sivertsen:2004:UVU,
  author =       "T. Sivertsen",
  title =        "Undefinedness vs. Underspecification in {HALDEN ASL}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "1",
  pages =        "12--??",
  month =        "Spring",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Tronicek:2004:EDA,
  author =       "Z. Tron{\'\i}cek",
  title =        "Episode Directed Acyclic Subsequence Graph",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "1",
  pages =        "35--??",
  month =        "Spring",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Berlea:2004:BQD,
  author =       "A. Berlea and H. Seidl",
  title =        "Binary Queries for Document Trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "1",
  pages =        "41--??",
  month =        "Spring",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Sere:2004:GEF,
  author =       "K. Sere and M. Wald{\'e}n",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "73--??",
  month =        "Summer",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Fifteenth Nordic Workshop on
                 Programming Theory (NWPT'03), October 29--31, 2004.",
}

@Article{Bostrom:2004:ICS,
  author =       "P. Bostr{\"o}m and M. Wald{\'e}n",
  title =        "Implementation of Control Systems Using {B} Action
                 Systems: {A} Case Study",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "75--??",
  month =        "Summer",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Fifteenth Nordic Workshop on
                 Programming Theory (NWPT'03), October 29--31, 2004.",
}

@Article{Celiku:2004:CBA,
  author =       "O. Celiku and A. McIver",
  title =        "Cost-Based Analysis of Probabilistic Programs
                 Mechanised in {HOL}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "102--??",
  month =        "Summer",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Fifteenth Nordic Workshop on
                 Programming Theory (NWPT'03), October 29--31, 2004.",
}

@Article{Fersman:2004:GAS,
  author =       "E. Fersman and W. Yi",
  title =        "A Generic Approach to Schedulability Analysis of
                 Real-Time Tasks",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "129--??",
  month =        "Summer",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Fifteenth Nordic Workshop on
                 Programming Theory (NWPT'03), October 29--31, 2004.",
}

@Article{Latvala:2004:IFV,
  author =       "T. Latvala and H. Tauriainen",
  title =        "Improved On-the-fly Verification with Testers",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "148--??",
  month =        "Summer",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Fifteenth Nordic Workshop on
                 Programming Theory (NWPT'03), October 29--31, 2004.",
}

@Article{Ruksenas:2004:RED,
  author =       "R. Ruksenas",
  title =        "A Rigourous Environment for Development of Concurrent
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "165--??",
  month =        "Summer",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Fifteenth Nordic Workshop on
                 Programming Theory (NWPT'03), October 29--31, 2004.",
}

@Article{Schneider:2004:CIK,
  author =       "G. Schneider",
  title =        "Computing Invariance Kernels of Polygonal Hybrid
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "194--??",
  month =        "Summer",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Fifteenth Nordic Workshop on
                 Programming Theory (NWPT'03), October 29--31, 2004.",
}

@Article{Lilius:2004:GEF,
  author =       "J. Lilius and K. {\O}sterbye",
  title =        "{Guest Editors}' Foreword: Programming and Software
                 Development Environment Research in the {Nordic}
                 Countries",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "211--??",
  month =        "Fall",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Eleventh Nordic Workshop on
                 Programming Environment Research (NWPER'2004), and the
                 Second Nordic Workshop on UML, Modeling, Methods and
                 Tools (NWUML'2004), August 17--20, 2004.",
}

@Article{Nilsson:2004:IJC,
  author =       "A. Nilsson and A. Ive and T. Ekman and G. Hedin",
  title =        "Implementing {Java} Compilers Using {ReRAGs}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "213--??",
  month =        "Fall",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Eleventh Nordic Workshop on
                 Programming Environment Research (NWPER'2004), and the
                 Second Nordic Workshop on UML, Modeling, Methods and
                 Tools (NWUML'2004), August 17--20, 2004.",
}

@Article{Selonen:2004:TUP,
  author =       "P. Selonen and M. Siikarla and K. Koskimies and T.
                 Mikkonen",
  title =        "Towards the Unification of Patterns and Profiles in
                 {UML}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "235--??",
  month =        "Fall",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Eleventh Nordic Workshop on
                 Programming Environment Research (NWPER'2004), and the
                 Second Nordic Workshop on UML, Modeling, Methods and
                 Tools (NWUML'2004), August 17--20, 2004.",
}

@Article{Staron:2004:CSP,
  author =       "M. Staron and L. Kuzniarz and L. Wallin",
  title =        "Case Study on a Process of Industrial {MDA}
                 Realization -- Determinants of Effectiveness",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "254--??",
  month =        "Fall",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Eleventh Nordic Workshop on
                 Programming Environment Research (NWPER'2004), and the
                 Second Nordic Workshop on UML, Modeling, Methods and
                 Tools (NWUML'2004), August 17--20, 2004.",
}

@Article{Storrle:2004:SNU,
  author =       "H. St{\"o}rrle",
  title =        "Structured Nodes in {UML 2.0} Activities",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "279--??",
  month =        "Fall",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Eleventh Nordic Workshop on
                 Programming Environment Research (NWPER'2004), and the
                 Second Nordic Workshop on UML, Modeling, Methods and
                 Tools (NWUML'2004), August 17--20, 2004.",
}

@Article{Vestdam:2004:MPU,
  author =       "T. Vestdam and K. N{\o}rmark",
  title =        "Maintaining Program Understanding -- Issues, Tools,
                 and Future Directions",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "303--??",
  month =        "Fall",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
  remark =       "Selected papers of The Eleventh Nordic Workshop on
                 Programming Environment Research (NWPER'2004), and the
                 Second Nordic Workshop on UML, Modeling, Methods and
                 Tools (NWUML'2004), August 17--20, 2004.",
}

@Article{Sutinen:2004:ASM,
  author =       "E. Sutinen and J. Tarhio",
  title =        "Approximate String Matching with Ordered $q$-Grams",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "321--??",
  month =        "Winter",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Bereg:2004:DAA,
  author =       "S. Bereg and M. Segal",
  title =        "Dynamic Algorithms for Approximating Interdistances",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "344--??",
  month =        "Winter",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Navarro:2004:ARE,
  author =       "G. Navarro",
  title =        "Approximate Regular Expression Searching with
                 Arbitrary Integer Weights",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "356--??",
  month =        "Winter",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Bodlaender:2004:SEC,
  author =       "H. L. Bodlaender and J. A. Telle",
  title =        "Space-Efficient Construction Variants of Dynamic
                 Programming",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "374--??",
  month =        "Winter",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:2004:AIV,
  author =       "Anonymous",
  title =        "Author Index Volume 11 (2004)",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "386--??",
  month =        "Winter",
  year =         "2004",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Wed Apr 13 08:28:23 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Krizanc:2005:RMR,
  author =       "Danny Krizanc and Pat Morin and Michiel Smid",
  title =        "Range Mode and Range Median Queries on Lists and
                 Trees",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "1--17",
  month =        "Spring",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Fokkink:2005:NKS,
  author =       "Wan Fokkink and Jaap-Henk Hoepman and Jun Pang",
  title =        "A Note on {$K$}-State Self-stabilization in a Ring
                 with {$ K = N$}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "18--26",
  month =        "Spring",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Elmasry:2005:DJ,
  author =       "Amr Elmasry",
  title =        "Deterministic Jumplists",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "27--39",
  month =        "Spring",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Makinen:2005:SSA,
  author =       "Veli M{\"a}kinen and Gonzalo Navarro",
  title =        "Succinct Suffix Arrays based on Run-Length Encoding",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "40--66",
  month =        "Spring",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Pettersson:2005:GEF,
  author =       "Paul Pettersson and Wang Yi",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "67--??",
  month =        "Summer",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Ernits:2005:MAS,
  author =       "Juhan Ernits",
  title =        "Memory Arbiter Synthesis and Verification for a Radar
                 Memory Interface Card",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "68--88",
  month =        "Summer",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Kristiansen:2005:PLC,
  author =       "Lars Kristiansen and Paul J. Voda",
  title =        "Programming Languages Capturing Complexity Classes",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "89--115",
  month =        "Summer",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Kyas:2005:CTL,
  author =       "Marcel Kyas and Frank S. de Boer and Willem-Paul de
                 Roever",
  title =        "A Compositional Trace Logic for Behavioural Interface
                 Specifications",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "116--132",
  month =        "Summer",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Nestra:2005:TC,
  author =       "H{\"a}rmel Nestra",
  title =        "Transfinite Corecursion",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "133--156",
  month =        "Summer",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Runde:2005:RUI,
  author =       "Ragnhild Kobro Runde and {\O}ystein Haugen and Ketil
                 St{\o}len",
  title =        "Refining {UML} Interactions with Underspecification
                 and Nondeterminism",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "157--188",
  month =        "Summer",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Veldhuizen:2005:LEP,
  author =       "Todd L. Veldhuizen",
  title =        "Language Embeddings that Preserve Staging and Safety",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "189--198",
  month =        "Summer",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lilius:2005:GEF,
  author =       "Johan Lilius and Ricardo J. Machado and Dragos Truscan
                 and Jo{\~a}o M. Fernandes and Ivan Porres",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "198--199",
  month =        "Fall",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Al-Azzoni:2005:MVC,
  author =       "Issam Al-Azzoni and Douglas G. Down and Ridha Khedri",
  title =        "Modeling and Verification of Cryptographic Protocols
                 Using Coloured {Petri} Nets and Design\slash {CPN}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "200--228",
  month =        "Fall",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Barros:2005:CSC,
  author =       "Jo{\~a}o Paulo Barros and Jens B{\ae}k J{\o}rgensen",
  title =        "A Case Study on Coloured {Petri} Nets in
                 Object-Oriented Analysis and Design",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "229--250",
  month =        "Fall",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Billington:2005:VCS,
  author =       "Jonathan Billington and Guy Edward Gallasch and Laure
                 Petrucci",
  title =        "Verification of the Class of Stop-and-Wait Protocols
                 Modelled by Coloured {Petri} Nets",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "251--274",
  month =        "Fall",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Petrank:2005:HCC,
  author =       "Erez Petrank and Dror Rawitz",
  title =        "The Hardness of Cache Conscious Data Placement",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "275--307",
  month =        "Fall",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Prieto:2005:RIS,
  author =       "Elena Prieto and Christian Sloper",
  title =        "Reducing to Independent Set Structure -- the Case of
                 $k$-Internal Spanning Tree",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "308--318",
  month =        "Fall",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Koskimies:2005:GEF,
  author =       "Kai Koskimies and Ludwik Ku{\'z}niarz",
  title =        "{Guest Editors}' Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "319--320",
  month =        "Winter",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Alanen:2005:CMF,
  author =       "Marcus Alanen and Torbj{\"o}rn Lundkvist and Ivan
                 Porres",
  title =        "Comparison of Modeling Frameworks for Software
                 Engineering",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "321--342",
  month =        "Winter",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Dobrzanski:2005:PRE,
  author =       "{\L}ukasz Dobrza{\'n}ski and Ludwik Ku{\'z}niarz",
  title =        "Practical Refactoring of Executable {UML} Models",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "343--360",
  month =        "Winter",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lilius:2005:AEE,
  author =       "Johan Lilius and Tomas Lillqvist and Torbj{\"o}rn
                 Lundkvist and Ian Oliver and Ivan Porres and Kim
                 Sandstr{\"o}m and Glen Sveholm and Asim Pervez Zaka",
  title =        "An Architecture Exploration Environment for System on
                 Chip Design",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "361--378",
  month =        "Winter",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Wenzel:2005:ADI,
  author =       "Sven Wenzel",
  title =        "Automatic Detection of Incomplete Instances of
                 Structural Patterns in {UML} Class Diagrams",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "361--378",
  month =        "Winter",
  year =         "2005",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc12.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Jones:2006:GEF,
  author =       "Neil D. Jones",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "1--??",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Bortin:2006:SFD,
  author =       "Maksym Bortin and Einar Broch Johnsen and Christoph
                 L{\"u}th",
  title =        "Structured Formal Development in {Isabelle}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "2--21",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Bruckner:2006:OSF,
  author =       "Ingo Br{\"u}ckner and Bj{\"o}rn Metzler and Heike
                 Wehrheim",
  title =        "Optimizing Slicing of Formal Specifications by
                 Deductive Verification",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "22--45",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Crolard:2006:EPL,
  author =       "Tristan Crolard and Samuel Lacas and Pierre
                 Valarcher",
  title =        "On the Expressive Power of the Loop Language",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "46--57",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Damgaard:2006:ABB,
  author =       "Troels C. Damgaard and Lars Birkedal",
  title =        "Axiomatizing Binding Bigraphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "58--77",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Nesi:2006:DTF,
  author =       "Monica Nesi and Giustina Nocera",
  title =        "Deriving the Type Flaw Attacks in the {Otway--Rees}
                 Protocol by Rewriting",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "78--97",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Nielsen:2006:SAB,
  author =       "Christoffer Rosenkilde Nielsen and Hanne Riis
                 Nielson",
  title =        "Static Analysis for Blinding",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "98--116",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Stovring:2006:HOB,
  author =       "Kristian St{\o}vring",
  title =        "Higher-Order Beta Matching with Solutions in Long
                 Beta-Eta Normal Form",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "117--126",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Tsiopoulos:2006:FDN,
  author =       "Leonidas Tsiopoulos and Marina Wald{\'e}n",
  title =        "Formal Development of {NoC} Systems in {B}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "1-2",
  pages =        "127--145",
  month =        "Summer",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Prinz:2006:GEF,
  author =       "Andreas Prinz and Merete Skjelten Tveit",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "147--148",
  month =        "Fall",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Byckling:2006:ICO,
  author =       "Pauli Byckling and Petri Gerdt and Ludwik Kuzniarz and
                 Jorma Sajaniemi",
  title =        "Increasing Comprehensibility of Object Models: Making
                 the Roles of Attributes Explicit in {UML} Diagrams",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "149--161",
  month =        "Fall",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Koskinen:2006:PBA,
  author =       "Johannes Koskinen and Anna Ruokonen and Tarja
                 Syst{\"a}",
  title =        "A Pattern-Based Approach to Generate Code from {API}
                 Usage Scenarios",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "162--179",
  month =        "Fall",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Siikarla:2006:TUM,
  author =       "Mika Siikarla and Jari Peltonen and Johannes
                 Koskinen",
  title =        "Towards Unambiguous Model Fragments",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "180--195",
  month =        "Fall",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Santos:2006:MDA,
  author =       "Andr{\'e} L. Santos and Kai Koskimies and Ant{\'o}nia
                 Lopes",
  title =        "A Model-Driven Approach to Variability Management in
                 Product-Line Engineering",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "196--213",
  month =        "Fall",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gebremedhin:2006:PMD,
  author =       "Assefaw Hadish Gebremedhin and Mohamed Essa{\"\i}di
                 and Isabelle Gu{\'e}rin Lassous and Jens Gustedt and
                 Jan Arne Telle",
  title =        "{PRO}: {A} Model for the Design and Analysis of
                 Efficient and Scalable Parallel Algorithms",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "215--239",
  month =        "Winter",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Berlea:2006:OER,
  author =       "Alexandru Berlea",
  title =        "Online Evaluation of Regular Tree Queries",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "240--265",
  month =        "Winter",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Poddar:2006:VGB,
  author =       "Rajiv Kumar Poddar and Purandar Bhaduri",
  title =        "Verification of Giotto based Embedded Control
                 Systems",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "266--293",
  month =        "Winter",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gupta:2006:RAQ,
  author =       "Prosenjit Gupta",
  title =        "Range-Aggregate Query Problems Involving Geometric
                 Aggregation Operations",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "294--308",
  month =        "Winter",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Subramani:2006:CPD,
  author =       "K. Subramani and John Argentieri",
  title =        "Chain Programming over Difference Constraints",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "309--327",
  month =        "Winter",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lemire:2006:SMM,
  author =       "Daniel Lemire",
  title =        "Streaming Maximum-Minimum Filter Using No More than
                 Three Comparisons per Element",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "328--339",
  month =        "Winter",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Schellekens:2006:SDT,
  author =       "Michel Schellekens and Rachit Agarwal and Emanuel
                 Popovici and Ka Lok Man",
  title =        "A Simplified Derivation of Timing Complexity Lower
                 Bounds for Sorting by Comparisons",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "340--346",
  month =        "Winter",
  year =         "2006",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc13.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Abdulla:2007:UFR,
  author =       "Parosh Aziz Abdulla and Johann Deneux and Pritha
                 Mahata and Aletta Nyl{\'e}n",
  title =        "Using Forward Reachability Analysis for Verification
                 of Timed {Petri} Nets",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "1-2",
  pages =        "1--42",
  month =        "Summer",
  year =         "2007",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lam:2007:FRA,
  author =       "Vitus S. W. Lam",
  title =        "A Formalism for Reasoning about {UML} Activity
                 Diagrams",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "1-2",
  pages =        "43--64",
  month =        "Summer",
  year =         "2007",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Man:2007:FSA,
  author =       "Ka Lok Man",
  title =        "Formal Specification and Analysis of Hardware Systems
                 in {Timed Chi}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "1-2",
  pages =        "65--86",
  month =        "Summer",
  year =         "2007",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Heggernes:2007:LTC,
  author =       "Pinar Heggernes and Dieter Kratsch",
  title =        "Linear-time certifying recognition algorithms and
                 forbidden induced subgraphs",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "1-2",
  pages =        "87--108",
  month =        "Summer",
  year =         "2007",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Bremler-Barr:2007:PLT,
  author =       "Anat Bremler-Barr and Leah Epstein",
  title =        "Path layout on tree networks: Bounds in different
                 label switching models",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "1-2",
  pages =        "109--125",
  month =        "Summer",
  year =         "2007",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Mahajan:2007:BSC,
  author =       "Meena Mahajan and Raghavan Rama and S. Vijayakumar",
  title =        "Block Sorting: {A} Characterization and some
                 Heuristics",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "1-2",
  pages =        "126--150",
  month =        "Summer",
  year =         "2007",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Cieliebak:2008:CVE,
  author =       "Mark Cieliebak and Stephan Eidenbenz and Aris T.
                 Pagourtzis and Konrad Schlude",
  title =        "On the Complexity of Variations of Equal Sum Subsets",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "3",
  pages =        "151--172",
  month =        "Fall",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Xu:2008:FST,
  author =       "Qiwen Xu and Naijun Zhan",
  title =        "Formalising Scheduling Theories in Duration Calculus",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "3",
  pages =        "173--201",
  month =        "Fall",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Kranakis:2008:TMU,
  author =       "Evangelos Kranakis and Danny Krizanc and Sunil
                 Shende",
  title =        "Tracking Mobile Users in Cellular Networks using
                 Timing Information",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "3",
  pages =        "202--215",
  month =        "Fall",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Boichut:2008:ABT,
  author =       "Y. Boichut and P.-C. H{\'e}am and O. Kouchnarenko",
  title =        "Approximation-based Tree Regular Model-Checking",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "3",
  pages =        "216--241",
  month =        "Fall",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Hvannberg:2008:GEF,
  author =       "Ebba Hvannberg",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "243--244",
  month =        "Winter",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Carrez:2008:SES,
  author =       "Cyril Carrez and Lotte Johansen and Pawel Cieslak and
                 Stefan H{\"a}nsgen",
  title =        "Service Engineering with the {SIMS} Design and
                 Validation Tools",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "245--263",
  month =        "Winter",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lahtinen:2008:MBA,
  author =       "Samuel Lahtinen and Kai Koskimies",
  title =        "A Model-Based Approach to Reflective Command
                 Interfaces",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "264--281",
  month =        "Winter",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Lind:2008:ERT,
  author =       "Kenneth Lind and Rogardt Heldal",
  title =        "Estimation of Real-Time Software Component Size",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "282--300",
  month =        "Winter",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Mohagheghi:2008:MSP,
  author =       "Parastoo Mohagheghi and Vegard Dehlen and Tor Neple",
  title =        "A Metamodel and Supporting Process and Tool for
                 Specifying Quality Models in Model-Based Software
                 Development",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "301--320",
  month =        "Winter",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Raatikainen:2008:FME,
  author =       "Mikko Raatikainen and Varvana Myll{\"a}rniemi and Tomi
                 M{\"a}nnist{\"o}",
  title =        "{Featback}: Method for Enhancing Management of Agile
                 Development",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "321--337",
  month =        "Winter",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Raiha:2008:PBG,
  author =       "Outi R{\"a}ih{\"a} and Kai Koskimies and Erkki
                 M{\"a}kinen and Tarja Syst{\"a}",
  title =        "Pattern-Based Genetic Model Refinements in {MDA}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "338--355",
  month =        "Winter",
  year =         "2008",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sat Sep 11 08:22:12 MDT 2010",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc14.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

%% No issues for 2009--2012
@Article{Peltonen:2013:GEF,
  author =       "Jari Peltonen",
  title =        "{Guest Editor}'s Foreword",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "15",
  number =       "1",
  pages =        "1--2",
  month =        "Spring",
  year =         "2013",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sun May 5 11:09:02 MDT 2013",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc15.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Harsu:2013:CCG,
  author =       "Maarit Harsu and Tibor Bakota and Istv{\'a}n Siket and
                 Kai Koskimies and Tarja Syst{\"a}",
  title =        "Code Clones: Good, Bad, or Ugly?",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "15",
  number =       "1",
  pages =        "3--17",
  month =        "Spring",
  year =         "2013",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sun May 5 11:09:02 MDT 2013",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc15.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Herczeg:2013:TFF,
  author =       "Zolt{\'a}n Herczeg and G{\'a}bor L{\'o}ki and
                 Tam{\'a}s Szirbucz and {\'A}kos Kiss",
  title =        "Validating {JavaScript} Guidelines across Multiple
                 {Web} Browsers",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "15",
  number =       "1",
  pages =        "18--31",
  month =        "Summer",
  year =         "2013",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sun May 5 11:09:02 MDT 2013",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc15.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Sakkinen:2013:TFF,
  author =       "Markku Sakkinen and Philippe Lahire and Ciprian-Bogdan
                 Chiril{\u{a}}",
  title =        "Towards Fully-Fledged Reverse Inheritance in
                 {Eiffel}",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "15",
  number =       "1",
  pages =        "32--52",
  month =        "Spring",
  year =         "2013",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sun May 5 11:09:02 MDT 2013",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc15.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}

@Article{Tiusanen:2013:GKA,
  author =       "Mikko Tiusanen and Antti Valmari",
  title =        "Good to Know about the Efficiency of State Space
                 Methods",
  journal =      j-NORDIC-J-COMPUT,
  volume =       "15",
  number =       "1",
  pages =        "53--74",
  month =        "Spring",
  year =         "2013",
  CODEN =        "NJCOFR",
  ISSN =         "1236-6064",
  bibdate =      "Sun May 5 11:09:02 MDT 2013",
  bibsource =    "http://www.cs.helsinki.fi/njc/njc15.html;
                 http://www.math.utah.edu/pub/tex/bib/nordic-j-computing.bib",
  acknowledgement = ack-nhfb,
}