Victor Marsault
19
Documents
Publications
|
Run-Based Semantics for RPQs20th 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 GraphsSymposium 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 graphsACM 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
|
|
|
A Researcher's Digest of GQL26th 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/PGQSIGMOD '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 Cypher45th 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 GraphsSIGMOD'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 systemAlgebraic 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 RPQs2024
Pré-publication, Document de travail
hal-04495051v1
|
|
Enumerating regular languages in radix order2023
Pré-publication, Document de travail
hal-04288155v1
|
|
|
Rhythmic generation of trees and languages2014
Pré-publication, Document de travail
hal-01075823v1
|
|
Breadth-First Serialisation of Trees and Rational Languages2014
Pré-publication, Document de travail
hal-01075825v1
|
|
Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure2014
Pré-publication, Document de travail
hal-01075821v1
|
|
Auto-similarity in Rational Base Number Systems2014
Pré-publication, Document de travail
hal-01075822v1
|
|
Énumération et numérationMathématique discrète [cs.DM]. Télécom ParisTech, 2016. Français. ⟨NNT : 2016ENST0017⟩
Thèse
tel-01544698v1
|
On p/q-recognisable setsLogical 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 gamesDiscrete 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 conventionLogical 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 systemsDiscrete Mathematics and Theoretical Computer Science, 2018, 20 (1)
Article dans une revue
hal-02287876v1
|