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..

Preprint PDF Slides Video

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

Preprint PDF Slides

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

Preprint PDF

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

Preprint PDF

(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.

Preprint PDF

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

Preprint PDF Slides

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

PDF

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

Preprint PDF

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

Preprint PDF

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

Preprint PDF Slides Video

(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.

Preprint PDF Slides

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

Preprint PDF Slides

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

Preprint PDF Slides

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

Preprint PDF Slides Video

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

Preprint PDF Slides

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

Preprint PDF

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

Preprint PDF

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

Preprint PDF

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

Preprint PDF Slides

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

Preprint PDF

(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.

PDF

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

Preprint PDF

(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.

PDF

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

PDF

(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.

PDF

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

PDF