Boolean Recombinase-Based Devices - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2019

Boolean Recombinase-Based Devices


This paper relates to a central problem in synthetic biology, which is that of designing Recombinase-based biological devices by matching a functional specification expressed as a Boolean function. This task is challenging as exploring the space of possibilities is typically unfeasible, and therefore many non-trivial design alternatives remain unexplored. Also, the issue has been so far regarded mainly from a practical perspective and is still lacking of formal foundations on which the definition of algorithms for assisting the biologists in their design tasks can be based. In this work, we present the first formal study of the problem, and give a formal semantics for a family of Recombinase-based biological devices. We then exhibit a set of semantic properties leading to the definition of representative devices, a notion that allows one to express infinitely large classes of design possibilities in a finite way. Building on this, we then provide a terminating algorithm for generating representative devices for n-input Boolean functions. An open online database of 18M design solutions for 4-inputs devices generated with our method has been released at
Fichier principal
Vignette du fichier
tpnc.pdf (321.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-02416052 , version 1 (17-12-2019)



Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, Jérôme Bonnet. Boolean Recombinase-Based Devices. TPNC 2019 - 8th International Conference on Theory and Practice of Natural Computing, Dec 2019, Kingstone, Canada. pp.82-94, ⟨10.1007/978-3-030-34500-6_5⟩. ⟨lirmm-02416052⟩
93 View
177 Download



Gmail Facebook X LinkedIn More