Search dblp for Publications

export results for "toc:db/journals/ijfcs/ijfcs17.bht:"

 download as .bib file

@article{DBLP:journals/ijfcs/AfoninH06,
  author       = {Sergey A. Afonin and
                  Elena Hazova},
  title        = {Membership and Finiteness Problems for Rational Sets of Regular Languages},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {493--506},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003954},
  doi          = {10.1142/S0129054106003954},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AfoninH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Agostino06,
  author       = {Sergio De Agostino},
  title        = {Bounded Size Dictionary Compression: Relaxing the Lru Deletion Heuristic},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1273--1280},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004406},
  doi          = {10.1142/S0129054106004406},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Agostino06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Akutsu06,
  author       = {Tatsuya Akutsu},
  title        = {Algorithms for Point Set Matching with K-differences},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {903--918},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004170},
  doi          = {10.1142/S0129054106004170},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Akutsu06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AlhazovFO06,
  author       = {Artiom Alhazov and
                  Rudolf Freund and
                  Marion Oswald},
  title        = {Cell/symbol complexity of tissue {P} systems with symport/antiport
                  rules},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {3--25},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600367X},
  doi          = {10.1142/S012905410600367X},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AlhazovFO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AnanichevPV06,
  author       = {Dimitry S. Ananichev and
                  Ilja V. Petrov and
                  Mikhail V. Volkov},
  title        = {Collapsing Words: a Progress Report},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {507--518},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003966},
  doi          = {10.1142/S0129054106003966},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AnanichevPV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BabveyBFM06,
  author       = {Sharareh Babvey and
                  Anu G. Bourgeois and
                  Jos{\'{e}} Alberto Fern{\'{a}}ndez{-}Zepeda and
                  Steven W. McLaughlin},
  title        = {Scalable and Efficient Implementations of the Ldpc Decoder Using Reconfigurable
                  Models},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {303--322},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600384X},
  doi          = {10.1142/S012905410600384X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BabveyBFM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BertolottiDSV06,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Exploiting Symmetries for Testing Equivalence Verification in the
                  Spi Calculus},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {815--832},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004121},
  doi          = {10.1142/S0129054106004121},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BertolottiDSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BesC06,
  author       = {Alexis B{\`{e}}s and
                  Olivier Carton},
  title        = {A Kleene Theorem for Languages of Words Indexed by Linear Orderings},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {519--542},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003978},
  doi          = {10.1142/S0129054106003978},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BesC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BiancoFM06,
  author       = {Luca Bianco and
                  Federico Fontana and
                  Vincenzo Manca},
  title        = {P systems with reaction maps},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {27--48},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003681},
  doi          = {10.1142/S0129054106003681},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BiancoFM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BorozkyPT06,
  author       = {K{\'{a}}roly J. B{\"{o}}r{\"{o}}czky and
                  J{\'{a}}nos Pach and
                  G{\'{e}}za T{\'{o}}th},
  title        = {Planar Crossing Numbers of Graphs Embeddable in Another Surface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1005--1016},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004236},
  doi          = {10.1142/S0129054106004236},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BorozkyPT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrlekLL06,
  author       = {Srecko Brlek and
                  Gilbert Labelle and
                  Annie Lacasse},
  title        = {Properties of the Contour Path of Discrete Sets},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {543--556},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600398X},
  doi          = {10.1142/S012905410600398X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BrlekLL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrzozowskiJ06,
  author       = {Janusz A. Brzozowski and
                  Helmut J{\"{u}}rgensen},
  title        = {Errata: "representation of Semiautomata by Canonical Words and Equivalences"},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1231--1232},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004364},
  doi          = {10.1142/S0129054106004364},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BrzozowskiJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CantoneF06,
  author       = {Domenico Cantone and
                  Simone Faro},
  title        = {A Space Efficient Bit-parallel Algorithm for the Multiple String Matching
                  Problem},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1235--1252},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004388},
  doi          = {10.1142/S0129054106004388},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CantoneF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CardelliP06,
  author       = {Luca Cardelli and
                  Gheorghe Paun},
  title        = {An universality result for a (mem)brane calculus based on mate/drip
                  operations},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {49--68},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003693},
  doi          = {10.1142/S0129054106003693},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CardelliP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CavaliereD06,
  author       = {Matteo Cavaliere and
                  Vincenzo Deufemia},
  title        = {Further results on time-free {P} systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {69--89},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600370X},
  doi          = {10.1142/S012905410600370X},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CavaliereD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CeterchiP06,
  author       = {Rodica Ceterchi and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  title        = {On simulating a class of parallel architectures},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {91--110},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003711},
  doi          = {10.1142/S0129054106003711},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CeterchiP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CiobanuG06,
  author       = {Gabriel Ciobanu and
                  Viorel Mihai Gontineac},
  title        = {Mealy multiset automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {111--126},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003723},
  doi          = {10.1142/S0129054106003723},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CiobanuG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CleophasHZ06,
  author       = {Loek G. Cleophas and
                  Kees Hemerik and
                  Gerard Zwaan},
  title        = {Two Related Algorithms for Root-to-frontier Tree Pattern Matching},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1253--1272},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600439X},
  doi          = {10.1142/S012905410600439X},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CleophasHZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DuncanEKW06,
  author       = {Christian A. Duncan and
                  Alon Efrat and
                  Stephen G. Kobourov and
                  Carola Wenk},
  title        = {Drawing with Fat Edges},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1143--1164},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004315},
  doi          = {10.1142/S0129054106004315},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/DuncanEKW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EhrenfeuchtR06,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  title        = {Covers from Templates},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {475--488},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003930},
  doi          = {10.1142/S0129054106003930},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/EhrenfeuchtR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Elmasry06,
  author       = {Amr Elmasry},
  title        = {A Priority Queue with the Working-set Property},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1455--1466},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004510},
  doi          = {10.1142/S0129054106004510},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Elmasry06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EmersonHK06,
  author       = {E. Allen Emerson and
                  Kristina D. Hager and
                  Jay H. Konieczka},
  title        = {Molecular Model Checking},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {733--742},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004078},
  doi          = {10.1142/S0129054106004078},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/EmersonHK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FehnkerK06,
  author       = {Ansgar Fehnker and
                  Bruce H. Krogh},
  title        = {Hybrid System Verification Is not a Sinecure - the Electronic Throttle
                  Control Case Study},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {885--902},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004169},
  doi          = {10.1142/S0129054106004169},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FehnkerK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FeliceR06,
  author       = {Clelia de Felice and
                  Antonio Restivo},
  title        = {Preface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {489--492},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003942},
  doi          = {10.1142/S0129054106003942},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FeliceR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FranekS06,
  author       = {Frantisek Franek and
                  William F. Smyth},
  title        = {Reconstructing a Suffix Array},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1281--1296},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004418},
  doi          = {10.1142/S0129054106004418},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FranekS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FraysseixMR06,
  author       = {Hubert de Fraysseix and
                  Patrice Ossona de Mendez and
                  Pierre Rosenstiehl},
  title        = {Tr{\'{e}}maux Trees and Planarity},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1017--1030},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004248},
  doi          = {10.1142/S0129054106004248},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FraysseixMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FredrikssonMN06,
  author       = {Kimmo Fredriksson and
                  Veli M{\"{a}}kinen and
                  Gonzalo Navarro},
  title        = {Flexible Music Retrieval in Sublinear Time},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1345--1364},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004455},
  doi          = {10.1142/S0129054106004455},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FredrikssonMN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FreydenbergerRS06,
  author       = {Dominik D. Freydenberger and
                  Daniel Reidenbach and
                  Johannes C. Schneider},
  title        = {Unambiguous Morphic Images of Strings},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {601--628},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004017},
  doi          = {10.1142/S0129054106004017},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FreydenbergerRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FriedgutKV06,
  author       = {Ehud Friedgut and
                  Orna Kupferman and
                  Moshe Y. Vardi},
  title        = {B{\"{u}}chi Complementation Made Tighter},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {851--868},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004145},
  doi          = {10.1142/S0129054106004145},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FriedgutKV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FukagawaA06,
  author       = {Daiji Fukagawa and
                  Tatsuya Akutsu},
  title        = {Fast Algorithms for Comparison of Similar Unordered Trees},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {703--729},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004054},
  doi          = {10.1142/S0129054106004054},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FukagawaA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Gazdag06,
  author       = {Zsolt Gazdag},
  title        = {Decidability of the Shape Preserving Property of Bottom-up Tree Transducers},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {395--414},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003899},
  doi          = {10.1142/S0129054106003899},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Gazdag06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GiacomoLT06,
  author       = {Emilio Di Giacomo and
                  Giuseppe Liotta and
                  Francesco Trotta},
  title        = {On Embedding a Graph on Two Sets of Points},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1071--1094},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004273},
  doi          = {10.1142/S0129054106004273},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GiacomoLT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GrabowskiNPSM06,
  author       = {Szymon Grabowski and
                  Gonzalo Navarro and
                  Rafal Przywarski and
                  Alejandro Salinger and
                  Veli M{\"{a}}kinen},
  title        = {A Simple Alphabet-independent Fm-index},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1365--1384},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004467},
  doi          = {10.1142/S0129054106004467},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GrabowskiNPSM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GravierJMP06,
  author       = {Sylvain Gravier and
                  Philippe Jorrand and
                  Mehdi Mhalla and
                  Charles Payan},
  title        = {Quantum Octal Games},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {919--932},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004182},
  doi          = {10.1142/S0129054106004182},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/GravierJMP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HakemB06,
  author       = {Mourad Hakem and
                  Franck Butelle},
  title        = {Critical Path Scheduling Parallel Programs on an Unbounded Number
                  of Processors},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {287--302},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003838},
  doi          = {10.1142/S0129054106003838},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HakemB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HanWW06,
  author       = {Yo{-}Sub Han and
                  Yajun Wang and
                  Derick Wood},
  title        = {Infix-free Regular Expressions and Languages},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {379--394},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003887},
  doi          = {10.1142/S0129054106003887},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HanWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HealyL06,
  author       = {Patrick Healy and
                  Karol Lynch},
  title        = {Two Fixed-parameter Tractable Algorithms for Testing Upward Planarity},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1095--1114},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004285},
  doi          = {10.1142/S0129054106004285},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HealyL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Holub06,
  author       = {Jan Holub},
  title        = {Foreword},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1233--1234},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004376},
  doi          = {10.1142/S0129054106004376},
  timestamp    = {Sat, 07 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Holub06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HongY06,
  author       = {Seok{-}Hee Hong and
                  Hsu{-}Chun Yen},
  title        = {Preface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1003--1004},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004224},
  doi          = {10.1142/S0129054106004224},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HongY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Honkala06,
  author       = {Juha Honkala},
  title        = {The Base Problem for D0l Parikh Sets},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {465--474},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003929},
  doi          = {10.1142/S0129054106003929},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Honkala06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HsuLHH06,
  author       = {Hong{-}Chun Hsu and
                  Cheng{-}Kuan Lin and
                  Hua{-}Min Huang and
                  Lih{-}Hsing Hsu},
  title        = {The Spanning Connectivity of the (n, k)-star Graphs},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {415--434},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003905},
  doi          = {10.1142/S0129054106003905},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HsuLHH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HyyroN06,
  author       = {Heikki Hyyr{\"{o}} and
                  Gonzalo Navarro},
  title        = {Bit-parallel Computation of Local Similarity Score Matrices with Unitary
                  Weights},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1325--1344},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004443},
  doi          = {10.1142/S0129054106004443},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HyyroN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JonoskaP06,
  author       = {Natasa Jonoska and
                  Joni Burnette Pirnot},
  title        = {Transitivity in Two-dimensional Local Languages Defined by Dot Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {435--464},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003917},
  doi          = {10.1142/S0129054106003917},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/JonoskaP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KleinS06,
  author       = {Shmuel T. Klein and
                  Dana Shapira},
  title        = {Compressed Pattern Matching in Jpeg Images},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1297--1306},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600442X},
  doi          = {10.1142/S012905410600442X},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KleinS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KrivkaMS06,
  author       = {Zbynek Krivka and
                  Alexander Meduna and
                  Rudolf Sch{\"{o}}necker},
  title        = {Generation of Languages by Rewriting Systems that Resemble Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1223--1230},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004352},
  doi          = {10.1142/S0129054106004352},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KrivkaMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KupfermanMM06,
  author       = {Orna Kupferman and
                  Gila Morgenstern and
                  Aniello Murano},
  title        = {Typeness for omega-regular Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {869--884},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004157},
  doi          = {10.1142/S0129054106004157},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KupfermanMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LaubeW06,
  author       = {Uli Laube and
                  Maik Weinard},
  title        = {Erratum: "Conditional Inequalities And The Shortest Common Superstring
                  Problem"},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {247},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003796},
  doi          = {10.1142/S0129054106003796},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LaubeW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LeporatiZG06,
  author       = {Alberto Leporati and
                  Claudio Zandron and
                  Miguel A. Guti{\'{e}}rrez{-}Naranjo},
  title        = {P systems with input in binary form},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {127--146},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003735},
  doi          = {10.1142/S0129054106003735},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LeporatiZG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LiLQ06,
  author       = {Shuguang Li and
                  Guojun Li and
                  Xingqin Qi},
  title        = {Minimizing Total Weighted Completion Time on Identical Parallel Batch
                  Machines},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1441--1454},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004509},
  doi          = {10.1142/S0129054106004509},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LiLQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LiuW06,
  author       = {Joseph K. Liu and
                  Duncan S. Wong},
  title        = {Enhanced Security Models and a Generic Construction Approach for Linkable
                  Ring Signature},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1403--1422},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004480},
  doi          = {10.1142/S0129054106004480},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LiuW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LuBL06,
  author       = {Shiyong Lu and
                  Arthur J. Bernstein and
                  Philip M. Lewis},
  title        = {Completeness and realizability: conditions for automatic generation
                  of workflows},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {223--245},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003784},
  doi          = {10.1142/S0129054106003784},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LuBL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LuCL06,
  author       = {Shiyong Lu and
                  Feng Cao and
                  Yi Lu},
  title        = {Pama: a Fast String Matching Algorithm},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {357--378},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003875},
  doi          = {10.1142/S0129054106003875},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LuCL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LucaL06,
  author       = {Aldo de Luca and
                  Alessandro De Luca},
  title        = {Combinatorial Properties of Sturmian Palindromes},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {557--574},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003991},
  doi          = {10.1142/S0129054106003991},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/LucaL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MahajanRRV06,
  author       = {Meena Mahajan and
                  Raghavan Rama and
                  Venkatesh Raman and
                  S. Vijaykumar},
  title        = {Approximate Block Sorting},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {337--356},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003863},
  doi          = {10.1142/S0129054106003863},
  timestamp    = {Mon, 15 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MahajanRRV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MalikSR06,
  author       = {Robi Malik and
                  David Streader and
                  Steve Reeves},
  title        = {Conflicts and Fair Testing},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {797--814},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600411X},
  doi          = {10.1142/S012905410600411X},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MalikSR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MangH06,
  author       = {Freddy Y. C. Mang and
                  Pei{-}Hsin Ho},
  title        = {Controllability and Cooperativeness Analysis for Automatic Abstraction
                  Refinement},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {763--774},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004091},
  doi          = {10.1142/S0129054106004091},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MangH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MiuraAN06,
  author       = {Kazuyuki Miura and
                  Machiko Azuma and
                  Takao Nishizeki},
  title        = {Convex Drawings of Plane Graphs of Minimum Outer Apices},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1115--1128},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004297},
  doi          = {10.1142/S0129054106004297},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MiuraAN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MiuraNN06,
  author       = {Kazuyuki Miura and
                  Shin{-}Ichi Nakano and
                  Takao Nishizeki},
  title        = {Convex Grid Drawings of Four-connected Plane Graphs},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1031--1060},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600425X},
  doi          = {10.1142/S012905410600425X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MiuraNN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MuskulusB06,
  author       = {Michael Muskulus and
                  Robert Brijder},
  title        = {Complexity of bio-computation: symbolic dynamics in membrane systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {147--165},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003747},
  doi          = {10.1142/S0129054106003747},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/MuskulusB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Nagamochi06,
  author       = {Hiroshi Nagamochi},
  title        = {Packing Soft Rectangles},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1165--1178},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004327},
  doi          = {10.1142/S0129054106004327},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Nagamochi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/NakanoB06,
  author       = {Koji Nakano and
                  Jacir Luiz Bordim},
  title        = {Preface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {249--250},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003802},
  doi          = {10.1142/S0129054106003802},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/NakanoB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/NakataTSH06,
  author       = {Akio Nakata and
                  Tadaaki Tanimoto and
                  Suguru Sasaki and
                  Teruo Higashino},
  title        = {A Timed Failure Equivalence Preserving Abstraction for Parametric
                  Time-interval Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {833--850},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004133},
  doi          = {10.1142/S0129054106004133},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/NakataTSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/NgassamWK06,
  author       = {Ernest Ketcha Ngassam and
                  Bruce W. Watson and
                  Derrick G. Kourie},
  title        = {Dynamic Allocation of Finite Automata States for Fast String Recognition},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1307--1324},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004431},
  doi          = {10.1142/S0129054106004431},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/NgassamWK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Obtulowicz06,
  author       = {Adam Obtulowicz},
  title        = {Gandy's principles for mechanisms and membrane computing},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {167--181},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003759},
  doi          = {10.1142/S0129054106003759},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Obtulowicz06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Okhotin06,
  author       = {Alexander Okhotin},
  title        = {Generalized Lr Parsing Algorithm for Boolean Grammars},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {629--664},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004029},
  doi          = {10.1142/S0129054106004029},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Okhotin06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PaquetteP06,
  author       = {Michel Paquette and
                  Andrzej Pelc},
  title        = {Fast Broadcasting with Byzantine Faults},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1423--1440},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004492},
  doi          = {10.1142/S0129054106004492},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/PaquetteP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Patrignani06,
  author       = {Maurizio Patrignani},
  title        = {On Extending a Partial Straight-line Drawing},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1061--1070},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004261},
  doi          = {10.1142/S0129054106004261},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Patrignani06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PaunP06,
  author       = {Gheorghe Paun and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  title        = {Preface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {1--2},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003668},
  doi          = {10.1142/S0129054106003668},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/PaunP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PaunPR06,
  author       = {Gheorghe Paun and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
                  Grzegorz Rozenberg},
  title        = {Spike Trains in Spiking Neural {P} Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {975--1002},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004212},
  doi          = {10.1142/S0129054106004212},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/PaunPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PeledQ06,
  author       = {Doron A. Peled and
                  Hongyang Qu},
  title        = {Enforcing Concurrent Temporal Behaviors},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {743--762},
  year         = {2006},
  url          = {https://doi.org/10.1142/S012905410600408X},
  doi          = {10.1142/S012905410600408X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/PeledQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PesciniBMZ06,
  author       = {Dario Pescini and
                  Daniela Besozzi and
                  Giancarlo Mauri and
                  Claudio Zandron},
  title        = {Dynamical probabilistic {P} systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {183--204},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003760},
  doi          = {10.1142/S0129054106003760},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/PesciniBMZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Pribavkina06,
  author       = {Elena V. Pribavkina},
  title        = {On some Properties of the Language of 2-collapsing Words},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {665--676},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004030},
  doi          = {10.1142/S0129054106004030},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Pribavkina06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PrieurL06,
  author       = {{\'{E}}lise Prieur and
                  Thierry Lecroq},
  title        = {From Suffix Trees to Suffix Vectors},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1385--1402},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004479},
  doi          = {10.1142/S0129054106004479},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/PrieurL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/QiLWL06,
  author       = {Xingqin Qi and
                  Guojun Li and
                  Jichang Wu and
                  Bingqiang Liu},
  title        = {Sorting Signed Permutations by Fixed-length Reversals},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {933--948},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004194},
  doi          = {10.1142/S0129054106004194},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/QiLWL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/RauberR06,
  author       = {Thomas Rauber and
                  Gudula R{\"{u}}nger},
  title        = {A Data re-distribution Library for Multi-processor Task Programming},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {251--270},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003814},
  doi          = {10.1142/S0129054106003814},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/RauberR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/RoyVT06,
  author       = {Krishnendu Roy and
                  Ramachandran Vaidyanathan and
                  Jerry L. Trahan},
  title        = {Routing Multiple Width Communications on the Circuit Switched Tree},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {271--286},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003826},
  doi          = {10.1142/S0129054106003826},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/RoyVT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Safavi-NainiWW06,
  author       = {Reihaneh Safavi{-}Naini and
                  Huaxiong Wang and
                  Duncan S. Wong},
  title        = {Resilient Lkh: Secure Multicast Key Distribution Schemes},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1205--1222},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004340},
  doi          = {10.1142/S0129054106004340},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Safavi-NainiWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Sburlanc06,
  author       = {Dragos Sburlan},
  title        = {Further results on {P} systems with promoters/inhibitors},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {205--221},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003772},
  doi          = {10.1142/S0129054106003772},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Sburlanc06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Thomas06,
  author       = {Thomas Fernique},
  title        = {Multidimensional Sturmian Sequences and Generalized Substitutions},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {575--600},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004005},
  doi          = {10.1142/S0129054106004005},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Thomas06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Tosic06,
  author       = {Predrag T. Tosic},
  title        = {On the Complexity of Counting Fixed Points and Gardens of Eden in
                  Sequential Dynamical Systems on Planar Bipartite Graphs},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1179--1204},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004339},
  doi          = {10.1142/S0129054106004339},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Tosic06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Tsin06,
  author       = {Yung H. Tsin},
  title        = {An Efficient Distributed Algorithm for 3-edge-connectivity},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {677--702},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004042},
  doi          = {10.1142/S0129054106004042},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Tsin06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Wang06,
  author       = {Farn Wang},
  title        = {Preface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {731--732},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004066},
  doi          = {10.1142/S0129054106004066},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Wang06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WernickeAGGN06,
  author       = {Sebastian Wernicke and
                  Jochen Alber and
                  Jens Gramm and
                  Jiong Guo and
                  Rolf Niedermeier},
  title        = {The Computational Complexity of Avoiding Forbidden Submatrices by
                  Row Deletions},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {6},
  pages        = {1467--1484},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004522},
  doi          = {10.1142/S0129054106004522},
  timestamp    = {Sun, 20 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/WernickeAGGN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/XuS06,
  author       = {Zhenyu Xu and
                  Pradip K. Srimani},
  title        = {Self-stabilizing Anonymous Leader Election in a Tree},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {2},
  pages        = {323--336},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106003851},
  doi          = {10.1142/S0129054106003851},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/XuS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/YeB06,
  author       = {Yuli Ye and
                  Janusz A. Brzozowski},
  title        = {Covering of Transient Simulation of Feedback-free Circuits by Binary
                  Analysis},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {949--974},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004200},
  doi          = {10.1142/S0129054106004200},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/YeB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/YuW06,
  author       = {Fang Yu and
                  Bow{-}Yaw Wang},
  title        = {Sat-based Model Checking for Region Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {775--796},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004108},
  doi          = {10.1142/S0129054106004108},
  timestamp    = {Mon, 27 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/YuW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ZhangH06,
  author       = {Huaming Zhang and
                  Xin He},
  title        = {An Application of Well-orderly Trees in Graph Drawing},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {5},
  pages        = {1129--1142},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004303},
  doi          = {10.1142/S0129054106004303},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/ZhangH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics