5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.PL2017
Experimental Biological Protocols with Formal Semantics
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska +2
Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computati…
cs.ET2015★ 5 cited
Synthesizing and tuning chemical reaction networks with specified behaviours
Neil Dalchau, Niall Murphy, Rasmus Petersen +1
We consider how to generate chemical reaction networks (CRNs) from functional specifications. We propose a two-stage approach that combines synthesis by satisfiability modulo theor…
eess.SY2011
A Formal Verification Approach to the Design of Synthetic Gene Networks
Boyan Yordanov, Calin Belta
The design of genetic networks with specific functions is one of the major goals of synthetic biology. However, constructing biological devices that work "as required" remains chal…