| Publication | Date of Publication | Type |
|---|
Arithmetic functions on a Dedekind domain
Communications in Algebra | 2026-04-01 | Paper |
The Gross-Zagier formula on singular moduli for Shimura curves
(available as arXiv preprint) | 2025-01-01 | Paper |
Special endomorphisms of QM abelian surfaces
(available as arXiv preprint) | 2025-01-01 | Paper |
Automated analysis of tethered DNA nanostructures using constraint solving
Natural Computing | 2023-11-30 | Paper |
Computing with biological switches and clocks
Natural Computing | 2023-11-30 | Paper |
| Fast enumeration of non-isomorphic chemical reaction networks | 2019-10-10 | Paper |
| Automated, constraint-based analysis of tethered DNA nanostructures | 2018-02-02 | Paper |
Modular verification of chemical reaction network encodings via serializability analysis
Theoretical Computer Science | 2016-05-27 | Paper |
A strand graph semantics for DNA-based computation
Theoretical Computer Science | 2016-05-27 | Paper |
An abstract machine for the stochastic bioambient calculus
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks
Lecture Notes in Computer Science | 2014-10-08 | Paper |
Abstract modelling of tethered DNA circuits
Lecture Notes in Computer Science | 2014-10-08 | Paper |
Modular verification of DNA strand displacement networks via serializability analysis
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Functional analysis of large-scale DNA strand displacement circuits
Lecture Notes in Computer Science | 2014-07-07 | Paper |
A process model of actin polymerisation
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
A chart semantics for the pi-calculus
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Stochastic simulation of multiple process calculi for biology
Theoretical Computer Science | 2012-05-30 | Paper |
Localized hybridization circuits
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Modelling, simulating and verifying Turing-powerful strand displacement systems
Lecture Notes in Computer Science | 2011-09-16 | Paper |
| A correct abstract machine for the stochastic bioambient calculus | 2011-06-07 | Paper |
A process model of Rho GTP-binding proteins
Theoretical Computer Science | 2009-08-07 | Paper |
| scientific article; zbMATH DE number 5526621 (Why is no real title available?) | 2009-03-09 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Transactions on Computational Systems Biology IV
Lecture Notes in Computer Science | 2007-05-02 | Paper |
