Page professionnelle de Victor Marsault

Taking-and-merging games as rewrite games. En collaboration avec Eric Duchêne et Aline Parreau et Michel Rigo. Prépublication. 2019.
bib arxiv
Updating Graph Databases with Cypher. En collaboration avec Alastair Green et Paolo Guagliardo et Leonid Libkin et Tobias Lindaaker et Stefan Plantikow et Martin Schuster et Petra Selmer et Hannes Voigt. Dans les actes de VLDB 2019, vol. 12, n°12. 2019.
pdf bib doi
An efficient algorithm to decide periodicity of b-recognisable sets using LSDF convention. Dans Logical Methods in Computer Science, vol. 15, n°3. 2019.
pdf bib doi arxiv
Logic characterisation of p/q-recognisable sets. Prépublication. 2018.
bib arxiv
Formal Semantics of the Language Cypher. En collaboration avec Nadime Francis et Alastair Green et Paolo Guagliardo et Leonid Libkin et Tobias Lindaaker et Stefan Plantikow et Mats Rydberg et Martin Schuster et Petra Selmer et Andrés Taylor. Rapport Technique. 2018.
bib arxiv
Cypher: An Evolving Query Language for Property Graphs. En collaboration avec Nadime Francis et Alastair Green et Paolo Guagliardo et Leonid Libkin et Tobias Lindaaker et Stefan Plantikow et Mats Rydberg et Petra Selmer et Andrés Taylor. Dans les actes de SIGMOD 2018. 2018.
pdf bib doi
On subtrees of the representation tree in rational base numeration systems. En collaboration avec Shigeki Akiyama et Jacques Sakarovitch. Dans Discrete Mathematics & Theoretical Computer Science, vol. 20, n°1. 2018.
pdf bib doi arxiv
An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. En collaboration avec Bernard Boigelot et Isabelle Mainz et Michel Rigo. Dans les actes de ICALP 2017, Leibniz International Proceedings in Informatics, vol. 80. 2017.
pdf bib slides doi arxiv
Trees and languages with periodic signature. En collaboration avec Jacques Sakarovitch. Dans Indagationes Mathematicae, vol. 28, n°1. 2017.
pdf bib doi
The signature of rational languages. En collaboration avec Jacques Sakarovitch. Dans Theoretical Computer Science, vol. 658, Part A. 2017.
pdf bib doi
Énumération et numération. Thèse de doctorat. In French. 2016.
pdf bib
Trees and Languages with Periodic Signature. En collaboration avec Jacques Sakarovitch. Dans les actes de LATIN 2016, Lecture Notes in Computer Science, vol. 9644. 2016.
pdf bib doi arxiv
Surminimisation of Automata. Dans les actes de DLT 2015, Lecture Notes in Computer Science, vol. 9168. 2015.
pdf bib slides doi
Breadth-First Serialisation of Trees and Rational Languages. En collaboration avec Jacques Sakarovitch. Dans les actes de DLT 2014, Lecture Notes in Computer Science, vol. 8633. 2014.
pdf bib doi arxiv
Auto-similarity in Rational Base Number Systems. En collaboration avec Shigeki Akiyama et Jacques Sakarovitch. Dans les actes de WORDS 2013, Lecture Notes in Computer Science, vol. 8079. 2013.
pdf bib doi arxiv
On Sets of Numbers Rationally Represented in a Rational Base Number System. En collaboration avec Jacques Sakarovitch. Dans les actes de CAI 2013, Lecture Notes in Computer Science, vol. 8080. 2013.
pdf bib slides doi arxiv
Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure. En collaboration avec Jacques Sakarovitch. Dans les actes de DLT 2013, Lecture Notes in Computer Science, vol. 7907. 2013.
pdf bib doi arxiv

français english

Dernières modifications : 2019.08.07