Search dblp for Publications

export results for "toc:db/journals/njc/njc9.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.