output
20112024
most citedCharacterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs

10 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

9 papers

cond-mat.mes-hall2024

Higher order topological defects in a moiré lattice

Eugenio Gambari, Sebastian Meyer, Sacha Guesne +8

Topological defects are ubiquitous, they manifest in a wide variety of systems such as liquid crystals, magnets or superconductors. The recent quest for nonabelian anyons in conden…

cs.LO2022

Tighter Bounds for Query Answering with Guarded TGDs

Antoine Amarilli, Michael Benedikt

We consider the complexity of the open-world query answering problem, where we wish to determine certain answers to conjunctive queries over incomplete datasets specified by an ini…

cs.GT2022★ 1 cited

Half-Positional Objectives Recognized by Deterministic Büchi Automata

Patricia Bouyer, Antonio Casares, Mickael Randour +1

In two-player games on graphs, the simplest possible strategies are those that can be implemented without any memory. These are called positional strategies. In this paper, we char…

cs.GT2021★ 10 cited

Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs

Patricia Bouyer, Mickael Randour, Pierre Vandenhove

We consider zero-sum games on infinite graphs, with objectives specified as sets of infinite words over some alphabet of colors. A well-studied class of objectives is the one of $ω…

math.PR2020★ 1 cited

Large deviation principle for the streams and the maximal flow in first passage percolation

Barbara Dembin, Marie Théret

We consider the standard first passage percolation model in the rescaled lattice for and a bounded domain in . We denote by and $Γ^…

astro-ph.IM2019★ 8 cited

ESA Voyage 2050 white paper -- Faint objects in motion: the new frontier of high precision astrometry

F. Malbet, U. Abbas, J. Alves +28

Sky survey telescopes and powerful targeted telescopes play complementary roles in astronomy. In order to investigate the nature and characteristics of the motions of very faint ob…

math.OC2011

Quadratic choreographies

Philippe Ryckelynck, Laurent Smoch

This paper addresses the classical and discrete Euler-Lagrange equations for systems of particles interacting quadratically in . By highlighting the role played b…

math.OC2011

Discrete Calculus of Variations for Quadratic Lagrangians. Convergence Issues

Philippe Ryckelynck, Laurent Smoch

We study in this paper the continuous and discrete Euler-Lagrange equations arising from a quadratic lagrangian. Those equations may be thought as numerical schemes and may be solv…

math.OC2011

Discrete calculus of variations for quadratic lagrangians

Philippe Ryckelynck, Laurent Smoch

We develop in this paper a new framework for discrete calculus of variations when the actions have densities involving an arbitrary discretization operator. We deduce the discrete…