Matthew R. Lakin

Petr Sulc

Nat. Comput., September, 2024

Geometric Enumeration of Localized DNA Strand Displacement Reaction Networks.

[BibT_eX]

[DOI]

Sarika Kumar

Proceedings of the 30th International Conference on DNA Computing and Molecular Programming, 2024

2023

Supervised Learning in a Multilayer, Nonlinear Chemical Neural Network.

[BibT_eX]

[DOI]

David Arredondo

IEEE Trans. Neural Networks Learn. Syst., October, 2023

Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation.

[BibT_eX]

[DOI]

Artif. Life, 2023

2022

Operant conditioning of stochastic chemical reaction networks.

[BibT_eX]

[DOI]

David Arredondo

PLoS Comput. Biol., November, 2022

2018

Automated analysis of tethered DNA nanostructures using constraint solving.

[BibT_eX]

[DOI]

Nat. Comput., 2018

2017

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2017

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

2016

A strand graph semantics for DNA-based computation.

[BibT_eX]

[DOI]

Rasmus L. Petersen

Theor. Comput. Sci., 2016

Modular verification of chemical reaction network encodings via serializability analysis.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Logic circuits based on molecular spider systems.

[BibT_eX]

[DOI]

Dandan Mo

Biosyst., 2016

2015

Scalable Design of Logic Circuits Using an Active Molecular Spider System.

[BibT_eX]

[DOI]

Dandan Mo

Proceedings of the Information Processing in Cells and Tissues, 2015

Supervised Learning in an Adaptive DNA Strand Displacement Circuit.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

2014

A Comparative Study of Reservoir Computing for Temporal Signal Processing.

[BibT_eX]

[DOI]

CoRR, 2014

Pattern Formation by Spatially Organized Approximate Majority Reactions.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2014

Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks.

[BibT_eX]

[DOI]

Alireza Goudarzi

Proceedings of the Unconventional Computation and Natural Computation, 2014

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2014

A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

Abstract Modelling of Tethered DNA Circuits.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

2013

Contextual equivalence for inductive definitions with binders in higher order typed functional programming.

[BibT_eX]

[DOI]

J. Funct. Program., 2013

Online Learning in a Chemical Perceptron.

[BibT_eX]

[DOI]

Peter Banda

Christof Teuscher

Artif. Life, 2013

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

DNA Reservoir Computing: A Novel Molecular Computing Approach.

[BibT_eX]

[DOI]

Alireza Goudarzi

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

2012

Stochastic simulation of multiple process calculi for biology.

[BibT_eX]

[DOI]

Loïc Paulevé

Theor. Comput. Sci., 2012

Encoding Abstract Syntax Without Fresh Names.

[BibT_eX]

[DOI]

J. Autom. Reason., 2012

Towards a Biomolecular Learning Machine.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2012

2011

Constraint solving in non-permutative nominal abstract syntax

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Visual DSD: a design and analysis tool for DNA strand displacement systems.

[BibT_eX]

[DOI]

Bioinform., 2011

Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

2010

An executable meta-language for inductive definitions with binders.

[BibT_eX]

[DOI]

PhD thesis, 2010

Stochastic Simulation of Process Calculi for Biology

[BibT_eX]

[DOI]

Loïc Paulevé

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A generic abstract machine for stochastic process calculi.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2009

2007

A Metalanguage for Structural Operational Semantics.

[BibT_eX]