Coding and information theory
Intersection and union of regular languages and state complexity
Information Processing Letters
Handbook of formal languages, vol. 1: word, language, grammar
Handbook of formal languages, vol. 1: word, language, grammar
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
Theoretical and Experimental DNA Computation (Natural Computing Series)
Theoretical and Experimental DNA Computation (Natural Computing Series)
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
On hairpin-free words and languages
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Characterization of non-crosshybridizing DNA oligonucleotides manufactured In Vitro
DNA'04 Proceedings of the 10th international conference on DNA computing
Bond-free languages: formalizations, maximality and construction methods
DNA'04 Proceedings of the 10th international conference on DNA computing
Testing structure freeness of regular sets of biomolecular sequences
DNA'04 Proceedings of the 10th international conference on DNA computing
Aqueous computing with DNA hairpin-based RAM
DNA'04 Proceedings of the 10th international conference on DNA computing
On pseudoknot-bordered words and their properties
Journal of Computer and System Sciences
Characterizing DNA Bond Shapes Using Trajectories
Fundamenta Informaticae
On the Hairpin Completion of Regular Languages
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Watson-Crick conjugate and commutative words
DNA13'07 Proceedings of the 13th international conference on DNA computing
Watson---Crick palindromes in DNA computing
Natural Computing: an international journal
DNA computing: a research snapshot
Algorithms and theory of computation handbook
Complexity results and the growths of hairpin completions of regular languages
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
On iterated hairpin completion
Theoretical Computer Science
Hairpin structures defined by DNA trajectories
DNA'06 Proceedings of the 12th international conference on DNA Computing
Characterizing DNA bond shapes using trajectories
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Deciding regularity of hairpin completions of regular languages in polynomial time
Information and Computation
Characterizing DNA Bond Shapes Using Trajectories
Fundamenta Informaticae
Hi-index | 0.00 |
We formalize the notion of a DNA hairpin secondary structure, examining its mathematical properties. Two related secondary structures are also investigated, taking into the account imperfect bonds (bulges, mismatches) and multiple hairpins. We characterize maximal sets of hairpin-forming DNA sequences, as well as hairpin-free ones. We study their algebraic properties and their computational complexity. Related polynomial-time algorithms deciding hairpin-freedom of regular sets are presented. Finally, effective methods for design of long hairpin-free DNA words are given.