26 citations · 26 across the 3 of their papers we have counts for
4 papers
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…
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…
Tree Automata Make Ordinal Theory Easy
Thierry Cachat
We give a new simple proof of the decidability of the First Order Theory of (omega^omega^i,+) and the Monadic Second Order Theory of (omega^i,<), improving the complexity in both c…
Controller synthesis & Ordinal Automata
Thierry Cachat
Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak i…