Nicolas Behr

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 26

Top Topics

Conjunctive Queries

Rewriting Systems

Graph Transformation

Top Venues

Publications

Nicolas Behr, Paul-André Melliès, Noam Zeilberger
Convolution Products on Double Categories and Categorification of Rule Algebras. FSCD (2023)
Nicolas Behr, Russ Harmer
A Living Monograph for Graph Transformation. ICGT (2023)
Nicolas Behr, Russ Harmer, Jean Krivine
Fundamentals of compositional rewriting theory. J. Log. Algebraic Methods Program. 135 (2023)
Nicolas Behr, Russ Harmer, Jean Krivine
Fundamentals of Compositional Rewriting Theory. CoRR (2022)
Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle
Rewriting theory for the life sciences: A unifying theory of CTMC semantics. Theor. Comput. Sci. 884 (2021)
Nicolas Behr, Joachim Kock
Tracelet Hopf algebras and decomposition spaces. CoRR (2021)
Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version). CoRR (2021)
Nicolas Behr, Russ Harmer, Jean Krivine
Concurrency Theorems for Non-linear Rewriting Theories. ICGT (2021)
Nicolas Behr, Russ Harmer, Jean Krivine
Concurrency Theorems for Non-linear Rewriting Theories. CoRR (2021)
Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel
Stochastic Graph Transformation For Social Network Modeling. GCM@STAF (2021)
Nicolas Behr, Jean Krivine
Compositionality of Rewriting Rules with Conditions. Compositionality 3 (2021)
Nicolas Behr
On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods. TERMGRAPH@FSCD (2020)
Nicolas Behr, Vincent Danos, Ilias Garnier
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. Log. Methods Comput. Sci. 16 (3) (2020)
Nicolas Behr, Pawel Sobocinski
Rule Algebras for Adhesive Categories. Log. Methods Comput. Sci. 16 (3) (2020)
Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. GCM@STAF (2020)
Nicolas Behr, Jean Krivine
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. CoRR (2020)
Nicolas Behr, Jean Krivine
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. ICGT (2020)
Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi
Operator Ordering and Solution of Pseudo-Evolutionary Equations. Axioms 8 (1) (2019)
Nicolas Behr
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework. GCM@STAF (2019)
Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi
Dual Numbers and Operational Umbral Methods. Axioms 8 (3) (2019)
Nicolas Behr, Jean Krivine
Compositionality of Rewriting Rules with Conditions. CoRR (2019)
Nicolas Behr
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. ACT (2019)
Nicolas Behr, Vincent Danos, Ilias Garnier
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. CoRR (2019)
Nicolas Behr, Pawel Sobocinski
Rule Algebras for Adhesive Categories. CoRR (2018)
Nicolas Behr, Pawel Sobocinski
Rule Algebras for Adhesive Categories. CSL (2018)
Nicolas Behr, Vincent Danos, Ilias Garnier
Stochastic mechanics of graph rewriting. LICS (2016)