Search dblp for Publications

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

 download as .bib file

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