Carlo Spaccasassi

Latest

• Automated Leak Analysis of Nucleic Acid Circuits
• Fast Enumeration of Non-isomorphic Chemical Reaction Networks
• A Logic Programming Language for Computational Nucleic Acid Devices