6 citations · 12 across the 9 of their papers we have counts for
3 papers · 2 filters
Embedding rationally independent languages into maximal ones
Stavros Konstantinidis, Mitja Mastnak
We consider the embedding problem in coding theory: given an independence (a code-related property) and an independent language , find a maximal independent language containing…
Symbolic Manipulation of Code Properties
Stavros Konstantinidis, Casey Meijer, Nelma Moreira +1
The FAdo system is a symbolic manipulator of formal languages objects, implemented in Python. In this work, we extend its capabilities by implementing methods to manipulate transdu…
Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems
Lila Kari, Stavros Konstantinidis, Steffen Kopecki
This work concerns formal descriptions of DNA code properties, and builds on previous work on transducer descriptions of classic code properties and on trajectory descriptions of D…