10 citations · 14 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021★ 1 cited
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version)
Nicolas Behr, Jean Krivine, Jakob L. Andersen +1
The Kappa biochemistry and the MØD organic chemistry frameworks are amongst the most intensely developed applications of rewriting-based methods in the life sciences to date. A typ…
cs.LO2019
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework
Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle +2
Graph transformation approaches have been successfully used to analyse and design chemical and biological systems. Here we build on top of a DPO framework, in which molecules are m…