Matthew R Lakin

Latest

• Domain-Specific Programming Languages for Computational Nucleic Acid Systems
• A Logic Programming Language for Computational Nucleic Acid Devices
• Automated analysis of tethered DNA nanostructures using constraint solving
• Automated, Constraint-Based Analysis of Tethered DNA Nanostructures
• A strand graph semantics for DNA-based computation
• Modular verification of chemical reaction network encodings via serializability analysis
• Abstract Modelling of Tethered DNA Circuits
• Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
• Modular Verification of DNA Strand Displacement Networks via Serializability Analysis
• Design and analysis of DNA strand displacement devices using probabilistic model checking
• Stochastic simulation of multiple process calculi for biology
• Abstractions for DNA circuit design
• Visual DSD: a design and analysis tool for DNA strand displacement systems
• A generic abstract machine for stochastic process calculi