# Publications

(2020). Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. In: John Baez and Bob Coecke: Proceedings Applied Category Theory 2019 (ACT 2019), University of Oxford, UK, 15-19 July 2019, Electronic Proceedings in Theoretical Computer Science 323, pp. 44-71..

(2020). Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. In: Logical Methods in Computer Science, Volume 16, Issue 3.

(2020). Rule Algebras for Adhesive Categories (invited extended jounral version). In: Logical Methods in Computer Science, Volume 16, Issue 3.

(2020). Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping. In: arXiv preprint (accepted for GCM 2020).

(2020). Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. Graph Transformation, 13th International Conference, ICGT 2020, Proceedings, volume 12150 of Theoretical Computer Science and General Issues, Springer International Publishing.

(2019). Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework. Electronic Proceedings in Theoretical Computer Science, 309:23–52.

(2019). Dual Numbers and Operational Umbral Methods. In: Axioms, 8(3):77.

(2019). Compositionality of Rewriting Rules with Conditions. In: arXiv preprint.

(2019). Operator Ordering and Solution of Pseudo-Evolutionary Equations. In: Axioms, 8(1), p.35.

(2019). Operational Methods in the Study of Sobolev-Jacobi Polynomials. In: Mathematics, (7), 2, pp. 124.

(2018). Rule Algebras for Adhesive Categories. In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 11:1–11:21.

(2018). Explicit formulae for all higher order exponential lacunary generating functions of Hermite polynomials. In: arXiv preprint.

(2017). Combinatorics of chemical reaction systems. In: arXiv preprint.

(2016). The algebras of graph rewriting. In: arXiv preprint.

(2016). Stochastic mechanics of graph rewriting. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS ‘16, ACM Press.

(2016). Holography as a highly efficient renormalization group flow. II. An explicit construction. In: Physical Review D, (94), 2.

(2016). Holography as a highly efficient renormalization group flow. I. Rephrasing gravity. In: Physical Review D, (94), 2.

(2015). Matrix factorisations for rational boundary conditions by defect fusion. In: Journal of High Energy Physics, (2015), 5.

(2014). Renormalization and redundancy in 2d quantum field theories. In: Journal of High Energy Physics, (2014), 2.

(2012). Variable transformation defects. Proceedings of Symposia in Pure Mathematics, Volume 85.

(2011). New solid state lens for reflective neutron focusing. In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, (634), 1, pp. S104–S107.

(2010). D-branes and matrix factorisations in supersymmetric coset models. In: Journal of High Energy Physics, 11, (2010)136.

(2008). Optical Antenna Properties of Scanning Probe Tips: Plasmonic Light Scattering, Tip-Sample Coupling, and Near-Field Enhancement. In: The Journal of Physical Chemistry C, (112), 10, pp. 3766–3773.

(2007). Reply to Comment on `Scanning-probe Raman spectroscopy with single-molecule sensitivity' ''. In: Phys. Rev. B, (75), pp. 236402.

(2006). Ultrahigh resolution scattering near-field vibrational microscopy with single molecule sensitivity. In: 2006 Conference on Lasers and Electro-Optics and 2006 Quantum Electronics and Laser Science Conference, IEEE.

(2006). Scanning-probe Raman spectroscopy with single-molecule sensitivity. In: Physical Review B, (73), 19.