26 citations · 26 across the 2 of their papers we have counts for
2 papers
q-bio.QM2007
Attenuation Regulation as a Term Rewriting System
Eugene Asarin, Thierry Cachat, Alexander Seliverstov +2
The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an operon b…
cs.GT2007★ 26 cited
The Complexity of Games on Higher Order Pushdown Automata
Thierry Cachat, Igor Walukiewicz
We prove an n-EXPTIME lower bound for the problem of deciding the winner in a reachability game on Higher Order Pushdown Automata (HPDA) of level n. This bound matches the known up…