@Preamble{
"\ifx \scr \undefined \let \scr = \cal \fi"
}
@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/|"}
@String{j-NORDIC-J-COMPUT = "Nordic Journal of Computing"}
@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,
}
@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,
}
