activity
20152022
most citedTransducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems

1 citations · 1 across the 4 of their papers we have counts for

collaborators

6 papers

cs.FL2022

Approximate NFA Universality and Related Problems Motivated by Information Theory

Stavros Konstantinidis, Mitja Mastnak, Nelma Moreira +1

In coding and information theory, it is desirable to construct maximal codes that can be either variable length codes or error control codes of fixed length. However deciding code…

cs.FL2019

Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations

Stavros Konstantinidis, Mitja Mastnak, Juraj Sebej

We consider the problem of partitioning effectively a given symmetric (and irreflexive) rational relation R into two asymmetric rational relations. This problem is motivated by a r…

cs.FL2018

Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels

Stavros Konstantinidis, Nelma Moreira, Rogerio Reis +1

We are interested in regular expressions and transducers that represent word relations in an alphabet-invariant way---for example, the set of all word pairs u,v where v is a prefix…

cs.FL2015

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…

q-bio.GN2015

An investigation into inter- and intragenomic variations of graphic genomic signatures

Rallis Karamichalis, Lila Kari, Stavros Konstantinidis +1

We provide, on an extensive dataset and using several different distances, confirmation of the hypothesis that CGR patterns are preserved along a genomic DNA sequence, and are diff…

cs.FL20151 cited

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…