Page professionnelle de Victor Marsault

Enumerating regular languages in radix order: Revisiting the Ackerman-Shallit algorithm

En collaboration avec Nadime Francis.

Rapport Technique. ArXiv:2310.13309. 2023.
bib arxiv

A Researcher’s Digest of GQL

En collaboration avec Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Wim Martens, Filip Murlak, Liat Peterfreund, Alexetra Rogova, Domagoj Vrgoč.

Dans les actes de ICDT 2023, LIPIcs, vol. 255. Invited talk. 2023.
pdf bib doi

GPC: A Pattern Calculus for Property Graphs

En collaboration avec Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Wim Martens, Filip Murlak, Liat Peterfreund, Alexetra Rogova, Domagoj Vrgoč.

Dans les actes de PODS 2023. 2023.
bib doi arxiv

Run-Based Semantics for RPQs

En collaboration avec Claire David, Nadime Francis.

Dans les actes de KR 2023. 2023.
pdf bib doi arxiv

PG-Schema: Schemas for Property Graphs

En collaboration avec Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savković, Michael Schmidt, Juan Sequeda, Sławek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoč, Mingxi Wu, Dušan Živković.

Dans les actes de SIGMOD 2023. Industrial Track. 2023.
bib doi arxiv

Graph Pattern Matching in GQL and SQL/PGQ

En collaboration avec Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoč, Mingxi Wu, Fred Zemke.

Dans les actes de SIGMOD 2022. Industrial track. 2022.
pdf bib doi arxiv

On p/q-recognisable sets

Dans Logical Methods in Computer Science, vol. 17, n°3. 2021.
pdf bib doi arxiv

Taking-and-merging games as rewrite games

En collaboration avec Eric Duchêne, Aline Parreau, Michel Rigo.

Dans Discrete Mathematics & Theoretical Computer Science, vol. 22, n°4. 2020.
pdf bib doi arxiv

Updating Graph Databases with Cypher

En collaboration avec Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Stefan Plantikow, Martin Schuster, Petra Selmer, 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

Formal Semantics of the Language Cypher

En collaboration avec Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Stefan Plantikow, Mats Rydberg, Martin Schuster, Petra Selmer, Andrés Taylor.

Rapport Technique. Arxiv:1802.09984. 2018.
bib arxiv

Cypher: An Evolving Query Language for Property Graphs

En collaboration avec Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Stefan Plantikow, Mats Rydberg, Petra Selmer, 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, 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, Isabelle Mainz, 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. Special Issue on Automatic Sequences, Number Theory, and Aperiodic Order. 2017.
pdf bib doi

The signature of rational languages

En collaboration avec Jacques Sakarovitch.

Dans Theoretical Computer Science, vol. 658, Part A. Formal Languages and Automata: Models, Methods and Application In honour of the 70th birthday of Antonio Restivo. 2017.
pdf bib doi

Énumération et numération

Thèse de doctorat. In French. 2016.
pdf bib slides

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 slides doi arxiv

Auto-similarity in Rational Base Number Systems

En collaboration avec Shigeki Akiyama, Jacques Sakarovitch.

Dans les actes de WORDS 2013, Lecture Notes in Computer Science, vol. 8079. 2013.
pdf bib slides 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 slides doi arxiv

français english

Dernières modifications : 2024.03.01