nicolas behr
short-term fellow
nicolas's Bio

I am currently a Short-Term Fellow at CRI Paris, working on the development of tracelet-analysis algorithms for the biochemistry platform Kappa and for the organo-chemistry platform MØD. I previously held a Marie Skłodowska-Curie Individual Fellowship (2017-2019), working in the field of theoretical computer science at IRIF, Université Paris Diderot. The aim of my project with Jean Krivine (IRIF) consisted in developing extensions of my rule-algebraic framework to restricted variants of rewriting and to the biochemical reaction language Kappa. I am also frequently to be found at the LPTMC of the UPMC/Sorbonne/Paris 06, working with Gérard H.E. Duchamp (Paris 13) and Karol A. Penson (Paris 6) on topics in combinatorics. My previous positions include a Postdoc position with Vincent Danos at ENS Paris and at University of Edinburgh (2014-2017) and a Postdoc position in mathematical physics with Anatoly Konechny at Heriot-Watt University in Edinburgh (2011-2014). I obtained a PhD in mathematical physics from Humboldt University Berlin in 2012 for work at the Max Planck Institute for Gravitational Physics Golm and Humboldt University Berlin (2008-2011), where I have also conducted my Diploma thesis work (2007-2008) after studying physics and biophysics at HU Berlin.

Personal homepage:


Behr, N., Saadat, M. G., & Heckel, R. (2020). Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. arXiv preprint 2003.11010.

Behr, N., & Krivine, J. (2020). Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. arXiv preprint 2003.09395.

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

Behr, N., Dattoli, G., Lattanzi, A., & Licciardi, S. (2019). Dual Numbers and Operational Umbral Methods. Axioms8(3), 77.

Behr, N., & Krivine, J. (2019). Compositionality of Rewriting Rules with Conditions. arXiv preprint 1904.09322.

Behr, N., Dattoli, G., & Lattanzi, A. (2019). Operator Ordering and Solution of Pseudo-Evolutionary Equations. Axioms8(1), 35.

Behr, N., Danos, V., & Garnier, I. (2019). Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. arXiv preprint 1904.07313.

Behr, N., Duchamp, G. H. E., & Penson, K. A. (2019). Explicit formulae for all higher order exponential lacunary generating functions of Hermite polynomials. Journal of the Séminaire Lotharingien de Combinatoire (Accepted for Publication), arXiv Preprint 1806.08417.

Behr, N., Dattoli, G., Duchamp, G. H., Licciardi, S., & Penson, K. A. (2019). Operational Methods in the Study of Sobolev-Jacobi Polynomials. Mathematics7(2), 124.

Behr, N., & Sobocinski, P. (2019). Rule Algebras for Adhesive Categories

(invited extended journal version). arXiv preprint 1807.00785v2.

Behr, N. (2019). Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. arXiv preprint 1904.12829 (accepted for ACT 2019 in Oxford).

Behr, N., & Sobocinski, P. (2018). Rule Algebras for Adhesive Categories. In D. Ghica & A. Jung (Eds.), 27th EACSL Annual Conference

on Computer Science Logic (CSL 2018) (Vol. 119, pp. 11:1–11:21). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

Behr, N., Duchamp, G. H., & Penson, K. A. (2017). Combinatorics of chemical reaction systems. arXiv preprint arXiv:1712.06575.

Behr, N., Kuperstein, S., & Mukhopadhyay, A. (2016). Holography as a highly efficient renormalization group flow. I. Rephrasing gravity. Phys. Rev. D94(2), 026001.

Behr, N., & Mukhopadhyay, A. (2016). Holography as a highly efficient renormalization group flow. II. An explicit construction. Phys. Rev. D94(2), 026002.

Behr, N., Danos, V., & Garnier, I. (2016). Stochastic mechanics of graph rewriting. Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LiCS 2016), 46–55.

Behr, N., Danos, V., Garnier, I., & Heindel, T. (2016). The algebras of graph rewriting. arXiv preprint 1612.06240.

Behr, N., & Fredenhagen, S. (2015). Matrix factorisations for rational boundary conditions by defect fusion. Journal of High Energy Physics, 2015(5), 1–57.

Behr, N., & Konechny, A. (2014). Renormalization and redundancy in 2d quantum field theories. Journal of High Energy Physics2014(2), 1–60.

Behr, N., & Fredenhagen, S. (2012). Variable transformation defects. Proceedings, String-Math 2011: Philadelphia, Pennsylvania, June 6-11, 201185, 303–312.

Bartmann, R., Behr, N., Hilger, A., & Krist, T. (2011). New solid state lens for reflective neutron focusing. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment634(1, Supplement), S104–S107.

Behr, N., & Fredenhagen, S. (2010). D-branes and matrix factorisations in supersymmetric coset models. Journal of High Energy Physics, 2010(11), 1–60.

Behr, N., & Raschke, M. B. (2008). Optical antenna properties of scanning probe tips: Plasmonic light scattering, tip-sample coupling, and near-field enhancement. The Journal of Physical Chemistry C, 112(10), 3766–3773.

Neacsu, C. C., Dreyer, J., Behr, N., & Raschke, M. B. (2007). Reply to “Comment on Scanning-probe Raman spectroscopy with single-molecule sensitivity”. Physical Review B75(23), 236402.

Neacsu, C. C., Dreyer, J., Behr, N., & Raschke, M. B. (2006). Scanning-probe Raman spectroscopy with single-molecule sensitivity. Physical Review B73(19), 193406.

Neacsu, C. C., Dreyer, J., Behr, N., & Raschke, M. B. (2006). Ultrahigh resolution scattering near-field vibrational microscopy with single molecule sensitivity. 2006 Conference on Lasers and Electro-Optics and 2006 Quantum Electronics and Laser Science Conference.