Automata and Computational Models
This field of reasearch is focused on the investigation of a formal operation for generating languages based on the cut and paste phenomenon occuring in recombinant DNA, named splicing. Our main contribution concerns the design of decision procedures for classes of regular splicing languages (linear and circular). More recently, we have contributed to solve a conjecture on the existence of constants in regular splicing languages.
Existence of Constants in Regular Splicing Languages Information and Computation (2015), pp. 340-353 DOI information: 10.1016/j.ic.2015.04.001