Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stavros Konstantinidis
@article{DBLP:journals/corr/abs-2403-08707,
author = {Pantelis Andreou and
Stavros Konstantinidis and
Taylor J. Smith},
title = {Improved Randomized Approximation of Hard Universality and Emptiness
Problems},
journal = {CoRR},
volume = {abs/2403.08707},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.08707},
doi = {10.48550/ARXIV.2403.08707},
eprinttype = {arXiv},
eprint = {2403.08707},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-08707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisMMR23,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the average complexity of partial derivative transducers},
journal = {Theor. Comput. Sci.},
volume = {956},
pages = {113830},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.113830},
doi = {10.1016/J.TCS.2023.113830},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisMMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisMMR23a,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Approximate {NFA} universality and related problems motivated by information
theory},
journal = {Theor. Comput. Sci.},
volume = {972},
pages = {114076},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114076},
doi = {10.1016/J.TCS.2023.114076},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisMMR23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JiraskovaK22,
author = {Galina Jir{\'{a}}skov{\'{a}} and
Stavros Konstantinidis},
title = {Descriptional Complexity of Formal Systems {(DCFS} 2019)},
journal = {Inf. Comput.},
volume = {284},
pages = {104686},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104686},
doi = {10.1016/J.IC.2021.104686},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JiraskovaK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KonstantinidisM22,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yo{-}Sub Han and
Gy{\"{o}}rgy Vaszil},
title = {Approximate {NFA} Universality Motivated by Information Theory},
booktitle = {Descriptional Complexity of Formal Systems - 24th {IFIP} {WG} 1.02
International Conference, {DCFS} 2022, Debrecen, Hungary, August 29-31,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13439},
pages = {142--154},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13257-5\_11},
doi = {10.1007/978-3-031-13257-5\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/KonstantinidisM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01594,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Approximate {NFA} Universality and Related Problems Motivated by Information
Theory},
journal = {CoRR},
volume = {abs/2202.01594},
year = {2022},
url = {https://arxiv.org/abs/2202.01594},
eprinttype = {arXiv},
eprint = {2202.01594},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-01594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KonstantinidisM21,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the size of partial derivatives and the word membership problem},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {357--375},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00399-6},
doi = {10.1007/S00236-021-00399-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KonstantinidisM21,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Juraj Sebej},
title = {Zero-Avoiding Transducers, Length Separable Relations, and the Rational
Asymmetric Partition Problem},
journal = {Int. J. Found. Comput. Sci.},
volume = {32},
number = {5},
pages = {455--480},
year = {2021},
url = {https://doi.org/10.1142/S0129054121410033},
doi = {10.1142/S0129054121410033},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisM21,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Partial derivatives of regular expressions over alphabet-invariant
and user-defined labels},
journal = {Theor. Comput. Sci.},
volume = {870},
pages = {103--120},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.12.029},
doi = {10.1016/J.TCS.2020.12.029},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KonstantinidisM21,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yo{-}Sub Han and
Sang{-}Ki Ko},
title = {Partial Derivative Automaton by Compressing Regular Expressions},
booktitle = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
International Conference, {DCFS} 2021, Virtual Event, September 5,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13037},
pages = {100--112},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-93489-7\_9},
doi = {10.1007/978-3-030-93489-7\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KonstantinidisM20,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Joshua Young},
title = {Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined
Labels},
journal = {Int. J. Found. Comput. Sci.},
volume = {31},
number = {8},
pages = {983--1019},
year = {2020},
url = {https://doi.org/10.1142/S0129054120420010},
doi = {10.1142/S0129054120420010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KonstantinidisM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Konstantinidis20,
author = {Stavros Konstantinidis},
title = {Every Regular Bifix Code is a Finite Union of Regular Infix Codes},
journal = {J. Autom. Lang. Comb.},
volume = {25},
number = {1},
pages = {55--59},
year = {2020},
url = {https://doi.org/10.25596/jalc-2020-055},
doi = {10.25596/JALC-2020-055},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Konstantinidis20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Konstantinidis20,
author = {Stavros Konstantinidis},
editor = {Marcella Anselmo and
Gianluca Della Vedova and
Florin Manea and
Arno Pauly},
title = {Theoretical and Implementational Aspects of the Formal Language Server
(LaSer)},
booktitle = {Beyond the Horizon of Computability - 16th Conference on Computability
in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12098},
pages = {289--295},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51466-2\_25},
doi = {10.1007/978-3-030-51466-2\_25},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Konstantinidis20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KonstantinidisM20,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Alexander Chatzigeorgiou and
Riccardo Dondi and
Herodotos Herodotou and
Christos A. Kapoutsis and
Yannis Manolopoulos and
George A. Papadopoulos and
Florian Sikora},
title = {On the Average State Complexity of Partial Derivative Transducers},
booktitle = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International
Conference on Current Trends in Theory and Practice of Informatics,
{SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12011},
pages = {174--186},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-38919-2\_15},
doi = {10.1007/978-3-030-38919-2\_15},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KonstantinidisM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisP19,
author = {Stavros Konstantinidis and
Giovanni Pighizzini},
title = {Special section on Descriptional Complexity of Formal Systems},
journal = {Theor. Comput. Sci.},
volume = {798},
pages = {1},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.10.037},
doi = {10.1016/J.TCS.2019.10.037},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM19,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Juraj Sebej},
editor = {Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}}},
title = {Partitioning a Symmetric Rational Relation into Two Asymmetric Rational
Relations},
booktitle = {Implementation and Application of Automata - 24th International Conference,
{CIAA} 2019, Ko{\v{s}}ice, Slovakia, July 22-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11601},
pages = {171--183},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23679-3\_14},
doi = {10.1007/978-3-030-23679-3\_14},
timestamp = {Mon, 08 Jul 2019 14:39:10 +0200},
biburl = {https://dblp.org/rec/conf/wia/KonstantinidisM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM19a,
author = {Stavros Konstantinidis and
Nelma Moreira and
Jo{\~{a}}o Pires and
Rog{\'{e}}rio Reis},
editor = {Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}}},
title = {Partial Derivatives of Regular Expressions over Alphabet-Invariant
and User-Defined Labels},
booktitle = {Implementation and Application of Automata - 24th International Conference,
{CIAA} 2019, Ko{\v{s}}ice, Slovakia, July 22-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11601},
pages = {184--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23679-3\_15},
doi = {10.1007/978-3-030-23679-3\_15},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/KonstantinidisM19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2019,
editor = {Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}} and
Stavros Konstantinidis},
title = {Descriptional Complexity of Formal Systems - 21st {IFIP} {WG} 1.02
International Conference, {DCFS} 2019, Ko{\v{s}}ice, Slovakia, July
17-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11612},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23247-4},
doi = {10.1007/978-3-030-23247-4},
isbn = {978-3-030-23246-7},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-10740,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Juraj Sebej},
title = {Partitioning a Symmetric Rational Relation into Two Asymmetric Rational
Relations},
journal = {CoRR},
volume = {abs/1903.10740},
year = {2019},
url = {http://arxiv.org/abs/1903.10740},
eprinttype = {arXiv},
eprint = {1903.10740},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-10740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/KariKKY18,
author = {Lila Kari and
Stavros Konstantinidis and
Steffen Kopecki and
Meng Yang},
title = {Efficient Algorithms for Computing the Inner Edit Distance of a Regular
Language via Transducers},
journal = {Algorithms},
volume = {11},
number = {11},
pages = {165},
year = {2018},
url = {https://doi.org/10.3390/a11110165},
doi = {10.3390/A11110165},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/KariKKY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KariKK18,
author = {Lila Kari and
Stavros Konstantinidis and
Steffen Kopecki},
title = {Transducer descriptions of {DNA} code properties and undecidability
of antimorphic problems},
journal = {Inf. Comput.},
volume = {259},
number = {2},
pages = {237--258},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.09.004},
doi = {10.1016/J.IC.2017.09.004},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KariKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KonstantinidisM18,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Randomized generation of error control codes with automata and transducers},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {52},
number = {2-3-4},
pages = {169--184},
year = {2018},
url = {https://doi.org/10.1051/ita/2018015},
doi = {10.1051/ITA/2018015},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KonstantinidisM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KonstantinidisM18,
author = {Stavros Konstantinidis and
Casey Meijer and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Symbolic Manipulation of Code Properties},
journal = {J. Autom. Lang. Comb.},
volume = {23},
number = {1-3},
pages = {243--269},
year = {2018},
url = {https://doi.org/10.25596/jalc-2018-243},
doi = {10.25596/JALC-2018-243},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KonstantinidisM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM18,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Joshua Young},
editor = {Cezar C{\^{a}}mpeanu},
title = {Regular Expressions and Transducers over Alphabet-Invariant and User-Defined
Labels},
booktitle = {Implementation and Application of Automata - 23rd International Conference,
{CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10977},
pages = {4--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94812-6\_2},
doi = {10.1007/978-3-319-94812-6\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/KonstantinidisM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2018,
editor = {Stavros Konstantinidis and
Giovanni Pighizzini},
title = {Descriptional Complexity of Formal Systems - 20th {IFIP} {WG} 1.02
International Conference, {DCFS} 2018, Halifax, NS, Canada, July 25-27,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10952},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94631-3},
doi = {10.1007/978-3-319-94631-3},
isbn = {978-3-319-94630-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-01829,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Joshua Young},
title = {Regular Expressions and Transducers over Alphabet-invariant and User-defined
Labels},
journal = {CoRR},
volume = {abs/1805.01829},
year = {2018},
url = {http://arxiv.org/abs/1805.01829},
eprinttype = {arXiv},
eprint = {1805.01829},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-01829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Konstantinidis17,
author = {Stavros Konstantinidis},
title = {Report on {DCFS} 2017},
journal = {Bull. {EATCS}},
volume = {123},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/500},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Konstantinidis17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KonstantinidisM17,
author = {Stavros Konstantinidis and
Mitja Mastnak},
title = {Embedding Rationally Independent Languages into Maximal Ones},
journal = {J. Autom. Lang. Comb.},
volume = {21},
number = {4},
pages = {311--338},
year = {2017},
url = {https://doi.org/10.25596/jalc-2016-311},
doi = {10.25596/JALC-2016-311},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KonstantinidisM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Konstantinidis17,
author = {Stavros Konstantinidis},
editor = {Giovanni Pighizzini and
Cezar C{\^{a}}mpeanu},
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},
series = {Lecture Notes in Computer Science},
volume = {10316},
pages = {45--62},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60252-3\_4},
doi = {10.1007/978-3-319-60252-3\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/Konstantinidis17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brzozowski,
editor = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Jeffrey O. 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 = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2017brzozowski.bib},
bibsource = {dblp computer science bibliography, https://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} Bioinform.},
volume = {17},
pages = {313},
year = {2016},
url = {https://doi.org/10.1186/s12859-016-1157-8},
doi = {10.1186/S12859-016-1157-8},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/KaramichalisKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/KonstantinidisM16,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Henning Bordihn and
Rudolf Freund and
Benedek Nagy and
Gy{\"{o}}rgy Vaszil},
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},
series = {books@ocg.at},
volume = {321},
pages = {211--226},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2016},
timestamp = {Fri, 02 Sep 2016 15:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ncma/KonstantinidisM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM16,
author = {Stavros Konstantinidis and
Casey Meijer and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yo{-}Sub Han and
Kai Salomaa},
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},
series = {Lecture Notes in Computer Science},
volume = {9705},
pages = {189--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40946-7\_16},
doi = {10.1007/978-3-319-40946-7\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/KonstantinidisM16.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1601.06312},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonstantinidisM16.bib},
bibsource = {dblp computer science bibliography, https://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} Bioinform.},
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 = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/KaramichalisKKK15.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Konstantinidis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KariKK15,
author = {Lila Kari and
Stavros Konstantinidis and
Steffen Kopecki},
editor = {Jeffrey O. Shallit and
Alexander Okhotin},
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},
series = {Lecture Notes in Computer Science},
volume = {9118},
pages = {141--152},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19225-3\_12},
doi = {10.1007/978-3-319-19225-3\_12},
timestamp = {Mon, 09 Mar 2020 11:10:41 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/KariKK15.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1503.00035},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KariKK15.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1504.04715},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonstantinidisM15.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1507.00600},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonstantinidisM15a.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KariKK14.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1406.1041},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KariKKY14.bib},
bibsource = {dblp computer science bibliography, https://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 = {Nat. Comput.},
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 = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/KonstantinidisS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/KonstantinidisY13,
author = {Stavros Konstantinidis and
Joshua Young},
editor = {Jan Holub and
Jan Zd{\'{a}}rek},
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},
publisher = {Department of Theoretical Computer Science, Faculty of Information
Technology, Czech Technical University in Prague},
year = {2013},
url = {http://www.stringology.org/event/2013/p03.html},
timestamp = {Wed, 10 Feb 2021 08:42:20 +0100},
biburl = {https://dblp.org/rec/conf/stringology/KonstantinidisY13.bib},
bibsource = {dblp computer science bibliography, https://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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/2013.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/DudzinskiK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KonstantinidisS11,
author = {Stavros Konstantinidis and
Nicolae Santean},
editor = {Luca Cardelli and
William M. Shih},
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},
series = {Lecture Notes in Computer Science},
volume = {6937},
pages = {115--129},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23638-9\_11},
doi = {10.1007/978-3-642-23638-9\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/KonstantinidisS11.bib},
bibsource = {dblp computer science bibliography, https://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. Informaticae},
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 = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KonstantinidisS10.bib},
bibsource = {dblp computer science bibliography, https://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 = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcm/KonstantinidisSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KonstantinidisY10,
author = {Stavros Konstantinidis and
Joshua Young},
title = {f-Words and Binary Solid Codes},
journal = {J. Autom. Lang. Comb.},
volume = {15},
number = {3/4},
pages = {269--283},
year = {2010},
url = {https://doi.org/10.25596/jalc-2010-269},
doi = {10.25596/JALC-2010-269},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KonstantinidisY10.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcm/KonstantinidisS09.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrzozowskiK09.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/CampeanuK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KonstantinidisS08,
author = {Stavros Konstantinidis and
Pedro V. Silva},
title = {Maximal Error-Detecting Capabilities of Formal Languages},
journal = {J. Autom. Lang. Comb.},
volume = {13},
number = {1},
pages = {55--71},
year = {2008},
url = {https://doi.org/10.25596/jalc-2008-055},
doi = {10.25596/JALC-2008-055},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KonstantinidisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrzozowskiK08,
author = {Janusz A. Brzozowski and
Stavros Konstantinidis},
editor = {Cezar C{\^{a}}mpeanu and
Giovanni Pighizzini},
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},
publisher = {University of Prince Edward Island},
year = {2008},
timestamp = {Fri, 21 Oct 2011 14:19:45 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiK08.bib},
bibsource = {dblp computer science bibliography, https://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 Informatica},
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, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KonstantinidisSY07.bib},
bibsource = {dblp computer science bibliography, https://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. Informaticae},
volume = {76},
number = {4},
pages = {413--447},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi76-4-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KonstantinidisSY07.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Konstantinidis07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CuiK07,
author = {Bo Cui and
Stavros Konstantinidis},
editor = {Max H. Garzon and
Hao Yan},
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},
series = {Lecture Notes in Computer Science},
volume = {4848},
pages = {284--289},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77962-9\_30},
doi = {10.1007/978-3-540-77962-9\_30},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/CuiK07.bib},
bibsource = {dblp computer science bibliography, https://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. Informaticae},
volume = {71},
number = {4},
pages = {453--475},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KariLKST06.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcm/JurgensenK06.bib},
bibsource = {dblp computer science bibliography, https://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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KariKS05.bib},
bibsource = {dblp computer science bibliography, https://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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KariKS05a.bib},
bibsource = {dblp computer science bibliography, https://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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KariK05.bib},
bibsource = {dblp computer science bibliography, https://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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KariKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KariKST05,
author = {Lila Kari and
Stavros Konstantinidis and
Petr Sos{\'{\i}}k and
Gabriel Thierrin},
editor = {Clelia de Felice and
Antonio Restivo},
title = {On Hairpin-Free Words and Languages},
booktitle = {Developments in Language Theory, 9th International Conference, {DLT}
2005, Palermo, Italy, July 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3572},
pages = {296--307},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11505877\_26},
doi = {10.1007/11505877\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KariKST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariKLST05,
author = {Lila Kari and
Stavros Konstantinidis and
Elena Losseva and
Petr Sos{\'{\i}}k and
Gabriel Thierrin},
editor = {Alessandra Carbone and
Niles A. Pierce},
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},
series = {Lecture Notes in Computer Science},
volume = {3892},
pages = {158--170},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11753681\_12},
doi = {10.1007/11753681\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KariKLST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itw/Konstantinidis05,
author = {Stavros Konstantinidis},
editor = {Michael J. Dinneen and
Ulrich Speidel and
Desmond P. Taylor},
title = {Computing the Levenshtein distance of a regular language},
booktitle = {Proceedings of the {IEEE} {ITSOC} Information Theory Workshop 2005
on Coding and Complexity, {ITW} 2005, Rotorua, New Zealand, August
29 - September 1, 2005},
pages = {113--116},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ITW.2005.1531868},
doi = {10.1109/ITW.2005.1531868},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/itw/Konstantinidis05.bib},
bibsource = {dblp computer science bibliography, https://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 = {J. Autom. Lang. Comb.},
volume = {9},
number = {1},
pages = {81--102},
year = {2004},
url = {https://doi.org/10.25596/jalc-2004-081},
doi = {10.25596/JALC-2004-081},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/JurgensenKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KariK04,
author = {Lila Kari and
Stavros Konstantinidis},
title = {Descriptional Complexity of Error/Edit Systems},
journal = {J. Autom. Lang. Comb.},
volume = {9},
number = {2/3},
pages = {293--309},
year = {2004},
url = {https://doi.org/10.25596/jalc-2004-293},
doi = {10.25596/JALC-2004-293},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KariK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KariKS04,
author = {Lila Kari and
Stavros Konstantinidis and
Petr Sos{\'{\i}}k},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Substitution on Trajectories},
booktitle = {Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion
of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3113},
pages = {145--158},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27812-2\_14},
doi = {10.1007/978-3-540-27812-2\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KariKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariKS04,
author = {Lila Kari and
Stavros Konstantinidis and
Petr Sos{\'{\i}}k},
editor = {Claudio Ferretti and
Giancarlo Mauri and
Claudio Zandron},
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},
series = {Lecture Notes in Computer Science},
volume = {3384},
pages = {169--181},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493785\_15},
doi = {10.1007/11493785\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KariKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariKS04a,
author = {Lila Kari and
Stavros Konstantinidis and
Petr Sos{\'{\i}}k},
editor = {Claudio Ferretti and
Giancarlo Mauri and
Claudio Zandron},
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},
series = {Lecture Notes in Computer Science},
volume = {3384},
pages = {182--191},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493785\_16},
doi = {10.1007/11493785\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KariKS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KariKS04,
author = {Lila Kari and
Stavros Konstantinidis and
Petr Sos{\'{\i}}k},
editor = {Michael Domaratzki and
Alexander Okhotin and
Kai Salomaa and
Sheng Yu},
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},
series = {Lecture Notes in Computer Science},
volume = {3317},
pages = {202--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30500-2\_19},
doi = {10.1007/978-3-540-30500-2\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/KariKS04.bib},
bibsource = {dblp computer science bibliography, https://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 Informatica},
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, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KariKLW03.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HussiniKK03.bib},
bibsource = {dblp computer science bibliography, https://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. Inf. 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 = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/KonstantinidisPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Konstantinidis02,
author = {Stavros Konstantinidis},
title = {Error-Correction, and Finite-Delay Decodability},
journal = {J. Univers. Comput. Sci.},
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 = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Konstantinidis02.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KariK02,
author = {Lila Kari and
Stavros Konstantinidis},
editor = {J{\"{u}}rgen Dassow and
Maia Hoeberechts and
Helmut J{\"{u}}rgensen and
Detlef Wotschke},
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},
volume = {Report No. 586},
pages = {133--147},
publisher = {Department of Computer Science, The University of Western Ontario,
Canada},
year = {2002},
timestamp = {Sun, 23 Oct 2011 12:00:01 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/KariK02.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Konstantinidis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/JurgensenKK01,
author = {Helmut J{\"{u}}rgensen and
Masashi Katsura and
Stavros Konstantinidis},
title = {Maximal Solid Codes},
journal = {J. Autom. Lang. Comb.},
volume = {6},
number = {1},
pages = {25--50},
year = {2001},
url = {https://doi.org/10.25596/jalc-2001-025},
doi = {10.25596/JALC-2001-025},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/JurgensenKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/Konstantinidis01,
author = {Stavros Konstantinidis},
title = {Relationships between different error-correcting capabilities of a
code},
journal = {{IEEE} Trans. Inf. Theory},
volume = {47},
number = {5},
pages = {2065--2069},
year = {2001},
url = {https://doi.org/10.1109/18.930944},
doi = {10.1109/18.930944},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/Konstantinidis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HussiniKK01,
author = {Salah Hussini and
Lila Kari and
Stavros Konstantinidis},
editor = {Natasa Jonoska and
Nadrian C. Seeman},
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},
series = {Lecture Notes in Computer Science},
volume = {2340},
pages = {57--69},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48017-X\_6},
doi = {10.1007/3-540-48017-X\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/HussiniKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Konstantinidis00,
author = {Stavros Konstantinidis},
editor = {Masami Ito and
Teruo Imaoka},
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},
publisher = {World Scientific},
year = {2000},
timestamp = {Thu, 08 Dec 2011 13:57:12 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Konstantinidis00.bib},
bibsource = {dblp computer science bibliography, https://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. Inf. Theory},
volume = {45},
number = {1},
pages = {60--77},
year = {1999},
url = {https://doi.org/10.1109/18.746772},
doi = {10.1109/18.746772},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/Konstantinidis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/hfl/JurgensenK97,
author = {Helmut J{\"{u}}rgensen and
Stavros Konstantinidis},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Codes\({}^{\mbox{1}}\)},
booktitle = {Handbook of Formal Languages, Volume 1: Word, Language, Grammar},
pages = {511--607},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-59136-5\_8},
doi = {10.1007/978-3-642-59136-5\_8},
timestamp = {Sat, 30 May 2020 20:02:22 +0200},
biburl = {https://dblp.org/rec/reference/hfl/JurgensenK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JurgensenK95,
author = {Helmut J{\"{u}}rgensen and
Stavros Konstantinidis},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Variable-Length Codes for Error Correction},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {581--592},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_107},
doi = {10.1007/3-540-60084-1\_107},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JurgensenK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ita/JurgensenK95,
author = {Helmut J{\"{u}}rgensen and
Stavros Konstantinidis},
editor = {Jean{-}Yves Chouinard and
Paul Fortier and
T. Aaron Gulliver},
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},
series = {Lecture Notes in Computer Science},
volume = {1133},
pages = {149--163},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0025142},
doi = {10.1007/BFB0025142},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ita/JurgensenK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/JurgensenK93,
author = {Helmut J{\"{u}}rgensen and
Stavros Konstantinidis},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {The Hierarchy of Codes},
booktitle = {Fundamentals of Computation Theory, 9th International Symposium, {FCT}
'93, Szeged, Hungary, August 23-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {710},
pages = {50--68},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57163-9\_4},
doi = {10.1007/3-540-57163-9\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/JurgensenK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
