Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/journals/njc:"
download as .bib file
@article{DBLP:journals/njc/KniekeH15,
author = {Christoph Knieke and
Michaela Huhn},
title = {Semantic Foundation and Validation of Live Activity Diagrams},
journal = {Nord. J. Comput.},
volume = {15},
number = {2},
pages = {112--140},
year = {2015},
timestamp = {Wed, 09 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KniekeH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MousaviBRC15,
author = {Mohammad Reza Mousavi and
Twan Basten and
Michel A. Reniers and
Michel Chaudron},
title = {Timed-Gamma and its Coordination Language},
journal = {Nord. J. Comput.},
volume = {15},
number = {2},
pages = {75--111},
year = {2015},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/MousaviBRC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PurdyS15,
author = {George B. Purdy and
Justin W. Smith},
title = {On Finding Ordinary or Monochromatic Intersection Points},
journal = {Nord. J. Comput.},
volume = {15},
number = {2},
pages = {141--153},
year = {2015},
timestamp = {Wed, 09 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PurdyS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/ShankarSE15,
author = {Natarajan Shankar and
K. Subramani and
Pavlos Eirinakis},
title = {Identifying Negative Cost Cycles in Strongly Polynomial Space},
journal = {Nord. J. Comput.},
volume = {15},
number = {2},
pages = {154--171},
year = {2015},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/ShankarSE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HarsuBSKS13,
author = {Maarit Harsu and
Tibor Bakota and
Istv{\'{a}}n Siket and
Kai Koskimies and
Tarja Syst{\"{a}}},
title = {Code Clones: Good, Bad, or Ugly?},
journal = {Nord. J. Comput.},
volume = {15},
number = {1},
pages = {3--17},
year = {2013},
timestamp = {Fri, 19 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/HarsuBSKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HerczegLS013,
author = {Zolt{\'{a}}n Herczeg and
G{\'{a}}bor L{\'{o}}ki and
Tam{\'{a}}s Szirbucz and
{\'{A}}kos Kiss},
title = {Validating JavaScript Guidelines across Multiple Web Browsers},
journal = {Nord. J. Comput.},
volume = {15},
number = {1},
pages = {18--31},
year = {2013},
timestamp = {Fri, 19 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/HerczegLS013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Peltonen13,
author = {Jari Peltonen},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {15},
number = {1},
pages = {1--2},
year = {2013},
timestamp = {Fri, 19 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Peltonen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SakkinenLC13,
author = {Markku Sakkinen and
Philippe Lahire and
Ciprian{-}Bogdan Chirila},
title = {Towards Fully-Fledged Reverse Inheritance in Eiffel},
journal = {Nord. J. Comput.},
volume = {15},
number = {1},
pages = {32--52},
year = {2013},
timestamp = {Fri, 19 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/SakkinenLC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/TiusanenV13,
author = {Mikko Tiusanen and
Antti Valmari},
title = {Good to Know about the Efficiency of State Space Methods},
journal = {Nord. J. Comput.},
volume = {15},
number = {1},
pages = {53--74},
year = {2013},
timestamp = {Fri, 19 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/TiusanenV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BoichutHK08,
author = {Yohan Boichut and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko},
title = {Approximation-based Tree Regular Model-Checking},
journal = {Nord. J. Comput.},
volume = {14},
number = {3},
pages = {216--241},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BoichutHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CarrezJCH08,
author = {Cyril Carrez and
Lotte Johansen and
Pawel Cieslak and
Stefan H{\"{a}}nsgen},
title = {Service Engineering with the {SIMS} Design and Validation Tools},
journal = {Nord. J. Comput.},
volume = {14},
number = {4},
pages = {245--263},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/CarrezJCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CieliebakEPS08,
author = {Mark Cieliebak and
Stephan J. Eidenbenz and
Aris Pagourtzis and
Konrad Schlude},
title = {On the Complexity of Variations of Equal Sum Subsets},
journal = {Nord. J. Comput.},
volume = {14},
number = {3},
pages = {151--172},
year = {2008},
timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/CieliebakEPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Hvannberg08,
author = {Ebba {\TH}{\'{o}}ra Hvannberg},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {14},
number = {4},
pages = {243--244},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Hvannberg08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KranakisKS08,
author = {Evangelos Kranakis and
Danny Krizanc and
Sunil M. Shende},
title = {Tracking Mobile Users in Cellular Networks using Timing Information},
journal = {Nord. J. Comput.},
volume = {14},
number = {3},
pages = {202--215},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KranakisKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LahtinenK08,
author = {Samuel Lahtinen and
Kai Koskimies},
title = {A Model-Based Approach to Reflective Command Interfaces},
journal = {Nord. J. Comput.},
volume = {14},
number = {4},
pages = {264--281},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LahtinenK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LindH08,
author = {Kenneth Lind and
Rogardt Heldal},
title = {Estimation of Real-Time Software Component Size},
journal = {Nord. J. Comput.},
volume = {14},
number = {4},
pages = {282--300},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LindH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MohagheghiDN08,
author = {Parastoo Mohagheghi and
Vegard Dehlen and
Tor Neple},
title = {A Metamodel and Supporting Process and Tool for Specifying Quality
Models in Model-Based Software Development},
journal = {Nord. J. Comput.},
volume = {14},
number = {4},
pages = {301--320},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/MohagheghiDN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/RaatikainenMM08,
author = {Mikko Raatikainen and
Varvana Myll{\"{a}}rniemi and
Tomi M{\"{a}}nnist{\"{o}}},
title = {Featback: Method for Enhancing Management of Agile Development},
journal = {Nord. J. Comput.},
volume = {14},
number = {4},
pages = {321--337},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/RaatikainenMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/RaihaKMS08,
author = {Outi R{\"{a}}ih{\"{a}} and
Kai Koskimies and
Erkki M{\"{a}}kinen and
Tarja Syst{\"{a}}},
title = {Pattern-Based Genetic Model Refinements in {MDA}},
journal = {Nord. J. Comput.},
volume = {14},
number = {4},
pages = {338--355},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/RaihaKMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/XuZ08,
author = {Qiwen Xu and
Naijun Zhan},
title = {Formalising Scheduling Theories in Duration Calculus},
journal = {Nord. J. Comput.},
volume = {14},
number = {3},
pages = {173--201},
year = {2008},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/XuZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AbdullaDMN07,
author = {Parosh Aziz Abdulla and
Johann Deneux and
Pritha Mahata and
Aletta Nyl{\'{e}}n},
title = {Using Forward Reachability Analysis for Verification of Timed Petri
Nets},
journal = {Nord. J. Comput.},
volume = {14},
number = {1-2},
pages = {1--42},
year = {2007},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AbdullaDMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Bremler-BarrE07,
author = {Anat Bremler{-}Barr and
Leah Epstein},
title = {Path layout on tree networks: Bounds in different label switching
models},
journal = {Nord. J. Comput.},
volume = {14},
number = {1-2},
pages = {109--125},
year = {2007},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Bremler-BarrE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HeggernesK07,
author = {Pinar Heggernes and
Dieter Kratsch},
title = {Linear-time certifying recognition algorithms and forbidden induced
subgraphs},
journal = {Nord. J. Comput.},
volume = {14},
number = {1-2},
pages = {87--108},
year = {2007},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HeggernesK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Lam07,
author = {Vitus S. W. Lam},
title = {A Formalism for Reasoning about {UML} Activity Diagrams},
journal = {Nord. J. Comput.},
volume = {14},
number = {1-2},
pages = {43--64},
year = {2007},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Lam07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MahajanRV07,
author = {Meena Mahajan and
Raghavan Rama and
Vijayakumar Sundarrajan},
title = {Block Sorting: {A} Characterization and some Heuristics},
journal = {Nord. J. Comput.},
volume = {14},
number = {1-2},
pages = {126--150},
year = {2007},
timestamp = {Mon, 15 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/MahajanRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Man07,
author = {Ka Lok Man},
title = {Formal Specification and Analysis of Hardware Systems in Timed Chi},
journal = {Nord. J. Comput.},
volume = {14},
number = {1-2},
pages = {65--86},
year = {2007},
timestamp = {Mon, 28 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Man07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Berlea06,
author = {Alexandru Berlea},
title = {Online Evaluation of Regular Tree Queries},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {240--265},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Berlea06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BortinJL06,
author = {Maksym Bortin and
Einar Broch Johnsen and
Christoph L{\"{u}}th},
title = {Structured Formal Development in Isabelle},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {2--21},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BortinJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BrucknerMW06,
author = {Ingo Br{\"{u}}ckner and
Bj{\"{o}}rn Metzler and
Heike Wehrheim},
title = {Optimizing Slicing of Formal Specifications by Deductive Verification},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {22--45},
year = {2006},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BrucknerMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BycklingGKS06,
author = {Pauli Byckling and
Petri Gerdt and
Ludwik Kuzniarz and
Jorma Sajaniemi},
title = {Increasing Comprehensibility of Object Models: Making the Roles of
Attributes Explicit in {UML} Diagrams},
journal = {Nord. J. Comput.},
volume = {13},
number = {3},
pages = {149--161},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BycklingGKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CrolardLV06,
author = {Tristan Crolard and
Samuel Lacas and
Pierre Valarcher},
title = {On the Expressive Power of the Loop Language},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {46--57},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/CrolardLV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DamgaardB06,
author = {Troels Christoffer Damgaard and
Lars Birkedal},
title = {Axiomatizing Binding Bigraphs},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {58--77},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/DamgaardB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GebremedhinELGT06,
author = {Assefaw Hadish Gebremedhin and
Mohamed Essa{\"{\i}}di and
Isabelle Gu{\'{e}}rin Lassous and
Jens Gustedt and
Jan Arne Telle},
title = {{PRO:} {A} Model for the Design and Analysis of Efficient and Scalable
Parallel Algorithms},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {215--239},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GebremedhinELGT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Gupta06,
author = {Prosenjit Gupta},
title = {Range-Aggregate Query Problems Involving Geometric Aggregation Operations},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {294--308},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Gupta06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Jones06,
author = {Neil D. Jones},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {1},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Jones06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KoskinenRS06,
author = {Johannes Koskinen and
Anna Ruokonen and
Tarja Syst{\"{a}}},
title = {A Pattern-Based Approach to Generate Code from {API} Usage Scenarios},
journal = {Nord. J. Comput.},
volume = {13},
number = {3},
pages = {162--179},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KoskinenRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Lemire06,
author = {Daniel Lemire},
title = {Streaming Maximum-Minimum Filter Using No More than Three Comparisons
per Element},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {328--339},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Lemire06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NesiN06,
author = {Monica Nesi and
Giustina Nocera},
title = {Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {78--97},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NesiN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsenN06,
author = {Christoffer Rosenkilde Nielsen and
Hanne Riis Nielson},
title = {Static Analysis for Blinding},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {98--116},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsenN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PoddarB06,
author = {Rajiv Kumar Poddar and
Purandar Bhaduri},
title = {Verification of Giotto based Embedded Control Systems},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {266--293},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PoddarB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PrinzT06,
author = {Andreas Prinz and
Merete Skjelten Tveit},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {13},
number = {3},
pages = {147--148},
year = {2006},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PrinzT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SantosKL06,
author = {Andr{\'{e}} L. Santos and
Kai Koskimies and
Ant{\'{o}}nia Lopes},
title = {A Model-Driven Approach to Variability Management in Product-Line
Engineering},
journal = {Nord. J. Comput.},
volume = {13},
number = {3},
pages = {196--213},
year = {2006},
timestamp = {Wed, 09 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/SantosKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SchellekensAPM06,
author = {Michel P. Schellekens and
Rachit Agarwal and
Emanuel M. Popovici and
Ka Lok Man},
title = {A Simplified Derivation of Timing Complexity Lower Bounds for Sorting
by Comparisons},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {340--346},
year = {2006},
timestamp = {Tue, 12 Jun 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/SchellekensAPM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SiikarlaPK06,
author = {Mika Siikarla and
Jari Peltonen and
Johannes Koskinen},
title = {Towards Unambiguous Model Fragments},
journal = {Nord. J. Comput.},
volume = {13},
number = {3},
pages = {180--195},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SiikarlaPK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Stovring06,
author = {Kristian St{\o}vring},
title = {Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal
Form},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {117--126},
year = {2006},
timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Stovring06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SubramaniA06,
author = {K. Subramani and
John Argentieri},
title = {Chain Programming over Difference Constraints},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {309--327},
year = {2006},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SubramaniA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/TsiopoulosW06,
author = {Leonidas Tsiopoulos and
Marina Wald{\'{e}}n},
title = {Formal Development of NoC Systems in {B}},
journal = {Nord. J. Comput.},
volume = {13},
number = {1-2},
pages = {127--145},
year = {2006},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/TsiopoulosW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Al-AzzoniDK05,
author = {Issam Al{-}Azzoni and
Douglas G. Down and
Ridha Kh{\'{e}}dri},
title = {Modeling and Verification of Cryptographic Protocols Using Coloured
Petri Nets and \emph{Design/CPN}},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {200--228},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Al-AzzoniDK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AlanenLP05,
author = {Marcus Alanen and
Torbj{\"{o}}rn Lundkvist and
Ivan Porres},
title = {Comparison of Modeling Frameworks for Software Engineering},
journal = {Nord. J. Comput.},
volume = {12},
number = {4},
pages = {321--342},
year = {2005},
timestamp = {Wed, 12 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/AlanenLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BarrosJ05,
author = {Jo{\~{a}}o Paulo Barros and
Jens B{\ae}k J{\o}rgensen},
title = {A Case Study on Coloured Petri Nets in Object-Oriented Analysis and
Design},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {229--250},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BarrosJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BillingtonGP05,
author = {Jonathan Billington and
Guy Edward Gallasch and
Laure Petrucci},
title = {Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured
Petri Nets},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {251--274},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BillingtonGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DobrzanskiK05,
author = {Lukasz Dobrzanski and
Ludwik Kuzniarz},
title = {Practical Refactoring of Executable {UML} Models},
journal = {Nord. J. Comput.},
volume = {12},
number = {4},
pages = {343--360},
year = {2005},
timestamp = {Wed, 12 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/DobrzanskiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Elmasry05,
author = {Amr Elmasry},
title = {Deterministic Jumplists},
journal = {Nord. J. Comput.},
volume = {12},
number = {1},
pages = {27--39},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Elmasry05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Ernits05,
author = {Juhan P. Ernits},
title = {Memory Arbiter Synthesis and Verification for a Radar Memory Interface
Card},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {68--88},
year = {2005},
timestamp = {Mon, 07 May 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Ernits05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FokkinkHP05,
author = {Wan J. Fokkink and
Jaap{-}Henk Hoepman and
Jun Pang},
title = {A Note on K-State Self-stabilization in a Ring with K=N},
journal = {Nord. J. Comput.},
volume = {12},
number = {1},
pages = {18--26},
year = {2005},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/FokkinkHP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KoskimiesK05,
author = {Kai Koskimies and
Ludwik Kuzniarz},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {12},
number = {4},
pages = {319--320},
year = {2005},
timestamp = {Wed, 12 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/KoskimiesK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KristiansenV05,
author = {Lars Kristiansen and
Paul J. Voda},
title = {Programming Languages Capturing Complexity Classes},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {89--115},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/KristiansenV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KrizancMS05,
author = {Danny Krizanc and
Pat Morin and
Michiel H. M. Smid},
title = {Range Mode and Range Median Queries on Lists and Trees},
journal = {Nord. J. Comput.},
volume = {12},
number = {1},
pages = {1--17},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/KrizancMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KyasBR05,
author = {Marcel Kyas and
Frank S. de Boer and
Willem P. de Roever},
title = {A Compositional Trace Logic for Behavioural Interface Specifications},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {116--132},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/KyasBR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LiliusLLOPSSZ05,
author = {Johan Lilius and
Tomas Lillqvist and
Torbj{\"{o}}rn Lundkvist and
Ian Oliver and
Ivan Porres and
Kim Sandstr{\"{o}}m and
Glen Sveholm and
Asim Pervez Zaka},
title = {An Architecture Exploration Environment for System on Chip Design},
journal = {Nord. J. Comput.},
volume = {12},
number = {4},
pages = {361--378},
year = {2005},
timestamp = {Wed, 12 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LiliusLLOPSSZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LiliusMTFP05,
author = {Johan Lilius and
Ricardo Jorge Machado and
Dragos Truscan and
Jo{\~{a}}o M. Fernandes and
Ivan Porres},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {198--199},
year = {2005},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LiliusMTFP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MakinenN05,
author = {Veli M{\"{a}}kinen and
Gonzalo Navarro},
title = {Succinct Suffix Arrays based on Run-Length Encoding},
journal = {Nord. J. Comput.},
volume = {12},
number = {1},
pages = {40--66},
year = {2005},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/MakinenN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Nestra05,
author = {H{\"{a}}rmel Nestra},
title = {Transfinite Corecursion},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {133--156},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Nestra05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PetrankR05,
author = {Erez Petrank and
Dror Rawitz},
title = {The Hardness of Cache Conscious Data Placement},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {275--307},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/PetrankR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PetterssonY05,
author = {Paul Pettersson and
Wang Yi},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {67},
year = {2005},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PetterssonY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PrietoS05,
author = {Elena Prieto{-}Rodriguez and
Christian Sloper},
title = {Reducing to Independent Set Structure -- the Case of k-Internal Spanning
Tree},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {308--318},
year = {2005},
timestamp = {Sat, 06 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PrietoS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/RundeHS05,
author = {Ragnhild Kobro Runde and
{\O}ystein Haugen and
Ketil St{\o}len},
title = {Refining {UML} Interactions with Underspecification and Nondeterminism},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {157--188},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/RundeHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Veldhuizen05,
author = {Todd L. Veldhuizen},
title = {Language Embeddings that Preserve Staging and Safety},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {189--198},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Veldhuizen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Wenzel05,
author = {Sven Wenzel},
title = {Automatic Detection of Incomplete Instances of Structural Patterns
in {UML} Class Diagrams},
journal = {Nord. J. Comput.},
volume = {12},
number = {4},
pages = {361--378},
year = {2005},
timestamp = {Wed, 12 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Wenzel05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BeregS04,
author = {Sergey Bereg and
Michael Segal},
title = {Dynamic Algorithms for Approximating Interdistances},
journal = {Nord. J. Comput.},
volume = {11},
number = {4},
pages = {344--355},
year = {2004},
timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BeregS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BerleaS04,
author = {Alexandru Berlea and
Helmut Seidl},
title = {Binary Queries for Document Trees},
journal = {Nord. J. Comput.},
volume = {11},
number = {1},
pages = {41--71},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BerleaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BodlaenderT04,
author = {Hans L. Bodlaender and
Jan Arne Telle},
title = {Space-Efficient Construction Variants of Dynamic Programming},
journal = {Nord. J. Comput.},
volume = {11},
number = {4},
pages = {374--385},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BodlaenderT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BostromW04,
author = {Pontus Bostr{\"{o}}m and
Marina Wald{\'{e}}n},
title = {Implementation of Control Systems Using {B} Action Systems: {A} Case
Study},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {75--101},
year = {2004},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BostromW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CelikuM04,
author = {Orieta Celiku and
Annabelle McIver},
title = {Cost-Based Analysis of Probabilistic Programs Mechanised in {HOL}},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {102--128},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/CelikuM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FersmanY04,
author = {Elena Fersman and
Wang Yi},
title = {A Generic Approach to Schedulability Analysis of Real-Time Tasks},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {129--147},
year = {2004},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FersmanY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GairingGHK04,
author = {Martin Gairing and
Robert Geist and
Stephen T. Hedetniemi and
Petter Kristiansen},
title = {A Self-stabilizing Algorithm for Maximal 2-packing},
journal = {Nord. J. Comput.},
volume = {11},
number = {1},
pages = {1--11},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/GairingGHK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LatvalaT04,
author = {Timo Latvala and
Heikki Tauriainen},
title = {Improved On-the-fly Verification with Testers},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {148--164},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LatvalaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LiliusO04,
author = {Johan Lilius and
Kasper {\O}sterbye},
title = {Guest Editors' Foreword: Programming and Software Development Environment
Research in the Nordic Countries},
journal = {Nord. J. Comput.},
volume = {11},
number = {3},
pages = {211--212},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LiliusO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Navarro04,
author = {Gonzalo Navarro},
title = {Approximate Regular Expression Searching with Arbitrary Integer Weights},
journal = {Nord. J. Comput.},
volume = {11},
number = {4},
pages = {356--373},
year = {2004},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Navarro04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NilssonIEH04,
author = {Anders Nilsson and
Anders Ive and
Torbj{\"{o}}rn Ekman and
G{\"{o}}rel Hedin},
title = {Implementing Java Compilers Using ReRAGs},
journal = {Nord. J. Comput.},
volume = {11},
number = {3},
pages = {213--234},
year = {2004},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/NilssonIEH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Ruksenas04,
author = {Rimvydas Ruksenas},
title = {A Rigourous Environment for Development of Concurrent Systems},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {165--193},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Ruksenas04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Schneider04,
author = {Gerardo Schneider},
title = {Computing Invariance Kernels of Polygonal Hybrid Systems},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {194--209},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Schneider04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SelonenSKM04,
author = {Petri Selonen and
Mika Siikarla and
Kai Koskimies and
Tommi Mikkonen},
title = {Towards the Unification of Patterns and Profiles in {UML}},
journal = {Nord. J. Comput.},
volume = {11},
number = {3},
pages = {235--253},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/SelonenSKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SereW04,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {73--74},
year = {2004},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SereW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Sivertsen04,
author = {Terje Sivertsen},
title = {Undefinedness vs. Underspecification in {HALDEN} {ASL}},
journal = {Nord. J. Comput.},
volume = {11},
number = {1},
pages = {12--34},
year = {2004},
timestamp = {Thu, 02 Nov 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Sivertsen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/StaronKW04,
author = {Miroslaw Staron and
Ludwik Kuzniarz and
Ludwik Wallin},
title = {Case Study on a Process of Industrial {MDA} Realization -- Determinants
of Effectiveness},
journal = {Nord. J. Comput.},
volume = {11},
number = {3},
pages = {254--278},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/StaronKW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Storrle04,
author = {Harald St{\"{o}}rrle},
title = {Structured Nodes in {UML} 2.0 Activities},
journal = {Nord. J. Comput.},
volume = {11},
number = {3},
pages = {279--302},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Storrle04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SutinenT04,
author = {Erkki Sutinen and
Jorma Tarhio},
title = {Approximate String Matching with Ordered q-Grams},
journal = {Nord. J. Comput.},
volume = {11},
number = {4},
pages = {321--343},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/SutinenT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Tronicek04,
author = {Zdenek Tron{\'{\i}}cek},
title = {Episode Directed Acyclic Subsequence Graph},
journal = {Nord. J. Comput.},
volume = {11},
number = {1},
pages = {35--40},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Tronicek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/VestdamN04,
author = {Thomas Vestdam and
Kurt N{\o}rmark},
title = {Maintaining Program Understanding -- Issues, Tools, and Future Directions},
journal = {Nord. J. Comput.},
volume = {11},
number = {3},
pages = {303--319},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/VestdamN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BabaSTIA03,
author = {Kensuke Baba and
Ayumi Shinohara and
Masayuki Takeda and
Shunsuke Inenaga and
Setsuo Arikawa},
title = {A Note on Randomized Algorithm for String Matching with Mismatches},
journal = {Nord. J. Comput.},
volume = {10},
number = {1},
pages = {2--12},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BabaSTIA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BenkeDJ03,
author = {Marcin Benke and
Peter Dybjer and
Patrik Jansson},
title = {Universes for Generic Programs and Proofs in Dependent Type Theory},
journal = {Nord. J. Comput.},
volume = {10},
number = {4},
pages = {265--289},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BenkeDJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CarboneM03,
author = {Marco Carbone and
Sergio Maffeis},
title = {On the Expressive Power of Polyadic Synchronisation in pi-calculus},
journal = {Nord. J. Comput.},
volume = {10},
number = {2},
pages = {70--98},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/CarboneM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CinqueAL03,
author = {Luigi Cinque and
Sergio De Agostino and
Franco Liberati},
title = {A Work-Optimal Parallel Implementation of Lossless Image Compression
by Block Matching},
journal = {Nord. J. Comput.},
volume = {10},
number = {1},
pages = {13--20},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/CinqueAL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FernandezK03,
author = {Maribel Fern{\'{a}}ndez and
Lionel Khalil},
title = {Interaction Nets with McCarthy's amb: Properties and Applications},
journal = {Nord. J. Comput.},
volume = {10},
number = {2},
pages = {134--162},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FernandezK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FialaHKT03,
author = {Jir{\'{\i}} Fiala and
Pinar Heggernes and
Petter Kristiansen and
Jan Arne Telle},
title = {Generalized H-coloring and H-covering of Trees},
journal = {Nord. J. Comput.},
volume = {10},
number = {3},
pages = {206--223},
year = {2003},
timestamp = {Fri, 14 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/FialaHKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FranekSX03,
author = {Frantisek Franek and
William F. Smyth and
Xiangdong Xiao},
title = {A Note on Crochemore's Repetitions Algorithm - {A} Fast Space-Efficient
Approach},
journal = {Nord. J. Comput.},
volume = {10},
number = {1},
pages = {21--28},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FranekSX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GhaniL03,
author = {Neil Ghani and
Christoph L{\"{u}}th},
title = {Rewriting Via Coinserters},
journal = {Nord. J. Comput.},
volume = {10},
number = {4},
pages = {290--312},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GhaniL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HaveraaenV03,
author = {Magne Haveraaen and
J{\"{u}}ri Vain},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {10},
number = {4},
pages = {263--264},
year = {2003},
timestamp = {Tue, 21 Nov 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HaveraaenV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Holub03,
author = {Jan Holub},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {10},
number = {1},
pages = {1},
year = {2003},
timestamp = {Sat, 07 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Holub03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Hyyro03,
author = {Heikki Hyyr{\"{o}}},
title = {A Bit-Vector Algorithm for Computing Levenshtein and Damerau Edit
Distances},
journal = {Nord. J. Comput.},
volume = {10},
number = {1},
pages = {29--39},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Hyyro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/IliopoulosMMPST03,
author = {Costas S. Iliopoulos and
Manal Mohamed and
Laurent Mouchard and
Katerina Perdikuri and
William F. Smyth and
Athanasios K. Tsakalidis},
title = {String Regularities with Don't Cares},
journal = {Nord. J. Comput.},
volume = {10},
number = {1},
pages = {40--51},
year = {2003},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/IliopoulosMMPST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Inenaga03,
author = {Shunsuke Inenaga},
title = {Bidirectional Construction of Suffix Trees},
journal = {Nord. J. Comput.},
volume = {10},
number = {1},
pages = {52},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Inenaga03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JohnsenL03,
author = {Einar Broch Johnsen and
Christoph L{\"{u}}th},
title = {Abstracting Refinements for Transformation},
journal = {Nord. J. Comput.},
volume = {10},
number = {4},
pages = {313--336},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/JohnsenL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KatajainenV03,
author = {Jyrki Katajainen and
Fabio Vitale},
title = {Navigation Piles with Applications to Sorting, Priority Queues, and
Priority Deques},
journal = {Nord. J. Comput.},
volume = {10},
number = {3},
pages = {238},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KatajainenV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LemstromT03,
author = {Kjell Lemstr{\"{o}}m and
Jorma Tarhio},
title = {Transposition Invariant Pattern Matching for Multi-Track Strings},
journal = {Nord. J. Comput.},
volume = {10},
number = {3},
pages = {185--205},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LemstromT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NestmannP03,
author = {Uwe Nestmann and
Prakash Panangaden},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {10},
number = {2},
pages = {69},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NestmannP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/OuaknineW03,
author = {Jo{\"{e}}l Ouaknine and
James Worrell},
title = {Timed {CSP} = Closed Timed epsilon-automata},
journal = {Nord. J. Comput.},
volume = {10},
number = {2},
pages = {99--133},
year = {2003},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/OuaknineW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PilegaardHS03,
author = {Henrik Pilegaard and
Michael R. Hansen and
Robin Sharp},
title = {An Approach to Analyzing Availability Properties of Security Protocols},
journal = {Nord. J. Comput.},
volume = {10},
number = {4},
pages = {337},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PilegaardHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SassoneS03,
author = {Vladimiro Sassone and
Pawel Sobocinski},
title = {Deriving Bisimulation Congruences using 2-categories},
journal = {Nord. J. Comput.},
volume = {10},
number = {2},
pages = {163},
year = {2003},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/SassoneS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Segal03,
author = {Michael Segal},
title = {Placing an Obnoxious Facility in Geometric Networks},
journal = {Nord. J. Comput.},
volume = {10},
number = {3},
pages = {224--237},
year = {2003},
timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Segal03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AcetoP02,
author = {Luca Aceto and
Prakash Panangaden},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {69},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AcetoP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AmadioM02,
author = {Roberto M. Amadio and
Charles Meyssonnier},
title = {On Decidability of the Control Reachability Problem in the Asynchronous
pi-Calculus},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {70--101},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AmadioM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AmnellFPSY02,
author = {Tobias Amnell and
Elena Fersman and
Paul Pettersson and
Hongyan Sun and
Wang Yi},
title = {Code Synthesis for Timed Automata},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {269--300},
year = {2002},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AmnellFPSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/ArisholmSCL02,
author = {Erik Arisholm and
Dag I. K. Sj{\o}berg and
Gunnar J. Carelius and
Yngve Lindsj{\o}rn},
title = {A Web-Based Support Environment for Software Engineering Experiments},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {231--247},
year = {2002},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/ArisholmSCL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BendixH02,
author = {Lars Bendix and
G{\"{o}}rel Hedin},
title = {Summary of the Subworkshop on Extreme Programming},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {261--266},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BendixH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BradfieldF02,
author = {Julian C. Bradfield and
Sibylle B. Fr{\"{o}}schle},
title = {Independence-Friendly Modal Logic and True Concurrency},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {102--117},
year = {2002},
timestamp = {Wed, 14 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BradfieldF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CrochemoreIMRTT02,
author = {Maxime Crochemore and
Costas S. Iliopoulos and
Christos Makris and
Wojciech Rytter and
Athanasios K. Tsakalidis and
Kostas Tsichlas},
title = {Approximate String Matching with Gaps},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {54--65},
year = {2002},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/CrochemoreIMRTT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Ernst02,
author = {Erik Ernst},
title = {Safe Dynamic Multiple Inheritance},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {191--208},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Ernst02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GoldbergT02,
author = {Mayer Goldberg and
Mads Torgersen},
title = {How to Circumvent Church Numerals},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {1--12},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GoldbergT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HammarNS02,
author = {Mikael Hammar and
Bengt J. Nilsson and
Sven Schuierer},
title = {Improved Exploration of Rectilinear Polygons},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {32--53},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HammarNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HammoudaK02,
author = {Imed Hammouda and
Kai Koskimies},
title = {A Pattern-Based {J2EE} Application Development Environment},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {248--260},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HammoudaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HaveraaenH02,
author = {Magne Haveraaen and
Michael R. Hansen},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {267--268},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HaveraaenH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HoenickeO02,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog},
title = {{CSP-OZ-DC:} {A} Combination of Specification Techniques for Processes,
Data and Time},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {301--334},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HoenickeO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KlipschW02,
author = {Kasey N. Klipsch and
David S. Wise},
title = {Blood from Dahm's Turnip},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {66--68},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KlipschW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LabroueS02,
author = {Anne Labroue and
Philippe Schnoebelen},
title = {An Automata-Theoretic Approach to the Reachability Analysis of {RPPS}
Systems},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {118--144},
year = {2002},
timestamp = {Tue, 12 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LabroueS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NarasimhanS02,
author = {Giri Narasimhan and
Michiel H. M. Smid},
title = {Approximation Algorithms for the Bottleneck Stretch Factor Problem},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {13--31},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NarasimhanS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsenPV02,
author = {Mogens Nielsen and
Catuscia Palamidessi and
Frank D. Valencia},
title = {Temporal Concurrent Constraint Programming: Denotation, Logic and
Applications},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {145--188},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsenPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsonSN02,
author = {Flemming Nielson and
Helmut Seidl and
Hanne Riis Nielson},
title = {A Succinct Solver for {ALFP}},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {335--372},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsonSN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Osterbye02,
author = {Kasper {\O}sterbye},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {189--190},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Osterbye02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Vestdam02,
author = {Thomas Vestdam},
title = {Elucidative Program Tutorials},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {209--230},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Vestdam02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Wagner02,
author = {Eric G. Wagner},
title = {Algebraic Specifications: some old history and new thoughts},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {373--404},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Wagner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Wehrheim02,
author = {Heike Wehrheim},
title = {Relating State-based and Behaviour-oriented Subtyping},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {405--435},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Wehrheim02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BackPP01,
author = {Ralph{-}Johan Back and
Luigia Petre and
Ivan Porres},
title = {Continuous Action Systems as a Model for Hybrid Systems},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {2--21},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BackPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BollobasDGM01,
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 = {Nord. J. Comput.},
volume = {8},
number = {4},
pages = {409--423},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/bollobas2001:409.html},
timestamp = {Thu, 17 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BollobasDGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Bove01,
author = {Ana Bove},
title = {Simple General Recursion in Type Theory},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {22--42},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Bove01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BoyarFLN01,
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 = {Nord. J. Comput.},
volume = {8},
number = {4},
pages = {463--472},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/boyar2001:463.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BoyarFLN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Burghardt01,
author = {Jochen Burghardt},
title = {Maintaining Partial Sums in Logarithmic Time},
journal = {Nord. J. Comput.},
volume = {8},
number = {4},
pages = {473--474},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/burghardt2001:473.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Burghardt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DoschM01,
author = {Walter Dosch and
S{\"{o}}nke Magnussen},
title = {Computer Aided Fusion for Algebraic Program Derivation},
journal = {Nord. J. Comput.},
volume = {8},
number = {3},
pages = {279--297},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/doschm2001:279.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/DoschM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Fecher01,
author = {Harald Fecher},
title = {A Real-Time Process Algebra with Open Intervals and Maximal Progress},
journal = {Nord. J. Comput.},
volume = {8},
number = {3},
pages = {346--365},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/fecher2001:346.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Fecher01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GayoLDR01,
author = {Jos{\'{e}} Emilio Labra Gayo and
Juan Manuel Cueva Lovelle and
Mar{\'{\i}}a 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 = {Nord. J. Comput.},
volume = {8},
number = {3},
pages = {391--407},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/labragayoclc2001:391.html},
timestamp = {Fri, 19 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GayoLDR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GrobauerL01,
author = {Bernd Grobauer and
Julia L. Lawall},
title = {Partial Evaluation of Pattern Matching in Strings, revisited},
journal = {Nord. J. Comput.},
volume = {8},
number = {4},
pages = {437--462},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/grobauer2001:437.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GrobauerL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GudmundssonLN01,
author = {Joachim Gudmundsson and
Christos Levcopoulos and
Giri Narasimhan},
title = {Approximating a Minimum Manhattan Network},
journal = {Nord. J. Comput.},
volume = {8},
number = {2},
pages = {219--232},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/gudmundssonln:219.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GudmundssonLN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HaveraaenO01,
author = {Magne Haveraaen and
Olaf Owe},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {8},
number = {3},
pages = {277--278},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HaveraaenO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HuneLP01,
author = {Thomas Hune and
Kim Guldstrand Larsen and
Paul Pettersson},
title = {Guided Synthesis of Control Programs Using {UPPAAL}},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {43--64},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HuneLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JonssonMNNS01,
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 = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {65--87},
year = {2001},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/JonssonMNNS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LamoW01,
author = {Yngve Lamo and
Michal Walicki},
title = {Specification of Parametrized Programs - Persistency Revisited},
journal = {Nord. J. Comput.},
volume = {8},
number = {3},
pages = {298--323},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/lamow2001:298.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LamoW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Mork01,
author = {Simon M{\o}rk},
title = {Distributed Implementation of a Process-Algebra Based Programming
Language for Embedded Systems},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {121--158},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Mork01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsonN01,
author = {Hanne Riis Nielson and
Flemming Nielson},
title = {Shape Analysis for Mobile Ambients},
journal = {Nord. J. Comput.},
volume = {8},
number = {2},
pages = {233--275},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/riisnielsonn2001:233.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsonN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Ostergard01,
author = {Patric R. J. {\"{O}}sterg{\aa}rd},
title = {A New Algorithm for the Maximum-Weight Clique Problem},
journal = {Nord. J. Comput.},
volume = {8},
number = {4},
pages = {424--436},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/ostergard2001:424.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Ostergard01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/OttmannCS01,
author = {Thomas Ottmann and
Sven Schuierer and
Subbiah Soundaralakshmi},
title = {Enumerating Extreme Points in Higher Dimensions},
journal = {Nord. J. Comput.},
volume = {8},
number = {2},
pages = {179--192},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/ottmannss2001:179.html},
timestamp = {Thu, 08 Nov 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/OttmannCS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PeterssonV01,
author = {Viktor Petersson and
Sergei G. Vorobyov},
title = {A Randomized Subexponential Algorithm for Parity Games},
journal = {Nord. J. Comput.},
volume = {8},
number = {3},
pages = {324--345},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/peterssonv2001:324.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PeterssonV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/RonkkoL01,
author = {Mauno R{\"{o}}nkk{\"{o}} and
Xuandong Li},
title = {Linear Hybrid Action Systems},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {159},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/RonkkoL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SereL01,
author = {Kaisa Sere and
Wang Li},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {1},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SereL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SereW01,
author = {Kaisa Sere and
Marina Wald{\'{e}}n},
title = {Structuring and Verifying Distributed Algorithms},
journal = {Nord. J. Comput.},
volume = {8},
number = {2},
pages = {193--218},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/serew:193.html},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SereW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SpelbergT01,
author = {Ronald F. Lutje Spelberg and
W. J. Toetenel},
title = {Parametric Real-Time Model Checking Using Splitting Trees},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {88--120},
year = {2001},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SpelbergT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/UustaluVP01,
author = {Tarmo Uustalu and
Varmo Vene and
Alberto Pardo},
title = {Recursion Schemes from Comonads},
journal = {Nord. J. Comput.},
volume = {8},
number = {3},
pages = {366--390},
year = {2001},
url = {http://www.cs.helsinki.fi/njc/References/uustaluvp2001:366.html},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/UustaluVP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AgarwalGHRS00,
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 3D},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {227--240},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AgarwalGHRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AsanoMT00,
author = {Tetsuo Asano and
Tomomi Matsui and
Takeshi Tokuyama},
title = {Optimal Roundings of Sequences and Matrices},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {241},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AsanoMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BendixAP00,
author = {Lars Bendix and
Ulf Asklund and
Jonas Persson},
title = {Summary of the Subworkshop on Change Management for Open Source Software},
journal = {Nord. J. Comput.},
volume = {7},
number = {2},
pages = {143},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BendixAP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Berman00,
author = {Piotr Berman},
title = {A d/2 Approximation for Maximum Weight Independent Set in d-Claw Free
Graphs},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {178--184},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Berman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BerryBH00,
author = {Anne Berry and
Jean Paul Bordat and
Pinar Heggernes},
title = {Recognizing Weakly Triangulated Graphs by Edge Separability},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {164--177},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BerryBH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BodlaenderJ00,
author = {Hans L. Bodlaender and
Klaus Jansen},
title = {On the Complexity of the Maximum Cut Problem},
journal = {Nord. J. Comput.},
volume = {7},
number = {1},
pages = {14--31},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BodlaenderJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DoddiMRTW00,
author = {Srinivas Doddi and
Madhav V. Marathe and
S. S. Ravi and
David Scot Taylor and
Peter Widmayer},
title = {Approximation Algorithms for Clustering to Minimize the Sum of Diameters},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {185--203},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/DoddiMRTW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GudmundssonL00,
author = {Joachim Gudmundsson and
Christos Levcopoulos},
title = {A Parallel Approximation Algorithm for Minimum Weight Triangulation},
journal = {Nord. J. Comput.},
volume = {7},
number = {1},
pages = {32--57},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GudmundssonL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Halldorsson00,
author = {Magn{\'{u}}s M. Halld{\'{o}}rsson},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {149--150},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Halldorsson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Harsu00,
author = {Maarit Harsu},
title = {Identifying Object-Oriented Features from Procedural Software},
journal = {Nord. J. Comput.},
volume = {7},
number = {2},
pages = {126--142},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Harsu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Hofmann00,
author = {Martin Hofmann},
title = {A Type System for Bounded Space and Functional In-Place Update},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {258--289},
year = {2000},
timestamp = {Tue, 05 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Hofmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KarhumakiPR00,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
title = {Pattern-Matching Problems for Two-Dimensional Images Described by
Finite Automata},
journal = {Nord. J. Comput.},
volume = {7},
number = {1},
pages = {1--13},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KarhumakiPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Liberatore00,
author = {Vincenzo Liberatore},
title = {Scheduling Jobs before Shut-Down},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {204--226},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Liberatore00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MagnussonH00,
author = {Eva Magnusson and
G{\"{o}}rel Hedin},
title = {Program Visualization Using Reference Attributed Grammars},
journal = {Nord. J. Comput.},
volume = {7},
number = {2},
pages = {67--86},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/MagnussonH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Mauborgne00,
author = {Laurent Mauborgne},
title = {An Incremental Unique Representation for Regular Trees},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {290--311},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Mauborgne00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Normark00,
author = {Kurt N{\o}rmark},
title = {Elucidative Programming},
journal = {Nord. J. Comput.},
volume = {7},
number = {2},
pages = {87--105},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Normark00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/OpdahlS00,
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 = {Nord. J. Comput.},
volume = {7},
number = {2},
pages = {65--66},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/OpdahlS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Pagh00,
author = {Rasmus Pagh},
title = {A Trade-Off for Worst-Case Efficient Dictionaries},
journal = {Nord. J. Comput.},
volume = {7},
number = {3},
pages = {151--163},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Pagh00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Pottier00,
author = {Fran{\c{c}}ois Pottier},
title = {A Versatile Constraint-Based Type Inference System},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {312--347},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Pottier00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Russo00,
author = {Claudio V. Russo},
title = {First-Class Structures for Standard {ML}},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {348--374},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Russo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SeidlS00,
author = {Helmut Seidl and
Bernhard Steffen},
title = {Constraint-Based Inter-Procedural Analysis of Parallel Programs},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {375},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SeidlS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Smolka00,
author = {Gert Smolka},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {257},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Smolka00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Vestdam00,
author = {Thomas Vestdam},
title = {Documentation Threads - Presentation of Fragmented Documentation},
journal = {Nord. J. Comput.},
volume = {7},
number = {2},
pages = {106--125},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Vestdam00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Zito00,
author = {Michele Zito},
title = {Linear Time Maximum Induced Matching Algorithm for Trees},
journal = {Nord. J. Comput.},
volume = {7},
number = {1},
pages = {58},
year = {2000},
timestamp = {Mon, 19 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Zito00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AndreouN99,
author = {Maria I. Andreou and
Stavros D. Nikolopoulos},
title = {{NC} Coloring Algorithms for Permutation Graphs},
journal = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {422--445},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AndreouN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BendixA99,
author = {Lars Bendix and
Ulf Asklund},
title = {Summary of the Subworkshop on Change Management},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {129},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BendixA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BermanC99,
author = {Piotr Berman and
Chris Coulston},
title = {Speed is More Powerful than Clairvoyance},
journal = {Nord. J. Comput.},
volume = {6},
number = {2},
pages = {181--193},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BermanC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BjarnasonHN99,
author = {Elizabeth Bjarnason and
G{\"{o}}rel Hedin and
Klas Nilsson},
title = {Interactive Language Development for Embedded Systems},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {36--54},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BjarnasonHN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Christensen99,
author = {Henrik B{\ae}rbak Christensen},
title = {The Ragnarok Software Development Environment},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {4--21},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Christensen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CiancariniOZ99,
author = {Paolo Ciancarini and
Andrea Omicini and
Franco Zambonelli},
title = {Coordination Technologies for Internet Agents},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {215--240},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/CiancariniOZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DevillersM99,
author = {Olivier Devillers and
Asish Mukhopadhyay},
title = {Finding an Ordinary Conic and an Ordinary Hyperplane},
journal = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {462--468},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/DevillersM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Ernst99,
author = {Erik Ernst},
title = {Dynamic Inheritance in a Statically Typed Language Nordic Journal
of Computing},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {72--92},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Ernst99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GudmundssonL99,
author = {Joachim Gudmundsson and
Christos Levcopoulos},
title = {A Fast Approximation Algorithm for {TSP} with Neighborhoods},
journal = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {469},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GudmundssonL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Harsu99,
author = {Maarit Harsu},
title = {Translation of Conditional Compilation Nordic Journal of Computing},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {93--109},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Harsu99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HaveraaenFJ99,
author = {Magne Haveraaen and
Helmer Andr{\'{e}} Friis and
Tor Arne Johansen},
title = {Formal Software Engineering for Computational Modelling},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {241--270},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HaveraaenFJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Hwang99,
author = {Min{-}Shiang Hwang},
title = {A Dynamic Key Generation Scheme for Access Control in a Hierarchy},
journal = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {363--371},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Hwang99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KjelstromP99,
author = {K{\aa}re Kjelstr{\o}m and
Peter Petersen},
title = {A {CASE} Tool for {COM} Development},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {22--35},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KjelstromP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KrznaricLN99,
author = {Drago Krznaric and
Christos Levcopoulos and
Bengt J. Nilsson},
title = {Minimum Spanning Trees in d Dimensions},
journal = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {446--461},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KrznaricLN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LagergrenM99,
author = {Jens Lagergren and
Peter Bro Miltersen},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {6},
number = {2},
pages = {135--136},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LagergrenM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LarsenP99,
author = {Jesper Larsen and
Ib Pedersen},
title = {Experiments with the Auction Algorithm for the Shortest Path Problem},
journal = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {403--421},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LarsenP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LarsenPWY99,
author = {Kim Guldstrand Larsen and
Justin Pearson and
Carsten Weise and
Wang Yi},
title = {Clock Difference Diagrams},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {271--298},
year = {1999},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LarsenPWY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LillierothS99,
author = {Carl Johan Lillieroth and
Satnam Singh},
title = {Formal Verification of {FPGA} Cores},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {299--319},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LillierothS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MughalO99,
author = {Khalid Azim Mughal and
Andreas L. Opdahl},
title = {Guest Editors' Foreword: Programming and Software Development Environment
Research in the Nordic Countries},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {1--3},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/MughalO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NormarkIM99,
author = {Kurt N{\o}rmark and
Lars Iversen and
Per Madsen},
title = {Animation and Presentation Tools for Object-Oriented Design},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {110--128},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NormarkIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/RamanR99,
author = {Venkatesh Raman and
Sarnath Ramnath},
title = {Improved Upper Bounds for Time-Space Trade-offs for Selection},
journal = {Nord. J. Comput.},
volume = {6},
number = {2},
pages = {162--180},
year = {1999},
timestamp = {Fri, 27 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/RamanR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Ron99,
author = {Henrik R{\o}n},
title = {An Overview of a Dynamic Programming Environment Based on Extensibility},
journal = {Nord. J. Comput.},
volume = {6},
number = {1},
pages = {55--71},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Ron99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Seiden99,
author = {Steven S. Seiden},
title = {Randomized Online Multi-Threaded Paging},
journal = {Nord. J. Comput.},
volume = {6},
number = {2},
pages = {148--161},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Seiden99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SenG99,
author = {Sandeep Sen and
Neelima Gupta},
title = {Distribution-Sensitive Algorithms},
journal = {Nord. J. Comput.},
volume = {6},
number = {2},
pages = {194},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SenG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Sere99,
author = {Kaisa Sere},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {213--214},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Sere99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Sleumer99,
author = {Nora Sleumer},
title = {Output-Sensitive Cell Enumeration in Hyperplane Arrangements},
journal = {Nord. J. Comput.},
volume = {6},
number = {2},
pages = {137--161},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Sleumer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/TaharC99,
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 = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {372--402},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/TaharC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Troubitsyna99,
author = {Elena Troubitsyna},
title = {Reliability Assessment through Probabilistic Refinement},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {320--342},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Troubitsyna99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/UustaluV99,
author = {Tarmo Uustalu and
Varmo Vene},
title = {Mendler-Style Inductive Types, Categorically},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {343},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/UustaluV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AbadiG98,
author = {Mart{\'{\i}}n Abadi and
Andrew D. Gordon},
title = {A Bisimulation Method for Cryptographic Protocols},
journal = {Nord. J. Comput.},
volume = {5},
number = {4},
pages = {267},
year = {1998},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AbadiG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Baeza-YatesS98,
author = {Ricardo A. Baeza{-}Yates and
Hector Soza{-}Pollman},
title = {Analysis of Linear Hashing Revisited},
journal = {Nord. J. Comput.},
volume = {5},
number = {1},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Baeza-YatesS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DahlOB98,
author = {Ole{-}Johan Dahl and
Olaf Owe and
Tore J. Bastiansen},
title = {Subtyping and Constructive Specification},
journal = {Nord. J. Comput.},
volume = {5},
number = {1},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/DahlOB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DobrevR98,
author = {Stefan Dobrev and
Peter Ruzicka},
title = {On the Communication Complexity of Strong Time-Optimal Distributed
Algorithms},
journal = {Nord. J. Comput.},
volume = {5},
number = {2},
pages = {87--104},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/DobrevR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FechtS98,
author = {Christian Fecht and
Helmut Seidl},
title = {Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive
Constraint Systems},
journal = {Nord. J. Comput.},
volume = {5},
number = {4},
pages = {304--329},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FechtS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GanleyS98,
author = {Joseph L. Ganley and
Jeffrey S. Salowe},
title = {The Power-p Steiner Tree Problem},
journal = {Nord. J. Comput.},
volume = {5},
number = {2},
pages = {115--127},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GanleyS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Gonzalez98,
author = {Teofilo F. Gonzalez},
title = {Bounded Fan-Out Multimessage Multicasting},
journal = {Nord. J. Comput.},
volume = {5},
number = {3},
pages = {196--213},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Gonzalez98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Hankin98,
author = {Chris Hankin},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {5},
number = {4},
pages = {265--266},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Hankin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HeggernesT98,
author = {Pinar Heggernes and
Jan Arne Telle},
title = {Partitioning Graphs into Generalized Dominating Sets},
journal = {Nord. J. Comput.},
volume = {5},
number = {2},
pages = {128--142},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HeggernesT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HoyerL98,
author = {Peter H{\o}yer and
Kim S. Larsen},
title = {Parametric Permutation Routing via Matchings},
journal = {Nord. J. Comput.},
volume = {5},
number = {2},
pages = {105--114},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HoyerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JohnssonMN98,
author = {Mika Johnsson and
G{\'{a}}bor Magyar and
Olli Nevalainen},
title = {On the Euclidean 3-Matching Problem},
journal = {Nord. J. Comput.},
volume = {5},
number = {2},
pages = {143},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/JohnssonMN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KratochvilPT98,
author = {Jan Kratochv{\'{\i}}l and
Andrzej Proskurowski and
Jan Arne Telle},
title = {On the Complexity of Graph Covering Problems},
journal = {Nord. J. Comput.},
volume = {5},
number = {3},
pages = {173--195},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KratochvilPT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KristoffersenD98,
author = {Bj{\o}rn Kristoffersen and
Ole{-}Johan Dahl},
title = {On Introducing Higher Order Functions in {ABEL}},
journal = {Nord. J. Comput.},
volume = {5},
number = {1},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KristoffersenD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KrznaricL98,
author = {Drago Krznaric and
Christos Levcopoulos},
title = {Computing a Threaded Quadtree from the Delaunay Triangulation in linear
Time},
journal = {Nord. J. Comput.},
volume = {5},
number = {1},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KrznaricL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Leino98,
author = {K. Rustan M. Leino},
title = {Recursive Object Types in a Logic of Object-Oriented Programs},
journal = {Nord. J. Comput.},
volume = {5},
number = {4},
pages = {330--360},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Leino98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Mossin98,
author = {Christian Mossin},
title = {Higher-Order Value Flow Graphs},
journal = {Nord. J. Comput.},
volume = {5},
number = {3},
pages = {214--234},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Mossin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PaakkiT98,
author = {Jukka Paakki and
Antti{-}Pekka Tuovinen},
title = {Source-to-Source Translation of Visual Languages},
journal = {Nord. J. Comput.},
volume = {5},
number = {3},
pages = {235},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PaakkiT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/RossS98,
author = {John L. Ross and
Shmuel Sagiv},
title = {Building a Bridge between Pointer Aliases and Program Dependences},
journal = {Nord. J. Comput.},
volume = {5},
number = {4},
pages = {361},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/RossS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Bosch97,
author = {Jan Bosch},
title = {Delegating Compiler Objects: Modularity and Reusability in Language
Engineering},
journal = {Nord. J. Comput.},
volume = {4},
number = {1},
pages = {66--92},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Bosch97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/EfremidisMRS97,
author = {S. G. Efremidis and
Khalid Azim Mughal and
John H. Reppy and
L. S{\o}raas},
title = {{AML:} Attribute Grammars in {ML}},
journal = {Nord. J. Comput.},
volume = {4},
number = {1},
pages = {37--65},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/EfremidisMRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Erdogmus97,
author = {M. Hakan Erdogmus},
title = {Architecture-Driven Verification of Concurrent Systems},
journal = {Nord. J. Comput.},
volume = {4},
number = {4},
pages = {380},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Erdogmus97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GambosiPT97,
author = {Giorgio Gambosi and
Alberto Postiglione and
Maurizio Talamo},
title = {On-Line Maintenance of an Approximate Bin-Packing Solution},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {151--166},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GambosiPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GyimothyH97,
author = {Tibor Gyim{\'{o}}thy and
Tam{\'{a}}s Horv{\'{a}}th},
title = {Learning Semantic Functions of Attribute Grammars},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {287--302},
year = {1997},
timestamp = {Tue, 19 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GyimothyH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Hedin97,
author = {G{\"{o}}rel Hedin},
title = {Attribute Extensions - a Technique for Enforcing Programming Conventions},
journal = {Nord. J. Comput.},
volume = {4},
number = {1},
pages = {93--122},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Hedin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/IsraeliKKS97,
author = {Amos Israeli and
Evangelos Kranakis and
Danny Krizanc and
Nicola Santoro},
title = {Time-Message Trade-Offs for the Weak Unison Problem},
journal = {Nord. J. Comput.},
volume = {4},
number = {4},
pages = {317--341},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/IsraeliKKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KarpinskiRS97,
author = {Marek Karpinski and
Wojciech Rytter and
Ayumi Shinohara},
title = {An Efficient Pattern-Matching Algorithm for Strings with Short Descriptions},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {172--186},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KarpinskiRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Kaser97,
author = {Owen Kaser},
title = {Optimal Height Reduction Problems for Tree-Structured Hierarchies},
journal = {Nord. J. Comput.},
volume = {4},
number = {4},
pages = {357--379},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Kaser97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Koskimies97,
author = {Kai Koskimies},
title = {Theme Issue on Programming Environments - Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {4},
number = {1},
pages = {1--2},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Koskimies97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LundbergL97,
author = {Lars Lundberg and
H{\aa}kan Lennerstad},
title = {Bounding the Gain of Changing the Number of Memory Modules in Shared
Memory Multiprocessors},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {233--258},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LundbergL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Mohri97,
author = {Mehryar Mohri},
title = {String-Matching with Automata},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {217--231},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Mohri97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MukhopadhyayAH97,
author = {Asish Mukhopadhyay and
Alok Aggrawal and
Ravi Mohan Hosabettu},
title = {On the Ordinary Line Problem in Computational Geometry},
journal = {Nord. J. Comput.},
volume = {4},
number = {4},
pages = {330--341},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/MukhopadhyayAH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PaakkiKS97,
author = {Jukka Paakki and
Jussi Koskinen and
Airi Salminen},
title = {From Relational Program Dependencies to Hypertextual Access Structures},
journal = {Nord. J. Comput.},
volume = {4},
number = {1},
pages = {3--36},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PaakkiKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PalB97,
author = {Madhumangal Pal and
G. P. Bhattacharjee},
title = {An Optimal Parallel Algorithm for All-Pairs Shortest Paths on Unweighted
Interval Graphs},
journal = {Nord. J. Comput.},
volume = {4},
number = {4},
pages = {342--356},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PalB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PalsbergJ97,
author = {Jens Palsberg and
Trevor Jim},
title = {Type Inference with Simple Selftypes is NP-complete},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {259--286},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PalsbergJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Roche97,
author = {Emmanuel Roche},
title = {Compact Factorization of Finite-State Transducers and Finite-State
Automata},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {187--216},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Roche97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Roos97,
author = {Thomas Roos},
title = {New Upper Bounds on Voronoi Diagrams of Moving Points},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {167--171},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Roos97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SjobergWAPWM97,
author = {Dag I. K. Sj{\o}berg and
Ray Welland and
Malcolm P. Atkinson and
Paul Philbrow and
Cathy Waite and
S. Macneill},
title = {The Persistent Workshop - a Programming Environment for Napier88},
journal = {Nord. J. Comput.},
volume = {4},
number = {1},
pages = {123--149},
year = {1997},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/SjobergWAPWM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/YamaguchiNM97,
author = {Atsuko Yamaguchi and
Koji Nakano and
Satoru Miyano},
title = {An Approximation Algorithm for the Minimum Common Supertree Problem},
journal = {Nord. J. Comput.},
volume = {4},
number = {2},
pages = {303--316},
year = {1997},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/YamaguchiNM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AklS96,
author = {Selim G. Akl and
Ivan Stojmenovic},
title = {Generating t-ary Trees in Parallel},
journal = {Nord. J. Comput.},
volume = {3},
number = {1},
pages = {63--71},
year = {1996},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AklS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AlonKMH96,
author = {Noga Alon and
Pierre Kelsen and
Sanjeev Mahajan and
Ramesh Hariharan},
title = {Approximate Hypergraph Coloring},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {425--439},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/AlonKMH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AngS96,
author = {Chuan{-}Heng Ang and
Hanan Samet},
title = {Approximate Average Storage Utilization of Bucket Methods with Arbitrary
Fanout},
journal = {Nord. J. Comput.},
volume = {3},
number = {3},
pages = {280--291},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/AngS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AsanoOH96,
author = {Takao Asano and
Takao Ono and
Tomio Hirata},
title = {Approximation Algorithms for the Maximum Satisfiability Problem},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {388--404},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/AsanoOH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Brodal96,
author = {Gerth St{\o}lting Brodal},
title = {Partially Persistent Data Structures of Bounded Degree with Constant
Update Time},
journal = {Nord. J. Comput.},
volume = {3},
number = {3},
pages = {238--255},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Brodal96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BrodalCR96,
author = {Gerth St{\o}lting Brodal and
Shiva Chaudhuri and
Jaikumar Radhakrishnan},
title = {The Randomized Complexity of Maintaining the Minimum},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {337--351},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BrodalCR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BrownFP96,
author = {Cynthia A. Brown and
Larry Finkelstein and
Paul Walton Purdom Jr.},
title = {Backtrack Searching in the Presence of Symmetry},
journal = {Nord. J. Comput.},
volume = {3},
number = {3},
pages = {203--219},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BrownFP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Chen96,
author = {Jing{-}Chao Chen},
title = {Proportion Split Sort},
journal = {Nord. J. Comput.},
volume = {3},
number = {3},
pages = {271--279},
year = {1996},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Chen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DattaMS96,
author = {Amitava Datta and
Anil Maheshwari and
J{\"{o}}rg{-}R{\"{u}}diger Sack},
title = {Optimal Parallel Algorithms for Direct Dominance Problems},
journal = {Nord. J. Comput.},
volume = {3},
number = {1},
pages = {72--88},
year = {1996},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/DattaMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DiksP96,
author = {Krzysztof Diks and
Andrzej Pelc},
title = {Fault-Tolerant Linear Broadcasting},
journal = {Nord. J. Comput.},
volume = {3},
number = {2},
pages = {188--201},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/DiksP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/EadesKMM96,
author = {Peter Eades and
J. Mark Keil and
Paul D. Manuel and
Mirka Miller},
title = {Two Minimum Dominating Sets with Minimum Intersection in Chordal Graphs},
journal = {Nord. J. Comput.},
volume = {3},
number = {3},
pages = {220--237},
year = {1996},
timestamp = {Wed, 12 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/EadesKMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Fernandez-BacaSE96,
author = {David Fern{\'{a}}ndez{-}Baca and
Giora Slutzki and
David Eppstein},
title = {Using Sparsification for Parametric Minimum Spanning Tree Problems},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {352--366},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Fernandez-BacaSE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HusfeldtRS96,
author = {Thore Husfeldt and
Theis Rauhe and
S{\o}ren Skyum},
title = {Lower Bounds for Dynamic Transitive Closure, Planar Point Location,
and Parantheses Matching},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {323--336},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/HusfeldtRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KarlssonL96,
author = {Rolf G. Karlsson and
Andrzej Lingas},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {293--294},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/KarlssonL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KatajainenPT96,
author = {Jyrki Katajainen and
Tomi Pasanen and
Jukka Teuhola},
title = {Practical In-Place Mergesort},
journal = {Nord. J. Comput.},
volume = {3},
number = {1},
pages = {27--40},
year = {1996},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KatajainenPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LamST96,
author = {Tak Wah Lam and
Wing{-}Kin Sung and
Hing{-}Fung Ting},
title = {Computing the Unrooted Maximum Agreement Subtree in Sub-quadratic
Time},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {295--322},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LamST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LauW96,
author = {Hoong Chuin Lau and
Osamu Watanabe},
title = {Randomized Approximation of the Constraint Satisfaction Problem},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {405--424},
year = {1996},
timestamp = {Fri, 10 Oct 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LauW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LinTCK96,
author = {Chih{-}Zong Lin and
Chien{-}Chao Tseng and
Yi{-}Lin Chen and
Tso{-}Wei Kuo},
title = {A Systematic Approach to Synthesize Data Alignment Directives for
Distributed Memory Machines},
journal = {Nord. J. Comput.},
volume = {3},
number = {2},
pages = {89--119},
year = {1996},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/LinTCK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Linnestad96,
author = {Henrik Linnestad},
title = {Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing},
journal = {Nord. J. Comput.},
volume = {3},
number = {2},
pages = {131--143},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Linnestad96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Malmi96,
author = {Lauri Malmi},
title = {A New Method for Updating and Rebalancing Tree-Type Main Memory Dictionaries},
journal = {Nord. J. Comput.},
volume = {3},
number = {2},
pages = {111--130},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Malmi96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MaratheRS96,
author = {Madhav V. Marathe and
R. Ravi and
Ravi Sundaram},
title = {Service-Constrained Network Design Problems},
journal = {Nord. J. Comput.},
volume = {3},
number = {4},
pages = {367--387},
year = {1996},
timestamp = {Mon, 31 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/MaratheRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NatarajanS96,
author = {Sridhar Natarajan and
Alan P. Sprague},
title = {Disjoint Paths in Circular Arc Graphs},
journal = {Nord. J. Comput.},
volume = {3},
number = {3},
pages = {256--270},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/NatarajanS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsonN96,
author = {Flemming Nielson and
Hanne Riis Nielson},
title = {Operational Semantics of Termination Types},
journal = {Nord. J. Comput.},
volume = {3},
number = {2},
pages = {144--187},
year = {1996},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/NielsonN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Seidl96,
author = {Helmut Seidl},
title = {Least and Greatest Solutions of Equations over {N}},
journal = {Nord. J. Comput.},
volume = {3},
number = {1},
pages = {41--62},
year = {1996},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Seidl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/TsinW96,
author = {Yung H. Tsin and
Cao An Wang},
title = {Geodesic Voronoi Diagrams in the Presence of Rectilinear Barriers},
journal = {Nord. J. Comput.},
volume = {3},
number = {1},
pages = {1--26},
year = {1996},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/TsinW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BodlaenderGK95,
author = {Hans L. Bodlaender and
Teofilo F. Gonzalez and
Ton Kloks},
title = {Complexity Aspects of Two-Dimensional Data Compression},
journal = {Nord. J. Comput.},
volume = {2},
number = {4},
pages = {462--495},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BodlaenderGK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BurkartS95,
author = {Olaf Burkart and
Bernhard Steffen},
title = {Composition, Decomposition and Model Checking of Pushdown Processes},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {89--125},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BurkartS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Chung95,
author = {K.{-}L. Chung},
title = {Fast Median-Finding on Mesh-Connected Computers with Segmented Buses},
journal = {Nord. J. Comput.},
volume = {2},
number = {4},
pages = {397--406},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Chung95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/ChungC95,
author = {Kuo{-}Liang Chung and
Yu{-}Wei Chen},
title = {Mapping Pyramids into 3-D Meshes},
journal = {Nord. J. Comput.},
volume = {2},
number = {3},
pages = {326--337},
year = {1995},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/ChungC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/ClausenK95,
author = {Jens Clausen and
Jakob Krarup},
title = {A Family of Bipartite Cardinality Matching Problems Solvable in O(n\({}^{\mbox{2}}\))
Time},
journal = {Nord. J. Comput.},
volume = {2},
number = {4},
pages = {496--501},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/ClausenK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FraserI95,
author = {C. B. Fraser and
Robert W. Irving},
title = {Approximation Algorithms for the Shortest Common Supersequence},
journal = {Nord. J. Comput.},
volume = {2},
number = {3},
pages = {303--325},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FraserI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GianantonioHP95,
author = {Pietro Di Gianantonio and
Furio Honsell and
Gordon D. Plotkin},
title = {Uncountable Limits and the lambda Calculus},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {126--145},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GianantonioHP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GodskesenL95,
author = {Jens Chr. Godskesen and
Kim Guldstrand Larsen},
title = {Synthesizing Distinguishing Formulae for Real Time Systems},
journal = {Nord. J. Comput.},
volume = {2},
number = {3},
pages = {338--357},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GodskesenL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GolinRSS95,
author = {Mordecai J. Golin and
Rajeev Raman and
Christian Schwarz and
Michiel H. M. Smid},
title = {Simple Randomized Algorithms for Closest Pair Problems},
journal = {Nord. J. Comput.},
volume = {2},
number = {1},
pages = {3--27},
year = {1995},
timestamp = {Sat, 20 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/GolinRSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JonssonP95,
author = {Bengt Jonsson and
Joachim Parrow},
title = {Guest Editors Foreword},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {87},
year = {1995},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/JonssonP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KamakotiKR95,
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 = {Nord. J. Comput.},
volume = {2},
number = {1},
pages = {28--40},
year = {1995},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/KamakotiKR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KanellakisMS95,
author = {Paris C. Kanellakis and
Dimitrios Michailidis and
Alexander A. Shvartsman},
title = {Controlling Memory Access Concurrency in Efficient Fault-Tolerant
Parallel Algorithms},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {146--180},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KanellakisMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KratochvilMM95,
author = {Jan Kratochv{\'{\i}}l and
Paul D. Manuel and
Mirka Miller},
title = {Generalized Domination in Chordal Graphs},
journal = {Nord. J. Comput.},
volume = {2},
number = {1},
pages = {41--50},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KratochvilMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LeppanenP95,
author = {Ville Lepp{\"{a}}nen and
Martti Penttonen},
title = {Work-Optimal Simulation of {PRAM} Models on Meshes},
journal = {Nord. J. Comput.},
volume = {2},
number = {1},
pages = {51--69},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LeppanenP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MendlerPSS95,
author = {Nax Paul Mendler and
Prakash Panangaden and
Philip J. Scott and
Robert A. G. Seely},
title = {A Logical View of Concurrent Constraint Programming},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {181--220},
year = {1995},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/MendlerPSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsenC95,
author = {Mogens Nielsen and
Christian Clausen},
title = {Games and Logics for a Noninterleaving Bisimulation},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {221--249},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsenC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Parrow95,
author = {Joachim Parrow},
title = {Interaction Diagrams},
journal = {Nord. J. Comput.},
volume = {2},
number = {4},
pages = {407--443},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Parrow95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Rick95,
author = {Claus Rick},
title = {A New Flexible Algorithm for the Longest Common Subsequence Problem},
journal = {Nord. J. Comput.},
volume = {2},
number = {4},
pages = {444--461},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Rick95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SegalaL95,
author = {Roberto Segala and
Nancy A. Lynch},
title = {Probabilistic Simulations for Probabilistic Processes},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {250--273},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SegalaL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Ukkonen95,
author = {Esko Ukkonen},
title = {Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {2},
number = {1},
pages = {1--2},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Ukkonen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/VassilakopoulosMK95,
author = {Michael Vassilakopoulos and
Yannis Manolopoulos and
Brigitte Kr{\"{o}}ll},
title = {Efficiency Analysis of Overlapped Quadtrees},
journal = {Nord. J. Comput.},
volume = {2},
number = {1},
pages = {70--84},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/VassilakopoulosMK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Verhoef95,
author = {Chris Verhoef},
title = {A Congruence Theorem for Structured Operational Semantics with Predicates
and Negative Premises},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {274--302},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Verhoef95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/WalickiB95,
author = {Michal Walicki and
Manfred Broy},
title = {Structured Specifications and Implementation of Nondeterministic Data
Types},
journal = {Nord. J. Comput.},
volume = {2},
number = {3},
pages = {358--395},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/WalickiB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Becker94,
author = {Peter Becker},
title = {A New Algorithm for the Construction of Optimal B-Trees},
journal = {Nord. J. Comput.},
volume = {1},
number = {4},
pages = {389--401},
year = {1994},
timestamp = {Thu, 23 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Becker94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BlairP94,
author = {Jean R. S. Blair and
Barry W. Peyton},
title = {On Finding Minimum-Diameter Clique Trees},
journal = {Nord. J. Comput.},
volume = {1},
number = {2},
pages = {173--201},
year = {1994},
timestamp = {Thu, 05 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BlairP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BodlaenderTS94,
author = {Hans L. Bodlaender and
Gerard Tel and
Nicola Santoro},
title = {Trade-Offs in Non-Reversing Diameter},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {111--134},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/BodlaenderTS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/ChlebusDP94,
author = {Bogdan S. Chlebus and
Krzysztof Diks and
Andrzej Pelc},
title = {Sparse Networks Supporting Efficient Reliable Broadcasting},
journal = {Nord. J. Comput.},
volume = {1},
number = {3},
pages = {332--345},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/ChlebusDP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/CoolsaetFM94,
author = {Kris Coolsaet and
Veerle Fack and
Hans E. De Meyer},
title = {A Tabular Method for Verification of Data Exchange Algorithms on Networks
of Parallel Processors},
journal = {Nord. J. Comput.},
volume = {1},
number = {2},
pages = {202--213},
year = {1994},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/CoolsaetFM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DasHN94,
author = {Gautam Das and
Paul J. Heffernan and
Giri Narasimhan},
title = {Finding all Weakly-Visible Chords of a Polygon in Linear Time},
journal = {Nord. J. Comput.},
volume = {1},
number = {4},
pages = {433--457},
year = {1994},
timestamp = {Wed, 08 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/DasHN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FisherHM94,
author = {Kathleen Fisher and
Furio Honsell and
John C. Mitchell},
title = {A lambda Calculus of Objects and Method Specialization},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {3--37},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FisherHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HagerupM94,
author = {Torben Hagerup and
Martin Maas},
title = {Generalized Topological Sorting in Linear Time},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {38--49},
year = {1994},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/HagerupM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HalldorssonR94,
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 = {Nord. J. Comput.},
volume = {1},
number = {4},
pages = {475--492},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HalldorssonR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HavelundL94,
author = {Klaus Havelund and
Kim Guldstrand Larsen},
title = {The Fork Calculus},
journal = {Nord. J. Comput.},
volume = {1},
number = {3},
pages = {346--363},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HavelundL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HungarS94,
author = {Hardi Hungar and
Bernhard Steffen},
title = {Local Model-Checking for Context-Free Processes},
journal = {Nord. J. Comput.},
volume = {1},
number = {3},
pages = {364},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HungarS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JajodiaMR94,
author = {Sushil Jajodia and
Ravi Mukkamala and
K. V. S. Ramarao},
title = {A View-Based Dynamic Replication Control Algorithm},
journal = {Nord. J. Comput.},
volume = {1},
number = {2},
pages = {214--230},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/JajodiaMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JanardanP94,
author = {Ravi Janardan and
Franco P. Preparata},
title = {Widest-Corridor Problems},
journal = {Nord. J. Comput.},
volume = {1},
number = {2},
pages = {231--245},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/JanardanP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Jansen94,
author = {Klaus Jansen},
title = {Integral Flow with Disjoint Bundles},
journal = {Nord. J. Comput.},
volume = {1},
number = {2},
pages = {264--267},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Jansen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Kann94,
author = {Viggo Kann},
title = {Polynomially Bounded Minimization Problems That Are Hard to Approximate},
journal = {Nord. J. Comput.},
volume = {1},
number = {3},
pages = {317--331},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Kann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KrusselS94,
author = {John W. Krussel and
Barry Schaudt},
title = {A Note on Higher Order Voronoi Diagrams},
journal = {Nord. J. Comput.},
volume = {1},
number = {2},
pages = {268},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KrusselS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Lingas94,
author = {Andrzej Lingas},
title = {Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {1},
number = {3},
pages = {273},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Lingas94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Lysne94,
author = {Olav Lysne},
title = {Heuristics for Completion in Automatic Proofs by Structural Induction},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {135--156},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Lysne94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/MaratheHR94,
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 = {Nord. J. Comput.},
volume = {1},
number = {3},
pages = {275--316},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/MaratheHR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Melham94,
author = {Thomas F. Melham},
title = {A Mechanized Theory of the Pi-Calculus in {HOL}},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {50--76},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Melham94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Mossenbock94,
author = {Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {Extensibility in the Oberon System},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {77--93},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Mossenbock94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Orponen94,
author = {Pekka Orponen},
title = {Neural Networks and Complexity Theory},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {94--110},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Orponen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Peinado94,
author = {Marcus Peinado},
title = {Hard Graphs for the Randomized Boppana-Halld{\"{o}}rsson Algorithm
for {MAXCLIQUE}},
journal = {Nord. J. Comput.},
volume = {1},
number = {4},
pages = {493},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Peinado94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PferschyRW94,
author = {Ulrich Pferschy and
R{\"{u}}diger Rudolf and
Gerhard J. Woeginger},
title = {Some Geometric Clustering Problems},
journal = {Nord. J. Comput.},
volume = {1},
number = {2},
pages = {246--263},
year = {1994},
timestamp = {Thu, 19 Feb 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PferschyRW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Schenk94,
author = {Eric Schenk},
title = {Parallel Dynamic Lowest Common Ancestors},
journal = {Nord. J. Comput.},
volume = {1},
number = {4},
pages = {402--432},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Schenk94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Schuierer94,
author = {Sven Schuierer},
title = {An O(log log n) Time Algorithm to Compute the Kernel of a Polygon},
journal = {Nord. J. Comput.},
volume = {1},
number = {4},
pages = {458--474},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Schuierer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Skyum94,
author = {Sven Skyum},
title = {Guest Editor's Foreword},
journal = {Nord. J. Comput.},
volume = {1},
number = {4},
pages = {387},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Skyum94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Telle94,
author = {Jan Arne Telle},
title = {Complexity of Domination-Type Problems in Graphs},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {157--171},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Telle94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-11 15:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
