Victor Marsault

Publications

Proceedings/Recueil des communications (1)

Designing and Comparing RPQ Semantics Victor Marsault,Antoine Meyer 29th International Conference on Database Theory (ICDT 2026), Mar 2026, Tampere, Finland. Leibniz International Proceedings in Informatics , 365, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, pp.6:1-6:20, 2026, 978-3-95977-413-0. ⟨10.4230/LIPIcs.ICDT.2026.6⟩ Proceedings/Recueil des communications hal-05514429v1

Pré-publication, Document de travail (8)

Expressive Power of Property Graph Constraint Languages Stefania Dumbrava,Nadime Francis,Steven Sailly,Victor Marsault 2026 Pré-publication, Document de travail hal-05569990v1
Gray Codes With Constant Delay and Constant Auxiliary Space Antoine Amarilli,Claire David,Nadime Francis,Victor Marsault,Mikaël Monetet al. 2026 Pré-publication, Document de travail hal-05570008v1
Matching walks that are minimal with respect to edge inclusion Victor Marsault 2024 Pré-publication, Document de travail hal-04708569v1
Enumerating regular languages in radix order Nadime Francis,Victor Marsault 2023 Pré-publication, Document de travail hal-04288155v1
Rhythmic generation of trees and languages Victor Marsault,Jacques Sakarovitch 2014 Pré-publication, Document de travail hal-01075823v1
Breadth-First Serialisation of Trees and Rational Languages Victor Marsault,Jacques Sakarovitch 2014 Pré-publication, Document de travail hal-01075825v1
Auto-similarity in Rational Base Number Systems Shigeki Akiyama,Victor Marsault,Jacques Sakarovitch 2014 Pré-publication, Document de travail hal-01075822v1
Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure Victor Marsault,Jacques Sakarovitch 2014 Pré-publication, Document de travail hal-01075821v1

Communication dans un congrès (9)

Rel: A Programming Language for Relational Data Molham Aref,Paolo Guagliardo,George Kastrinis,Leonid Libkin,Victor Marsaultet al. SIGMOD/PODS '25: International Conference on Management of Data, Jun 2025, Berlin, Germany. pp.283-296, ⟨10.1145/3722212.3724450⟩ Communication dans un congrès hal-05173170v1
Queries with External Predicates Paolo Guagliardo,Leonid Libkin,Victor Marsault,Wim Martens,Filip Murlaket al. ICDT'25: 28th International Conference on Database Theory, Mar 2025, Barcelone, Spain. ⟨10.4230/LIPIcs.ICDT.2025.22⟩ Communication dans un congrès hal-05173186v1
Run-Based Semantics for RPQs Claire David,Nadime Francis,Victor Marsault 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23), Sep 2023, Rhodes, Greece. pp.178-187, ⟨10.24963/kr.2023/18⟩ Communication dans un congrès hal-03882187v1
A Researcher's Digest of GQL Nadime Francis,Amelie Gheerbrant,Paolo Guagliardo,Leonid Libkin,Victor Marsaultet al. 26th International Conference on Database Theory (ICDT 2023), Mar 2023, Ioannina, Greece. ⟨10.4230/LIPIcs.ICDT.2023.1⟩ Communication dans un congrès hal-04094449v1
PG-Schema: schemas for property graphs Renzo Angles,Angela Bonifati,Stefania Dumbrava,George Fletcher,Alastair Greenet al. ACM SIGMOD International Conference on Management of Data (SIGMOD), Jun 2023, Seattle, WA, United States. pp.1-25, ⟨10.1145/3589778⟩ Communication dans un congrès hal-04224583v1
Graph Pattern Matching in GQL and SQL/PGQ Alin Deutsch,Nadime Francis,Alastair Green,Keith Hare,Bei Liet al. SIGMOD '22: International Conference on Management of Data, Jun 2022, Philadelphia, United States. ⟨10.1145/3514221.3526057⟩ Communication dans un congrès hal-03688214v1
Updating graph databases with Cypher Alastair Green,Paolo Guagliardo,Leonid Libkin,Tobias Lindaaker,Victor Marsaultet al. 45th International Conference on Very Large Data Bases (VLDB), Aug 2019, Los Angeles, United States. pp.2242-2254, ⟨10.14778/3352063.3352139⟩ Communication dans un congrès hal-03012016v1
Cypher: An Evolving Query Language for Property Graphs Nadime Francis,Alastair Green,Paolo Guagliardo,Leonid Libkin,Tobias Lindaakeret al. SIGMOD'18 Proceedings of the 2018 International Conference on Management of Data, Jun 2018, Houston, United States. pp.1433, ⟨10.1145/3183713.3190657⟩ Communication dans un congrès hal-01803524v1
On sets of numbers rationally represented in a rational base number system Victor Marsault,Jacques Sakarovitch Algebraic Informatics, 5th International Conference, CAI 2013, Sep 2013, Porquerolles, France. pp.89-100, ⟨10.1007/978-3-642-40663-8_10⟩ Communication dans un congrès hal-00761890v1

Article dans une revue (6)

Distinct Shortest Walk Enumeration for RPQs Claire David,Nadime Francis,Victor Marsault Proceedings of the ACM on Management of Data, 2024, 2 (2), pp.1-22. ⟨10.1145/3651601⟩ Article dans une revue hal-04495051v1
GPC: a pattern calculus for property graphs Nadime Francis,Amelie Gheerbrant,Paolo Guagliardo,Libkin Leonid,Victor Marsaultet al. Proceedings of the ACM on Management of Data, 2023, 1 (2), pp.241-250. ⟨10.1145/3584372.3588662⟩ Article dans une revue hal-03836782v1
On p/q-recognisable sets Victor Marsault Logical Methods in Computer Science, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:12)2021⟩ Article dans une revue hal-03373114v1
Taking-and-merging games as rewrite games Eric Duchene,Victor Marsault,Aline Parreau,Michel Rigo Discrete Mathematics and Theoretical Computer Science, 2020, 22 (4), ⟨10.23638/DMTCS-22-4-5⟩ Article dans une revue hal-03012021v1
An efficient algorithm to decide periodicity of $b$-recognisable sets using LSDF convention Victor Marsault Logical Methods in Computer Science, 2019, 15 (3), ⟨10.23638/LMCS-15(3:8)2019⟩ Article dans une revue hal-03012208v1
On subtrees of the representation tree in rational base numeration systems Shigeki Akiyama,Victor Marsault,Jacques Sakarovitch Discrete Mathematics and Theoretical Computer Science, 2018, 20 (1), pp.1-33. ⟨10.23638/DMTCS-20-1-10⟩ Article dans une revue hal-02287876v1

Thèse (1)

Énumération et numération Victor Marsault Mathématique discrète [cs.DM]. Télécom ParisTech, 2016. Français. ⟨NNT : 2016ENST0017⟩ Thèse tel-01544698v1