Search dblp for Publications

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

 download as .bib file

@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}
}
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.