%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.06",
%%% date = "13 April 2005",
%%% time = "08:41:36 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 = "56646 4884 17321 168718",
%%% 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",
%%% 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.06, the year coverage looked
%%% like this:
%%%
%%% 1994 ( 28) 1998 ( 18) 2002 ( 23)
%%% 1995 ( 23) 1999 ( 29) 2003 ( 22)
%%% 1996 ( 25) 2000 ( 24) 2004 ( 22)
%%% 1997 ( 20) 2001 ( 23)
%%%
%%% Article: 257
%%%
%%% Total entries: 257
%%%
%%% 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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
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",
URL = "