Accéder directement au contenu

Victor Marsault

19
Documents

Publications

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

GPC: A Pattern Calculus for Property Graphs

Nadime Francis , Amélie Gheerbrant , Paolo Guagliardo , Leonid Libkin , Victor Marsault
Symposium on Principles of Database Systems (PODS), Jun 2023, Seattle WA USA, France. pp.241-250, ⟨10.1145/3584372.3588662⟩
Communication dans un congrès hal-03836782v1

PG-Schema: schemas for property graphs

Renzo Angles , Angela Bonifati , Stefania Dumbrava , George Fletcher , Alastair Green
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
Image document

A Researcher's Digest of GQL

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

Graph Pattern Matching in GQL and SQL/PGQ

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

Updating graph databases with Cypher

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

Cypher: An Evolving Query Language for Property Graphs

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

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)
Article dans une revue hal-02287876v1