Nicolas Behr
Nicolas Behr
Home
Publications
Talks
1
On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods
Building upon the rule-algebraic stochastic mechanics framework, we present new results on the relationship of stochastic rewriting …
Nicolas Behr
PDF
Cite
Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are …
Nicolas Behr
,
Maryam Ghaffari Saadat
,
Reiko Heckel
PDF
Cite
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems
Taking advantage of a recently discovered associativity property of rule compositions, we extend the classical concurrency theory for …
Nicolas Behr
PDF
Cite
Slides
Video
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting …
Nicolas Behr
,
Jean Krivine
Preprint
PDF
Cite
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
Sesqui-pushout (SqPO) rewriting provides a variant of transformations of graph-like and other types of structures that fit into the …
Nicolas Behr
PDF
Cite
Slides
Rule Algebras for Adhesive Categories
We show that every adhesive category gives rise to an associative algebra of rewriting rules induced by the notion of double-pushout …
Nicolas Behr
,
Pawel Sobocinski
PDF
Cite
Slides
Stochastic mechanics of graph rewriting
We propose an algebraic approach to stochastic graph-rewriting which extends the classical construction of the Heisenberg-Weyl algebra …
Nicolas Behr
,
Vincent Danos
,
Ilias Garnier
Preprint
PDF
Cite
Slides
Variable transformation defects
We investigate defects between supersymmetric Landau-Ginzburg models whose superpotentials are related by a variable transformation. It …
Nicolas Behr
,
Stefan Fredenhagen
Preprint
PDF
Cite
Ultrahigh resolution scattering near-field vibrational microscopy with single molecule sensitivity
Scanning probe vibrational Raman microscopy with single molecule sensitivity is demonstrated. This is facilitated by unique optical …
Catalin C. Neacsu
,
Jens Dreyer
,
Nicolas Behr
,
Markus B. Raschke
PDF
Cite
Cite
×