Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel
(2020).
Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping.
In: B. Hoffmann and M. Minas: Proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020), Online-Workshop, 24th June 2020, Electronic Proceedings in Theoretical Computer Science 330, pp. 126–144..
Nicolas Behr, Vincent Danos, Ilias Garnier
(2016).
Stochastic mechanics of graph rewriting.
In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS ‘16, ACM Press.
Roland Bartmann, Nicolas Behr, Andre Hilger, Thomas Krist
(2011).
New solid state lens for reflective neutron focusing.
In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, (634), 1, pp. S104–S107.