Skip to Main content Skip to Navigation
Conference papers

Boolean Recombinase-Based Devices

Guillaume Pérution-Kihli 1 Sarah Guiziou 2, 3 Federico Ulliana 1 Michel Leclère 1 Jérôme Bonnet 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Federico Ulliana <>
Submitted on : Tuesday, December 17, 2019 - 3:45:58 PM
Last modification on : Thursday, May 28, 2020 - 1:06:03 PM
Long-term archiving on: : Wednesday, March 18, 2020 - 5:25:03 PM


Files produced by the author(s)




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⟩



Record views


Files downloads