Nicolas Behr

dblp:188/1031 · DBLP profile ↗
← Back
3ranked-venue papers in the field
3as first author
2since 2021 · last 2023
0000-0002-8738-5040ORCID · verified

Domains — venue-derived; a paper can count in several

Other / Interdisciplinary · 3 (3 first)
YearPublicationVenuePosition
2023 A Living Monograph for Graph Transformation
Nicolas Behr, Russell Harmer
ICGT1
2021 Concurrency Theorems for Non-linear Rewriting Theories
Nicolas Behr, Russell Harmer, Jean Krivine
ICGT1
2020 Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
Nicolas Behr, Jean Krivine
ICGT1