Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Florin Manea
@inproceedings{DBLP:conf/latin/AdamsonGM24,
author = {Duncan Adamson and
Pawel Gawrychowski and
Florin Manea},
editor = {Jos{\'{e}} A. Soto and
Andreas Wiese},
title = {Enumerating m-Length Walks in Directed Graphs with Constant Delay},
booktitle = {{LATIN} 2024: Theoretical Informatics - 16th Latin American Symposium,
Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14578},
pages = {35--50},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-55598-5\_3},
doi = {10.1007/978-3-031-55598-5\_3},
timestamp = {Wed, 13 Mar 2024 19:10:54 +0100},
biburl = {https://dblp.org/rec/conf/latin/AdamsonGM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DraghiciHM24,
author = {Andrei Draghici and
Christoph Haase and
Florin Manea},
editor = {Olaf Beyersdorff and
Mamadou Moustapha Kant{\'{e}} and
Orna Kupferman and
Daniel Lokshtanov},
title = {Sem{\"{e}}nov Arithmetic, Affine \{VASS\}, and String Constraints},
booktitle = {41st International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2024, March 12-14, 2024, Clermont-Ferrand, France},
series = {LIPIcs},
volume = {289},
pages = {29:1--29:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.STACS.2024.29},
doi = {10.4230/LIPICS.STACS.2024.29},
timestamp = {Mon, 11 Mar 2024 15:43:27 +0100},
biburl = {https://dblp.org/rec/conf/stacs/DraghiciHM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-02163,
author = {Duncan Adamson and
Pawel Gawrychowski and
Florin Manea},
title = {Enumerating m-Length Walks in Directed Graphs with Constant Delay},
journal = {CoRR},
volume = {abs/2401.02163},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02163},
doi = {10.48550/ARXIV.2401.02163},
eprinttype = {arXiv},
eprint = {2401.02163},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17159,
author = {Zhengyang Lu and
Stefan Siemer and
Piyush Jha and
Joel D. Day and
Florin Manea and
Vijay Ganesh},
title = {Layered and Staged Monte Carlo Tree Search for {SMT} Strategy Synthesis},
journal = {CoRR},
volume = {abs/2401.17159},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17159},
doi = {10.48550/ARXIV.2401.17159},
eprinttype = {arXiv},
eprint = {2401.17159},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/DayGM23,
author = {Joel D. Day and
Vijay Ganesh and
Florin Manea},
title = {Formal Languages via Theories over Strings: An Overview of Some Recent
Results},
journal = {Bull. {EATCS}},
volume = {140},
year = {2023},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/765},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/DayGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DayGGM23,
author = {Joel D. Day and
Vijay Ganesh and
Nathan Grewal and
Florin Manea},
title = {On the Expressive Power of String Constraints},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {278--308},
year = {2023},
url = {https://doi.org/10.1145/3571203},
doi = {10.1145/3571203},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DayGGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/KulczynskiMNP23,
author = {Mitja Kulczynski and
Florin Manea and
Dirk Nowotka and
Danny B{\o}gsted Poulsen},
title = {ZaligVinder: {A} generic test framework for string solvers},
journal = {J. Softw. Evol. Process.},
volume = {35},
number = {4},
year = {2023},
url = {https://doi.org/10.1002/smr.2400},
doi = {10.1002/SMR.2400},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/KulczynskiMNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerzishDGKMMN23,
author = {Murphy Berzish and
Joel D. Day and
Vijay Ganesh and
Mitja Kulczynski and
Florin Manea and
Federico Mora and
Dirk Nowotka},
title = {Towards more efficient methods for solving regular-expression heavy
string constraints},
journal = {Theor. Comput. Sci.},
volume = {943},
pages = {50--72},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2022.12.009},
doi = {10.1016/J.TCS.2022.12.009},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerzishDGKMMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/AdamsonKKMS23,
author = {Duncan Adamson and
Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
editor = {Anna E. Frid and
Robert Mercas},
title = {Longest Common Subsequence with Gap Constraints},
booktitle = {Combinatorics on Words - 14th International Conference, {WORDS} 2023,
Ume{\aa}, Sweden, June 12-16, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13899},
pages = {60--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33180-0\_5},
doi = {10.1007/978-3-031-33180-0\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cwords/AdamsonKKMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/AdamsonFHKMN23,
author = {Duncan Adamson and
Pamela Fleischmann and
Annika Huch and
Tore Ko{\ss} and
Florin Manea and
Dirk Nowotka},
editor = {Satoru Iwata and
Naonori Kakimura},
title = {k-Universality of Regular Languages},
booktitle = {34th International Symposium on Algorithms and Computation, {ISAAC}
2023, December 3-6, 2023, Kyoto, Japan},
series = {LIPIcs},
volume = {283},
pages = {4:1--4:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2023.4},
doi = {10.4230/LIPICS.ISAAC.2023.4},
timestamp = {Tue, 28 Nov 2023 13:12:50 +0100},
biburl = {https://dblp.org/rec/conf/isaac/AdamsonFHKMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FleischmannKKMNSW23,
author = {Pamela Fleischmann and
Sungmin Kim and
Tore Ko{\ss} and
Florin Manea and
Dirk Nowotka and
Stefan Siemer and
Max Wiedenh{\"{o}}ft},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Matching Patterns with Variables Under Simon's Congruence},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {155--170},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_12},
doi = {10.1007/978-3-031-45286-4\_12},
timestamp = {Tue, 10 Oct 2023 15:52:57 +0200},
biburl = {https://dblp.org/rec/conf/rp/FleischmannKKMNSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/GawrychowskiKM23,
author = {Pawel Gawrychowski and
Maria Kosche and
Florin Manea},
editor = {Franco Maria Nardini and
Nadia Pisanti and
Rossano Venturini},
title = {On the Number of Factors in the LZ-End Factorization},
booktitle = {String Processing and Information Retrieval - 30th International Symposium,
{SPIRE} 2023, Pisa, Italy, September 26-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14240},
pages = {253--259},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43980-3\_20},
doi = {10.1007/978-3-031-43980-3\_20},
timestamp = {Sun, 24 Sep 2023 14:26:25 +0200},
biburl = {https://dblp.org/rec/conf/spire/GawrychowskiKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2023,
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0},
doi = {10.1007/978-3-031-36978-0},
isbn = {978-3-031-36977-3},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05270,
author = {Duncan Adamson and
Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
title = {Longest Common Subsequence with Gap Constraints},
journal = {CoRR},
volume = {abs/2304.05270},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.05270},
doi = {10.48550/ARXIV.2304.05270},
eprinttype = {arXiv},
eprint = {2304.05270},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-14593,
author = {Andrei Draghici and
Christoph Haase and
Florin Manea},
title = {Sem{\"{e}}nov Arithmetic, Affine VASS, and String Constraints},
journal = {CoRR},
volume = {abs/2306.14593},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.14593},
doi = {10.48550/ARXIV.2306.14593},
eprinttype = {arXiv},
eprint = {2306.14593},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-14593.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-08374,
author = {Pamela Fleischmann and
Sungmin Kim and
Tore Ko{\ss} and
Florin Manea and
Dirk Nowotka and
Stefan Siemer and
Max Wiedenh{\"{o}}ft},
title = {Matching Patterns with Variables Under Simon's Congruence},
journal = {CoRR},
volume = {abs/2308.08374},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.08374},
doi = {10.48550/ARXIV.2308.08374},
eprinttype = {arXiv},
eprint = {2308.08374},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-08374.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10658,
author = {Duncan Adamson and
Pamela Fleischmann and
Annika Huch and
Tore Ko{\ss} and
Florin Manea and
Dirk Nowotka},
title = {k-Universality of Regular Languages},
journal = {CoRR},
volume = {abs/2311.10658},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.10658},
doi = {10.48550/ARXIV.2311.10658},
eprinttype = {arXiv},
eprint = {2311.10658},
timestamp = {Wed, 22 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/GawrychowskiMS22,
author = {Pawel Gawrychowski and
Florin Manea and
Radoslaw Serafin},
title = {Fast and Longest Rollercoasters},
journal = {Algorithmica},
volume = {84},
number = {4},
pages = {1081--1106},
year = {2022},
url = {https://doi.org/10.1007/s00453-021-00908-6},
doi = {10.1007/S00453-021-00908-6},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/GawrychowskiMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KoscheKMS22,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
title = {Absent Subsequences in Words},
journal = {Fundam. Informaticae},
volume = {189},
number = {3-4},
pages = {199--240},
year = {2022},
url = {https://doi.org/10.3233/FI-222159},
doi = {10.3233/FI-222159},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/KoscheKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/ManeaT22,
author = {Florin Manea and
Bianca Truthe},
title = {Preface and Greeting Messages},
journal = {J. Autom. Lang. Comb.},
volume = {27},
number = {1-3},
pages = {3--13},
year = {2022},
url = {https://doi.org/10.25596/jalc-2022-003},
doi = {10.25596/JALC-2022-003},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jalc/ManeaT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/DayKMS22,
author = {Joel D. Day and
Maria Kosche and
Florin Manea and
Markus L. Schmid},
editor = {Sang Won Bae and
Heejin Park},
title = {Subsequences with Gap Constraints: Complexity Bounds for Matching
and Analysis Problems},
booktitle = {33rd International Symposium on Algorithms and Computation, {ISAAC}
2022, December 19-21, 2022, Seoul, Korea},
series = {LIPIcs},
volume = {248},
pages = {64:1--64:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2022.64},
doi = {10.4230/LIPICS.ISAAC.2022.64},
timestamp = {Wed, 14 Dec 2022 11:53:14 +0100},
biburl = {https://dblp.org/rec/conf/isaac/DayKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KoscheKMP22,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Viktoriya Pak},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Subsequences in Bounded Ranges: Matching and Analysis Problems},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {140--159},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_10},
doi = {10.1007/978-3-031-19135-0\_10},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/KoscheKMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/GawrychowskiMS22,
author = {Pawel Gawrychowski and
Florin Manea and
Stefan Siemer},
editor = {Diego Arroyuelo and
Barbara Poblete},
title = {Matching Patterns with Variables Under Edit Distance},
booktitle = {String Processing and Information Retrieval - 29th International Symposium,
{SPIRE} 2022, Concepci{\'{o}}n, Chile, November 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13617},
pages = {275--289},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20643-6\_20},
doi = {10.1007/978-3-031-20643-6\_20},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spire/GawrychowskiMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-14722,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
editor = {Henning Bordihn and
G{\'{e}}za Horv{\'{a}}th and
Gy{\"{o}}rgy Vaszil},
title = {Combinatorial Algorithms for Subsequence Matching: {A} Survey},
booktitle = {Proceedings 12th International Workshop on Non-Classical Models of
Automata and Applications, {NCMA} 2022, Debrecen, Hungary, August
26-27, 2022},
series = {{EPTCS}},
volume = {367},
pages = {11--27},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.367.2},
doi = {10.4204/EPTCS.367.2},
timestamp = {Sat, 15 Oct 2022 11:57:01 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2022,
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0},
doi = {10.1007/978-3-031-08740-0},
isbn = {978-3-031-08739-4},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2022,
editor = {Florin Manea and
Alex Simpson},
title = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-218-1},
isbn = {978-3-95977-218-1},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00475,
author = {Joel D. Day and
Vijay Ganesh and
Nathan Grewal and
Florin Manea},
title = {Formal Languages via Theories over Strings},
journal = {CoRR},
volume = {abs/2205.00475},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00475},
doi = {10.48550/ARXIV.2205.00475},
eprinttype = {arXiv},
eprint = {2205.00475},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13896,
author = {Joel D. Day and
Maria Kosche and
Florin Manea and
Markus L. Schmid},
title = {Subsequences With Gap Constraints: Complexity Bounds for Matching
and Analysis Problems},
journal = {CoRR},
volume = {abs/2206.13896},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13896},
doi = {10.48550/ARXIV.2206.13896},
eprinttype = {arXiv},
eprint = {2206.13896},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07477,
author = {Pawel Gawrychowski and
Florin Manea and
Stefan Siemer},
title = {Matching Patterns with Variables Under Edit Distance},
journal = {CoRR},
volume = {abs/2207.07477},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07477},
doi = {10.48550/ARXIV.2207.07477},
eprinttype = {arXiv},
eprint = {2207.07477},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-09201,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Viktoriya Pak},
title = {Subsequences in Bounded Ranges: Matching and Analysis Problems},
journal = {CoRR},
volume = {abs/2207.09201},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.09201},
doi = {10.48550/ARXIV.2207.09201},
eprinttype = {arXiv},
eprint = {2207.09201},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-08806,
author = {Joel D. Day and
Adrian Kr{\"{o}}ger and
Mitja Kulczynski and
Florin Manea and
Dirk Nowotka and
Danny B{\o}gsted Poulsen},
title = {A Generic Information Extraction System for String Constraints},
journal = {CoRR},
volume = {abs/2208.08806},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.08806},
doi = {10.48550/ARXIV.2208.08806},
eprinttype = {arXiv},
eprint = {2208.08806},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-08806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/Manea21,
author = {Florin Manea},
title = {On Turing Machines Deciding According to the Shortest Computations},
journal = {Axioms},
volume = {10},
number = {4},
pages = {304},
year = {2021},
url = {https://doi.org/10.3390/axioms10040304},
doi = {10.3390/AXIOMS10040304},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/axioms/Manea21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FleischmannLMNR21,
author = {Pamela Fleischmann and
Marie Lejeune and
Florin Manea and
Dirk Nowotka and
Michel Rigo},
title = {Reconstructing Words from Right-Bounded-Block Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {32},
number = {6},
pages = {619--640},
year = {2021},
url = {https://doi.org/10.1142/S0129054121420016},
doi = {10.1142/S0129054121420016},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FleischmannLMNR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerzishKMMDNG20,
author = {Murphy Berzish and
Mitja Kulczynski and
Federico Mora and
Florin Manea and
Joel D. Day and
Dirk Nowotka and
Vijay Ganesh},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {An {SMT} Solver for Regular Expressions and Linear Arithmetic over
String Length},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {289--312},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_14},
doi = {10.1007/978-3-030-81688-9\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BerzishKMMDNG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/BerzishDGKMMN21,
author = {Murphy Berzish and
Joel D. Day and
Vijay Ganesh and
Mitja Kulczynski and
Florin Manea and
Federico Mora and
Dirk Nowotka},
editor = {Thierry Lecroq and
Svetlana Puzynina},
title = {String Theories Involving Regular Membership Predicates: From Practice
to Theory and Back},
booktitle = {Combinatorics on Words - 13th International Conference, {WORDS} 2021,
Rouen, France, September 13-17, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12847},
pages = {50--64},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85088-3\_5},
doi = {10.1007/978-3-030-85088-3\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cwords/BerzishDGKMMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GawrychowskiMS21,
author = {Pawel Gawrychowski and
Florin Manea and
Stefan Siemer},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {Matching Patterns with Variables Under Hamming Distance},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {48:1--48:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.48},
doi = {10.4230/LIPICS.MFCS.2021.48},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GawrychowskiMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KoscheKMS21,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Absent Subsequences in Words},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {115--131},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_8},
doi = {10.1007/978-3-030-89716-1\_8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/KoscheKMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FleischmannHMNT21,
author = {Pamela Fleischmann and
Lukas Haschke and
Florin Manea and
Dirk Nowotka and
Cedric Tsatia Tsida and
Judith Wiedenbeck},
editor = {Tom{\'{a}}s Bures and
Riccardo Dondi and
Johann Gamper and
Giovanna Guerrini and
Tomasz Jurdzinski and
Claus Pahl and
Florian Sikora and
Prudence W. H. Wong},
title = {Blocksequences of k-local Words},
booktitle = {{SOFSEM} 2021: Theory and Practice of Computer Science - 47th International
Conference on Current Trends in Theory and Practice of Computer Science,
{SOFSEM} 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12607},
pages = {119--134},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67731-2\_9},
doi = {10.1007/978-3-030-67731-2\_9},
timestamp = {Sun, 25 Jul 2021 11:44:25 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/FleischmannHMNT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DayFKKMS21,
author = {Joel D. Day and
Pamela Fleischmann and
Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
editor = {Markus Bl{\"{a}}ser and
Benjamin Monmege},
title = {The Edit Distance to k-Subsequence Universality},
booktitle = {38th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2021, March 16-19, 2021, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {187},
pages = {25:1--25:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.STACS.2021.25},
doi = {10.4230/LIPICS.STACS.2021.25},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/DayFKKMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GawrychowskiKKM21,
author = {Pawel Gawrychowski and
Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
editor = {Markus Bl{\"{a}}ser and
Benjamin Monmege},
title = {Efficiently Testing Simon's Congruence},
booktitle = {38th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2021, March 16-19, 2021, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {187},
pages = {34:1--34:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.STACS.2021.34},
doi = {10.4230/LIPICS.STACS.2021.34},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GawrychowskiKKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2021,
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9},
doi = {10.1007/978-3-030-80049-9},
isbn = {978-3-030-80048-2},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-07220,
author = {Murphy Berzish and
Joel D. Day and
Vijay Ganesh and
Mitja Kulczynski and
Florin Manea and
Federico Mora and
Dirk Nowotka},
title = {String Theories involving Regular Membership Predicates: From Practice
to Theory and Back},
journal = {CoRR},
volume = {abs/2105.07220},
year = {2021},
url = {https://arxiv.org/abs/2105.07220},
eprinttype = {arXiv},
eprint = {2105.07220},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-07220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06249,
author = {Pawel Gawrychowski and
Florin Manea and
Stefan Siemer},
title = {Matching Patterns with Variables under Hamming Distance},
journal = {CoRR},
volume = {abs/2106.06249},
year = {2021},
url = {https://arxiv.org/abs/2106.06249},
eprinttype = {arXiv},
eprint = {2106.06249},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13968,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
title = {Absent Subsequences in Words},
journal = {CoRR},
volume = {abs/2108.13968},
year = {2021},
url = {https://arxiv.org/abs/2108.13968},
eprinttype = {arXiv},
eprint = {2108.13968},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/DayFMN20,
author = {Joel D. Day and
Pamela Fleischmann and
Florin Manea and
Dirk Nowotka},
title = {Equations enforcing repetitions under permutations},
journal = {Discret. Appl. Math.},
volume = {285},
pages = {61--78},
year = {2020},
url = {https://doi.org/10.1016/j.dam.2020.05.026},
doi = {10.1016/J.DAM.2020.05.026},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dam/DayFMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Csuhaj-VarjuM20,
author = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Florin Manea},
title = {Preface - Special Issue: {A} Collection of Papers in Honour of the
60th Birthday of Victor Mitrana},
journal = {Int. J. Found. Comput. Sci.},
volume = {31},
number = {1},
pages = {1--6},
year = {2020},
url = {https://doi.org/10.1142/S0129054120020013},
doi = {10.1142/S0129054120020013},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Csuhaj-VarjuM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toct/FernauMMS20,
author = {Henning Fernau and
Florin Manea and
Robert Mercas and
Markus L. Schmid},
title = {Pattern Matching with Variables: Efficient Algorithms and Complexity
Results},
journal = {{ACM} Trans. Comput. Theory},
volume = {12},
number = {1},
pages = {6:1--6:37},
year = {2020},
url = {https://doi.org/10.1145/3369935},
doi = {10.1145/3369935},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toct/FernauMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BarkerFHMN20,
author = {Laura Barker and
Pamela Fleischmann and
Katharina Harwardt and
Florin Manea and
Dirk Nowotka},
editor = {Natasa Jonoska and
Dmytro Savchuk},
title = {Scattered Factor-Universality of Words},
booktitle = {Developments in Language Theory - 24th International Conference, {DLT}
2020, Tampa, FL, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12086},
pages = {14--28},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48516-0\_2},
doi = {10.1007/978-3-030-48516-0\_2},
timestamp = {Tue, 26 May 2020 17:27:29 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BarkerFHMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FleischmannLMNR20,
author = {Pamela Fleischmann and
Marie Lejeune and
Florin Manea and
Dirk Nowotka and
Michel Rigo},
editor = {Natasa Jonoska and
Dmytro Savchuk},
title = {Reconstructing Words from Right-Bounded-Block Words},
booktitle = {Developments in Language Theory - 24th International Conference, {DLT}
2020, Tampa, FL, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12086},
pages = {96--109},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48516-0\_8},
doi = {10.1007/978-3-030-48516-0\_8},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/FleischmannLMNR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DayM20,
author = {Joel D. Day and
Florin Manea},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {On the Structure of Solution Sets to Regular Word Equations},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {124:1--124:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.124},
doi = {10.4230/LIPICS.ICALP.2020.124},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/icalp/DayM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KulczynskiMNP20,
author = {Mitja Kulczynski and
Florin Manea and
Dirk Nowotka and
Danny B{\o}gsted Poulsen},
title = {The Power of String Solving: Simplicity of Comparison},
booktitle = {AST@ICSE 2020: {IEEE/ACM} 1st International Conference on Automation
of Software Test, Seoul, Republic of Korea, 15-16 July, 2020},
pages = {85--88},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387903.3389317},
doi = {10.1145/3387903.3389317},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/KulczynskiMNP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DayKMNP20,
author = {Joel D. Day and
Mitja Kulczynski and
Florin Manea and
Dirk Nowotka and
Danny B{\o}gsted Poulsen},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Rule-based Word Equation Solving},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {87--97},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391556},
doi = {10.1145/3372020.3391556},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/DayKMNP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2020,
editor = {Marcella Anselmo and
Gianluca Della Vedova and
Florin Manea and
Arno Pauly},
title = {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},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51466-2},
doi = {10.1007/978-3-030-51466-2},
isbn = {978-3-030-51465-5},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-11218,
author = {Pamela Fleischmann and
Marie Lejeune and
Florin Manea and
Dirk Nowotka and
Michel Rigo},
title = {Reconstructing Words from Right-Bounded-Block Words},
journal = {CoRR},
volume = {abs/2001.11218},
year = {2020},
url = {https://arxiv.org/abs/2001.11218},
eprinttype = {arXiv},
eprint = {2001.11218},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-11218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04629,
author = {Laura Barker and
Pamela Fleischmann and
Katharina Harwardt and
Florin Manea and
Dirk Nowotka},
title = {Scattered Factor-Universality of Words},
journal = {CoRR},
volume = {abs/2003.04629},
year = {2020},
url = {https://arxiv.org/abs/2003.04629},
eprinttype = {arXiv},
eprint = {2003.04629},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01112,
author = {Pawel Gawrychowski and
Maria Kosche and
Tore Koss and
Florin Manea and
Stefan Siemer},
title = {Efficiently Testing Simon's Congruence},
journal = {CoRR},
volume = {abs/2005.01112},
year = {2020},
url = {https://arxiv.org/abs/2005.01112},
eprinttype = {arXiv},
eprint = {2005.01112},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09192,
author = {Pamela Fleischmann and
Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Stefan Siemer},
title = {The Edit Distance to k-Subsequence Universality},
journal = {CoRR},
volume = {abs/2007.09192},
year = {2020},
url = {https://arxiv.org/abs/2007.09192},
eprinttype = {arXiv},
eprint = {2007.09192},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09192.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-03516,
author = {Pamela Fleischmann and
Lukas Haschke and
Florin Manea and
Dirk Nowotka and
Cedric Tsatia Tsida and
Judith Wiedenbeck},
title = {Blocksequences of k-local Words},
journal = {CoRR},
volume = {abs/2008.03516},
year = {2020},
url = {https://arxiv.org/abs/2008.03516},
eprinttype = {arXiv},
eprint = {2008.03516},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-03516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07253,
author = {Murphy Berzish and
Mitja Kulczynski and
Federico Mora and
Florin Manea and
Joel D. Day and
Dirk Nowotka and
Vijay Ganesh},
title = {A Length-aware Regular Expression {SMT} Solver},
journal = {CoRR},
volume = {abs/2010.07253},
year = {2020},
url = {https://arxiv.org/abs/2010.07253},
eprinttype = {arXiv},
eprint = {2010.07253},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GawrychowskiMMN19,
author = {Pawel Gawrychowski and
Florin Manea and
Robert Mercas and
Dirk Nowotka},
title = {Hide and seek with repetitions},
journal = {J. Comput. Syst. Sci.},
volume = {101},
pages = {42--67},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2018.10.004},
doi = {10.1016/J.JCSS.2018.10.004},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GawrychowskiMMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/BiedlBCLMNS19,
author = {Therese Biedl and
Ahmad Biniaz and
Robert Cummings and
Anna Lubiw and
Florin Manea and
Dirk Nowotka and
Jeffrey O. Shallit},
title = {Rollercoasters: Long Sequences without Short Runs},
journal = {{SIAM} J. Discret. Math.},
volume = {33},
number = {2},
pages = {845--861},
year = {2019},
url = {https://doi.org/10.1137/18M1192226},
doi = {10.1137/18M1192226},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/BiedlBCLMNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/ManeaS19,
author = {Florin Manea and
Markus L. Schmid},
editor = {Robert Mercas and
Daniel Reidenbach},
title = {Matching Patterns with Variables},
booktitle = {Combinatorics on Words - 12th International Conference, {WORDS} 2019,
Loughborough, UK, September 9-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11682},
pages = {1--27},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-28796-2\_1},
doi = {10.1007/978-3-030-28796-2\_1},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cwords/ManeaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DayFMN19,
author = {Joel D. Day and
Pamela Fleischmann and
Florin Manea and
Dirk Nowotka},
editor = {Piotrek Hofman and
Michal Skrzypczak},
title = {k-Spectra of Weakly-c-Balanced Words},
booktitle = {Developments in Language Theory - 23rd International Conference, {DLT}
2019, Warsaw, Poland, August 5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11647},
pages = {265--277},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24886-4\_20},
doi = {10.1007/978-3-030-24886-4\_20},
timestamp = {Fri, 27 Mar 2020 08:49:52 +0100},
biburl = {https://dblp.org/rec/conf/dlt/DayFMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CaselDFKMS19,
author = {Katrin Casel and
Joel D. Day and
Pamela Fleischmann and
Tomasz Kociumaka and
Florin Manea and
Markus L. Schmid},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Graph and String Parameters: Connections Between Pathwidth, Cutwidth
and the Locality Number},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {109:1--109:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.109},
doi = {10.4230/LIPICS.ICALP.2019.109},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CaselDFKMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DayMN19,
author = {Joel D. Day and
Florin Manea and
Dirk Nowotka},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Upper Bounds on the Length of Minimal Solutions to Certain Quadratic
Word Equations},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {44:1--44:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.44},
doi = {10.4230/LIPICS.MFCS.2019.44},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DayMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DayEKMNP19,
author = {Joel D. Day and
Thorsten Ehlers and
Mitja Kulczynski and
Florin Manea and
Dirk Nowotka and
Danny B{\o}gsted Poulsen},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {On Solving Word Equations Using {SAT}},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {93--106},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_8},
doi = {10.1007/978-3-030-30806-3\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DayEKMNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GawrychowskiMS19,
author = {Pawel Gawrychowski and
Florin Manea and
Radoslaw Serafin},
editor = {Rolf Niedermeier and
Christophe Paul},
title = {Fast and Longest Rollercoasters},
booktitle = {36th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2019, March 13-16, 2019, Berlin, Germany},
series = {LIPIcs},
volume = {126},
pages = {30:1--30:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.STACS.2019.30},
doi = {10.4230/LIPICS.STACS.2019.30},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GawrychowskiMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2019,
editor = {Florin Manea and
Barnaby Martin and
Dani{\"{e}}l Paulusma and
Giuseppe Primiero},
title = {Computing with Foresight and Industry - 15th Conference on Computability
in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11558},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22996-2},
doi = {10.1007/978-3-030-22996-2},
isbn = {978-3-030-22995-5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-10983,
author = {Katrin Casel and
Joel D. Day and
Pamela Fleischmann and
Tomasz Kociumaka and
Florin Manea and
Markus L. Schmid},
title = {Graph and String Parameters: Connections Between Pathwidth, Cutwidth
and the Locality Number},
journal = {CoRR},
volume = {abs/1902.10983},
year = {2019},
url = {http://arxiv.org/abs/1902.10983},
eprinttype = {arXiv},
eprint = {1902.10983},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-10983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-09125,
author = {Joel D. Day and
Pamela Fleischmann and
Florin Manea and
Dirk Nowotka},
title = {k-Spectra of c-Balanced Words},
journal = {CoRR},
volume = {abs/1904.09125},
year = {2019},
url = {http://arxiv.org/abs/1904.09125},
eprinttype = {arXiv},
eprint = {1904.09125},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-09125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00715,
author = {Thorsten Ehlers and
Florin Manea and
Dirk Nowotka and
Kamellia Reshadi},
title = {On Modelling the Avoidability of Patterns as {CSP}},
journal = {CoRR},
volume = {abs/1906.00715},
year = {2019},
url = {http://arxiv.org/abs/1906.00715},
eprinttype = {arXiv},
eprint = {1906.00715},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06965,
author = {Florin Manea and
Markus L. Schmid},
title = {Matching Patterns with Variables},
journal = {CoRR},
volume = {abs/1906.06965},
year = {2019},
url = {http://arxiv.org/abs/1906.06965},
eprinttype = {arXiv},
eprint = {1906.06965},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-11718,
author = {Joel D. Day and
Thorsten Ehlers and
Mitja Kulczynski and
Florin Manea and
Dirk Nowotka and
Danny B{\o}gsted Poulsen},
title = {On Solving Word Equations Using {SAT}},
journal = {CoRR},
volume = {abs/1906.11718},
year = {2019},
url = {http://arxiv.org/abs/1906.11718},
eprinttype = {arXiv},
eprint = {1906.11718},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ManeaNS18,
author = {Florin Manea and
Dirk Nowotka and
Markus L. Schmid},
title = {On the Complexity of Solving Restricted Word Equations},
journal = {Int. J. Found. Comput. Sci.},
volume = {29},
number = {5},
pages = {893--909},
year = {2018},
url = {https://doi.org/10.1142/S0129054118420108},
doi = {10.1142/S0129054118420108},
timestamp = {Tue, 12 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/ManeaNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GawrychowskiIIK18,
author = {Pawel Gawrychowski and
Tomohiro I and
Shunsuke Inenaga and
Dominik K{\"{o}}ppl and
Florin Manea},
title = {Tighter Bounds and Optimal Algorithms for All Maximal {\(\alpha\)}-gapped
Repeats and Palindromes - Finding All Maximal {\(\alpha\)}-gapped
Repeats and Palindromes in Optimal Worst Case Time on Integer Alphabets},
journal = {Theory Comput. Syst.},
volume = {62},
number = {1},
pages = {162--191},
year = {2018},
url = {https://doi.org/10.1007/s00224-017-9794-5},
doi = {10.1007/S00224-017-9794-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GawrychowskiIIK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FernauMMS18,
author = {Henning Fernau and
Florin Manea and
Robert Mercas and
Markus L. Schmid},
title = {Revisiting Shinohara's algorithm for computing descriptive patterns},
journal = {Theor. Comput. Sci.},
volume = {733},
pages = {44--54},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.04.035},
doi = {10.1016/J.TCS.2018.04.035},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FernauMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CurrieMNR18,
author = {James D. Currie and
Florin Manea and
Dirk Nowotka and
Kamellia Reshadi},
title = {Unary patterns under permutations},
journal = {Theor. Comput. Sci.},
volume = {743},
pages = {72--82},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.05.033},
doi = {10.1016/J.TCS.2018.05.033},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CurrieMNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DayFMNS18,
author = {Joel D. Day and
Pamela Fleischmann and
Florin Manea and
Dirk Nowotka and
Markus L. Schmid},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {On Matching Generalised Repetitive Patterns},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {269--281},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_22},
doi = {10.1007/978-3-319-98654-8\_22},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DayFMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BiedlBCLMNS18,
author = {Therese Biedl and
Ahmad Biniaz and
Robert Cummings and
Anna Lubiw and
Florin Manea and
Dirk Nowotka and
Jeffrey O. Shallit},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {Rollercoasters and Caterpillars},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {18:1--18:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.18},
doi = {10.4230/LIPICS.ICALP.2018.18},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BiedlBCLMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DayGHMN18,
author = {Joel D. Day and
Vijay Ganesh and
Paul He and
Florin Manea and
Dirk Nowotka},
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {The Satisfiability of Word Equations: Decidable and Undecidable Theories},
booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
pages = {15--29},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3\_2},
doi = {10.1007/978-3-030-00250-3\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/DayGHMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2018,
editor = {Florin Manea and
Russell G. Miller and
Dirk Nowotka},
title = {Sailing Routes in the World of Computation - 14th Conference on Computability
in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10936},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94418-0},
doi = {10.1007/978-3-319-94418-0},
isbn = {978-3-319-94417-3},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08565,
author = {Therese Biedl and
Ahmad Biniaz and
Robert Cummings and
Anna Lubiw and
Florin Manea and
Dirk Nowotka and
Jeffrey O. Shallit},
title = {Rollercoasters and Caterpillars},
journal = {CoRR},
volume = {abs/1801.08565},
year = {2018},
url = {http://arxiv.org/abs/1801.08565},
eprinttype = {arXiv},
eprint = {1801.08565},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00523,
author = {Joel D. Day and
Vijay Ganesh and
Paul He and
Florin Manea and
Dirk Nowotka},
title = {The Satisfiability of Extended Word Equations: The Boundary Between
Decidability and Undecidability},
journal = {CoRR},
volume = {abs/1802.00523},
year = {2018},
url = {http://arxiv.org/abs/1802.00523},
eprinttype = {arXiv},
eprint = {1802.00523},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-00523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-07422,
author = {Pawel Gawrychowski and
Florin Manea and
Radoslaw Serafin},
title = {Fast and Longest Rollercoasters},
journal = {CoRR},
volume = {abs/1810.07422},
year = {2018},
url = {http://arxiv.org/abs/1810.07422},
eprinttype = {arXiv},
eprint = {1810.07422},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-07422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/DumitranGM17,
author = {Marius Dumitran and
Pawel Gawrychowski and
Florin Manea},
title = {Longest Gapped Repeats and Palindromes},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {19},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/DMTCS-19-4-4},
doi = {10.23638/DMTCS-19-4-4},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/DumitranGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/CampeanuMPS17,
author = {Cezar C{\^{a}}mpeanu and
Florin Manea and
Giovanni Pighizzini and
Jeffrey O. Shallit},
title = {Preface},
journal = {J. Autom. Lang. Comb.},
volume = {22},
number = {1-3},
pages = {3--4},
year = {2017},
url = {https://doi.org/10.25596/jalc-2017-003},
doi = {10.25596/JALC-2017-003},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/CampeanuMPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ManeaMNS17,
author = {Florin Manea and
Mike M{\"{u}}ller and
Dirk Nowotka and
Shinnosuke Seki},
title = {The extended equation of Lyndon and Sch{\"{u}}tzenberger},
journal = {J. Comput. Syst. Sci.},
volume = {85},
pages = {132--167},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.11.003},
doi = {10.1016/J.JCSS.2016.11.003},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/ManeaMNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManeaTV17,
author = {Florin Manea and
Bianca Truthe and
Gy{\"{o}}rgy Vaszil},
title = {{TCS} Special Issue on Languages and Combinatorics in Theory and Nature},
journal = {Theor. Comput. Sci.},
volume = {682},
pages = {2--4},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.05.012},
doi = {10.1016/J.TCS.2017.05.012},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ManeaTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManeaN17,
author = {Florin Manea and
Dirk Nowotka},
title = {{TCS} Special Issue: Combinatorics on Words - {WORDS} 2015},
journal = {Theor. Comput. Sci.},
volume = {684},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.05.027},
doi = {10.1016/J.TCS.2017.05.027},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ManeaN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/DayFMN17,
author = {Joel D. Day and
Pamela Fleischmann and
Florin Manea and
Dirk Nowotka},
editor = {Srecko Brlek and
Francesco Dolce and
Christophe Reutenauer and
{\'{E}}lise Vandomme},
title = {Equations Enforcing Repetitions Under Permutations},
booktitle = {Combinatorics on Words - 11th International Conference, {WORDS} 2017,
Montr{\'{e}}al, QC, Canada, September 11-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10432},
pages = {72--84},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66396-8\_8},
doi = {10.1007/978-3-319-66396-8\_8},
timestamp = {Sun, 25 Oct 2020 22:54:55 +0100},
biburl = {https://dblp.org/rec/conf/cwords/DayFMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DayFMN17,
author = {Joel D. Day and
Pamela Fleischmann and
Florin Manea and
Dirk Nowotka},
editor = {Satya V. Lokam and
R. Ramanujam},
title = {Local Patterns},
booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017,
Kanpur, India},
series = {LIPIcs},
volume = {93},
pages = {24:1--24:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.24},
doi = {10.4230/LIPICS.FSTTCS.2017.24},
timestamp = {Fri, 03 Sep 2021 15:00:19 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DayFMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DayMN17,
author = {Joel D. Day and
Florin Manea and
Dirk Nowotka},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The Hardness of Solving Simple Word Equations},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {18:1--18:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.18},
doi = {10.4230/LIPICS.MFCS.2017.18},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/DayMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/KosolobovMN17,
author = {Dmitry Kosolobov and
Florin Manea and
Dirk Nowotka},
editor = {Gabriele Fici and
Marinella Sciortino and
Rossano Venturini},
title = {Detecting One-Variable Patterns},
booktitle = {String Processing and Information Retrieval - 24th International Symposium,
{SPIRE} 2017, Palermo, Italy, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10508},
pages = {254--270},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67428-5\_22},
doi = {10.1007/978-3-319-67428-5\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/spire/KosolobovMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2017,
editor = {Jarkko Kari and
Florin Manea and
Ion Petre},
title = {Unveiling Dynamics and Complexity - 13th Conference on Computability
in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10307},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58741-7},
doi = {10.1007/978-3-319-58741-7},
isbn = {978-3-319-58740-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DayMN17,
author = {Joel D. Day and
Florin Manea and
Dirk Nowotka},
title = {The Hardness of Solving Simple Word Equations},
journal = {CoRR},
volume = {abs/1702.07922},
year = {2017},
url = {http://arxiv.org/abs/1702.07922},
eprinttype = {arXiv},
eprint = {1702.07922},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DayMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/MatsuokaIBTM16,
author = {Yoshiaki Matsuoka and
Shunsuke Inenaga and
Hideo Bannai and
Masayuki Takeda and
Florin Manea},
editor = {Roberto Grossi and
Moshe Lewenstein},
title = {Factorizing a String into Squares in Linear Time},
booktitle = {27th Annual Symposium on Combinatorial Pattern Matching, {CPM} 2016,
June 27-29, 2016, Tel Aviv, Israel},
series = {LIPIcs},
volume = {54},
pages = {27:1--27:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CPM.2016.27},
doi = {10.4230/LIPICS.CPM.2016.27},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/cpm/MatsuokaIBTM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ManeaNS16,
author = {Florin Manea and
Dirk Nowotka and
Markus L. Schmid},
editor = {Srecko Brlek and
Christophe Reutenauer},
title = {On the Solvability Problem for Restricted Classes of Word Equations},
booktitle = {Developments in Language Theory - 20th International Conference, {DLT}
2016, Montr{\'{e}}al, Canada, July 25-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9840},
pages = {306--318},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53132-7\_25},
doi = {10.1007/978-3-662-53132-7\_25},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ManeaNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GawrychowskiIIK16,
author = {Pawel Gawrychowski and
Tomohiro I and
Shunsuke Inenaga and
Dominik K{\"{o}}ppl and
Florin Manea},
editor = {Nicolas Ollinger and
Heribert Vollmer},
title = {Efficiently Finding All Maximal alpha-gapped Repeats},
booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
2016, February 17-20, 2016, Orl{\'{e}}ans, France},
series = {LIPIcs},
volume = {47},
pages = {39:1--39:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.STACS.2016.39},
doi = {10.4230/LIPICS.STACS.2016.39},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GawrychowskiIIK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2016,
editor = {Cezar C{\^{a}}mpeanu and
Florin Manea and
Jeffrey O. Shallit},
title = {Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2
International Conference, {DCFS} 2016, Bucharest, Romania, July 5-8,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9777},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41114-9},
doi = {10.1007/978-3-319-41114-9},
isbn = {978-3-319-41113-2},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KosolobovMN16,
author = {Dmitry Kosolobov and
Florin Manea and
Dirk Nowotka},
title = {Detecting Unary Patterns},
journal = {CoRR},
volume = {abs/1604.00054},
year = {2016},
url = {http://arxiv.org/abs/1604.00054},
eprinttype = {arXiv},
eprint = {1604.00054},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KosolobovMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DassowMT15,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
title = {On the Power of Accepting Networks of Evolutionary Processors with
Special Topologies and Random Context Filters},
journal = {Fundam. Informaticae},
volume = {136},
number = {1-2},
pages = {1--35},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1142},
doi = {10.3233/FI-2015-1142},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DassowMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DumitranGMM15,
author = {Marius Dumitran and
Javier Gil and
Florin Manea and
Victor Mitrana},
title = {Bounded Prefix-Suffix Duplication: Language Theoretic and Algorithmic
Results},
journal = {Int. J. Found. Comput. Sci.},
volume = {26},
number = {7},
pages = {933--952},
year = {2015},
url = {https://doi.org/10.1142/S0129054115400079},
doi = {10.1142/S0129054115400079},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DumitranGMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ManeaMN15,
author = {Florin Manea and
Mike M{\"{u}}ller and
Dirk Nowotka},
title = {Cubic patterns with permutations},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {7},
pages = {1298--1310},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2015.04.001},
doi = {10.1016/J.JCSS.2015.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ManeaMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/EhlersMMN15,
author = {Thorsten Ehlers and
Florin Manea and
Robert Mercas and
Dirk Nowotka},
title = {k-Abelian pattern matching},
journal = {J. Discrete Algorithms},
volume = {34},
pages = {37--48},
year = {2015},
url = {https://doi.org/10.1016/j.jda.2015.05.004},
doi = {10.1016/J.JDA.2015.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jda/EhlersMMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ManeaMM15,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {Hairpin lengthening: language theoretic and algorithmic results},
journal = {J. Log. Comput.},
volume = {25},
number = {4},
pages = {987--1009},
year = {2015},
url = {https://doi.org/10.1093/logcom/exs076},
doi = {10.1093/LOGCOM/EXS076},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ManeaMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/DumitranM15,
author = {Marius Dumitran and
Florin Manea},
editor = {Florin Manea and
Dirk Nowotka},
title = {Prefix-Suffix Square Completion},
booktitle = {Combinatorics on Words - 10th International Conference, {WORDS} 2015,
Kiel, Germany, September 14-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9304},
pages = {147--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23660-5\_13},
doi = {10.1007/978-3-319-23660-5\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/cwords/DumitranM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/ManeaS15,
author = {Florin Manea and
Shinnosuke Seki},
editor = {Florin Manea and
Dirk Nowotka},
title = {Square-Density Increasing Mappings},
booktitle = {Combinatorics on Words - 10th International Conference, {WORDS} 2015,
Kiel, Germany, September 14-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9304},
pages = {160--169},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23660-5\_14},
doi = {10.1007/978-3-319-23660-5\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cwords/ManeaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CurrieMN15,
author = {James D. Currie and
Florin Manea and
Dirk Nowotka},
editor = {Igor Potapov},
title = {Unary Patterns with Permutations},
booktitle = {Developments in Language Theory - 19th International Conference, {DLT}
2015, Liverpool, UK, July 27-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9168},
pages = {191--202},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21500-6\_15},
doi = {10.1007/978-3-319-21500-6\_15},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CurrieMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/GawrychowskiM15,
author = {Pawel Gawrychowski and
Florin Manea},
editor = {Adrian Kosowski and
Igor Walukiewicz},
title = {Longest {\(\alpha\)}-Gapped Repeat and Palindrome},
booktitle = {Fundamentals of Computation Theory - 20th International Symposium,
{FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9210},
pages = {27--40},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22177-9\_3},
doi = {10.1007/978-3-319-22177-9\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/GawrychowskiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DumitranM15,
author = {Marius Dumitran and
Florin Manea},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Longest Gapped Repeats and Palindromes},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {205--217},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_16},
doi = {10.1007/978-3-662-48057-1\_16},
timestamp = {Sun, 02 Jun 2019 21:25:38 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DumitranM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/DumitranMN15,
author = {Marius Dumitran and
Florin Manea and
Dirk Nowotka},
editor = {Costas S. Iliopoulos and
Simon J. Puglisi and
Emine Yilmaz},
title = {On Prefix/Suffix-Square Free Words},
booktitle = {String Processing and Information Retrieval - 22nd International Symposium,
{SPIRE} 2015, London, UK, September 1-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9309},
pages = {54--66},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23826-5\_6},
doi = {10.1007/978-3-319-23826-5\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/spire/DumitranMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FernauMMS15,
author = {Henning Fernau and
Florin Manea and
Robert Mercas and
Markus L. Schmid},
editor = {Ernst W. Mayr and
Nicolas Ollinger},
title = {Pattern Matching with Variables: Fast Algorithms and New Hardness
Results},
booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2015, March 4-7, 2015, Garching, Germany},
series = {LIPIcs},
volume = {30},
pages = {302--315},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.STACS.2015.302},
doi = {10.4230/LIPICS.STACS.2015.302},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/FernauMMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cwords/2015,
editor = {Florin Manea and
Dirk Nowotka},
title = {Combinatorics on Words - 10th International Conference, {WORDS} 2015,
Kiel, Germany, September 14-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9304},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23660-5},
doi = {10.1007/978-3-319-23660-5},
isbn = {978-3-319-23659-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cwords/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FreydenbergerGK15,
author = {Dominik D. Freydenberger and
Pawel Gawrychowski and
Juhani Karhum{\"{a}}ki and
Florin Manea and
Wojciech Rytter},
title = {Testing k-binomial equivalence},
journal = {CoRR},
volume = {abs/1509.00622},
year = {2015},
url = {http://arxiv.org/abs/1509.00622},
eprinttype = {arXiv},
eprint = {1509.00622},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FreydenbergerGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GawrychowskiIIK15,
author = {Pawel Gawrychowski and
Tomohiro I and
Shunsuke Inenaga and
Dominik K{\"{o}}ppl and
Florin Manea},
title = {Efficiently Finding All Maximal {\textdollar}{\(\alpha\)}{\textdollar}-gapped
Repeats},
journal = {CoRR},
volume = {abs/1509.09237},
year = {2015},
url = {http://arxiv.org/abs/1509.09237},
eprinttype = {arXiv},
eprint = {1509.09237},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GawrychowskiIIK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumitranGM15,
author = {Marius Dumitran and
Pawel Gawrychowski and
Florin Manea},
title = {Longest Gapped Repeats and Palindromes},
journal = {CoRR},
volume = {abs/1511.07180},
year = {2015},
url = {http://arxiv.org/abs/1511.07180},
eprinttype = {arXiv},
eprint = {1511.07180},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumitranGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/ManeaMT14,
author = {Florin Manea and
Robert Mercas and
Catalin Tiseanu},
title = {An algorithmic toolbox for periodic partial words},
journal = {Discret. Appl. Math.},
volume = {179},
pages = {174--192},
year = {2014},
url = {https://doi.org/10.1016/j.dam.2014.07.017},
doi = {10.1016/J.DAM.2014.07.017},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/ManeaMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DinuGM14,
author = {Liviu P. Dinu and
Radu Gramatovici and
Florin Manea},
title = {Syllabic Languages and Go-through Automata},
journal = {Fundam. Informaticae},
volume = {131},
number = {3-4},
pages = {409--424},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1022},
doi = {10.3233/FI-2014-1022},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DinuGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FazekasMMS14,
author = {Szil{\'{a}}rd Zsolt Fazekas and
Florin Manea and
Robert Mercas and
Kayoko Shikishima{-}Tsuji},
title = {The pseudopalindromic completion of regular languages},
journal = {Inf. Comput.},
volume = {239},
pages = {222--236},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.09.001},
doi = {10.1016/J.IC.2014.09.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FazekasMMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DassowMMM14,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Robert Mercas and
Mike M{\"{u}}ller},
title = {Inner Palindromic Closure},
journal = {Int. J. Found. Comput. Sci.},
volume = {25},
number = {8},
pages = {1049--1064},
year = {2014},
url = {https://doi.org/10.1142/S0129054114400231},
doi = {10.1142/S0129054114400231},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DassowMMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DassowMM14,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Robert Mercas},
title = {Regular languages of partial words},
journal = {Inf. Sci.},
volume = {268},
pages = {290--304},
year = {2014},
url = {https://doi.org/10.1016/j.ins.2013.12.032},
doi = {10.1016/J.INS.2013.12.032},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DassowMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Garcia-LopezMM14,
author = {Jes{\'{u}}s Garc{\'{\i}}a{-}L{\'{o}}pez and
Florin Manea and
Victor Mitrana},
title = {Prefix-suffix duplication},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {7},
pages = {1254--1265},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2014.02.011},
doi = {10.1016/J.JCSS.2014.02.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Garcia-LopezMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ManeaT14,
author = {Florin Manea and
Bianca Truthe},
title = {Accepting Networks of Evolutionary Processors with Subregular Filters},
journal = {Theory Comput. Syst.},
volume = {55},
number = {1},
pages = {84--109},
year = {2014},
url = {https://doi.org/10.1007/s00224-013-9502-z},
doi = {10.1007/S00224-013-9502-Z},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ManeaT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BordihnMMV14,
author = {Henning Bordihn and
Florin Manea and
Victor Mitrana and
Daniel{-}Claudian Voinescu},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Two Variants of Synchronized Shuffle on Backbones},
booktitle = {Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu
{(1952-2005)}},
pages = {77--87},
publisher = {The Publishing House of the Romanian Academy},
year = {2014},
timestamp = {Fri, 23 Jan 2015 14:35:08 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BordihnMMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EhlersMMN14,
author = {Thorsten Ehlers and
Florin Manea and
Robert Mercas and
Dirk Nowotka},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {k-Abelian Pattern Matching},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {178--190},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_16},
doi = {10.1007/978-3-319-09698-8\_16},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/EhlersMMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ManeaMNS14,
author = {Florin Manea and
Mike M{\"{u}}ller and
Dirk Nowotka and
Shinnosuke Seki},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Generalised Lyndon-Sch{\"{u}}tzenberger Equations},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {402--413},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_34},
doi = {10.1007/978-3-662-44522-8\_34},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ManeaMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JonoskaMS14,
author = {Natasa Jonoska and
Florin Manea and
Shinnosuke Seki},
editor = {Viliam Geffert and
Bart Preneel and
Branislav Rovan and
Julius Stuller and
A Min Tjoa},
title = {A Stronger Square Conjecture on Binary Words},
booktitle = {{SOFSEM} 2014: Theory and Practice of Computer Science - 40th International
Conference on Current Trends in Theory and Practice of Computer Science,
Nov{\'{y}} Smokovec, Slovakia, January 26-29, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8327},
pages = {339--350},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04298-5\_30},
doi = {10.1007/978-3-319-04298-5\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JonoskaMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GawrychowskiMN14,
author = {Pawel Gawrychowski and
Florin Manea and
Dirk Nowotka},
editor = {Ernst W. Mayr and
Natacha Portier},
title = {Testing Generalised Freeness of Words},
booktitle = {31st International Symposium on Theoretical Aspects of Computer Science
{(STACS} 2014), {STACS} 2014, March 5-8, 2014, Lyon, France},
series = {LIPIcs},
volume = {25},
pages = {337--349},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.STACS.2014.337},
doi = {10.4230/LIPICS.STACS.2014.337},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GawrychowskiMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DumitranGMM14,
author = {Marius Dumitran and
Javier Gil and
Florin Manea and
Victor Mitrana},
editor = {Markus Holzer and
Martin Kutrib},
title = {Bounded Prefix-Suffix Duplication},
booktitle = {Implementation and Application of Automata - 19th International Conference,
{CIAA} 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8587},
pages = {176--187},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08846-4\_13},
doi = {10.1007/978-3-319-08846-4\_13},
timestamp = {Mon, 05 Feb 2024 20:35:24 +0100},
biburl = {https://dblp.org/rec/conf/wia/DumitranGMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DassowMT13,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
title = {Networks of evolutionary processors: the power of subregular filters},
journal = {Acta Informatica},
volume = {50},
number = {1},
pages = {41--75},
year = {2013},
url = {https://doi.org/10.1007/s00236-012-0172-0},
doi = {10.1007/S00236-012-0172-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DassowMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ManeaT13,
author = {Florin Manea and
Catalin Tiseanu},
title = {The hardness of counting full words compatible with partial words},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {1},
pages = {7--22},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2012.04.001},
doi = {10.1016/J.JCSS.2012.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ManeaT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GawrychowskiMN13,
author = {Pawel Gawrychowski and
Florin Manea and
Dirk Nowotka},
editor = {Paola Bonizzoni and
Vasco Brattka and
Benedikt L{\"{o}}we},
title = {Discovering Hidden Repetitions in Words},
booktitle = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7921},
pages = {210--219},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39053-1\_24},
doi = {10.1007/978-3-642-39053-1\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/GawrychowskiMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DassowMMM13,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Robert Mercas and
Mike M{\"{u}}ller},
editor = {Marie{-}Pierre B{\'{e}}al and
Olivier Carton},
title = {Inner Palindromic Closure},
booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7907},
pages = {155--166},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38771-5\_15},
doi = {10.1007/978-3-642-38771-5\_15},
timestamp = {Sat, 19 Oct 2019 20:07:57 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DassowMMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ManeaMN13,
author = {Florin Manea and
Mike M{\"{u}}ller and
Dirk Nowotka},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {On the Pseudoperiodic Extension of u{\^{}}l = v{\^{}}m w{\^{}}n},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {475--486},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.475},
doi = {10.4230/LIPICS.FSTTCS.2013.475},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/ManeaMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GawrychowskiMMNT13,
author = {Pawel Gawrychowski and
Florin Manea and
Robert Mercas and
Dirk Nowotka and
Catalin Tiseanu},
editor = {Natacha Portier and
Thomas Wilke},
title = {Finding Pseudo-repetitions},
booktitle = {30th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2013, February 27 - March 2, 2013, Kiel, Germany},
series = {LIPIcs},
volume = {20},
pages = {257--268},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.STACS.2013.257},
doi = {10.4230/LIPICS.STACS.2013.257},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GawrychowskiMMNT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/DassowMT12,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
title = {Generating Networks of Splicing Processors},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {46},
number = {4},
pages = {547--572},
year = {2012},
url = {https://doi.org/10.1051/ita/2012016},
doi = {10.1051/ITA/2012016},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/DassowMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/DassowMT12,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
title = {On Subregular Selection Languages in Internal Contextual Grammars},
journal = {J. Autom. Lang. Comb.},
volume = {17},
number = {2-4},
pages = {145--164},
year = {2012},
url = {https://doi.org/10.25596/jalc-2012-145},
doi = {10.25596/JALC-2012-145},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/DassowMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DassowMT12,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
title = {Networks of evolutionary processors: computationally complete normal
forms},
journal = {Nat. Comput.},
volume = {11},
number = {4},
pages = {595--607},
year = {2012},
url = {https://doi.org/10.1007/s11047-012-9331-z},
doi = {10.1007/S11047-012-9331-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DassowMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DassowMT12,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
title = {On external contextual grammars with subregular selection languages},
journal = {Theor. Comput. Sci.},
volume = {449},
pages = {64--73},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.008},
doi = {10.1016/J.TCS.2012.04.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DassowMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TuraevDMS12,
author = {Sherzod Turaev and
J{\"{u}}rgen Dassow and
Florin Manea and
Mohd Hasan Selamat},
title = {Language classes generated by tree controlled grammars with bounded
nonterminal complexity},
journal = {Theor. Comput. Sci.},
volume = {449},
pages = {134--144},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.013},
doi = {10.1016/J.TCS.2012.04.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TuraevDMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Manea12,
author = {Florin Manea},
title = {Complexity results for deciding Networks of Evolutionary Processors},
journal = {Theor. Comput. Sci.},
volume = {456},
pages = {65--79},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.06.029},
doi = {10.1016/J.TCS.2012.06.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Manea12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ManeaMM12,
author = {Florin Manea and
Robert Mercas and
Victor Mitrana},
editor = {Henning Bordihn and
Martin Kutrib and
Bianca Truthe},
title = {Hairpin Lengthening and Shortening of Regular Languages},
booktitle = {Languages Alive - Essays Dedicated to J{\"{u}}rgen Dassow on
the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7300},
pages = {145--159},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31644-9\_10},
doi = {10.1007/978-3-642-31644-9\_10},
timestamp = {Sun, 25 Oct 2020 23:08:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ManeaMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DassowMM12,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Robert Mercas},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Connecting Partial Words and Regular Languages},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {151--161},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_16},
doi = {10.1007/978-3-642-30870-3\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/DassowMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/ManeaT12,
author = {Florin Manea and
Bianca Truthe},
editor = {Martin Kutrib and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On Internal Contextual Grammars with Subregular Selection Languages},
booktitle = {Descriptional Complexity of Formal Systems - 14th International Workshop,
{DCFS} 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7386},
pages = {222--235},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31623-4\_17},
doi = {10.1007/978-3-642-31623-4\_17},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/ManeaT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ManeaMN12,
author = {Florin Manea and
Mike M{\"{u}}ller and
Dirk Nowotka},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {The Avoidability of Cubes under Permutations},
booktitle = {Developments in Language Theory - 16th International Conference, {DLT}
2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {416--427},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_37},
doi = {10.1007/978-3-642-31653-1\_37},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ManeaMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ManeaMN12,
author = {Florin Manea and
Robert Mercas and
Dirk Nowotka},
editor = {Branislav Rovan and
Vladimiro Sassone and
Peter Widmayer},
title = {Fine and Wilf's Theorem and Pseudo-repetitions},
booktitle = {Mathematical Foundations of Computer Science 2012 - 37th International
Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7464},
pages = {668--680},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32589-2\_58},
doi = {10.1007/978-3-642-32589-2\_58},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ManeaMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/GrozeaMMN12,
author = {Cristian Grozea and
Florin Manea and
Mike M{\"{u}}ller and
Dirk Nowotka},
editor = {J{\'{e}}r{\^{o}}me Durand{-}Lose and
Natasa Jonoska},
title = {String Matching with Involutions},
booktitle = {Unconventional Computation and Natural Computation - 11th International
Conference, {UCNC} 2012, Orl{\'{e}}an, France, September 3-7,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7445},
pages = {106--117},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32894-7\_11},
doi = {10.1007/978-3-642-32894-7\_11},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/GrozeaMMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ItoLMM11,
author = {Masami Ito and
Peter Leupold and
Florin Manea and
Victor Mitrana},
title = {Bounded hairpin completion},
journal = {Inf. Comput.},
volume = {209},
number = {3},
pages = {471--485},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2010.11.014},
doi = {10.1016/J.IC.2010.11.014},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ItoLMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/BottoniLMMPS11,
author = {Paolo Bottoni and
Anna Labella and
Florin Manea and
Victor Mitrana and
Ion Petre and
Jos{\'{e}} M. Sempere},
title = {Complexity-preserving simulations among three variants of accepting
networks of evolutionary processors},
journal = {Nat. Comput.},
volume = {10},
number = {1},
pages = {429--445},
year = {2011},
url = {https://doi.org/10.1007/s11047-010-9238-5},
doi = {10.1007/S11047-010-9238-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/BottoniLMMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/ManeaT11,
author = {Florin Manea and
Bianca Truthe},
editor = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
Szabolcs Iv{\'{a}}n},
title = {Accepting Networks of Evolutionary Processors with Subregular Filters},
booktitle = {Automata and Formal Languages, 13th International Conference, {AFL}
2011, Debrecen, Hungary, August 17-22, 2011, Proceedings},
pages = {300--314},
year = {2011},
timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
biburl = {https://dblp.org/rec/conf/afl/ManeaT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BottoniGLMM11,
author = {Paolo Bottoni and
Radu Gramatovici and
Anna Labella and
Florin Manea and
Victor Mitrana},
editor = {Jozef Kelemen and
Alica Kelemenov{\'{a}}},
title = {Context Insertions},
booktitle = {Computation, Cooperation, and Life - Essays Dedicated to Gheorghe
Paun on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6610},
pages = {24--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20000-7\_4},
doi = {10.1007/978-3-642-20000-7\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BottoniGLMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Manea11,
author = {Florin Manea},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Deciding According to the Shortest Computations},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {191--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_20},
doi = {10.1007/978-3-642-21875-0\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Manea11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/DassowMT11,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
editor = {Markus Holzer and
Martin Kutrib and
Giovanni Pighizzini},
title = {On Contextual Grammars with Subregular Selection Languages},
booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop,
{DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6808},
pages = {135--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22600-7\_11},
doi = {10.1007/978-3-642-22600-7\_11},
timestamp = {Sun, 25 Oct 2020 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/DassowMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/GramatoviciM11,
author = {Radu Gramatovici and
Florin Manea},
editor = {Markus Holzer and
Martin Kutrib and
Giovanni Pighizzini},
title = {\emph{k}-Local Internal Contextual Grammars},
booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop,
{DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6808},
pages = {172--183},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22600-7\_14},
doi = {10.1007/978-3-642-22600-7\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/GramatoviciM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Manea11,
author = {Florin Manea},
editor = {Giancarlo Mauri and
Alberto Leporati},
title = {Deciding Networks of Evolutionary Processors},
booktitle = {Developments in Language Theory - 15th International Conference, {DLT}
2011, Milan, Italy, July 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6795},
pages = {337--349},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22321-1\_29},
doi = {10.1007/978-3-642-22321-1\_29},
timestamp = {Sat, 09 Apr 2022 12:37:59 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Manea11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DassowMT11,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
editor = {Adrian{-}Horia Dediu and
Shunsuke Inenaga and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Networks of Evolutionary Processors with Subregular Filters},
booktitle = {Language and Automata Theory and Applications - 5th International
Conference, {LATA} 2011, Tarragona, Spain, May 26-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6638},
pages = {262--273},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21254-3\_20},
doi = {10.1007/978-3-642-21254-3\_20},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/DassowMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ManeaMT11,
author = {Florin Manea and
Robert Mercas and
Catalin Tiseanu},
editor = {Filip Murlak and
Piotr Sankowski},
title = {Periodicity Algorithms for Partial Words},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6907},
pages = {472--484},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_43},
doi = {10.1007/978-3-642-22993-0\_43},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ManeaMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/DassowMT11,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
editor = {Rudolf Freund and
Markus Holzer and
Carlo Mereghetti and
Friedrich Otto and
Beatrice Palano},
title = {Generating Networks of Splicing Processors},
booktitle = {Third Workshop on Non-Classical Models for Automata and Applications
- {NCMA} 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings},
series = {books@ocg.at},
volume = {282},
pages = {121--136},
publisher = {Austrian Computer Society},
year = {2011},
timestamp = {Thu, 17 Mar 2016 10:50:07 +0100},
biburl = {https://dblp.org/rec/conf/ncma/DassowMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/DassowMT11,
author = {J{\"{u}}rgen Dassow and
Florin Manea and
Bianca Truthe},
editor = {Cristian S. Calude and
Jarkko Kari and
Ion Petre and
Grzegorz Rozenberg},
title = {On Normal Forms for Networks of Evolutionary Processors},
booktitle = {Unconventional Computation - 10th International Conference, {UC} 2011,
Turku, Finland, June 6-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6714},
pages = {89--100},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21341-0\_14},
doi = {10.1007/978-3-642-21341-0\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/DassowMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LoosMM10,
author = {Remco Loos and
Florin Manea and
Victor Mitrana},
title = {Small universal accepting hybrid networks of evolutionary processors},
journal = {Acta Informatica},
volume = {47},
number = {2},
pages = {133--146},
year = {2010},
url = {https://doi.org/10.1007/s00236-009-0113-8},
doi = {10.1007/S00236-009-0113-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LoosMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ManeaMY10,
author = {Florin Manea and
Victor Mitrana and
Takashi Yokomori},
title = {Some Remarks on the Hairpin Completion},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {5},
pages = {859--872},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007593},
doi = {10.1142/S0129054110007593},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ManeaMY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/LoosMM10,
author = {Remco Loos and
Florin Manea and
Victor Mitrana},
title = {Small Universal Accepting Networks of Evolutionary Processors with
Filtered Connections},
journal = {J. Autom. Lang. Comb.},
volume = {15},
number = {1/2},
pages = {155--174},
year = {2010},
url = {https://doi.org/10.25596/jalc-2010-155},
doi = {10.25596/JALC-2010-155},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/LoosMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ManeaMMP10,
author = {Florin Manea and
Maurice Margenstern and
Victor Mitrana and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
title = {A New Characterization of NP, P, and {PSPACE} with Accepting Hybrid
Networks of Evolutionary Processors},
journal = {Theory Comput. Syst.},
volume = {46},
number = {2},
pages = {174--192},
year = {2010},
url = {https://doi.org/10.1007/s00224-008-9124-z},
doi = {10.1007/S00224-008-9124-Z},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ManeaMMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Manea10,
author = {Florin Manea},
title = {A series of algorithmic results related to the iterated hairpin completion},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {48},
pages = {4162--4178},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.06.014},
doi = {10.1016/J.TCS.2010.06.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Manea10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ManeaMM10,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
editor = {Fernando Ferreira and
Benedikt L{\"{o}}we and
Elvira Mayordomo and
Lu{\'{\i}}s Mendes Gomes},
title = {Hairpin Lengthening},
booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe,
CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6158},
pages = {296--306},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13962-8\_33},
doi = {10.1007/978-3-642-13962-8\_33},
timestamp = {Tue, 10 Dec 2019 15:37:25 +0100},
biburl = {https://dblp.org/rec/conf/cie/ManeaMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ManeaT10,
author = {Florin Manea and
Catalin Tiseanu},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Hard Counting Problems for Partial Words},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {426--438},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_36},
doi = {10.1007/978-3-642-13089-2\_36},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/ManeaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-1649,
author = {J{\"{u}}rgen Dassow and
Florin Manea},
editor = {Ian McQuillan and
Giovanni Pighizzini},
title = {Accepting Hybrid Networks of Evolutionary Processors with Special
Topologies and Small Communication},
booktitle = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of
Formal Systems, {DCFS} 2010, Saskatoon, Canada, 8-10th August 2010},
series = {{EPTCS}},
volume = {31},
pages = {68--77},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.31.9},
doi = {10.4204/EPTCS.31.9},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/p/ManeaMM10,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
editor = {Carlos Mart{\'{\i}}n{-}Vide},
title = {Accepting Networks of Evolutionary Word and Picture Processors: {A}
Survey},
booktitle = {Scientific Applications of Language Methods},
series = {Mathematics, Computing, Language, and Life: Frontiers in Mathematical
Linguistics and Language Theory},
volume = {2},
pages = {525--561},
publisher = {World Scientific / Imperial College Press},
year = {2010},
timestamp = {Mon, 14 Jan 2019 16:34:27 +0100},
biburl = {https://dblp.org/rec/books/ws/p/ManeaMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/ManeaMM09,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {On some algorithmic problems regarding the hairpin completion},
journal = {Discret. Appl. Math.},
volume = {157},
number = {9},
pages = {2143--2152},
year = {2009},
url = {https://doi.org/10.1016/j.dam.2007.09.022},
doi = {10.1016/J.DAM.2007.09.022},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/ManeaMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LoosMM09,
author = {Remco Loos and
Florin Manea and
Victor Mitrana},
title = {On small, reduced, and fast universal accepting networks of splicing
processors},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {4-5},
pages = {406--416},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.048},
doi = {10.1016/J.TCS.2008.09.048},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LoosMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManeaMY09,
author = {Florin Manea and
Victor Mitrana and
Takashi Yokomori},
title = {Two complementary operations inspired by the {DNA} hairpin formation:
Completion and reduction},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {4-5},
pages = {417--425},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.049},
doi = {10.1016/J.TCS.2008.09.049},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManeaMY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ManeaMS09,
author = {Florin Manea and
Victor Mitrana and
Jos{\'{e}} M. Sempere},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Some Remarks on Superposition Based on Watson-Crick-Like Complementarity},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {372--383},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_30},
doi = {10.1007/978-3-642-02737-6\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ManeaMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/BottoniLMMS09,
author = {Paolo Bottoni and
Anna Labella and
Florin Manea and
Victor Mitrana and
Jos{\'{e}} M. Sempere},
editor = {Russell J. Deaton and
Akira Suyama},
title = {Filter Position in Networks of Evolutionary Processors Does Not Matter:
{A} Direct Proof},
booktitle = {{DNA} Computing and Molecular Programming, 15th International Conference,
{DNA} 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5877},
pages = {1--11},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10604-0\_1},
doi = {10.1007/978-3-642-10604-0\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/BottoniLMMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DiaconuMT09,
author = {Adrian Diaconu and
Florin Manea and
Catalin Tiseanu},
editor = {Miroslaw Kutylowski and
Witold Charatonik and
Maciej Gebala},
title = {Combinatorial Queries and Updates on Partial Words},
booktitle = {Fundamentals of Computation Theory, 17th International Symposium,
{FCT} 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5699},
pages = {96--108},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03409-1\_10},
doi = {10.1007/978-3-642-03409-1\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/DiaconuMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ManeaM09,
author = {Florin Manea and
Victor Mitrana},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {Accepting Networks of Evolutionary Processors: Complexity Aspects
- Recent Results and New Challenges},
booktitle = {{ICAART} 2009 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
pages = {597--604},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Tue, 19 May 2009 15:52:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/ManeaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/BottoniLMMS09,
author = {Paolo Bottoni and
Anna Labella and
Florin Manea and
Victor Mitrana and
Jos{\'{e}} M. Sempere},
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Nachum Dershowitz and
Elisabete Freire and
Grzegorz Rozenberg},
title = {Networks of Evolutionary Picture Processors with Filtered Connections},
booktitle = {Unconventional Computation, 8th International Conference, {UC} 2009,
Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5715},
pages = {70--84},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03745-0\_14},
doi = {10.1007/978-3-642-03745-0\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/BottoniLMMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0907-5130,
author = {Remco Loos and
Florin Manea and
Victor Mitrana},
editor = {J{\"{u}}rgen Dassow and
Giovanni Pighizzini and
Bianca Truthe},
title = {Small Universal Accepting Networks of Evolutionary Processors with
Filtered Connections},
booktitle = {Proceedings Eleventh International Workshop on Descriptional Complexity
of Formal Systems, {DCFS} 2009, Magdeburg, Germany, July 6-9, 2009},
series = {{EPTCS}},
volume = {3},
pages = {173--182},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.3.16},
doi = {10.4204/EPTCS.3.16},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-5130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DragoiM08,
author = {Cezara Dragoi and
Florin Manea},
title = {On the Descriptional Complexity of Accepting Networks of Evolutionary
Processors with Filtered Connections},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {5},
pages = {1113--1132},
year = {2008},
url = {https://doi.org/10.1142/S0129054108006170},
doi = {10.1142/S0129054108006170},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DragoiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/ManeaMY08,
author = {Florin Manea and
Victor Mitrana and
Takashi Yokomori},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Zolt{\'{a}}n {\'{E}}sik},
title = {Some Remarks on the Hairpin Completion},
booktitle = {Automata and Formal Languages, 12th International Conference, {AFL}
2008, Balatonf{\"{u}}red, Hungary, May 27-30, 2008, Proceedings},
pages = {302--313},
year = {2008},
timestamp = {Fri, 18 Nov 2011 12:16:10 +0100},
biburl = {https://dblp.org/rec/conf/afl/ManeaMY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ManeaP07,
author = {Florin Manea and
Calina Ploscaru},
title = {A Generalization of the Assignment Problem, and its Application to
the Rank Aggregation Problem},
journal = {Fundam. Informaticae},
volume = {81},
number = {4},
pages = {459--471},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi81-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ManeaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/Manea07,
author = {Florin Manea},
title = {On the recognition of context-free languages using accepting hybrid
networks of evolutionary processors},
journal = {Int. J. Comput. Math.},
volume = {84},
number = {3},
pages = {273--285},
year = {2007},
url = {https://doi.org/10.1080/00207160701210760},
doi = {10.1080/00207160701210760},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/Manea07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManeaM07,
author = {Florin Manea and
Victor Mitrana},
title = {All NP-problems can be solved in polynomial time by accepting hybrid
networks of evolutionary processors of constant size},
journal = {Inf. Process. Lett.},
volume = {103},
number = {3},
pages = {112--118},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.03.001},
doi = {10.1016/J.IPL.2007.03.001},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ManeaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/DragoiMM07,
author = {Cezara Dragoi and
Florin Manea and
Victor Mitrana},
title = {Accepting Networks of Evolutionary Processors with Filtered Connections},
journal = {J. Univers. Comput. Sci.},
volume = {13},
number = {11},
pages = {1598--1614},
year = {2007},
url = {https://doi.org/10.3217/jucs-013-11-1598},
doi = {10.3217/JUCS-013-11-1598},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/DragoiMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ManeaMM07,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {On the size complexity of universal accepting hybrid networks of evolutionary
processors},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {753--771},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006202},
doi = {10.1017/S0960129507006202},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ManeaMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManeaMM07,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {Accepting networks of splicing processors: Complexity results},
journal = {Theor. Comput. Sci.},
volume = {371},
number = {1-2},
pages = {72--82},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.10.015},
doi = {10.1016/J.TCS.2006.10.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManeaMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManeaMM07a,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {Erratum to: "Accepting networks of splicing processors: Complexity
results" [Theoret. Comput. Sci. 371(2007) 72-82]},
journal = {Theor. Comput. Sci.},
volume = {378},
number = {1},
pages = {131},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.033},
doi = {10.1016/J.TCS.2007.03.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManeaMM07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManeaM07,
author = {Florin Manea and
Robert Mercas},
title = {Freeness of partial words},
journal = {Theor. Comput. Sci.},
volume = {389},
number = {1-2},
pages = {265--277},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.028},
doi = {10.1016/J.TCS.2007.09.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManeaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ManeaM07,
author = {Florin Manea and
Victor Mitrana},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Hairpin Completion Versus Hairpin Reduction},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {532--541},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_55},
doi = {10.1007/978-3-540-73001-9\_55},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/ManeaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DinuGM07,
author = {Liviu Petrisor Dinu and
Radu Gramatovici and
Florin Manea},
editor = {Remco Loos and
Szil{\'{a}}rd Zsolt Fazekas and
Carlos Mart{\'{\i}}n{-}Vide},
title = {On the syllabification of words via go-through automata},
booktitle = {{LATA} 2007. Proceedings of the 1st International Conference on Language
and Automata Theory and Applications},
volume = {Report 35/07},
pages = {223--236},
publisher = {Research Group on Mathematical Linguistics, Universitat Rovira i Virgili,
Tarragona},
year = {2007},
timestamp = {Mon, 15 Jun 2015 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/lata/DinuGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/CastellanosMLM07,
author = {Juan Castellanos and
Florin Manea and
Luis Fernando de Mingo L{\'{o}}pez and
Victor Mitrana},
editor = {J{\'{e}}r{\^{o}}me Olivier Durand{-}Lose and
Maurice Margenstern},
title = {Accepting Networks of Splicing Processors with Filtered Connections},
booktitle = {Machines, Computations, and Universality, 5th International Conference,
{MCU} 2007, Orl{\'{e}}ans, France, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4664},
pages = {218--229},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74593-8\_19},
doi = {10.1007/978-3-540-74593-8\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/CastellanosMLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/MitranaMM06,
author = {Victor Mitrana and
Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide},
title = {On Some Algorithmic Problems Regarding the Hairpin Completion},
journal = {Electron. Notes Discret. Math.},
volume = {27},
pages = {71--72},
year = {2006},
url = {https://doi.org/10.1016/j.endm.2006.08.061},
doi = {10.1016/J.ENDM.2006.08.061},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/MitranaMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ManeaMV06,
author = {Florin Manea and
Victor Mitrana and
Daniel{-}Claudian Voinescu},
title = {Synchronized Shuffle on Backbones},
journal = {Fundam. Informaticae},
volume = {73},
number = {1-2},
pages = {191--202},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-1-2-17},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ManeaMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DinuM06,
author = {Liviu Petrisor Dinu and
Florin Manea},
title = {An efficient approach for the rank aggregation problem},
journal = {Theor. Comput. Sci.},
volume = {359},
number = {1-3},
pages = {455--461},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.05.024},
doi = {10.1016/J.TCS.2006.05.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DinuM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/ManeaMM06,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
editor = {Chengde Mao and
Takashi Yokomori},
title = {All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks
of Splicing Processors of Constant Size},
booktitle = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4287},
pages = {47--57},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11925903\_4},
doi = {10.1007/11925903\_4},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/ManeaMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GramatoviciM05,
author = {Radu Gramatovici and
Florin Manea},
title = {Parsing Local Internal Contextual Languages with Context-Free Choice},
journal = {Fundam. Informaticae},
volume = {64},
number = {1-4},
pages = {171--183},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi64-1-4-15},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GramatoviciM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ManeaMM05,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Accepting Networks of Splicing Processors},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {300--309},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_38},
doi = {10.1007/11494645\_38},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/ManeaMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/Manea05,
author = {Florin Manea},
editor = {Jos{\'{e}} Mira and
Jos{\'{e}} R. {\'{A}}lvarez},
title = {Timed Accepting Hybrid Networks of Evolutionary Processors},
booktitle = {Artificial Intelligence and Knowledge Engineering Applications: {A}
Bioinspired Approach: First International Work-Conference on the Interplay
Between Natural and Artificial Computation, {IWINAC} 2005, Las Palmas,
Canary Islands, Spain, June 15-18, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3562},
pages = {122--132},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499305\_13},
doi = {10.1007/11499305\_13},
timestamp = {Wed, 13 Jan 2021 08:41:00 +0100},
biburl = {https://dblp.org/rec/conf/iwinac/Manea05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ManeaMM06,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
editor = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {A Universal Accepting Hybrid Network of Evolutionary Processors},
booktitle = {Proceedings of the First International Workshop on Developments in
Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {3},
pages = {95--105},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.024},
doi = {10.1016/J.ENTCS.2005.09.024},
timestamp = {Thu, 15 Dec 2022 14:14:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ManeaMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/ManeaMM04,
author = {Florin Manea and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
editor = {Maurice Margenstern},
title = {Solving 3CNF-SAT and {HPP} in Linear Time Using {WWW}},
booktitle = {Machines, Computations, and Universality, 4th International Conference,
{MCU} 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3354},
pages = {269--280},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31834-7\_22},
doi = {10.1007/978-3-540-31834-7\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/ManeaMM04.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-03-14 23:51 CET 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:
