Victor Marsault

20
Documents

Publications

Publications

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-04495051 v1

GPC: a pattern calculus for property graphs

Nadime Francis , Amelie Gheerbrant , Paolo Guagliardo , Libkin Leonid , Victor Marsault et al.
Proceedings of the ACM on Management of Data, 2023, 1 (2), pp.241-250. ⟨10.1145/3584372.3588662⟩
Article dans une revue hal-03836782 v1

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-03373114 v1

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-03012021 v1

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-03012208 v1

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-02287876 v1
Image document

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-03882187 v1
Image document

A Researcher's Digest of GQL

Nadime Francis , Amelie Gheerbrant , Paolo Guagliardo , Leonid Libkin , Victor Marsault et 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-04094449 v1

PG-Schema: schemas for property graphs

Renzo Angles , Angela Bonifati , Stefania Dumbrava , George Fletcher , Alastair Green et 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-04224583 v1

Graph Pattern Matching in GQL and SQL/PGQ

Alin Deutsch , Nadime Francis , Alastair Green , Keith Hare , Bei Li et al.
SIGMOD '22: International Conference on Management of Data, Jun 2022, Philadelphia, United States. ⟨10.1145/3514221.3526057⟩
Communication dans un congrès hal-03688214 v1
Image document

Updating graph databases with Cypher

Alastair Green , Paolo Guagliardo , Leonid Libkin , Tobias Lindaaker , Victor Marsault et 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-03012016 v1
Image document

Cypher: An Evolving Query Language for Property Graphs

Nadime Francis , Alastair Green , Paolo Guagliardo , Leonid Libkin , Tobias Lindaaker et 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-01803524 v1

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-00761890 v1
Image document

É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-01544698 v1