%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.06", %%% date = "13 April 2005", %%% time = "08:41:36 MST", %%% filename = "nordic-j-computing.bib", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", %%% URL = "http://www.math.utah.edu/~beebe", %%% checksum = "56646 4884 17321 168718", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "bibliography, BibTeX, Nordic Journal of %%% Computing", %%% supported = "yes", %%% docstring = "This is a COMPLETE bibliography of the %%% quarterly Nordic Journal of Computing (CODEN %%% NJCOFR, ISSN 1236-6064), published by %%% Publishing Association Nordic Journal of %%% Computing, Helsinki, Finland. It began with %%% volume 1, number 1, Spring 1994, and appears %%% quarterly. It has a World-Wide Web site at %%% %%% http://www.cs.helsinki.fi/njc/ %%% %%% with pointers to complete tables of contents, %%% abstracts, selected references, and an author %%% index. %%% %%% At version 1.06, the year coverage looked %%% like this: %%% %%% 1994 ( 28) 1998 ( 18) 2002 ( 23) %%% 1995 ( 23) 1999 ( 29) 2003 ( 22) %%% 1996 ( 25) 2000 ( 24) 2004 ( 22) %%% 1997 ( 20) 2001 ( 23) %%% %%% Article: 257 %%% %%% Total entries: 257 %%% %%% The initial draft of this bibliography was %%% derived entirely from the tables of contents %%% at the journal Web site, then augmented with %%% data from the MathSciNet database, with %%% discrepancies cross-checked in the %%% Zentralblatt fuer Mathematik database. This %%% journal is not covered by the OCLC %%% Contents1st database, or by the Compendex %%% database. %%% %%% Numerous errors in the sources noted above %%% have been corrected. Spelling has been %%% verified with the UNIX spell and GNU ispell %%% programs using the exception dictionary %%% stored in the companion file with extension %%% .sok. %%% %%% BibTeX citation tags are uniformly chosen %%% as name:year:abbrev, where name is the %%% family name of the first author or editor, %%% year is a 4-digit number, and abbrev is a %%% 3-letter condensation of important title %%% words. Citation tags were automatically %%% generated by software developed for the %%% BibNet Project. %%% %%% In this bibliography, entries are sorted in %%% publication order, using bibsort -byvolume. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== @Preamble{ "\ifx \scr \undefined \let \scr = \cal \fi" } %======================================================================= % Acknowledgement abbreviations: @String{ack-nhfb = "Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 801 581 4148, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), URL: \path|http://www.math.utah.edu/~beebe/|"} %%====================================================================== %% Journal abbreviations: @String{j-NORDIC-J-COMPUT = "Nordic Journal of Computing"} %======================================================================= % Bibliography entries. @Article{Fisher:1994:LCO, author = "Kathleen Fisher and Furio Honsell and John C. Mitchell", title = "A lambda calculus of objects and method specialization", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "3--37", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q55 (03B40)", MRnumber = "95m:68109", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/fisherhm1994:3.html", acknowledgement = ack-nhfb, } @Article{Hagerup:1994:GTS, author = "Torben Hagerup and Martin Maas", title = "Generalized topological sorting in linear time", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "38--49", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68R10 (05C85 68Q20)", MRnumber = "96d:68164", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/hagerupm1994:38.html", acknowledgement = ack-nhfb, } @Article{Melham:1994:MTC, author = "T. F. Melham", title = "A mechanized theory of the {$\pi$}-calculus in {HOL}", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "50--76", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q60 (68T15)", MRnumber = "96b:68121", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/melham1994:50.html", acknowledgement = ack-nhfb, } @Article{Mossenbock:1994:EOS, author = "Hanspeter M{\"o}ssenb{\"o}ck", title = "Extensibility in the {Oberon} system", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "77--93", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:29 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/mossenbock1994:77.html", acknowledgement = ack-nhfb, } @Article{Orponen:1994:CCN, author = "Pekka Orponen", title = "Computational complexity of neural networks: a survey", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "94--110", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q05 (68T05 92B20)", MRnumber = "96a:68022", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/orponen1994:94.html", acknowledgement = ack-nhfb, xxtitle = "Neural networks and complexity theory", } @Article{Bodlaender:1994:TON, author = "Hans L. Bodlaender and Gerard Tel and Nicola Santoro", title = "Trade-offs in non-reversing diameter", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "111--134", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68R10", MRnumber = "96c:68148", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/bodlaenderts1994:111.html", acknowledgement = ack-nhfb, } @Article{Lysne:1994:HCA, author = "Olav Lysne", title = "Heuristics for completion in automatic proofs by structural induction", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "135--156", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68T15 (03B35)", MRnumber = "95m:68152", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/lysne1994:135.html", acknowledgement = ack-nhfb, } @Article{Telle:1994:CDT, author = "Jan Arne Telle", title = "Complexity of domination-type problems in graphs", journal = j-NORDIC-J-COMPUT, volume = "1", number = "1", pages = "157--171", month = "Spring", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (05C70 05C85 68Q10)", MRnumber = "96g:68056", MRreviewer = "Italo Jos{\'e} Dejter", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/telle1994:157.html", acknowledgement = ack-nhfb, } @Article{Blair:1994:FMD, author = "Jean R. S. Blair and Barry W. Peyton", title = "On finding minimum-diameter clique trees", journal = j-NORDIC-J-COMPUT, volume = "1", number = "2", pages = "173--201", month = "Summer", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P05 (05C05 05C85 68R10)", MRnumber = "96c:68029", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/blairp1994:173.html", acknowledgement = ack-nhfb, } @Article{Coolsaet:1994:TMV, author = "K. Coolsaet and V. Fack and H. De Meyer", title = "A tabular method for verification of data exchange algorithms on networks of parallel processors", journal = j-NORDIC-J-COMPUT, volume = "1", number = "2", pages = "202--213", month = "Summer", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:29 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/coolsaetfm1994:202.html", acknowledgement = ack-nhfb, } @Article{Jajodia:1994:VBD, author = "S. Jajodia and R. Mukkamala and K. V. S. Ramarao", title = "A view-based dynamic replication control algorithm", journal = j-NORDIC-J-COMPUT, volume = "1", number = "2", pages = "214--230", month = "Summer", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:29 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/jajodiamr1994:214.html", acknowledgement = ack-nhfb, } @Article{Janardan:1994:WCP, author = "Ravi Janardan and Franco P. Preparata", title = "Widest-corridor problems", journal = j-NORDIC-J-COMPUT, volume = "1", number = "2", pages = "231--245", month = "Summer", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (52B55 68Q25)", MRnumber = "96e:68131", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/janardanp1994:231.html", acknowledgement = ack-nhfb, } @Article{Pferschy:1994:SGC, author = "Ulrich Pferschy and R{\"u}diger Rudolf and Gerhard J. Woeginger", title = "Some geometric clustering problems", journal = j-NORDIC-J-COMPUT, volume = "1", number = "2", pages = "246--263", month = "Summer", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (68Q25)", MRnumber = "96d:68212", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/pferschyrw1994:246.html", acknowledgement = ack-nhfb, } @Article{Jansen:1994:IFD, author = "Klaus Jansen", title = "Integral flow with disjoint bundles", journal = j-NORDIC-J-COMPUT, volume = "1", number = "2", pages = "264--267", month = "Summer", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (05C85 68R10)", MRnumber = "96f:68062", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/jansen1994:264.html", acknowledgement = ack-nhfb, } @Article{Krussel:1994:NHO, author = "John W. Krussel and Barry F. Schaudt", title = "A note on higher order {Vorono{\u{\i}}diagrams}", journal = j-NORDIC-J-COMPUT, volume = "1", number = "2", pages = "268--272", month = "Summer", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05", MRnumber = "96g:68140", MRreviewer = "Hans-Dietrich Hecker", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", URL = "http://www.cs.helsinki.fi/njc/References/krussels1994:268.html", acknowledgement = ack-nhfb, } @Article{Lingas:1994:EF, author = "Andrzej Lingas", title = "{Editor}'s foreword", journal = j-NORDIC-J-COMPUT, volume = "1", number = "3", pages = "273--??", month = "Fall", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:29 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", acknowledgement = ack-nhfb, } @Article{Marathe:1994:CAP, author = "Madhav V. Marathe and Harry B. {Hunt, III} and S. S. Ravi", title = "The complexity of approximation {PSPACE}-complete problems for hierarchical specifications", journal = j-NORDIC-J-COMPUT, volume = "1", number = "3", pages = "275--316", month = "Fall", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q15 (68Q25 68R10)", MRnumber = "96d:68072", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 20th International Colloquium on Automata, Languages and Programming (ICALP 93) (Lund, 1993).", URL = "http://www.cs.helsinki.fi/njc/References/marathehr1994:275.html", acknowledgement = ack-nhfb, } @Article{Kann:1994:PBM, author = "Viggo Kann", title = "Polynomially bounded minimization problems that are hard to approximate", journal = j-NORDIC-J-COMPUT, volume = "1", number = "3", pages = "317--331", month = "Fall", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q15 (68Q25)", MRnumber = "96h:68072", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 20th International Colloquium on Automata, Languages and Programming (ICALP 93) (Lund, 1993).", URL = "http://www.cs.helsinki.fi/njc/References/kann1994:317.html", acknowledgement = ack-nhfb, } @Article{Chlebus:1994:SNS, author = "Bogdan S. Chlebus and Krzysztof Diks and Andrzej Pelc", title = "Sparse networks supporting efficient reliable broadcasting", journal = j-NORDIC-J-COMPUT, volume = "1", number = "3", pages = "332--345", month = "Fall", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M10 (90B12)", MRnumber = "96b:68021", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 20th International Colloquium on Automata, Languages and Programming (ICALP 93) (Lund, 1993).", URL = "http://www.cs.helsinki.fi/njc/References/chlebusdp1994:332.html", acknowledgement = ack-nhfb, } @Article{Havelund:1994:FC, author = "Klaus Havelund and Kim Guldstrand Larsen", title = "The fork calculus", journal = j-NORDIC-J-COMPUT, volume = "1", number = "3", pages = "346--363", month = "Fall", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q10 (68Q55 68Q60)", MRnumber = "96c:68048", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 20th International Colloquium on Automata, Languages and Programming (ICALP 93) (Lund, 1993).", URL = "http://www.cs.helsinki.fi/njc/References/havelundl1994:346.html", acknowledgement = ack-nhfb, } @Article{Hungar:1994:LMC, author = "Hardi Hungar and Bernhard Steffen", title = "Local model checking for context-free processes", journal = j-NORDIC-J-COMPUT, volume = "1", number = "3", pages = "364--385", month = "Fall", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q60", MRnumber = "96h:68126", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 20th International Colloquium on Automata, Languages and Programming (ICALP 93) (Lund, 1993).", URL = "http://www.cs.helsinki.fi/njc/References/hungars1994:364.html", acknowledgement = ack-nhfb, } @Article{Skyum:1994:GEF, author = "Sven Skyum", title = "{Guest Editor}'s foreword", journal = j-NORDIC-J-COMPUT, volume = "1", number = "4", pages = "387--??", month = "Winter", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:29 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", acknowledgement = ack-nhfb, } @Article{Becker:1994:NAC, author = "Peter Becker", title = "A new algorithm for the construction of optimal {$B$}-trees", journal = j-NORDIC-J-COMPUT, volume = "1", number = "4", pages = "389--401", month = "Winter", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P05 (68Q20 90C27)", MRnumber = "96d:68035b", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 4th Scandinavian Workshop on Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).", URL = "http://www.cs.helsinki.fi/njc/References/becker1994:389.html", acknowledgement = ack-nhfb, } @Article{Schenk:1994:PDL, author = "Eric Schenk", title = "Parallel dynamic lowest common ancestors", journal = j-NORDIC-J-COMPUT, volume = "1", number = "4", pages = "402--432", month = "Winter", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P05", MRnumber = "96d:68037", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 4th Scandinavian Workshop on Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).", URL = "http://www.cs.helsinki.fi/njc/References/schenk1994:402.html", acknowledgement = ack-nhfb, } @Article{Das:1994:FAW, author = "Gautam Das and Paul J. Heffernan and Giri Narasimhan", title = "Finding all weakly visible chords of a polygon in linear time", journal = j-NORDIC-J-COMPUT, volume = "1", number = "4", pages = "433--457", month = "Winter", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (68Q25)", MRnumber = "97f:68186", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 4th Scandinavian Workshop on Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).", URL = "http://www.cs.helsinki.fi/njc/References/dashn1994:433.html", acknowledgement = ack-nhfb, } @Article{Schuierer:1994:TAC, author = "Sven Schuierer", title = "An {$O(\log \log n)$} time algorithm to compute the kernel of a polygon", journal = j-NORDIC-J-COMPUT, volume = "1", number = "4", pages = "458--474", month = "Winter", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (52B55 68Q25)", MRnumber = "96k:68198", MRreviewer = "Hans-Dietrich Hecker", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 4th Scandinavian Workshop on Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).", URL = "http://www.cs.helsinki.fi/njc/References/schuierer1994:458.html", acknowledgement = ack-nhfb, } @Article{Halldorsson:1994:IAI, author = "Magn{\'u}s M. Halld{\'o}rsson and Jaikumar Radhakrishnan", title = "Improved approximations of independent sets in bounded-degree graphs via subgraph removal", journal = j-NORDIC-J-COMPUT, volume = "1", number = "4", pages = "475--492", month = "Winter", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "05C85 (05C35 68R10)", MRnumber = "96h:05186b", MRreviewer = "Mukkai S. Krishnamoorthy", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 4th Scandinavian Workshop on Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).", URL = "http://www.cs.helsinki.fi/njc/References/halldorssonr1994:475.html", acknowledgement = ack-nhfb, } @Article{Peinado:1994:HGR, author = "Marcus Peinado", title = "Hard graphs for the randomized {Boppana-Halld{\'o}rsson} algorithm for {MAXCLIQUE}", journal = j-NORDIC-J-COMPUT, volume = "1", number = "4", pages = "493--515", month = "Winter", year = "1994", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (05C80 05C85 68R10)", MRnumber = "96h:68098b", MRreviewer = "Mark R. Jerrum", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc1.html", note = "Selected papers of the 4th Scandinavian Workshop on Algorithm Theory (SWAT '94) ({\AA}rhus, 1994).", URL = "http://www.cs.helsinki.fi/njc/References/peinado1994:493.html", acknowledgement = ack-nhfb, } @Article{Ukkonen:1995:EF, author = "Esko Ukkonen", title = "{Editor}'s foreword", journal = j-NORDIC-J-COMPUT, volume = "2", number = "1", pages = "1--??", month = "Spring", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:32 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", acknowledgement = ack-nhfb, } @Article{Golin:1995:SRA, author = "Mordecai Golin and Rajeev Raman and Christian Schwarz and Michiel Smid", title = "Simple randomized algorithms for closest pair problems", journal = j-NORDIC-J-COMPUT, volume = "2", number = "1", pages = "3--27", month = "Spring", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (68P05)", MRnumber = "96h:68206", MRreviewer = "Hans-Dietrich Hecker", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/golinrss1995:3.html", acknowledgement = ack-nhfb, } @Article{Kamakoti:1995:ERA, author = "V. Kamakoti and Kamala Krithivasan and C. Pandu Rangan", title = "An efficient randomized algorithm for the closest pair problem on colored point sets", journal = j-NORDIC-J-COMPUT, volume = "2", number = "1", pages = "28--40", month = "Spring", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (68P05)", MRnumber = "96h:68207", MRreviewer = "Hans-Dietrich Hecker", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/kamakotikr1995:28.html", acknowledgement = ack-nhfb, } @Article{Kratochvil:1995:GDC, author = "Jan Kratochv{\'\i}l and Paul D. Manuel and Mirka Miller", title = "Generalized domination in chordal graphs", journal = j-NORDIC-J-COMPUT, volume = "2", number = "1", pages = "41--50", month = "Spring", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "05C85 (68Q25 68R10)", MRnumber = "96h:05191", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/kratochvilmm1995:41.html", acknowledgement = ack-nhfb, } @Article{Leppanen:1995:WOS, author = "Ville Lepp{\"a}nen and Martti Penttonen", title = "Work-optimal simulation of {PRAM} models on meshes", journal = j-NORDIC-J-COMPUT, volume = "2", number = "1", pages = "51--69", month = "Spring", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M07 (68Q05)", MRnumber = "1 344 146", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/leppanenp1995:51.html", acknowledgement = ack-nhfb, } @Article{Vassilakopoulos:1995:EAO, author = "Michael Vassilakopoulos and Yannis Manolopoulos and Brigitte Kr{\"o}ll", title = "Efficiency analysis of overlapped quadtrees", journal = j-NORDIC-J-COMPUT, volume = "2", number = "1", pages = "70--84", month = "Spring", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P05", MRnumber = "96c:68032", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/vassilakopoulosmk1995:70.html", acknowledgement = ack-nhfb, } @Article{Jonsson:1995:GEF, author = "B. Jonsson and Joachim Parrow", title = "{Guest Editors}' foreword", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "87--??", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:32 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", acknowledgement = ack-nhfb, } @Article{Burkart:1995:CDM, author = "Olaf Burkart and Bernhard Steffen", title = "Composition, decomposition and model checking of pushdown processes", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "89--125", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q05 (68Q60)", MRnumber = "96g:68027", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/burkarts1995:89.html", acknowledgement = ack-nhfb, } @Article{DiGianantonio:1995:ULL, author = "Pietro {Di Gianantonio} and Furio Honsell and Gordon Plotkin", title = "Uncountable limits and the lambda calculus", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "126--145", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q55 (03B40 06B35)", MRnumber = "96j:68108", MRreviewer = "Eugenio Moggi", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/gianantoniohp1995:126.html", acknowledgement = ack-nhfb, } @Article{Kanellakis:1995:CMA, author = "Paris C. Kanellakis and Dimitrios Michailidis and Alex Allister Shvartsman", title = "Controlling memory access concurrency in efficient fault-tolerant parallel algorithms", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "146--180", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q22 (68M10 68M15 68Q10)", MRnumber = "96g:68047", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/kanellakisms1995:146.html", acknowledgement = ack-nhfb, } @Article{Mendler:1995:LVC, author = "Nax P. Mendler and Prakash Panangaden and P. J. Scott and R. A. G. Seely", title = "A logical view of concurrent constraint programming", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "181--220", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q55 (03B70)", MRnumber = "97a:68105", MRreviewer = "Xiang Li", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/mendlerpss1995:181.html", acknowledgement = ack-nhfb, } @Article{Nielsen:1995:GLN, author = "Mogens Nielsen and Christian Clausen", title = "Games and logics for a noninterleaving bisimulation", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "221--249", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q10 (03B70 68Q55 68Q90)", MRnumber = "96k:68060", MRreviewer = "Peter Bachmann", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/nielsenc1995:221.html", acknowledgement = ack-nhfb, } @Article{Segala:1995:PSP, author = "Roberto Segala and Nancy Lynch", title = "Probabilistic simulations for probabilistic processes", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "250--273", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q10 (68Q60)", MRnumber = "96k:68063", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/segalal1995:250.html", acknowledgement = ack-nhfb, } @Article{Verhoef:1995:CTS, author = "Chris Verhoef", title = "A congruence theorem for structured operational semantics with predicates and negative premises", journal = j-NORDIC-J-COMPUT, volume = "2", number = "2", pages = "274--302", month = "Summer", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q55", MRnumber = "96g:68072", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/verhoef1995:274.html", acknowledgement = ack-nhfb, } @Article{Fraser:1995:AAS, author = "Campbell B. Fraser and Robert W. Irving", title = "Approximation Algorithms for the Shortest Common Supersequence", journal = j-NORDIC-J-COMPUT, volume = "2", number = "3", pages = "303--325", month = "Fall", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q20 (68Q25)", MRnumber = "96m:68066", MRreviewer = "Dany Breslauer", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/fraseri1995:303.html", acknowledgement = ack-nhfb, } @Article{Chung:1995:MPD, author = "Kuo Liang Chung and Yu Wei Chen", title = "Mapping Pyramids into {$3$-D} Meshes", journal = j-NORDIC-J-COMPUT, volume = "2", number = "3", pages = "326--337", month = "Fall", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M10", MRnumber = "97b:68016", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/chungc1995:326.html", acknowledgement = ack-nhfb, } @Article{Godskesen:1995:SDF, author = "Jens Chr. Godskesen and Kim G. Larsen", title = "Synthesizing Distinguishing Formulae for Real Time Systems", journal = j-NORDIC-J-COMPUT, volume = "2", number = "3", pages = "338--357", month = "Fall", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q60", MRnumber = "96j:68121", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/godskesenl1995:338.html", acknowledgement = ack-nhfb, } @Article{Walicki:1995:SSI, author = "Micha{\l} Walicki and Manfred Broy", title = "Structured Specifications and Implementation of Nondeterministic Data Types", journal = j-NORDIC-J-COMPUT, volume = "2", number = "3", pages = "358--395", month = "Fall", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q65", MRnumber = "97f:68129", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/walickib1995:358.html", acknowledgement = ack-nhfb, } @Article{Chung:1995:FMF, author = "Kuo-Liang -L. Chung", title = "Fast Median-Finding on Mesh-Connected Computers with Segmented Buses", journal = j-NORDIC-J-COMPUT, volume = "2", number = "4", pages = "397--406", month = "Winter", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M10 (68M07)", MRnumber = "1 372 206", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/chung1995:397.html", acknowledgement = ack-nhfb, } @Article{Parrow:1995:ID, author = "Joachim Parrow", title = "Interaction Diagrams", journal = j-NORDIC-J-COMPUT, volume = "2", number = "4", pages = "407--443", month = "Winter", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q10", MRnumber = "96k:68061", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/parrow1995:407.html", acknowledgement = ack-nhfb, } @Article{Rick:1995:NFA, author = "Claus Rick", title = "A New Flexible Algorithm for the Longest Common Subsequence Problem", journal = j-NORDIC-J-COMPUT, volume = "2", number = "4", pages = "444--461", month = "Winter", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q20 (68R15 92D20)", MRnumber = "96j:68081", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/rick1995:444.html", acknowledgement = ack-nhfb, } @Article{Bodlaender:1995:CAT, author = "Hans L. Bodlaender and Teofilo F. Gonzalez and Ton Kloks", title = "Complexity Aspects of Two-Dimensional Data Compression", journal = j-NORDIC-J-COMPUT, volume = "2", number = "4", pages = "462--495", month = "Winter", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (68R10 94A29)", MRnumber = "96k:68088", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/bodlaendergk1995:462.html", acknowledgement = ack-nhfb, } @Article{Clausen:1995:FBC, author = "Jens Clausen and Jakob Krarup", title = "A Family of Bipartite Cardinality Matching Problems Solvable in {$O(n^2)$} Time", journal = j-NORDIC-J-COMPUT, volume = "2", number = "4", pages = "496--501", month = "Winter", year = "1995", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (05C70 05C85 68R10 90C27)", MRnumber = "96j:68088", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc2.html", URL = "http://www.cs.helsinki.fi/njc/References/clausenk1995:496.html", acknowledgement = ack-nhfb, } @Article{Tsin:1996:GVD, author = "Yung H. Tsin and Cao-An Wang", title = "Geodesic {Voronoi} Diagrams in the Presence of Rectilinear Barriers", journal = j-NORDIC-J-COMPUT, volume = "3", number = "1", pages = "1--26", month = "Spring", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (52B55)", MRnumber = "98f:68271", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/tsinw1996:1.html", acknowledgement = ack-nhfb, } @Article{Katajainen:1996:PPM, author = "Jyrki Katajainen and Tomi Pasanen and Jukka Teuhola", title = "Practical In-Place Mergesort", journal = j-NORDIC-J-COMPUT, volume = "3", number = "1", pages = "27--40", month = "Spring", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P10", MRnumber = "97a:68041", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/katajainenpt1996:27.html", acknowledgement = ack-nhfb, } @Article{Seidl:1996:LGS, author = "Helmut Seidl", title = "Least and greatest solutions of equations over {$\scr N$}", journal = j-NORDIC-J-COMPUT, volume = "3", number = "1", pages = "41--62", month = "Spring", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q55 (06B35 68N20)", MRnumber = "97c:68093", MRreviewer = "Victor N. Kas{\cprime}yanov", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/seidl1996:41.html", acknowledgement = ack-nhfb, } @Article{Akl:1996:GAT, author = "Selim G. Akl and Ivan Stojmenovic", title = "Generating $t$-ary Trees in Parallel", journal = j-NORDIC-J-COMPUT, volume = "3", number = "1", pages = "63--71", month = "Spring", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68R10 (68P05 68Q22)", MRnumber = "97b:68165", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/akls1996:63.html", acknowledgement = ack-nhfb, } @Article{Datta:1996:OPA, author = "Amitava Datta and Anil Maheshwari and J{\"o}rg-R{\"u}diger -R. Sack", title = "Optimal Parallel Algorithms for Direct Dominance Problems", journal = j-NORDIC-J-COMPUT, volume = "3", number = "1", pages = "72--88", month = "Spring", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (68Q22)", MRnumber = "97d:68234", MRreviewer = "Evangelos Kranakis", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/dattams1996:72.html", acknowledgement = ack-nhfb, } @Article{Lin:1996:SAS, author = "C.-Z. Lin and C.-C. Tseng and Y.-L. Chen and T.-W. Kuo", title = "A Systematic Approach to Synthesize Data Alignment Directives for Distributed Memory Machines", journal = j-NORDIC-J-COMPUT, volume = "3", number = "2", pages = "89--119", month = "Summer", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Oct 13 05:30:22 2000", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/lintck1996:89.html", acknowledgement = ack-nhfb, xxnote = "Check pages??", } @Article{Malmi:1996:NMU, author = "Lauri Malmi", title = "A New Method for Updating and Rebalancing Tree-Type Main Memory Dictionaries", journal = j-NORDIC-J-COMPUT, volume = "3", number = "2", pages = "111--130", month = "Summer", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P05", MRnumber = "97g:68049", MRreviewer = "Fabrizio Luccio", bibdate = "Fri Oct 13 05:30:23 2000", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/malmi1996:111.html", acknowledgement = ack-nhfb, xxnote = "Check pages??", } @Article{Linnestad:1996:FSK, author = "Henrik Linnestad", title = "Fatal Steps of {Knuth-Bendix} Completion", journal = j-NORDIC-J-COMPUT, volume = "3", number = "2", pages = "131--143", month = "Summer", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q42", MRnumber = "98e:68129", MRreviewer = "Klaus Madlener", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/linnestad1996:131.html", acknowledgement = ack-nhfb, } @Article{Nielson:1996:OST, author = "Flemming Nielson and Hanne Riis Nielson", title = "Operational Semantics of Termination Types", journal = j-NORDIC-J-COMPUT, volume = "3", number = "2", pages = "144--187", month = "Summer", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q55 (68Q60)", MRnumber = "97g:68144", MRreviewer = "David B. Benson", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/nielsonn1996:144.html", acknowledgement = ack-nhfb, } @Article{Diks:1996:FTL, author = "Krzysztof Diks and Andrzej Pelc", title = "Fault-Tolerant Linear Broadcasting", journal = j-NORDIC-J-COMPUT, volume = "3", number = "2", pages = "188--201", month = "Summer", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M15 (68M10 90B12)", MRnumber = "97c:68025", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/diksp1996:188.html", acknowledgement = ack-nhfb, } @Article{Brown:1996:BSP, author = "Cynthia A. Brown and Larry Finkelstein and Paul Walton {Purdom, Jr.}", title = "Backtrack Searching in the Presence of Symmetry", journal = j-NORDIC-J-COMPUT, volume = "3", number = "3", pages = "203--219", month = "Fall", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68T20", MRnumber = "97g:68203", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/brownfp1996:203.html", acknowledgement = ack-nhfb, } @Article{Eades:1996:TMD, author = "Peter Eades and Mark Keil and Paul D. Manuel and Mirka Miller", title = "Two Minimum Dominating Sets with Minimum Intersection in Chordal Graphs", journal = j-NORDIC-J-COMPUT, volume = "3", number = "3", pages = "220--237", month = "Fall", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "05C70 (05C35 05C85)", MRnumber = "97k:05153", MRreviewer = "Richard C. Brewster", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/eadeskmm1996:220.html", acknowledgement = ack-nhfb, } @Article{Brodal:1996:PPD, author = "Gerth St{\o}lting Brodal", title = "Partially Persistent Data Structures of Bounded Degree with Constant Update Time", journal = j-NORDIC-J-COMPUT, volume = "3", number = "3", pages = "238--255", month = "Fall", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P05 (90D43)", MRnumber = "97i:68048", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/brodal1996:238.html", acknowledgement = ack-nhfb, } @Article{Natarajan:1996:DPC, author = "Sridhar Natarajan and Alan P. Sprague", title = "Disjoint Paths in Circular Arc Graphs", journal = j-NORDIC-J-COMPUT, volume = "3", number = "3", pages = "256--270", month = "Fall", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "05C38 (05C85)", MRnumber = "97m:05153", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/natarajans1996:256.html", acknowledgement = ack-nhfb, } @Article{Chen:1996:PSS, author = "J.-C. Chen", title = "Proportion Split Sort", journal = j-NORDIC-J-COMPUT, volume = "3", number = "3", pages = "271--279", month = "Fall", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:34 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/chen1996:271.html", acknowledgement = ack-nhfb, } @Article{Ang:1996:AAS, author = "C.-H. Ang and H. Samet", title = "Approximate Average Storage Utilization of Bucket Methods with Arbitrary Fanout", journal = j-NORDIC-J-COMPUT, volume = "3", number = "3", pages = "280--291", month = "Fall", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:34 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/angs1996:280.html", acknowledgement = ack-nhfb, } @Article{Karlsson:1996:GEF, author = "R. Karlsson and Andrzej Lingas", title = "{Guest Editors}' Foreword", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "293--294", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:34 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", acknowledgement = ack-nhfb, } @Article{Lam:1996:CUM, author = "T. W. Lam and W. K. Sung and H. F. Ting", title = "Computing unrooted maximum subtrees in sub-quartic time", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "295--322", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (92B10 92D10)", MRnumber = "97m:68099", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", note = "The 5th Scandinavian Workshop on Algorithm Theory (SWAT '96) (Reykjav{\'\i}k, 1996).", URL = "http://www.cs.helsinki.fi/njc/References/lamst1996:295.html", acknowledgement = ack-nhfb, xxtitle = "Computing the Unrooted Maximum Agreement Subtree in Sub-quadratic Time", } @Article{Husfeldt:1996:LBD, author = "Thore Husfeldt and Theis Rauhe and S{\o}ren Skyum", title = "Lower Bounds for Dynamic Transitive Closure, Planar Point Location, and Parentheses Matching", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "323--336", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25", MRnumber = "97m:68094", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", note = "The 5th Scandinavian Workshop on Algorithm Theory (SWAT '96) (Reykjav{\'\i}k, 1996).", URL = "http://www.cs.helsinki.fi/njc/References/husfeldtrs1996:323.html", acknowledgement = ack-nhfb, } @Article{Brodal:1996:RCM, author = "Gerth St{\o}lting Brodal and Shiva Chaudhuri and Jaikumar Radhakrishnan", title = "The Randomized Complexity of Maintaining the Minimum", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "337--351", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P05 (68Q25)", MRnumber = "97m:68038", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", note = "The 5th Scandinavian Workshop on Algorithm Theory (SWAT '96) (Reykjav{\'\i}k, 1996).", URL = "http://www.cs.helsinki.fi/njc/References/brodalcr1996:337.html", acknowledgement = ack-nhfb, } @Article{Fernandez-Baca:1996:USP, author = "David Fern{\'a}ndez-Baca and Giora Slutzki and David Eppstein", title = "Using Sparsification for Parametric Minimum Spanning Tree Problems", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "352--366", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "05C85 (05C05 68Q25 68R10)", MRnumber = "98a:05133", MRreviewer = "Peter B. Gibbons", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", note = "The 5th Scandinavian Workshop on Algorithm Theory (SWAT '96) (Reykjav{\'\i}k, 1996).", URL = "http://www.cs.helsinki.fi/njc/References/fernandez-bacase1996:352.html", acknowledgement = ack-nhfb, } @Article{Marathe:1996:SCN, author = "M. V. Marathe and R. Ravi and R. Sundaram", title = "Service-Constrained Network Design Problems", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "367--387", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:34 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", URL = "http://www.cs.helsinki.fi/njc/References/marathers1996:367.html", acknowledgement = ack-nhfb, } @Article{Asano:1996:AAM, author = "Takao Asano and Takao Ono and Tomio Hirata", title = "Approximation Algorithms for the Maximum Satisfiability Problem", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "388--404", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (90C29)", MRnumber = "97m:68089", MRreviewer = "Ding Zhu Du", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", note = "The 5th Scandinavian Workshop on Algorithm Theory (SWAT '96) (Reykjav{\'\i}k, 1996).", URL = "http://www.cs.helsinki.fi/njc/References/asanooh1996:388.html", acknowledgement = ack-nhfb, } @Article{Lau:1996:RAC, author = "Hoong Chuin Lau and Osamu Watanabe", title = "Randomized Approximations of the Constraint Satisfaction Problem", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "405--424", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68T20 (05C85 68Q25)", MRnumber = "98b:68172", MRreviewer = "Valentin E. Brimkov", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", note = "The 5th Scandinavian Workshop on Algorithm Theory (SWAT '96) (Reykjav{\'\i}k, 1996).", URL = "http://www.cs.helsinki.fi/njc/References/lauw1996:405.html", acknowledgement = ack-nhfb, xxtitle = "Randomized approximation of the constraint satisfaction problem", } @Article{Alon:1996:CCH, author = "Noga Alon and Pierre Kelsen and Sanjeev Mahajan and Hariharan Ramesh", title = "Coloring $2$-colorable hypergraphs with a sublinear number of colors", journal = j-NORDIC-J-COMPUT, volume = "3", number = "4", pages = "425--439", month = "Winter", year = "1996", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "05C65 (05C15 68Q25)", MRnumber = "97m:05189", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc3.html", note = "The 5th Scandinavian Workshop on Algorithm Theory (SWAT '96) (Reykjav{\'\i}k, 1996).", URL = "http://www.cs.helsinki.fi/njc/References/alonkmr1996:425.html", acknowledgement = ack-nhfb, xxtitle = "Approximate Hypergraph Coloring", } @Article{Koskimies:1997:EF, author = "K. Koskimies", title = "{Editor}'s Foreword", journal = j-NORDIC-J-COMPUT, volume = "4", number = "1", pages = "1--2", month = "Spring", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:37 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", acknowledgement = ack-nhfb, } @Article{Paakki:1997:RPD, author = "J. Paakki and J. Koskinen and A. Salminen", title = "From Relational Program Dependencies to Hypertextual Access Structures", journal = j-NORDIC-J-COMPUT, volume = "4", number = "1", pages = "3--36", month = "Spring", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:37 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/paakkiks1997:3.html", acknowledgement = ack-nhfb, } @Article{Efremidis:1997:AAG, author = "Sofoklis G. Efremidis and Khalid A. Mughal and John H. Reppy and Lars S{\o}raas", title = "{AML}: Attribute Grammars in {ML}", journal = j-NORDIC-J-COMPUT, volume = "4", number = "1", pages = "37--65", month = "Spring", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:37 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/efremidismrq1997:37.html", acknowledgement = ack-nhfb, } @Article{Bosch:1997:DCO, author = "Jan Bosch", title = "Delegating Compiler Objects: Modularity and Reusability in Language Engineering", journal = j-NORDIC-J-COMPUT, volume = "4", number = "1", pages = "66--92", month = "Spring", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:37 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/bosch1997:66.html", acknowledgement = ack-nhfb, } @Article{Hedin:1997:AET, author = "Goerel Hedin", title = "Attribute Extensions -- a Technique for Enforcing Programming Conventions", journal = j-NORDIC-J-COMPUT, volume = "4", number = "1", pages = "93--122", month = "Spring", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:37 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/hedin1997:93.html", acknowledgement = ack-nhfb, } @Article{Sjoberg:1997:PWP, author = "Dag I. K. Sj{\o}berg and Ray Welland and Malcolm P. Atkinson and Paul Philbrow and Cathy Waite and Stewart Macneill", title = "The Persistent Workshop --- a Programming Environment for {Napier88}", journal = j-NORDIC-J-COMPUT, volume = "4", number = "1", pages = "123--149", month = "Spring", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Fri Nov 13 15:49:37 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/sjobergwapwm1997:123.html", acknowledgement = ack-nhfb, } @Article{Gambosi:1997:LMA, author = "Giorgio Gambosi and Alberto Postiglione and Maurizio Talamo", title = "On-Line Maintenance of an Approximate Bin-Packing Solution", journal = j-NORDIC-J-COMPUT, volume = "4", number = "2", pages = "151--166", month = "Summer", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "90C27 (68Q25 90C10)", MRnumber = "98e:90127", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/gambosipt1997:151.html", acknowledgement = ack-nhfb, } @Article{Roos:1997:NUB, author = "Thomas Roos", title = "New Upper Bounds on {Voronoi} Diagrams of Moving Points", journal = j-NORDIC-J-COMPUT, volume = "4", number = "2", pages = "167--171", month = "Summer", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "65Y25", MRnumber = "98c:65215", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/roos1997:167.html", acknowledgement = ack-nhfb, } @Article{Karpinski:1997:EPM, author = "Marek Karpinski and Wojciech Rytter and Ayumi Shinohara", title = "An Efficient Pattern-Matching Algorithm for Strings with Short Descriptions", journal = j-NORDIC-J-COMPUT, volume = "4", number = "2", pages = "172--186", month = "Summer", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q20 (68Q25)", MRnumber = "1 460 443", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/karpinskirs1997:172.html", acknowledgement = ack-nhfb, } @Article{Roche:1997:CFF, author = "Emmanuel Roche", title = "Compact Factorization of Finite-State Transducers and Finite-State Automata", journal = j-NORDIC-J-COMPUT, volume = "4", number = "2", pages = "187--216", month = "Summer", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q68", MRnumber = "98i:68203", MRreviewer = "P. D{\"o}m{\"o}si", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/roche1997:187.html", acknowledgement = ack-nhfb, } @Article{Mohri:1997:SMA, author = "Mehryar Mohri", title = "String-Matching with Automata", journal = j-NORDIC-J-COMPUT, volume = "4", number = "2", pages = "217--231", month = "Summer", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q20 (68Q68)", MRnumber = "1 460 445", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/mohri1997:217.html", acknowledgement = ack-nhfb, } @Article{Lundberg:1997:BGC, author = "Lars Lundberg and H{\aa}kan Lennerstad", title = "Bounding the Gain of Changing the Number of Memory Modules in Shared Memory Multiprocessors", journal = j-NORDIC-J-COMPUT, volume = "4", number = "3", pages = "233--258", month = "Fall", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M07", MRnumber = "98f:68018", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/lundbergl1997:233.html", acknowledgement = ack-nhfb, } @Article{Palsberg:1997:TIS, author = "Jens Palsberg and Trevor Jim", title = "Type Inference with Simple Selftypes is {NP}-complete", journal = j-NORDIC-J-COMPUT, volume = "4", number = "3", pages = "259--286", month = "Fall", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68N15 (68Q25)", MRnumber = "98f:68035", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/palsbergj1997:259.html", acknowledgement = ack-nhfb, } @Article{Gyimothy:1997:LSF, author = "Tibor Gyim{\'o}thy and Tam{\'a}s Horv{\'a}th", title = "Learning Semantic Functions of Attribute Grammars", journal = j-NORDIC-J-COMPUT, volume = "4", number = "3", pages = "287--302", month = "Fall", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q50 (68N20 68S05 68T05)", MRnumber = "98f:68164", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/gyimothyh1997:287.html", acknowledgement = ack-nhfb, } @Article{Yamaguchi:1997:AAM, author = "Atsuko Yamaguchi and Koji Nakano and Satoru Miyano", title = "An Approximation Algorithm for the Minimum Common Supertree Problem", journal = j-NORDIC-J-COMPUT, volume = "4", number = "3", pages = "303--316", month = "Fall", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25 (90C35)", MRnumber = "98e:68118", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/yamaguchinm1997:303.html", acknowledgement = ack-nhfb, } @Article{Israeli:1997:TMT, author = "Amos Israeli and Evangelos Kranakis and Danny Krizanc and Nicola Santoro", title = "Time-Message Trade-Offs for the Weak Unison Problem", journal = j-NORDIC-J-COMPUT, volume = "4", number = "4", pages = "317--329", month = "Winter", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M10", MRnumber = "98m:68009", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/israelikks1997:317.html", acknowledgement = ack-nhfb, } @Article{Mukhopadhyay:1997:OLP, author = "Asish Mukhopadhyay and Alok Agrawal and Ravi Mohan Hosabettu", title = "On the Ordinary Line Problem in Computational Geometry", journal = j-NORDIC-J-COMPUT, volume = "4", number = "4", pages = "330--341", month = "Winter", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05 (52B55 65Y25)", MRnumber = "98m:68276", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/mukhopadhyayah1997:330.html", acknowledgement = ack-nhfb, } @Article{Pal:1997:OPA, author = "Madhumangal Pal and G. P. Bhattacharjee", title = "An Optimal Parallel Algorithm for All-Pairs Shortest Paths on Unweighted Interval Graphs", journal = j-NORDIC-J-COMPUT, volume = "4", number = "4", pages = "342--356", month = "Winter", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68R10 (65Y05 68Q25 90C35)", MRnumber = "98j:68133", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/palb1997:342.html", acknowledgement = ack-nhfb, } @Article{Kaser:1997:OHR, author = "Owen Kaser", title = "Optimal Height Reduction Problems for Tree-Structured Hierarchies", journal = j-NORDIC-J-COMPUT, volume = "4", number = "4", pages = "357--379", month = "Winter", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68R10 (05C85 68Q25)", MRnumber = "98i:68222", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/kaser1997:357.html", acknowledgement = ack-nhfb, } @Article{Erdogmus:1997:ADV, author = "Hakan Erdogmus", title = "Architecture-Driven Verification of Concurrent Systems", journal = j-NORDIC-J-COMPUT, volume = "4", number = "4", pages = "380--413", month = "Winter", year = "1997", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q60", MRnumber = "1 607 026", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc4.html", URL = "http://www.cs.helsinki.fi/njc/References/erdogmus1997:380.html", acknowledgement = ack-nhfb, } @Article{Krznaric:1998:CTQ, author = "Drago Krznaric and Christos Levcopoulos", title = "Computing a Threaded Quadtree from the {Delaunay} Triangulation in linear time", journal = j-NORDIC-J-COMPUT, volume = "5", number = "1", pages = "1--18", month = "Spring", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68U05", MRnumber = "1 616 153", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/krznaricl1998:1.html", acknowledgement = ack-nhfb, } @Article{Dahl:1998:SCS, author = "Ole-Johan Dahl and Olaf Owe and Tore J. Bastiansen", title = "Subtyping and Constructive Specification", journal = j-NORDIC-J-COMPUT, volume = "5", number = "1", pages = "19--49", month = "Spring", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q65 (68Q60)", MRnumber = "98m:68179", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/dahlob1998:19.html", acknowledgement = ack-nhfb, } @Article{Kristoffersen:1998:IHO, author = "Bj{\o}rn Kristoffersen and Ole-Johan Dahl", title = "On Introducing Higher Order Functions in {ABEL}", journal = j-NORDIC-J-COMPUT, volume = "5", number = "1", pages = "50--69", month = "Spring", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q65 (Abstract data types; algebraic specification)", bibdate = "Fri Nov 13 15:49:39 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/kristoffersend1998:50.html", acknowledgement = ack-nhfb, } @Article{Baeza-Yates:1998:ALH, author = "Ricardo A. Baeza-Yates and H{\'e}ctor Soza-Pollman", title = "Analysis of Linear Hashing Revisited", journal = j-NORDIC-J-COMPUT, volume = "5", number = "1", pages = "70--85", month = "Spring", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68P10 (68Q25)", MRnumber = "98m:68048", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/baeza-yatess1998:70.html", acknowledgement = ack-nhfb, } @Article{Dobrev:1998:CCS, author = "Stefan Dobrev and Peter Ru{\v{z}}i{\v{c}}ka", title = "On the Communication Complexity of Strong Time-Optimal Distributed Algorithms", journal = j-NORDIC-J-COMPUT, volume = "5", number = "2", pages = "87--104", month = "Summer", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68Q25", MRnumber = "1 638 685", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/dobrevr1998:87.html", acknowledgement = ack-nhfb, } @Article{Hoyer:1998:PPR, author = "Peter H{\o}yer and Kim S. Larsen", title = "Parametric Permutation Routing via Matchings", journal = j-NORDIC-J-COMPUT, volume = "5", number = "2", pages = "105--114", month = "Summer", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68M10 (05Cxx 90B12)", MRnumber = "1 638 689", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/hoyerl1998:105.html", acknowledgement = ack-nhfb, } @Article{Ganley:1998:PST, author = "Joseph L. Ganley and Jeffrey S. Salowe", title = "The Power-$p$ {Steiner} Tree Problem", journal = j-NORDIC-J-COMPUT, volume = "5", number = "2", pages = "115--127", month = "Summer", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "90Bxx (65Yxx 68Q35 68Uxx)", MRnumber = "1 638 693", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/1998:115.html", acknowledgement = ack-nhfb, } @Article{Heggernes:1998:PGG, author = "Pinar Heggernes and Jan Arne Telle", title = "Partitioning Graphs into Generalized Dominating Sets", journal = j-NORDIC-J-COMPUT, volume = "5", number = "2", pages = "128--142", month = "Summer", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "68R10 (05C85 68Q25)", MRnumber = "1 638 697", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/heggernest1998:128.html", acknowledgement = ack-nhfb, } @Article{Johnsson:1998:EMP, author = "Mika Johnsson and G{\'a}bor Magyar and Olli Nevalainen", title = "On the {Euclidean} $3$-Matching Problem", journal = j-NORDIC-J-COMPUT, volume = "5", number = "2", pages = "143--171", month = "Summer", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", MRclass = "05C70 (90Bxx 90Cxx)", MRnumber = "1 638 701", bibdate = "Fri Nov 13 16:14:15 MST 1998", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/johnssonmn1998:143.html", acknowledgement = ack-nhfb, } @Article{Kratochvil:1998:CGC, author = "Jan Kratochv{\'\i}l and Andrzej Proskurowski and Jan Arne Telle", title = "On the Complexity of Graph Covering Problems", journal = j-NORDIC-J-COMPUT, volume = "5", number = "3", pages = "173--??", month = "Fall", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/kratochvilpt1998:173.html", acknowledgement = ack-nhfb, xxtitle = "On the Communication Complexity of Strong Time-Optimal Distributed Algorithms", } @Article{Gonzalez:1998:BFM, author = "Teofilo F. Gonzalez", title = "Bounded Fan-Out Multimessage Multicasting", journal = j-NORDIC-J-COMPUT, volume = "5", number = "3", pages = "196--??", month = "Fall", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/gonzalez1998:196.html", acknowledgement = ack-nhfb, } @Article{Mossin:1998:HOV, author = "Christian Mossin", title = "Higher-Order Value Flow Graphs", journal = j-NORDIC-J-COMPUT, volume = "5", number = "3", pages = "214--??", month = "Fall", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/mossin1998:214.html", acknowledgement = ack-nhfb, } @Article{Paakki:1998:SST, author = "Jukka Paakki and Antti-Pekka Tuovinen", title = "Source-to-Source Translation of Visual Languages", journal = j-NORDIC-J-COMPUT, volume = "5", number = "3", pages = "235--??", month = "Fall", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/paakkit1998:235.html", acknowledgement = ack-nhfb, } @Article{Hankin:1998:GEF, author = "Chris Hankin", title = "{Guest Editor}'s Foreword", journal = j-NORDIC-J-COMPUT, volume = "5", number = "4", pages = "265--??", month = "Winter", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", acknowledgement = ack-nhfb, } @Article{Abadi:1998:BMC, author = "Mart{\'\i}n Abadi and Andrew D. Gordon", title = "A Bisimulation Method for Cryptographic Protocols", journal = j-NORDIC-J-COMPUT, volume = "5", number = "4", pages = "267--??", month = "Winter", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/abadig1998:267.html", acknowledgement = ack-nhfb, } @Article{Fecht:1998:PDE, author = "Christian Fecht and Helmut Seidl", title = "Propagating Differences: an Efficient New Fixpoint Algorithm for Distributive Constraint Systems", journal = j-NORDIC-J-COMPUT, volume = "5", number = "4", pages = "304--??", month = "Winter", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/fechts1998:304.html", acknowledgement = ack-nhfb, } @Article{Leino:1998:ROT, author = "K. Rustan M. Leino", title = "Recursive Object Types in a Logic of Object-Oriented Programs", journal = j-NORDIC-J-COMPUT, volume = "5", number = "4", pages = "330--??", month = "Winter", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/leino1998:330.html", acknowledgement = ack-nhfb, } @Article{Ross:1998:BBB, author = "John L. Ross and Mooly Sagiv", title = "Building a Bridge between Pointer Aliases and Program Dependences", journal = j-NORDIC-J-COMPUT, volume = "5", number = "4", pages = "361--??", month = "Winter", year = "1998", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:46 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc5.html", URL = "http://www.cs.helsinki.fi/njc/References/rosss1998:361.html", acknowledgement = ack-nhfb, } @Article{Mughal:1999:GEF, author = "Khalid A. Mughal and Andreas L. Opdahl", title = "{Guest Editors}' Foreword: Programming and Software Development Environment Research in the {Nordic} Countries", journal = j-NORDIC-J-COMPUT, volume = "6", number = "1", pages = "1--??", month = "Spring", year = "1999", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:49 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc6.html", acknowledgement = ack-nhfb, } @Article{Christensen:1999:RSD, author = "Henrik B{\ae}rbak Christensen", title = "The {Ragnarok} Software Development Environment", journal = j-NORDIC-J-COMPUT, volume = "6", number = "1", pages = "4--??", month = "Spring", year = "1999", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:49 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc6.html", URL = "http://www.cs.helsinki.fi/njc/References/christensen1999:4.html", acknowledgement = ack-nhfb, } @Article{Kjelstrom:1999:CTC, author = "K{\aa}re Kjelstr{\o}m and Peter Petersen", title = "A {CASE} Tool for {COM} Development", journal = j-NORDIC-J-COMPUT, volume = "6", number = "1", pages = "22--??", month = "Spring", year = "1999", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:49 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc6.html", URL = "http://www.cs.helsinki.fi/njc/References/kjelstromp1999:22.html", acknowledgement = ack-nhfb, } @Article{Bjarnason:1999:ILD, author = "Elizabeth Bjarnason and G{\"o}rel Hedin and Klas Nilsson", title = "Interactive Language Development for Embedded Systems", journal = j-NORDIC-J-COMPUT, volume = "6", number = "1", pages = "36--??", month = "Spring", year = "1999", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:49 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc6.html", URL = "http://www.cs.helsinki.fi/njc/References/bjarnasonhn1999:36.html", acknowledgement = ack-nhfb, } @Article{Ron:1999:ODP, author = "Henrik R{\o}n", title = "An Overview of a Dynamic Programming Environment Based on Extensibility", journal = j-NORDIC-J-COMPUT, volume = "6", number = "1", pages = "55--??", month = "Spring", year = "1999", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:49 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc6.html", URL = "http://www.cs.helsinki.fi/njc/References/ron1999:55.html", acknowledgement = ack-nhfb, } @Article{Ernst:1999:DIS, author = "Erik Ernst", title = "Dynamic Inheritance in a Statically Typed Language", journal = j-NORDIC-J-COMPUT, volume = "6", number = "1", pages = "72--??", month = "Spring", year = "1999", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:49 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc6.html", URL = "http://www.cs.helsinki.fi/njc/References/ernst1999:72.html", acknowledgement = ack-nhfb, } @Article{Harsu:1999:TCC, author = "Maarit Harsu", title = "Translation of Conditional Compilation", journal = j-NORDIC-J-COMPUT, volume = "6", number = "1", pages = "93--??", month = "Spring", year = "1999", CODEN = "NJCOFR", ISSN = "1236-6064", bibdate = "Thu Jul 15 14:28:49 MDT 1999", bibsource = "http://www.cs.helsinki.fi/njc/njc6.html", URL = "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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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", 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 =