Victor Marsault

46 papers A* 3A 3B 1C 3Journal 30Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Designing and Comparing RPQ Semantics. ICDT Victor Marsault, Antoine Meyer
2026	J	`jnl`	Designing and Comparing RPQ Semantics. CoRR Victor Marsault, Antoine Meyer
2026	J	`jnl`	Expressive Power of Property Graph Constraint Languages. CoRR Stefania Dumbrava, Nadime Francis, Victor Marsault, Steven Sailly
2026	J	`jnl`	Gray Codes With Constant Delay and Constant Auxiliary Space. CoRR Antoine Amarilli, Claire David, Nadime Francis, Victor Marsault, Mikaël Monet, Yann Strozecki
2025	A	`conf`	Queries with External Predicates. ICDT Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Cristina Sirangelo
2025	—	`conf`	Rel: A Programming Language for Relational Data. SIGMOD Conference Companion Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
2025	J	`jnl`	Rel: A Programming Language for Relational Data. CoRR Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
2024	J	`jnl`	Distinct Shortest Walk Enumeration for RPQs. Proc. ACM Manag. Data Claire David, Nadime Francis, Victor Marsault
2024	J	`jnl`	Matching walks that are minimal with respect to edge inclusion. CoRR Victor Marsault
2023	A	`conf`	A Researcher's Digest of GQL (Invited Talk). ICDT Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023	J	`jnl`	Distinct Shortest Walk Enumeration for RPQs. CoRR Claire David, Nadime Francis, Victor Marsault
2023	J	`jnl`	Enumerating regular languages in radix order : Revisiting the Ackerman-Shallit algorithm. CoRR Nadime Francis, Victor Marsault
2023	A*	`conf`	GPC: A Pattern Calculus for Property Graphs. PODS Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023	J	`jnl`	PG-Schema: Schemas for Property Graphs. Proc. ACM Manag. Data Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic
2023	A*	`conf`	Run-Based Semantics for RPQs. KR Claire David, Nadime Francis, Victor Marsault
2022	J	`jnl`	GPC: A Pattern Calculus for Property Graphs. CoRR Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2022	—	`conf`	Graph Pattern Matching in GQL and SQL/PGQ. SIGMOD Conference Alin Deutsch, Nadime Francis, Alastair Green, Keith W. Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
2022	J	`jnl`	PG-Schema: Schemas for Property Graphs. CoRR Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic
2022	J	`jnl`	Run-Based Semantics for RPQs. CoRR Claire David, Victor Marsault, Nadime Francis
2021	J	`jnl`	Graph Pattern Matching in GQL and SQL/PGQ. CoRR Alin Deutsch, Nadime Francis, Alastair Green, Keith W. Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Hannes Voigt, Oskar van Rest, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
2021	J	`jnl`	On p/q-recognisable sets. Log. Methods Comput. Sci. Victor Marsault
2020	J	`jnl`	Taking-and-merging games as rewrite games. Discret. Math. Theor. Comput. Sci. Éric Duchêne, Victor Marsault, Aline Parreau, Michel Rigo
2019	J	`jnl`	An efficient algorithm to decide periodicity of bbb-recognisable sets using LSDF convention. Log. Methods Comput. Sci. Victor Marsault
2019	J	`jnl`	Taking-and-merging games as rewrite games. CoRR Éric Duchêne, Victor Marsault, Aline Parreau, Michel Rigo
2019	J	`jnl`	Updating Graph Databases with Cypher. Proc. VLDB Endow. Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Martin Schuster, Petra Selmer, Hannes Voigt
2018	—	`conf`	Cypher: An Evolving Query Language for Property Graphs. SIGMOD Conference Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, Andrés Taylor
2018	J	`jnl`	Formal Semantics of the Language Cypher. CoRR Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Martin Schuster, Petra Selmer, Andrés Taylor
2018	J	`jnl`	Logic characterisation of p/q-recognisable sets. CoRR Victor Marsault
2018	J	`jnl`	On subtrees of the representation tree in rational base numeration systems. Discret. Math. Theor. Comput. Sci. Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch
2017	A*	`conf`	An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. ICALP Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo
2017	J	`jnl`	An efficient algorithm to decide periodicity of b-recognisable sets using LSDF convention. CoRR Victor Marsault
2017	J	`jnl`	An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention. CoRR Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo
2017	J	`jnl`	On subtrees of the representation tree in rational base numeration systems. CoRR Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch
2017	J	`jnl`	The signature of rational languages. Theor. Comput. Sci. Victor Marsault, Jacques Sakarovitch
2016	B	`conf`	Trees and Languages with Periodic Signature. LATIN Victor Marsault, Jacques Sakarovitch
2016	—	`—`	Énumération et numération. (Enumeration and numeration). Victor Marsault
2015	C	`conf`	Surminimisation of Automata. DLT Victor Marsault
2014	C	`conf`	Breadth-First Serialisation of Trees and Rational Languages - (Short Paper). Developments in Language Theory Victor Marsault, Jacques Sakarovitch
2014	J	`jnl`	Breadth-first serialisation of trees and rational languages. CoRR Victor Marsault, Jacques Sakarovitch
2014	J	`jnl`	Rhythmic generation of infinite trees and languages. CoRR Victor Marsault, Jacques Sakarovitch
2013	—	`conf`	Auto-similarity in Rational Base Number Systems. WORDS Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch
2013	J	`jnl`	Auto-similarity in rational base number systems CoRR Shigeki Akiyama, Victor Marsault, Jacques Sakarovitch
2013	—	`conf`	On Sets of Numbers Rationally Represented in a Rational Base Number System. CAI Victor Marsault, Jacques Sakarovitch
2013	C	`conf`	Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure. Developments in Language Theory Victor Marsault, Jacques Sakarovitch
2013	J	`jnl`	Ultimate periodicity of b-recognisable sets : a quasilinear procedure CoRR Victor Marsault, Jacques Sakarovitch
2012	J	`jnl`	On sets of numbers rationally represented in a rational base number system CoRR Victor Marsault, Jacques Sakarovitch