Publications

Nicolas Behr, Russ Harmer, Jean Krivine (2023). Fundamentals of Compositional Rewriting Theory. In: Journal of Logical and Algebraic Methods in Programming, Volume 135, 2023.

Preprint PDF Cite Slides Video

Nicolas Behr, Paul-André Melliès, Noam Zeilberger (2023). Convolution Products on Double Categories and Categorification of Rule Algebras. In: 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Leibniz International Proceedings in Informatics (LIPIcs).

PDF Cite Slides Video

Nicolas Behr, Joachim Kock (2022). Tracelet Hopf algebras and decomposition spaces. In Kohei Kishida: Proceedings of the Fourth International Conference on Applied Category Theory (ACT 2021), Cambridge, United Kingdom, 12-16th July 2021, Electronic Proceedings in Theoretical Computer Science 372, pp. 323–337..

PDF Cite Slides Video

Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle (2021). Rewriting theory for the life sciences: A unifying theory of CTMC semantics. In: Theoretical Computer Science.

PDF Cite Video

Nicolas Behr, Russ Harmer, Jean Krivine (2021). Concurrency Theorems for Non-linear Rewriting Theories. In: ICGT 2021, Lecture Notes in Computer Science, vol 12741, 2021..

Preprint PDF Cite Slides

Nicolas Behr, Stefan Fredenhagen (2021). Fusion of interfaces in Landau-Ginzburg models: a functorial approach. In: J. High Energ. Phys. 2021, 235 (2021)..

PDF Cite

Nicolas Behr, Jean Krivine (2021). Compositionality of Rewriting Rules with Conditions. Compositionality 3, 2 (2021)..

PDF Cite Video

Nicolas Behr (2021). On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods. Invited Paper in Patrick Bahr (ed.): Proceedings 11th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2020), Online, 5th July 2020, Electronic Proceedings in Theoretical Computer Science 334, pp. 11–28..

PDF Cite

Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel (2021). Stochastic Graph Transformation For Social Network Modeling. Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021.

PDF Cite DOI

Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel (2020). Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping. In: B. Hoffmann and M. Minas: Proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020), Online-Workshop, 24th June 2020, Electronic Proceedings in Theoretical Computer Science 330, pp. 126–144..

PDF Cite

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

PDF Cite Slides Video

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

PDF Cite Slides

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

PDF Cite

Nicolas Behr, Jean Krivine (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 Cite

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

PDF Cite Slides

Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi (2019). Dual Numbers and Operational Umbral Methods. In: Axioms, 8(3):77.

PDF Cite

Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi (2019). Operator Ordering and Solution of Pseudo-Evolutionary Equations. In: Axioms, 8(1), p.35.

PDF Cite

Nicolas Behr, Giuseppe Dattoli, Gérard H.E. Duchamp, Silvia Licciardi, Karol A. Penson (2019). Operational Methods in the Study of Sobolev-Jacobi Polynomials. In: Mathematics, (7), 2, pp. 124.

PDF Cite Slides Video

Nicolas Behr, Pawel Sobocinski (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.

PDF Cite Slides

Nicolas Behr, Gérard H.E. Duchamp, Karol A. Penson (2018). Explicit formulae for all higher order exponential lacunary generating functions of Hermite polynomials. In: arXiv preprint.

Preprint PDF Cite Slides

Nicolas Behr, Gérard H.E. Duchamp, Karol A. Penson (2017). Combinatorics of chemical reaction systems. In: arXiv preprint.

Preprint PDF Cite Slides

Nicolas Behr, Vincent Danos, Ilias Garnier, Tobias Heindel (2016). The algebras of graph rewriting. In: arXiv preprint.

Preprint PDF Cite Slides Video

Nicolas Behr, Vincent Danos, Ilias Garnier (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 Cite Slides

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

Preprint PDF Cite

Nicolas Behr, Stanislav Kuperstein, Ayan Mukhopadhyay (2016). Holography as a highly efficient renormalization group flow. I. Rephrasing gravity. In: Physical Review D, (94), 2.

Preprint PDF Cite

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

Preprint PDF Cite

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

Preprint PDF Cite Slides

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

Preprint PDF Cite

Roland Bartmann, Nicolas Behr, Andre Hilger, Thomas Krist (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 Cite

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

Preprint PDF Cite

Nicolas Behr, Markus B. Raschke (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 Cite

Catalin C. Neacsu, Jens Dreyer, Nicolas Behr, Markus B. Raschke (2007). Reply to ``Comment on `Scanning-probe Raman spectroscopy with single-molecule sensitivity' ''. In: Phys. Rev. B, (75), pp. 236402.

PDF Cite

Catalin C. Neacsu, Jens Dreyer, Nicolas Behr, Markus B. Raschke (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 Cite

Catalin C. Neacsu, Jens Dreyer, Nicolas Behr, Markus B. Raschke (2006). Scanning-probe Raman spectroscopy with single-molecule sensitivity. In: Physical Review B, (73), 19.

PDF Cite