activity
20102021
most citedCompositionality of Rewriting Rules with Conditions

16 citations · 129 across the 20 of their papers we have counts for

collaborators

24 papers

cs.DM2021★ 1 cited

Stochastic Graph Transformation For Social Network Modeling

Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes +1

Adaptive networks model social, physical, technical, or biological systems as attributed graphs evolving at the level of both their topology and data. They are naturally described…

cs.LO2021

Concurrency Theorems for Non-linear Rewriting Theories

Nicolas Behr, Russ Harmer, Jean Krivine

Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no const…

cs.LO2021★ 1 cited

Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)

Nicolas Behr, Joachim Kock

Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, indu…

cs.LO2021★ 5 cited

On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods

Nicolas Behr

Building upon the rule-algebraic stochastic mechanics framework, we present new results on the relationship of stochastic rewriting systems described in terms of continuous-time Ma…

hep-th2021★ 1 cited

Fusion of interfaces in Landau-Ginzburg models: a functorial approach

Nicolas Behr, Stefan Fredenhagen

We investigate the fusion of B-type interfaces in two-dimensional supersymmetric Landau-Ginzburg models. In particular, we propose to describe the fusion of an interface in terms o…

cs.LO2020★ 3 cited

Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping

Nicolas Behr, Reiko Heckel, Maryam Ghaffari Saadat

Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are often subject to constraints, ruling out many…