BibTeX records: Stavros Konstantinidis

download as .bib file

@article{DBLP:journals/jalc/KonstantinidisM17,
  author    = {Stavros Konstantinidis and
               Mitja Mastnak},
  title     = {Embedding Rationally Independent Languages into Maximal Ones},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {21},
  number    = {4},
  pages     = {311--338},
  year      = {2017},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jalc/KonstantinidisM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Konstantinidis17,
  author    = {Stavros Konstantinidis},
  title     = {Applications of Transducers in Independent Languages, Word Distances,
               Codes},
  booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
               International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
               Proceedings},
  pages     = {45--62},
  year      = {2017},
  crossref  = {DBLP:conf/dcfs/2017},
  url       = {https://doi.org/10.1007/978-3-319-60252-3_4},
  doi       = {10.1007/978-3-319-60252-3_4},
  timestamp = {Thu, 22 Jun 2017 13:12:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/Konstantinidis17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brzozowski,
  editor    = {Stavros Konstantinidis and
               Nelma Moreira and
               Rog{\'{e}}rio Reis and
               Jeffrey Shallit},
  title     = {The Role of Theory in Computer Science - Essays Dedicated to Janusz
               Brzozowski},
  publisher = {World Scientific},
  year      = {2017},
  url       = {https://doi.org/10.1142/10239},
  doi       = {10.1142/10239},
  isbn      = {978-981-3148-19-2},
  timestamp = {Thu, 13 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2017brzozowski},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/bmcbi/KaramichalisKKK16,
  author    = {Rallis Karamichalis and
               Lila Kari and
               Stavros Konstantinidis and
               Steffen Kopecki and
               Stephen Solis{-}Reyes},
  title     = {Additive methods for genomic signatures},
  journal   = {{BMC} Bioinformatics},
  volume    = {17},
  pages     = {313},
  year      = {2016},
  url       = {https://doi.org/10.1186/s12859-016-1157-8},
  doi       = {10.1186/s12859-016-1157-8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/bmcbi/KaramichalisKKK16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ncma/KonstantinidisM16,
  author    = {Stavros Konstantinidis and
               Nelma Moreira and
               Rog{\'{e}}rio Reis},
  title     = {Generating error control codes with automata and transducers},
  booktitle = {Eighth Workshop on Non-Classical Models of Automata and Applications,
               {NCMA} 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings},
  pages     = {211--226},
  year      = {2016},
  crossref  = {DBLP:conf/ncma/2016},
  timestamp = {Fri, 02 Sep 2016 15:19:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ncma/KonstantinidisM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM16,
  author    = {Stavros Konstantinidis and
               Casey Meijer and
               Nelma Moreira and
               Rog{\'{e}}rio Reis},
  title     = {Implementation of Code Properties via Transducers},
  booktitle = {Implementation and Application of Automata - 21st International Conference,
               {CIAA} 2016, Seoul, South Korea, July 19-22, 2016, Proceedings},
  pages     = {189--201},
  year      = {2016},
  crossref  = {DBLP:conf/wia/2016},
  url       = {https://doi.org/10.1007/978-3-319-40946-7_16},
  doi       = {10.1007/978-3-319-40946-7_16},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/KonstantinidisM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KonstantinidisM16,
  author    = {Stavros Konstantinidis and
               Nelma Moreira and
               Rog{\'{e}}rio Reis},
  title     = {Channels with Synchronization/Substitution Errors and Computation
               of Error Control Codes},
  journal   = {CoRR},
  volume    = {abs/1601.06312},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.06312},
  archivePrefix = {arXiv},
  eprint    = {1601.06312},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KonstantinidisM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/bmcbi/KaramichalisKKK15,
  author    = {Rallis Karamichalis and
               Lila Kari and
               Stavros Konstantinidis and
               Steffen Kopecki},
  title     = {An investigation into inter- and intragenomic variations of graphic
               genomic signatures},
  journal   = {{BMC} Bioinformatics},
  volume    = {16},
  pages     = {246:1--246:22},
  year      = {2015},
  url       = {https://doi.org/10.1186/s12859-015-0655-4},
  doi       = {10.1186/s12859-015-0655-4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/bmcbi/KaramichalisKKK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/Konstantinidis15,
  author    = {Stavros Konstantinidis},
  title     = {Implementation and Application of Automata {(CIAA} 2013)},
  journal   = {Theor. Comput. Sci.},
  volume    = {578},
  pages     = {1},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2015.03.032},
  doi       = {10.1016/j.tcs.2015.03.032},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/Konstantinidis15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KariKK15,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Steffen Kopecki},
  title     = {Transducer Descriptions of {DNA} Code Properties and Undecidability
               of Antimorphic Problems},
  booktitle = {Descriptional Complexity of Formal Systems - 17th International Workshop,
               {DCFS} 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings},
  pages     = {141--152},
  year      = {2015},
  crossref  = {DBLP:conf/dcfs/2015},
  url       = {https://doi.org/10.1007/978-3-319-19225-3_12},
  doi       = {10.1007/978-3-319-19225-3_12},
  timestamp = {Fri, 19 May 2017 01:25:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/KariKK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KariKK15,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Steffen Kopecki},
  title     = {Transducer Descriptions of {DNA} Code Properties and Undecidability
               of Antimorphic Problems},
  journal   = {CoRR},
  volume    = {abs/1503.00035},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.00035},
  archivePrefix = {arXiv},
  eprint    = {1503.00035},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KariKK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KonstantinidisM15,
  author    = {Stavros Konstantinidis and
               Casey Meijer and
               Nelma Moreira and
               Rog{\'{e}}rio Reis},
  title     = {Symbolic Manipulation of Code Properties},
  journal   = {CoRR},
  volume    = {abs/1504.04715},
  year      = {2015},
  url       = {http://arxiv.org/abs/1504.04715},
  archivePrefix = {arXiv},
  eprint    = {1504.04715},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KonstantinidisM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KonstantinidisM15a,
  author    = {Stavros Konstantinidis and
               Mitja Mastnak},
  title     = {Embedding rationally independent languages into maximal ones},
  journal   = {CoRR},
  volume    = {abs/1507.00600},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.00600},
  archivePrefix = {arXiv},
  eprint    = {1507.00600},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KonstantinidisM15a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/KariKK14,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Steffen Kopecki},
  title     = {On the maximality of languages with combined types of code properties},
  journal   = {Theor. Comput. Sci.},
  volume    = {550},
  pages     = {79--89},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.07.015},
  doi       = {10.1016/j.tcs.2014.07.015},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/KariKK14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/KariKKY14,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Steffen Kopecki and
               Meng Yang},
  title     = {An efficient algorithm for computing the edit distance of a regular
               language via input-altering transducers},
  journal   = {CoRR},
  volume    = {abs/1406.1041},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.1041},
  archivePrefix = {arXiv},
  eprint    = {1406.1041},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KariKKY14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/nc/KonstantinidisS13,
  author    = {Stavros Konstantinidis and
               Nicolae Santean},
  title     = {Computing maximal Kleene closures that are embeddable in a given subword-closed
               language},
  journal   = {Natural Computing},
  volume    = {12},
  number    = {2},
  pages     = {211--222},
  year      = {2013},
  url       = {https://doi.org/10.1007/s11047-013-9364-y},
  doi       = {10.1007/s11047-013-9364-y},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/nc/KonstantinidisS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stringology/KonstantinidisY13,
  author    = {Stavros Konstantinidis and
               Joshua Young},
  title     = {Deciding the Density Type of a Given Regular Language},
  booktitle = {Proceedings of the Prague Stringology Conference 2013, Prague, Czech
               Republic, September 2-4, 2013},
  pages     = {21--33},
  year      = {2013},
  crossref  = {DBLP:conf/stringology/2013},
  url       = {http://www.stringology.org/event/2013/p03.html},
  timestamp = {Mon, 08 Sep 2014 16:02:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stringology/KonstantinidisY13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2013,
  editor    = {Stavros Konstantinidis},
  title     = {Implementation and Application of Automata - 18th International Conference,
               {CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7982},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39274-0},
  doi       = {10.1007/978-3-642-39274-0},
  isbn      = {978-3-642-39273-3},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijfcs/DudzinskiK12,
  author    = {Krystian Dudzinski and
               Stavros Konstantinidis},
  title     = {Formal Descriptions of Code Properties: Decidability, Complexity,
               Implementation},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {23},
  number    = {1},
  pages     = {67--85},
  year      = {2012},
  url       = {https://doi.org/10.1142/S0129054112400059},
  doi       = {10.1142/S0129054112400059},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijfcs/DudzinskiK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/KonstantinidisS11,
  author    = {Stavros Konstantinidis and
               Nicolae Santean},
  title     = {Computing Maximal Kleene Closures That Are Embeddable in a Given Constrained
               {DNA} Language},
  booktitle = {{DNA} Computing and Molecular Programming - 17th International Conference,
               {DNA} 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings},
  pages     = {115--129},
  year      = {2011},
  crossref  = {DBLP:conf/dna/2011},
  url       = {https://doi.org/10.1007/978-3-642-23638-9_11},
  doi       = {10.1007/978-3-642-23638-9_11},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/KonstantinidisS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/KonstantinidisS10,
  author    = {Stavros Konstantinidis and
               Pedro V. Silva},
  title     = {Computing Maximal Error-detecting Capabilities and Distances of Regular
               Languages},
  journal   = {Fundam. Inform.},
  volume    = {101},
  number    = {4},
  pages     = {257--270},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-287},
  doi       = {10.3233/FI-2010-287},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/KonstantinidisS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijcm/KonstantinidisSY10,
  author    = {Stavros Konstantinidis and
               Nicolae Santean and
               Sheng Yu},
  title     = {On implementing recognizable transductions},
  journal   = {Int. J. Comput. Math.},
  volume    = {87},
  number    = {2},
  pages     = {260--277},
  year      = {2010},
  url       = {https://doi.org/10.1080/00207160801968754},
  doi       = {10.1080/00207160801968754},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijcm/KonstantinidisSY10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jalc/KonstantinidisY10,
  author    = {Stavros Konstantinidis and
               Joshua Young},
  title     = {f-Words and Binary Solid Codes},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {15},
  number    = {3/4},
  pages     = {269--283},
  year      = {2010},
  timestamp = {Wed, 31 Oct 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jalc/KonstantinidisY10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijcm/KonstantinidisS09,
  author    = {Stavros Konstantinidis and
               Nicolae Santean},
  title     = {On the definition of stochastic lambda-transducers},
  journal   = {Int. J. Comput. Math.},
  volume    = {86},
  number    = {8},
  pages     = {1300--1310},
  year      = {2009},
  url       = {https://doi.org/10.1080/00207160701779541},
  doi       = {10.1080/00207160701779541},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijcm/KonstantinidisS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BrzozowskiK09,
  author    = {Janusz A. Brzozowski and
               Stavros Konstantinidis},
  title     = {State-complexity hierarchies of uniform languages of alphabet-size
               length},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {35},
  pages     = {3223--3235},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.tcs.2009.02.043},
  doi       = {10.1016/j.tcs.2009.02.043},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/BrzozowskiK09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijfcs/CampeanuK08,
  author    = {Cezar C{\^{a}}mpeanu and
               Stavros Konstantinidis},
  title     = {State Complexity of the Subword Closure Operation with Applications
               to {DNA} Coding},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {19},
  number    = {5},
  pages     = {1099--1112},
  year      = {2008},
  url       = {https://doi.org/10.1142/S0129054108006169},
  doi       = {10.1142/S0129054108006169},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijfcs/CampeanuK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jalc/KonstantinidisS08,
  author    = {Stavros Konstantinidis and
               Pedro V. Silva},
  title     = {Maximal Error-Detecting Capabilities of Formal Languages},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {13},
  number    = {1},
  pages     = {55--71},
  year      = {2008},
  timestamp = {Sun, 30 Nov 2008 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jalc/KonstantinidisS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiK08,
  author    = {Janusz A. Brzozowski and
               Stavros Konstantinidis},
  title     = {State-Complexity Hierarchies of Uniform Languages of Alphabet-Size
               Length},
  booktitle = {10th International Workshop on Descriptional Complexity of Formal
               Systems, {DCFS} 2008, Charlottetown, Prince Edward Island, Canada,
               July 16-18, 2008.},
  pages     = {97--108},
  year      = {2008},
  crossref  = {DBLP:conf/dcfs/2008},
  timestamp = {Fri, 21 Oct 2011 14:19:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/BrzozowskiK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acta/KonstantinidisSY07,
  author    = {Stavros Konstantinidis and
               Nicolae Santean and
               Sheng Yu},
  title     = {Representation and uniformization of algebraic transductions},
  journal   = {Acta Inf.},
  volume    = {43},
  number    = {6},
  pages     = {395--417},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00236-006-0027-7},
  doi       = {10.1007/s00236-006-0027-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/acta/KonstantinidisSY07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/KonstantinidisSY07,
  author    = {Stavros Konstantinidis and
               Nicolae Santean and
               Sheng Yu},
  title     = {Fuzzification of Rational and Recognizable Sets},
  journal   = {Fundam. Inform.},
  volume    = {76},
  number    = {4},
  pages     = {413--447},
  year      = {2007},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi76-4-02},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/KonstantinidisSY07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/Konstantinidis07,
  author    = {Stavros Konstantinidis},
  title     = {Computing the edit distance of a regular language},
  journal   = {Inf. Comput.},
  volume    = {205},
  number    = {9},
  pages     = {1307--1316},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.ic.2007.06.001},
  doi       = {10.1016/j.ic.2007.06.001},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/Konstantinidis07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/CuiK07,
  author    = {Bo Cui and
               Stavros Konstantinidis},
  title     = {{DNA} Coding Using the Subword Closure Operation},
  booktitle = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
               Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
  pages     = {284--289},
  year      = {2007},
  crossref  = {DBLP:conf/dna/2007},
  url       = {https://doi.org/10.1007/978-3-540-77962-9_30},
  doi       = {10.1007/978-3-540-77962-9_30},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/CuiK07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/KariLKST06,
  author    = {Lila Kari and
               Elena Losseva and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k and
               Gabriel Thierrin},
  title     = {A Formal Language Analysis of {DNA} Hairpin Structures},
  journal   = {Fundam. Inform.},
  volume    = {71},
  number    = {4},
  pages     = {453--475},
  year      = {2006},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-4-05},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/KariLKST06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijcm/JurgensenK06,
  author    = {Helmut J{\"{u}}rgensen and
               Stavros Konstantinidis},
  title     = {(Near-)inverses of sequences},
  journal   = {Int. J. Comput. Math.},
  volume    = {83},
  number    = {2},
  pages     = {203--222},
  year      = {2006},
  url       = {https://doi.org/10.1080/00207160500537801},
  doi       = {10.1080/00207160500537801},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijcm/JurgensenK06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijfcs/KariKS05,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k},
  title     = {Operations on trajectories with applications to coding and bioinformatics},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {16},
  number    = {3},
  pages     = {531--546},
  year      = {2005},
  url       = {https://doi.org/10.1142/S0129054105003145},
  doi       = {10.1142/S0129054105003145},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijfcs/KariKS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijfcs/KariKS05a,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k},
  title     = {Bond-free languages: formalizations, maximality and construction methods},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {16},
  number    = {5},
  pages     = {1039--1070},
  year      = {2005},
  url       = {https://doi.org/10.1142/S0129054105003467},
  doi       = {10.1142/S0129054105003467},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijfcs/KariKS05a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/KariK05,
  author    = {Lila Kari and
               Stavros Konstantinidis},
  title     = {Language equations, maximality and error-detection},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {70},
  number    = {1},
  pages     = {157--178},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.jcss.2004.08.005},
  doi       = {10.1016/j.jcss.2004.08.005},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/KariK05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/KariKS05,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k},
  title     = {On properties of bond-free {DNA} languages},
  journal   = {Theor. Comput. Sci.},
  volume    = {334},
  number    = {1-3},
  pages     = {131--159},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2004.12.032},
  doi       = {10.1016/j.tcs.2004.12.032},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/KariKS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KariKST05,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k and
               Gabriel Thierrin},
  title     = {On Hairpin-Free Words and Languages},
  booktitle = {Developments in Language Theory, 9th International Conference, {DLT}
               2005, Palermo, Italy, July 4-8, 2005, Proceedings},
  pages     = {296--307},
  year      = {2005},
  crossref  = {DBLP:conf/dlt/2005},
  url       = {https://doi.org/10.1007/11505877_26},
  doi       = {10.1007/11505877_26},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dlt/KariKST05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariKLST05,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Elena Losseva and
               Petr Sos{\'{\i}}k and
               Gabriel Thierrin},
  title     = {Hairpin Structures in {DNA} Words},
  booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
               London, ON, Canada, June 6-9, 2005. Revised Selected Papers.},
  pages     = {158--170},
  year      = {2005},
  crossref  = {DBLP:conf/dna/2005},
  url       = {https://doi.org/10.1007/11753681_12},
  doi       = {10.1007/11753681_12},
  timestamp = {Sat, 16 Sep 2017 12:07:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/KariKLST05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jalc/JurgensenKL04,
  author    = {Helmut J{\"{u}}rgensen and
               Stavros Konstantinidis and
               Nguyen Huong Lam},
  title     = {Asymptotically Optimal Low-Cost Solid Codes},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {9},
  number    = {1},
  pages     = {81--102},
  year      = {2004},
  timestamp = {Wed, 09 Mar 2005 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jalc/JurgensenKL04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jalc/KariK04,
  author    = {Lila Kari and
               Stavros Konstantinidis},
  title     = {Descriptional Complexity of Error/Edit Systems},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {9},
  number    = {2/3},
  pages     = {293--309},
  year      = {2004},
  timestamp = {Tue, 01 Jan 2008 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jalc/KariK04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KariKS04,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k},
  title     = {Substitution on Trajectories},
  booktitle = {Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion
               of His 70th Birthday},
  pages     = {145--158},
  year      = {2004},
  crossref  = {DBLP:conf/birthday/2004salomaa},
  url       = {https://doi.org/10.1007/978-3-540-27812-2_14},
  doi       = {10.1007/978-3-540-27812-2_14},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/KariKS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariKS04,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k},
  title     = {Bond-Free Languages: Formalizations, Maximality and Construction Methods},
  booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
               10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
  pages     = {169--181},
  year      = {2004},
  crossref  = {DBLP:conf/dna/2004},
  url       = {https://doi.org/10.1007/11493785_15},
  doi       = {10.1007/11493785_15},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/KariKS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariKS04a,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k},
  title     = {Preventing Undesirable Bonds Between {DNA} Codewords},
  booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
               10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
  pages     = {182--191},
  year      = {2004},
  crossref  = {DBLP:conf/dna/2004},
  url       = {https://doi.org/10.1007/11493785_16},
  doi       = {10.1007/11493785_16},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/KariKS04a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wia/KariKS04,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Petr Sos{\'{\i}}k},
  title     = {Substitutions, Trajectories and Noisy Channels},
  booktitle = {Implementation and Application of Automata, 9th International Conference,
               {CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
               Papers},
  pages     = {202--212},
  year      = {2004},
  crossref  = {DBLP:conf/wia/2004},
  url       = {https://doi.org/10.1007/978-3-540-30500-2_19},
  doi       = {10.1007/978-3-540-30500-2_19},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/KariKS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acta/KariKLW03,
  author    = {Lila Kari and
               Stavros Konstantinidis and
               Elena Losseva and
               Geoff Wozniak},
  title     = {Sticky-free and overhang-free {DNA} languages},
  journal   = {Acta Inf.},
  volume    = {40},
  number    = {2},
  pages     = {119--157},
  year      = {2003},
  url       = {https://doi.org/10.1007/s00236-003-0118-7},
  doi       = {10.1007/s00236-003-0118-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/acta/KariKLW03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/HussiniKK03,
  author    = {Salah Hussini and
               Lila Kari and
               Stavros Konstantinidis},
  title     = {Coding properties of {DNA} languages},
  journal   = {Theor. Comput. Sci.},
  volume    = {290},
  number    = {3},
  pages     = {1557--1579},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0304-3975(02)00069-5},
  doi       = {10.1016/S0304-3975(02)00069-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/HussiniKK03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tit/KonstantinidisPW03,
  author    = {Stavros Konstantinidis and
               Steven Perron and
               L. Amber Wilcox{-}O'Hearn},
  title     = {On a simple method for detecting synchronization errors in coded messages},
  journal   = {{IEEE} Trans. Information Theory},
  volume    = {49},
  number    = {5},
  pages     = {1355--1363},
  year      = {2003},
  url       = {https://doi.org/10.1109/TIT.2003.810665},
  doi       = {10.1109/TIT.2003.810665},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tit/KonstantinidisPW03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/Konstantinidis02,
  author    = {Stavros Konstantinidis},
  title     = {Error-Correction, and Finite-Delay Decodability},
  journal   = {J. {UCS}},
  volume    = {8},
  number    = {2},
  pages     = {278--291},
  year      = {2002},
  url       = {https://doi.org/10.3217/jucs-008-02-0278},
  doi       = {10.3217/jucs-008-02-0278},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jucs/Konstantinidis02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisO02,
  author    = {Stavros Konstantinidis and
               Amber O'Hearn},
  title     = {Error-detecting properties of languages},
  journal   = {Theor. Comput. Sci.},
  volume    = {276},
  number    = {1-2},
  pages     = {355--375},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0304-3975(01)00280-8},
  doi       = {10.1016/S0304-3975(01)00280-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/KonstantinidisO02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KariK02,
  author    = {Lila Kari and
               Stavros Konstantinidis},
  title     = {Descriptional Complexity of Error/Edit Systems},
  booktitle = {Fourth International Workshop on Descriptional Complexity of Formal
               Systems - {DCFS} 2002, London, Canada, August 21 - 24, 2002. Pre-proceedings},
  pages     = {133--147},
  year      = {2002},
  crossref  = {DBLP:conf/dcfs/2002},
  timestamp = {Sun, 23 Oct 2011 12:00:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/KariK02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/Konstantinidis01,
  author    = {Stavros Konstantinidis},
  title     = {An Algebra of Discrete Channels That Involve Combinations of Three
               Basic Error Types},
  journal   = {Inf. Comput.},
  volume    = {167},
  number    = {2},
  pages     = {120--131},
  year      = {2001},
  url       = {https://doi.org/10.1006/inco.2001.3035},
  doi       = {10.1006/inco.2001.3035},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/Konstantinidis01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jalc/JurgensenKK01,
  author    = {Helmut J{\"{u}}rgensen and
               Masashi Katsura and
               Stavros Konstantinidis},
  title     = {Maximal Solid Codes},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {6},
  number    = {1},
  pages     = {25--50},
  year      = {2001},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jalc/JurgensenKK01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tit/Konstantinidis01,
  author    = {Stavros Konstantinidis},
  title     = {Relationships between different error-correcting capabilities of a
               code},
  journal   = {{IEEE} Trans. Information Theory},
  volume    = {47},
  number    = {5},
  pages     = {2065--2069},
  year      = {2001},
  url       = {https://doi.org/10.1109/18.930944},
  doi       = {10.1109/18.930944},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tit/Konstantinidis01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/HussiniKK01,
  author    = {Salah Hussini and
               Lila Kari and
               Stavros Konstantinidis},
  title     = {Coding Properties of {DNA} Languages},
  booktitle = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
               DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
  pages     = {57--69},
  year      = {2001},
  crossref  = {DBLP:conf/dna/2001},
  url       = {https://doi.org/10.1007/3-540-48017-X_6},
  doi       = {10.1007/3-540-48017-X_6},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/HussiniKK01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Konstantinidis00,
  author    = {Stavros Konstantinidis},
  title     = {Error-Detecting Properties of Languages},
  booktitle = {Proceedings of the International Colloquium on Words, Languages {\&}
               Combinatorics III, Kyoto, Japan, March 14-18, 2000.},
  pages     = {240--252},
  year      = {2000},
  crossref  = {DBLP:conf/dlt/2000},
  timestamp = {Thu, 08 Dec 2011 13:57:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dlt/Konstantinidis00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tit/Konstantinidis99,
  author    = {Stavros Konstantinidis},
  title     = {Structural Analysis of Error-Correcting Codes for Discrete Channels
               That Involve Combinations of Three Basic Error Types},
  journal   = {{IEEE} Trans. Information Theory},
  volume    = {45},
  number    = {1},
  pages     = {60--77},
  year      = {1999},
  url       = {https://doi.org/10.1109/18.746772},
  doi       = {10.1109/18.746772},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tit/Konstantinidis99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JurgensenK95,
  author    = {Helmut J{\"{u}}rgensen and
               Stavros Konstantinidis},
  title     = {Variable-Length Codes for Error Correction},
  booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
               ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
  pages     = {581--592},
  year      = {1995},
  crossref  = {DBLP:conf/icalp/1995},
  url       = {https://doi.org/10.1007/3-540-60084-1_107},
  doi       = {10.1007/3-540-60084-1_107},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/JurgensenK95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ita/JurgensenK95,
  author    = {Helmut J{\"{u}}rgensen and
               Stavros Konstantinidis},
  title     = {Error Corrections for Channels with Substitutions, Insertions, and
               Deletions},
  booktitle = {Information Theory and Applications II, 4th Canadian Workshop, Lac
               Delage, Qu{\'{e}}bec, Canada, May 28-30, 1995, Selected Papers},
  pages     = {149--163},
  year      = {1995},
  crossref  = {DBLP:conf/ita/1995},
  url       = {https://doi.org/10.1007/BFb0025142},
  doi       = {10.1007/BFb0025142},
  timestamp = {Thu, 15 Jun 2017 21:37:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ita/JurgensenK95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/JurgensenK93,
  author    = {Helmut J{\"{u}}rgensen and
               Stavros Konstantinidis},
  title     = {The Hierarchy of Codes},
  booktitle = {Fundamentals of Computation Theory, 9th International Symposium, {FCT}
               '93, Szeged, Hungary, August 23-27, 1993, Proceedings},
  pages     = {50--68},
  year      = {1993},
  crossref  = {DBLP:conf/fct/1993},
  url       = {https://doi.org/10.1007/3-540-57163-9_4},
  doi       = {10.1007/3-540-57163-9_4},
  timestamp = {Sat, 20 May 2017 15:32:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/JurgensenK93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2017,
  editor    = {Giovanni Pighizzini and
               Cezar C{\^{a}}mpeanu},
  title     = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
               International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10316},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60252-3},
  doi       = {10.1007/978-3-319-60252-3},
  isbn      = {978-3-319-60251-6},
  timestamp = {Thu, 22 Jun 2017 13:12:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ncma/2016,
  editor    = {Henning Bordihn and
               Rudolf Freund and
               Benedek Nagy and
               Gy{\"{o}}rgy Vaszil},
  title     = {Eighth Workshop on Non-Classical Models of Automata and Applications,
               {NCMA} 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings},
  series    = {books@ocg.at},
  volume    = {321},
  publisher = {{\"{O}}sterreichische Computer Gesellschaft},
  year      = {2016},
  isbn      = {978-3-903035-10-2},
  timestamp = {Fri, 02 Sep 2016 15:19:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ncma/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2016,
  editor    = {Yo{-}Sub Han and
               Kai Salomaa},
  title     = {Implementation and Application of Automata - 21st International Conference,
               {CIAA} 2016, Seoul, South Korea, July 19-22, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9705},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40946-7},
  doi       = {10.1007/978-3-319-40946-7},
  isbn      = {978-3-319-40945-0},
  timestamp = {Thu, 25 May 2017 00:43:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2015,
  editor    = {Jeffrey Shallit and
               Alexander Okhotin},
  title     = {Descriptional Complexity of Formal Systems - 17th International Workshop,
               {DCFS} 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9118},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19225-3},
  doi       = {10.1007/978-3-319-19225-3},
  isbn      = {978-3-319-19224-6},
  timestamp = {Fri, 19 May 2017 01:25:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stringology/2013,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2013, Prague, Czech
               Republic, September 2-4, 2013},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2013},
  url       = {http://www.stringology.org/event/2013/},
  isbn      = {978-80-01-05330-0},
  timestamp = {Mon, 08 Sep 2014 16:02:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stringology/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2011,
  editor    = {Luca Cardelli and
               William M. Shih},
  title     = {{DNA} Computing and Molecular Programming - 17th International Conference,
               {DNA} 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6937},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23638-9},
  doi       = {10.1007/978-3-642-23638-9},
  isbn      = {978-3-642-23637-2},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2008,
  editor    = {Cezar C{\^{a}}mpeanu and
               Giovanni Pighizzini},
  title     = {10th International Workshop on Descriptional Complexity of Formal
               Systems, {DCFS} 2008, Charlottetown, Prince Edward Island, Canada,
               July 16-18, 2008},
  publisher = {University of Prince Edward Island},
  year      = {2008},
  isbn      = {978-0-919013-56-8},
  timestamp = {Fri, 21 Oct 2011 14:19:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2007,
  editor    = {Max H. Garzon and
               Hao Yan},
  title     = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
               Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4848},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-77962-9},
  doi       = {10.1007/978-3-540-77962-9},
  isbn      = {978-3-540-77961-2},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dlt/2005,
  editor    = {Clelia de Felice and
               Antonio Restivo},
  title     = {Developments in Language Theory, 9th International Conference, {DLT}
               2005, Palermo, Italy, July 4-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3572},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137735},
  doi       = {10.1007/b137735},
  isbn      = {3-540-26546-5},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dlt/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2005,
  editor    = {Alessandra Carbone and
               Niles A. Pierce},
  title     = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
               London, ON, Canada, June 6-9, 2005. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3892},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11753681},
  doi       = {10.1007/11753681},
  isbn      = {3-540-34161-7},
  timestamp = {Sat, 16 Sep 2017 12:07:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2004salomaa,
  editor    = {Juhani Karhum{\"{a}}ki and
               Hermann A. Maurer and
               Gheorghe Paun and
               Grzegorz Rozenberg},
  title     = {Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion
               of His 70th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {3113},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98751},
  doi       = {10.1007/b98751},
  isbn      = {3-540-22393-2},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2004salomaa},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2004,
  editor    = {Claudio Ferretti and
               Giancarlo Mauri and
               Claudio Zandron},
  title     = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
               10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3384},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136914},
  doi       = {10.1007/b136914},
  isbn      = {3-540-26174-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2004,
  editor    = {Michael Domaratzki and
               Alexander Okhotin and
               Kai Salomaa and
               Sheng Yu},
  title     = {Implementation and Application of Automata, 9th International Conference,
               {CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3317},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b105090},
  doi       = {10.1007/b105090},
  isbn      = {3-540-24318-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wia/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2002,
  editor    = {J{\"{u}}rgen Dassow and
               Maia Hoeberechts and
               Helmut J{\"{u}}rgensen and
               Detlef Wotschke},
  title     = {Fourth International Workshop on Descriptional Complexity of Formal
               Systems - {DCFS} 2002, London, Canada, August 21 - 24, 2002. Pre-proceedings},
  volume    = {Report No. 586},
  publisher = {Department of Computer Science, The University of Western Ontario,
               Canada},
  year      = {2002},
  isbn      = {0-7714-2388-8},
  timestamp = {Sun, 23 Oct 2011 12:00:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcfs/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2001,
  editor    = {Natasa Jonoska and
               Nadrian C. Seeman},
  title     = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
               DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2340},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48017-X},
  doi       = {10.1007/3-540-48017-X},
  isbn      = {3-540-43775-4},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dlt/2000,
  editor    = {Masami Ito and
               Teruo Imaoka},
  title     = {Proceedings of the International Colloquium on Words, Languages {\&}
               Combinatorics III, Kyoto, Japan, March 14-18, 2000},
  publisher = {World Scientific},
  year      = {2003},
  url       = {http://www.worldscibooks.com/compsci/4959.html},
  isbn      = {978-9810249489},
  timestamp = {Thu, 08 Dec 2011 13:57:12 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dlt/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1995,
  editor    = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
               Ferenc G{\'{e}}cseg},
  title     = {Automata, Languages and Programming, 22nd International Colloquium,
               ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {944},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60084-1},
  doi       = {10.1007/3-540-60084-1},
  isbn      = {3-540-60084-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ita/1995,
  editor    = {Jean{-}Yves Chouinard and
               Paul Fortier and
               T. Aaron Gulliver},
  title     = {Information Theory and Applications II, 4th Canadian Workshop, Lac
               Delage, Qu{\'{e}}bec, Canada, May 28-30, 1995, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1133},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0025130},
  doi       = {10.1007/BFb0025130},
  isbn      = {3-540-61748-5},
  timestamp = {Thu, 15 Jun 2017 21:37:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ita/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fct/1993,
  editor    = {Zolt{\'{a}}n {\'{E}}sik},
  title     = {Fundamentals of Computation Theory, 9th International Symposium, {FCT}
               '93, Szeged, Hungary, August 23-27, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {710},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57163-9},
  doi       = {10.1007/3-540-57163-9},
  isbn      = {3-540-57163-9},
  timestamp = {Sat, 20 May 2017 15:32:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier