Search dblp for Publications

export results for "toc:db/journals/tcs/tcs658.bht:"

 download as .bib file

@article{DBLP:journals/tcs/AdarichevaIBT17,
  author       = {Kira V. Adaricheva and
                  Giuseppe F. Italiano and
                  Hans Kleine{ }B{\"{u}}ning and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Foreword},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {263},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.11.030},
  doi          = {10.1016/J.TCS.2016.11.030},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AdarichevaIBT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AdarichevaN17,
  author       = {Kira V. Adaricheva and
                  James B. Nation},
  title        = {Discovery of the D-basis in binary tables based on hypergraph dualization},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {307--315},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2015.11.031},
  doi          = {10.1016/J.TCS.2015.11.031},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AdarichevaN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AnselmoM17,
  author       = {Marcella Anselmo and
                  Maria Madonia},
  title        = {Two-dimensional comma-free and cylindric codes},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {4--17},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.016},
  doi          = {10.1016/J.TCS.2016.06.016},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AnselmoM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AriasBT17,
  author       = {Marta Arias and
                  Jos{\'{e}} L. Balc{\'{a}}zar and
                  Cristina Tirn\u{a}uc\u{a}},
  title        = {Learning definite Horn formulas from closure queries},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {346--356},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2015.12.019},
  doi          = {10.1016/J.TCS.2015.12.019},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AriasBT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AusielloL17,
  author       = {Giorgio Ausiello and
                  Luigi Laura},
  title        = {Directed hypergraphs: Introduction and fundamental algorithms - {A}
                  survey},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {293--306},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.03.016},
  doi          = {10.1016/J.TCS.2016.03.016},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AusielloL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BabinK17,
  author       = {Mikhail A. Babin and
                  Sergei O. Kuznetsov},
  title        = {Dualization in lattices given by ordered sets of irreducibles},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {316--326},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.005},
  doi          = {10.1016/J.TCS.2016.01.005},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BabinK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BadkobehCM17,
  author       = {Golnaz Badkobeh and
                  Maxime Crochemore and
                  Robert Mercas},
  title        = {Counting maximal-exponent factors in words},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {27--35},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.02.035},
  doi          = {10.1016/J.TCS.2016.02.035},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BadkobehCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarcucciBBP17,
  author       = {Elena Barcucci and
                  Antonio Bernini and
                  Stefano Bilotta and
                  Renzo Pinzani},
  title        = {Non-overlapping matrices},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {36--45},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.009},
  doi          = {10.1016/J.TCS.2016.05.009},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BarcucciBBP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BealH17,
  author       = {Marie{-}Pierre B{\'{e}}al and
                  Pavel Heller},
  title        = {Shifts of k-nested sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {18--26},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.041},
  doi          = {10.1016/J.TCS.2016.06.041},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BealH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeaudouMN17,
  author       = {Laurent Beaudou and
                  Arnaud Mary and
                  Lhouari Nourine},
  title        = {Algorithms for k-meet-semidistributive lattices},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {391--398},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2015.10.029},
  doi          = {10.1016/J.TCS.2015.10.029},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BeaudouMN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BersaniRP17,
  author       = {Marcello M. Bersani and
                  Matteo Rossi and
                  Pierluigi {San Pietro}},
  title        = {A logical characterization of timed regular languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {46--59},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.07.020},
  doi          = {10.1016/J.TCS.2016.07.020},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BersaniRP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonizzoniCVRT17,
  author       = {Paola Bonizzoni and
                  Anna Paola Carrieri and
                  Gianluca Della Vedova and
                  Raffaella Rizzi and
                  Gabriella Trucco},
  title        = {A colored graph approach to perfect phylogeny with persistent characters},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {60--73},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.08.015},
  doi          = {10.1016/J.TCS.2016.08.015},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BonizzoniCVRT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastiglioneM17,
  author       = {Giusi Castiglione and
                  Paolo Massazza},
  title        = {On a class of languages with holonomic generating functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {74--84},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.07.022},
  doi          = {10.1016/J.TCS.2016.07.022},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CastiglioneM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChardinCPP17,
  author       = {Brice Chardin and
                  Emmanuel Coquery and
                  Marie Pailloux and
                  Jean{-}Marc Petit},
  title        = {{RQL:} {A} Query Language for Rule Discovery in Databases},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {357--374},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.11.004},
  doi          = {10.1016/J.TCS.2016.11.004},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChardinCPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Choffrut17,
  author       = {Christian Choffrut},
  title        = {Sequences of words defined by two-way transducers},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {85--96},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.004},
  doi          = {10.1016/J.TCS.2016.05.004},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Choffrut17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoriR17,
  author       = {Robert Cori and
                  Christophe Reutenauer},
  title        = {On Sillke's bijection},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {97--104},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.015},
  doi          = {10.1016/J.TCS.2016.04.015},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CoriR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Crespi-Reghizzi17,
  author       = {Stefano Crespi{-}Reghizzi and
                  Violetta Lonati and
                  Dino Mandrioli and
                  Matteo Pradella},
  title        = {Toward a theory of input-driven locally parsable languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {105--121},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.003},
  doi          = {10.1016/J.TCS.2016.05.003},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Crespi-Reghizzi17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DAnielloLL17,
  author       = {Alma D'Aniello and
                  Aldo de Luca and
                  Alessandro De Luca},
  title        = {On Christoffel and standard words and their derivatives},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {122--147},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.010},
  doi          = {10.1016/J.TCS.2016.05.010},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DAnielloLL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DolceP17,
  author       = {Francesco Dolce and
                  Dominique Perrin},
  title        = {Neutral and tree sets of arbitrary characteristic},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {159--174},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.008},
  doi          = {10.1016/J.TCS.2016.01.008},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DolceP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FeliceZZ17,
  author       = {Clelia De Felice and
                  Rocco Zaccagnino and
                  Rosalba Zizza},
  title        = {Unavoidable sets and circular splicing languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {148--158},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.09.008},
  doi          = {10.1016/J.TCS.2016.09.008},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/FeliceZZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GiammarresiMSM17,
  author       = {Dora Giammarresi and
                  Sabrina Mantaci and
                  Marinella Sciortino and
                  Filippo Mignosi},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {1--3},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.11.031},
  doi          = {10.1016/J.TCS.2016.11.031},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GiammarresiMSM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Guaiana17,
  author       = {Giovanna Guaiana},
  title        = {Local testability from words to traces, a suitable definition},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {175--189},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.023},
  doi          = {10.1016/J.TCS.2016.06.023},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Guaiana17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiPRW17,
  author       = {Juhani Karhum{\"{a}}ki and
                  Svetlana Puzynina and
                  Micha{\"{e}}l Rao and
                  Markus A. Whiteland},
  title        = {On cardinalities of k-abelian equivalence classes},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {190--204},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.010},
  doi          = {10.1016/J.TCS.2016.06.010},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/KarhumakiPRW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KleijnKPR17,
  author       = {Jetty Kleijn and
                  Maciej Koutny and
                  Marta Pietkiewicz{-}Koutny and
                  Grzegorz Rozenberg},
  title        = {Applying regions},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {205--215},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.040},
  doi          = {10.1016/J.TCS.2016.01.040},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/KleijnKPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kucera17,
  author       = {Petr Kucera},
  title        = {Hydras: Complexity on general graphs and a subclass of trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {399--416},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.037},
  doi          = {10.1016/J.TCS.2016.05.037},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Kucera17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarsaultS17,
  author       = {Victor Marsault and
                  Jacques Sakarovitch},
  title        = {The signature of rational languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {216--234},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.023},
  doi          = {10.1016/J.TCS.2016.04.023},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MarsaultS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MoreiraPR17,
  author       = {Nelma Moreira and
                  Giovanni Pighizzini and
                  Rog{\'{e}}rio Reis},
  title        = {Optimal state reductions of automata with partially specified behaviors},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {235--245},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.002},
  doi          = {10.1016/J.TCS.2016.05.002},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MoreiraPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Obiedkov17,
  author       = {Sergei Obiedkov},
  title        = {Parameterized ceteris paribus preferences over atomic conjunctions
                  under conservative semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {375--390},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.01.035},
  doi          = {10.1016/J.TCS.2016.01.035},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Obiedkov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PinS17,
  author       = {Jean{-}{\'{E}}ric Pin and
                  Pedro V. Silva},
  title        = {On uniformly continuous functions for some profinite topologies},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {246--262},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.06.013},
  doi          = {10.1016/J.TCS.2016.06.013},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PinS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rudolph17,
  author       = {Sebastian Rudolph},
  title        = {Succinctness and tractability of closure operator representations},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {327--345},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2015.12.028},
  doi          = {10.1016/J.TCS.2015.12.028},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rudolph17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SloanST17,
  author       = {Robert H. Sloan and
                  Despina Stasi and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Hydras: Directed hypergraphs and Horn formulas},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {417--428},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.05.036},
  doi          = {10.1016/J.TCS.2016.05.036},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SloanST17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wild17,
  author       = {Marcel Wild},
  title        = {The joy of implications, aka pure Horn formulas: Mainly a survey},
  journal      = {Theor. Comput. Sci.},
  volume       = {658},
  pages        = {264--292},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.03.018},
  doi          = {10.1016/J.TCS.2016.03.018},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Wild17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics