Victor Marsault

23
Documents

Publications

Publications

Rel: A Programming Language for Relational Data

Molham Aref , Paolo Guagliardo , George Kastrinis , Leonid Libkin , Victor Marsault et 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
Deposit thumbnail

Queries with External Predicates

Paolo Guagliardo , Leonid Libkin , Victor Marsault , Wim Martens , Filip Murlak et 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
Deposit thumbnail

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
Deposit thumbnail

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

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

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-03688214v1
Deposit thumbnail

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-03012016v1
Deposit thumbnail

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

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 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-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
Deposit thumbnail

É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