Victor Marsault

According to our database, Victor Marsault authored at least 28 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Distinct Shortest Walk Enumeration for RPQs.

Claire David, Nadime Francis, Victor Marsault

Proc. ACM Manag. Data, 2024

Matching walks that are minimal with respect to edge inclusion.

Victor Marsault

CoRR, 2024

2023

PG-Schema: Schemas for Property Graphs.

Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic

Proc. ACM Manag. Data, 2023

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

Nadime Francis, Victor Marsault

CoRR, 2023

GPC: A Pattern Calculus for Property Graphs.

Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Run-Based Semantics for RPQs.

Claire David, Nadime Francis, Victor Marsault

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

A Researcher's Digest of GQL (Invited Talk).

Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc

Proceedings of the 26th International Conference on Database Theory, 2023

2022

Graph Pattern Matching in GQL and SQL/PGQ.

Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Fred Zemke

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

On p/q-recognisable sets.

Victor Marsault

Log. Methods Comput. Sci., 2021

2020

Taking-and-merging games as rewrite games.

Éric Duchêne, Victor Marsault, Aline Parreau, Michel Rigo

Discret. Math. Theor. Comput. Sci., 2020

2019

Updating Graph Databases with Cypher.

Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Martin Schuster, Petra Selmer, Hannes Voigt

Proc. VLDB Endow., 2019

An efficient algorithm to decide periodicity of bbb-recognisable sets using LSDF convention.

Victor Marsault

Log. Methods Comput. Sci., 2019

2018

On subtrees of the representation tree in rational base numeration systems.

Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch

Discret. Math. Theor. Comput. Sci., 2018

Formal Semantics of the Language Cypher.

Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Martin Schuster, Petra Selmer, Andrés Taylor

CoRR, 2018

Logic characterisation of p/q-recognisable sets.

Victor Marsault

CoRR, 2018

Cypher: An Evolving Query Language for Property Graphs.

Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, Andrés Taylor

Proceedings of the 2018 International Conference on Management of Data, 2018

2017

The signature of rational languages.

Victor Marsault, Jacques Sakarovitch

Theor. Comput. Sci., 2017

An efficient algorithm to decide periodicity of b-recognisable sets using LSDF convention.

Victor Marsault

CoRR, 2017

An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention.

Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Énumération et numération. (Enumeration and numeration).

Victor Marsault

PhD thesis, 2016

Trees and Languages with Periodic Signature.

Victor Marsault, Jacques Sakarovitch

Proceedings of the LATIN 2016: Theoretical Informatics, 2016

2015

Surminimisation of Automata.

Victor Marsault

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

2014

Breadth-first serialisation of trees and rational languages.

Victor Marsault, Jacques Sakarovitch

CoRR, 2014

Rhythmic generation of infinite trees and languages.

Victor Marsault, Jacques Sakarovitch

CoRR, 2014

Breadth-First Serialisation of Trees and Rational Languages - (Short Paper).

Victor Marsault, Jacques Sakarovitch

Proceedings of the Developments in Language Theory - 18th International Conference, 2014

2013

Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure.

Victor Marsault, Jacques Sakarovitch

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

Auto-similarity in Rational Base Number Systems.

Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch

Proceedings of the Combinatorics on Words - 9th International Conference, 2013

On Sets of Numbers Rationally Represented in a Rational Base Number System.

Victor Marsault, Jacques Sakarovitch

Proceedings of the Algebraic Informatics - 5th International Conference, 2013