Nicolas Behr

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