Steffen Kopecki

dblp:31/7223 · DBLP profile ↗
← Back
23ranked-venue papers
2as first author
1since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 15 · 2 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 5Artificial intelligence and machine learning · 3
YearPublicationVenuePosition
2023 On the binary digits of n and n2
Karam Aloui, Damien Jamet, Hajime Kaneko, Steffen Kopecki, Pierre Popoli, Thomas Stoll
Theor. Comput. Sci.4
2018 Transducer descriptions of DNA code properties and undecidability of antimorphic problems
Lila Kari, Stavros Konstantinidis, Steffen Kopecki
Inf. Comput.3
2017 Binary Pattern Tile Set Synthesis Is NP-Hard
Lila Kari, Steffen Kopecki, Pierre-Etienne Meunier, Matthew J. Patitz, Shinnosuke Seki 0001
Algorithmica2
2017 Further remarks on DNA overlap assembly
Srujan Kumar Enaganti, Oscar H. Ibarra, Lila Kari, Steffen Kopecki
Inf. Comput.4
2017 Deciding whether a regular language is generated by a splicing system
Lila Kari, Steffen Kopecki
J. Comput. Syst. Sci.2
2017 On the overlap assembly of strings and languages
Srujan Kumar Enaganti, Oscar H. Ibarra, Lila Kari, Steffen Kopecki
Nat. Comput.4
2016 Additive methods for genomic signatures
abstract
BACKGROUND: Studies exploring the potential of Chaos Game Representations (CGR) of genomic sequences to act as "genomic signatures" (to be species- and genome-specific) showed that CGR patterns of nuclear and organellar DNA sequences of the same organism can be very different. While the hypothesis that CGRs of mitochondrial DNA sequences can act as genomic signatures was validated for a snapshot of all sequenced mitochondrial genomes available in the NCBI GenBank sequence database, to our knowledge no such extensive analysis of CGRs of nuclear DNA sequences exists to date. RESULTS: We analyzed an extensive dataset, totalling 1.45 gigabase pairs, of nuclear/nucleoid genomic sequences (nDNA) from 42 different organisms, spanning all major kingdoms of life. Our computational experiments indicate that CGR signatures of nDNA of two different origins cannot always be differentiated, especially if they originate from closely-related species such as H. sapiens and P. troglodytes or E. coli and E. fergusonii. To address this issue, we propose the general concept of additive DNA signature of a set (collection) of DNA sequences. One particular instance, the composite DNA signature, combines information from nDNA fragments and organellar (mitochondrial, chloroplast, or plasmid) genomes. We demonstrate that, in this dataset, composite DNA signatures originating from two different organisms can be differentiated in all cases, including those where the use of CGR signatures of nDNA failed or was inconclusive. Another instance, the assembled DNA signature, combines information from many short DNA subfragments (e.g., 100 basepairs) of a given DNA fragment, to produce its signature. We show that an assembled DNA signature has the same distinguishing power as a conventionally computed CGR signature, while using shorter contiguous sequences and potentially less sequence information. CONCLUSIONS: Our results suggest that, while CGR signatures of nDNA cannot always play the role of genomic signatures, composite and assembled DNA signatures (separately or in combination) could potentially be used instead. Such additive signatures could be used, e.g., with raw unassembled next-generation sequencing (NGS) read data, when high-quality sequencing data is not available, or to complement information obtained by other methods of species identification or classification.
Rallis Karamichalis, Lila Kari, Stavros Konstantinidis, Steffen Kopecki, Stephen Solis-Reyes
BMC Bioinform.4
2016 Preface
Oscar H. Ibarra, Lila Kari, Steffen Kopecki
Nat. Comput.3
2015 Binary Pattern Tile Set Synthesis Is NP-hard
Lila Kari, Steffen Kopecki, Pierre-Etienne Meunier, Matthew J. Patitz, Shinnosuke Seki 0001
ICALP (1)2
2015 An investigation into inter- and intragenomic variations of graphic genomic signatures
abstract
BACKGROUND: Motivated by the general need to identify and classify species based on molecular evidence, genome comparisons have been proposed that are based on measuring mostly Euclidean distances between Chaos Game Representation (CGR) patterns of genomic DNA sequences. RESULTS: 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 different for DNA sequences originating from genomes of different species. This finding lends support to the theory that CGRs of genomic sequences can act as graphic genomic signatures. In particular, we compare the CGR patterns of over five hundred different 150,000 bp genomic sequences spanning one complete chromosome from each of six organisms, representing all kingdoms of life: H. sapiens (Animalia; chromosome 21), S. cerevisiae (Fungi; chromosome 4), A. thaliana (Plantae; chromosome 1), P. falciparum (Protista; chromosome 14), E. coli (Bacteria - full genome), and P. furiosus (Archaea - full genome). To maximize the diversity within each species, we also analyze the interrelationships within a set of over five hundred 150,000 bp genomic sequences sampled from the entire aforementioned genomes. Lastly, we provide some preliminary evidence of this method's ability to classify genomic DNA sequences at lower taxonomic levels by comparing sequences sampled from the entire genome of H. sapiens (class Mammalia, order Primates) and of M. musculus (class Mammalia, order Rodentia), for a total length of approximately 174 million basepairs analyzed. We compute pairwise distances between CGRs of these genomic sequences using six different distances, and construct Molecular Distance Maps, which visualize all sequences as points in a two-dimensional or three-dimensional space, to simultaneously display their interrelationships. CONCLUSION: Our analysis confirms, for this dataset, that CGR patterns of DNA sequences from the same genome are in general quantitatively similar, while being different for DNA sequences from genomes of different species. Our assessment of the performance of the six distances analyzed uses three different quality measures and suggests that several distances outperform the Euclidean distance, which has so far been almost exclusively used for such studies.
Rallis Karamichalis, Lila Kari, Stavros Konstantinidis, Steffen Kopecki
BMC Bioinform.4
2015 A Formal Language Model of DNA Polymerase Enzymatic Activity
abstract
We propose and investigate a formal language operation inspired by the naturally occurring phenomenon of DNA primer extension by a DNA-template-directed DNA Polymerase enzyme. Given two DNA strings u and v, where the shorter string v (called primer) is Watson-Crick complementary and can thus bind to a substring of the longer string u (called template) the result of the primer extension is a DNA string that is complementary to a suffix of the template which starts at the binding position of the primer. The operation of DNA primer extension can be abstracted as a binary operation on two formal languages: a template language L 1 and a primer language L 2 . We call this language operation L 1 -directed extension of L 2 and study the closure properties of various language classes, including the classes in the Chomsky hierarchy, under directed extension. Furthermore, we answer the question under what conditions can a given language of target strings be generated from a given template language when the primer language is unknown. We use the canonic inverse of directed extension in order to obtain the optimal solution (the minimal primer language) to this question.
Srujan Kumar Enaganti, Lila Kari, Steffen Kopecki
Fundam. Informaticae3
2015 3-color bounded patterned self-assembly
Lila Kari, Steffen Kopecki, Shinnosuke Seki 0001
Nat. Comput.2
2014 On the maximality of languages with combined types of code properties
Lila Kari, Stavros Konstantinidis, Steffen Kopecki
Theor. Comput. Sci.3
2013 3-Color Bounded Patterned Self-assembly - (Extended Abstract)
Lila Kari, Steffen Kopecki, Shinnosuke Seki 0001
DNA2
2012 Deciding Whether a Regular Language Is Generated by a Splicing System
Lila Kari, Steffen Kopecki
DNA2
2012 Iterated Hairpin Completions of Non-crossing Words
Lila Kari, Steffen Kopecki, Shinnosuke Seki 0001
SOFSEM2
2012 Deciding regularity of hairpin completions of regular languages in polynomial time
Volker Diekert, Steffen Kopecki, Victor Mitrana
Inf. Comput.2
2012 Language theoretical properties of hairpin formations
Volker Diekert, Steffen Kopecki
Theor. Comput. Sci.2
2011 On the Regularity of Iterated Hairpin Completion of a Single Word
abstract
Hairpin completion is an abstract operation modeling a DNA bio-operation which receives as input a DNA strand w = xαy\bar{α}, and outputs w' = xαy\bar{α}\bar{x}, where \bar{x} denotes the Watson-Crick complement of x. In this paper, we focus on the problem of finding conditions under which the iterated hairpin completion of a given word is regular. According to the numbers of words α and \bar{α} that initiate hairpin completion and how they are scattered, we classify the set of all words w. For some basic classes of words w containing small numbers of occurrences of α and \bar{α}, we prove that the iterated hairpin completion of w is regular. For other classes with higher numbers of occurrences of α and \bar{α}, we prove a necessary and sufficient condition for the iterated hairpin completion of a word in these classes to be regular.
Lila Kari, Shinnosuke Seki 0001, Steffen Kopecki
Fundam. Informaticae3
2011 On iterated hairpin completion
Steffen Kopecki
Theor. Comput. Sci.1
2010 On the Iterated Hairpin Completion
Steffen Kopecki
Developments in Language Theory1
2010 Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract)
Volker Diekert, Steffen Kopecki
CIAA2
2009 On the Hairpin Completion of Regular Languages
Volker Diekert, Steffen Kopecki, Victor Mitrana
ICTAC2