Formal Semantics of the Language Cypher.Joint work with Nadime Francis and Alastair Green and Paolo Guagliardo and Leonid Libkin and Tobias Lindaaker and Stefan Plantikow and Mats Rydberg and Martin Schuster and Petra Selmer and Andrés Taylor.Technical Report.2018.

An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention.Joint work with Bernard Boigelot and Isabelle Mainz and Michel Rigo.In proceedings of ICALP 2017, Leibniz International Proceedings in Informatics 80.2017.