@article(AlhFIV2022, author = {A.~Alhazov and R.~Freund and S.~Ivanov and S.~Verlan}, year = {2022}, title = {Regulated Insertion-Deletion Systems}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {27}, number = {1-3}, pages = {15--45}, doi = {10.25596/jalc-2022-015}, ) @book(Ben93, editor = {R.~Benne}, year = {1993}, title = {{RNA} Editing: The Alteration of Protein Coding Sequences of {RNA}}, publisher = {Ellis Horwood}, ) @article(FerKupRam2017b, author = {H.~Fernau and L.~Kuppusamy and I.~Raman}, year = {2017}, title = {On the computational completeness of graph-controlled insertion-deletion systems with binary sizes}, journal = {Theoretical Computer Science}, volume = {682}, pages = {100--121}, doi = {10.1016/j.tcs.2017.01.019}, ) @article(FerKupRam2019, author = {H.~Fernau and L.~Kuppusamy and I.~Raman}, year = {2019}, title = {On path-controlled insertion-deletion systems}, journal = {Acta Informatica}, volume = {56}, number = {1}, pages = {35--59}, doi = {10.1007/s00236-018-0312-2}, ) @article(FerKupRam2021a, author = {H.~Fernau and L.~Kuppusamy and I.~Raman}, year = {2021}, title = {On the generative capacity of matrix insertion-deletion systems of small sum-norm}, journal = {Natural Computing}, volume = {20}, number = {4}, pages = {671--689}, doi = {10.1007/s11047-021-09866-y}, ) @inproceedings(FreKRV2010, author = {R.~Freund and M.~Kogler and Y.~Rogozhin and S.~Verlan}, year = {2010}, title = {Graph-Controlled Insertion-Deletion Systems}, editor = {I.~McQuillan and G.~Pighizzini}, booktitle = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, {DCFS}}, series = {{EPTCS}}, volume = {31}, pages = {88--98}, doi = {10.4204/EPTCS.31.11}, ) @article(Gef91a, author = {V.~Geffert}, year = {1991}, title = {Normal forms for phrase-structure grammars}, journal = {{RAIRO} Informatique th\'eorique et Applications/Theoretical Informatics and Applications}, volume = {25}, pages = {473--498}, doi = {10.1051/ita/1991250504731}, ) @inproceedings(IvaVer1314, author = {S.~Ivanov and S.~Verlan}, year = {2014}, title = {About One-Sided One-Symbol Insertion-Deletion {P} Systems}, editor = {A.~Alhazov and S.~Cojocaru and M.~Gheorghe and Y.~Rogozhin and G.~Rozenberg and A.~Salomaa}, booktitle = {Membrane Computing - 14th Int. Conf., {CMC} 2013}, series = {LNCS}, volume = {8340}, publisher = {Springer}, pages = {225--237}, doi = {10.1007/978-3-642-54239-8\_16}, ) @article(IvaVer2017, author = {S.~Ivanov and S.~Verlan}, year = {2017}, title = {Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems}, journal = {Fundamenta Informaticae}, volume = {155}, number = {1-2}, pages = {163--185}, doi = {10.3233/FI-2017-1580}, ) @incollection(KarPTY99, author = {L.~Kari and {\relax Gh}.~P\u{a}un and G.~Thierrin and S.~Yu}, year = {1999}, title = {At the crossroads of {DNA} computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems}, booktitle = {Discrete Mathematics and Theretical Computer Science}, series = {DIMACS}, volume = {48}, publisher = {AMS}, pages = {329--338}, doi = {10.1090/dimacs/048/23}, ) @article(KarThi96, author = {L.~Kari and G.~Thierrin}, year = {1996}, title = {Contextual Insertions/Deletions and Computability}, journal = {Information and Computation}, volume = {131}, number = {1}, pages = {47--61}, doi = {10.1006/inco.1996.0091}, ) @inproceedings(KraRogVer2008, author = {A.~Krassovitskiy and Y.~Rogozhin and S.~Verlan}, year = {2008}, title = {Further Results on Insertion-Deletion Systems with One-Sided Contexts}, editor = {C.~Mart{\'{\i}}n{-}Vide and F.~Otto and H.~Fernau}, booktitle = {Language \& Automata Theory \& Applications, {LATA}}, series = {LNCS}, volume = {5196}, publisher = {Springer}, pages = {333--344}, doi = {10.1007/978-3-540-88282-4\_31}, ) @inproceedings(KriRam0102, author = {S.~N. Krishna and R.~Rama}, year = {2002}, title = {Insertion-Deletion {P} Systems}, editor = {N.~Jonoska and N.~C. Seeman}, booktitle = {{DNA} Computing, 7th Int. Workshop on DNA-Based Computers, 2001}, series = {LNCS}, volume = {2340}, publisher = {Springer}, pages = {360--370}, doi = {10.1007/3-540-48017-X\_34}, ) @article(Mar69, author = {S.~Marcus}, year = {1969}, title = {Contextual grammars}, journal = {Revue Roumaine de Math\'ematiques Pures et Appliqu\'ees}, volume = {14}, pages = {1525--1534}, ) @inproceedings(MatRogVer2007, author = {A.~Matveevici and Y.~Rogozhin and S.~Verlan}, year = {2007}, title = {Insertion-Deletion Systems with One-Sided Contexts}, booktitle = {MCU}, series = {LNCS}, volume = {4664}, publisher = {Springer}, pages = {205--217}, doi = {10.1007/978-3-540-74593-8\_18}, ) @book(Pau97, author = {{\relax Gh}.~P{\u a}un}, year = {1997}, title = {Marcus Contextual Grammars}, series = {Studies in Linguistics and Philosophy}, volume = {67}, publisher = {Kluwer}, doi = {10.1007/978-94-015-8969-7_4}, ) @book(PauRozSal98a, author = {{\relax Gh}.~P{\u a}un and G.~Rozenberg and A.~Salomaa}, year = {1998}, title = {DNA Computing: New Computing Paradigms}, publisher = {Springer}, doi = {10.1007/978-3-662-03563-4}, ) @article(PetVer2012, author = {I.~Petre and S.~Verlan}, year = {2012}, title = {Matrix insertion-deletion systems}, journal = {Theoretical Computer Science}, volume = {456}, pages = {80--88}, doi = {10.1016/j.tcs.2012.07.002}, ) @article(TakYok2003, author = {A.~Takahara and T.~Yokomori}, year = {2003}, title = {On the computational power of insertion-deletion systems}, journal = {Natural Computing}, volume = {2}, number = {4}, pages = {321--336}, doi = {10.1023/B:NACO.0000006769.27984.23}, ) @article(Ver2010, author = {S.~Verlan}, year = {2010}, title = {Recent Developments on Insertion-Deletion Systems}, journal = {The Computer Science Journal of Moldova}, volume = {18}, number = {2}, pages = {210--245}, )