Nicolas Behr

According to our database, Nicolas Behr authored at least 19 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Fundamentals of compositional rewriting theory.

Nicolas Behr, Russ Harmer, Jean Krivine

J. Log. Algebraic Methods Program., October, 2023

A Living Monograph for Graph Transformation.

Nicolas Behr, Russ Harmer

Proceedings of the Graph Transformation - 16th International Conference, 2023

Convolution Products on Double Categories and Categorification of Rule Algebras.

Nicolas Behr, Paul-André Melliès, Noam Zeilberger

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021

Rewriting theory for the life sciences: A unifying theory of CTMC semantics.

Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle

Theor. Comput. Sci., 2021

Stochastic Graph Transformation For Social Network Modeling.

Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version).

Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle

CoRR, 2021

Tracelet Hopf algebras and decomposition spaces.

Nicolas Behr, Joachim Kock

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Compositionality of Rewriting Rules with Conditions.

Nicolas Behr, Jean Krivine

Compositionality, 2021

Concurrency Theorems for Non-linear Rewriting Theories.

Nicolas Behr, Russ Harmer, Jean Krivine

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

Rule Algebras for Adhesive Categories.

Nicolas Behr, Pawel Sobocinski

Log. Methods Comput. Sci., 2020

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems.

Nicolas Behr, Vincent Danos, Ilias Garnier

Log. Methods Comput. Sci., 2020

On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods.

Nicolas Behr

Proceedings of the Proceedings 11th International Workshop on Computing with Terms and Graphs, 2020

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3.

Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics.

Nicolas Behr, Jean Krivine

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Tracelets and Tracelet Analysis Of Compositional Rewriting Systems.

Nicolas Behr

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework.

Nicolas Behr

Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019

Dual Numbers and Operational Umbral Methods.

Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi

Axioms, 2019

Operator Ordering and Solution of Pseudo-Evolutionary Equations.

Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi

Axioms, 2019

2016

Stochastic mechanics of graph rewriting.

Nicolas Behr, Vincent Danos, Ilias Garnier

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016