Keywords
 A1.2.1. Dynamic reconfiguration
 A1.2.3. Routing
 A1.2.5. Internet of things
 A1.2.9. Social Networks
 A1.6. Green Computing
 A3.5.1. Analysis of large graphs
 A7.1. Algorithms
 A7.1.1. Distributed algorithms
 A7.1.3. Graph algorithms
 A8.1. Discrete mathematics, combinatorics
 A8.2. Optimization
 A8.2.1. Operations research
 A8.7. Graph theory
 A8.8. Network science
 A9.7. AI algorithmics
 A9.9. Distributed AI, Multiagent
 B1.1.1. Structural biology
 B1.2.3. Computational neurosciences
 B6.3.3. Network Management
 B6.3.4. Social Networks
 B7.2. Smart travel
 B9.5.1. Computer science
1 Team members, visitors, external collaborators
Research Scientists
 David Coudert [Team leader, INRIA, Senior Researcher, HDR]
 JeanClaude Bermond [CNRS, Emeritus, HDR]
 Frédéric Giroire [CNRS, Senior Researcher, HDR]
 Frédéric Havet [CNRS, Senior Researcher, HDR]
 Emanuele Natale [CNRS, Researcher]
 Nicolas Nisse [INRIA, Researcher, HDR]
 Stéphane Pérennes [CNRS, Senior Researcher, HDR]
Faculty Members
 Julien Bensmail [Univ Côte d'Azur, Associate Professor, HDR]
 Christelle Caillouet [Univ Côte d'Azur, Associate Professor]
 Alexandre Caminada [Univ Côte d'Azur, Professor]
 Joanna Mouliérac [Univ Côte d'Azur, Associate Professor]
 Michel Syska [Univ Côte d'Azur, Associate Professor]
 Chuan Xu [Univ Côte d'Azur, Associate Professor]
PostDoctoral Fellows
 Damien Rivet [INRIA, from Jul 2022]
 Malgorzata Sulkowska [Univ Côte d'Azur, until Oct 2022]
PhD Students
 Arthur Carvalho Walraven Da Cunha [INRIA]
 Tiago Da Silva Barros [Univ Côte d'Azur, from Oct 2022]
 Igor Dias Da Silva [INRIA]
 Thomas Dissaux [Univ Côte d'Azur]
 Ilias Driouich [AMADEUS, CIFRE]
 Foivos Fioravantes [Univ Côte d'Azur, until Oct 2022]
 Hicham Lesfari [Univ Côte d'Azur, until Nov 2022]
 Zhejiayu Ma [EASYBROADCAST, CIFRE]
 Lucas Picasarri Arrieta [Univ Côte d'Azur]
 Aurora Rossi [Univ Côte d'Azur, from Oct 2022]
 Francesco d'Amore [Inria, until Oct 2022]
Interns and Apprentices
 Yannis Belkhiter [Mines d'Ales, Intern, from Jul 2022 until Aug 2022]
 El Hassan Chokraallah [Université Côte d'Azur, Intern, from Mar 2022 until Aug 2022]
 Samuel Coulomb [ENS Ulm, Intern, from Jun 2022 until Jul 2022]
 Antoine Cousson [Univ Côte d'Azur, Intern, from Jun 2022 until Jul 2022]
 Tiago Da Silva Barros [Univ Côte d'Azur, Intern, from Mar 2022 until Aug 2022]
 Maria Darido [Univ Côte d'Azur, Intern, from Mar 2022 until Aug 2022]
 Thimotée Juillet [Univ Côte d'Azur, Intern, from Apr 2022 until Jun 2022]
 Pierre Kouyoumdjian [Univ Côte d'Azur, Intern, from Jul 2022 until Aug 2022]
 Clement Rambaud [ENS Paris, Intern, from Sep 2022]
 Edward Amadeus Reinald [ENS Lyon, Intern, from Feb 2022 until May 2022]
 Aurora Rossi [Univ Verone, Intern, from Feb 2022 until Sep 2022]
 Margaux Schmied [Univ Côte d'Azur, Intern, from Jul 2022 until Aug 2022]
 Leonardo Serilli [Univ Côte d'Azur, Intern, from Mar 2022 until Aug 2022]
 Baptiste Thierry [Univ Côte d'Azur, Intern, from May 2022 until Jul 2022]
Administrative Assistant
 Patricia Riveill [INRIA]
Visiting Scientists
 Pierluigi Crescenzi [GSSI, from Sep 2022 until Oct 2022]
 Guillaume Ducoffe [Univ Bucarest, from Jul 2022 until Jul 2022]
 Ignasi Sau [CNRS, LIRMM, from Aug 2022 until Aug 2022]
External Collaborator
 Michel Cosnard [Univ Côte d'Azur, HDR]
2 Overall objectives
Coati is a joint team between the Inria Centre at Université Côte d'Azur and the I3S laboratory (Informatique Signaux et Systèmes de Sophia Antipolis) which itself belongs to CNRS (Centre National de la Recherche Scientifique) and Université Côte d'Azur. Its research fields are Algorithmics, Discrete Mathematics, and Combinatorial Optimization, with applications mainly in telecommunication networks.
The main objectives of the Coati projectteam are to design networks and communication algorithms. In order to meet these objectives, the team studies various theoretical problems in Discrete Mathematics, Graph Theory, Algorithmics, and Operations Research and develops applied techniques and tools, especially for Combinatorial Optimization and Computer Simulation. In particular, Coati used in the last years both these theoretical and applied tools for the design of various networks, such as SDN (software defined networks), WDM, wireless (radio), satellite, and peertopeer networks. This research has been done within various industrial and international collaborations.
Coati also investigates other application areas such as bioinformatics and transportation networks.
The research done in Coati results in the production of prototypes and more advanced software, and in the contribution to large open source software such as Sagemath.
3 Research program
Since its creation in 2013, the objectives of Coati are to conduct fundamental research in Discrete Mathematics, Graph Theory, Digraph Theory, Algorithms and Operations Research, and to use these tools for studying specific network optimization problems. Notice that we are mostly interested in telecommunications networks. However, our expertise can be applied to solve many other problems in various areas (transport, biology, resource allocation, social sciences, smartgrids, speleology, etc.) and we collaborate with teams of these other domains. Coati also contributes to the development of software components in order to validate proposed algorithms and to boost their dissemination.
The research program of Coati is therefore structured as follows.
 We conduct fundamental research in graph and digraph theory. Our goal is to better understand the structure of (di)graphs and which particular (sub)structures make an optimization problem on (di)graphs difficult. We are particularly interested in digraphs which are less investigated than (undirected) graphs, although most optimization problems are naturally modeled using digraphs. This is certainly due to the fact that several problems that can be solved in polynomial time on graphs are hard to solve on digraphs.
 We use this knowledge to design algorithms on (di)graphs (exact, subexponential, parameterized, approximation, heuristics) in order to solve various optimization problems. We also investigate games on graphs as an algorithmic counterpart of some (di)graph theory studies to get more insight on problems and (di)graphs properties. One of the challenges we have to face in the design of algorithms is the increase in size of practical instances. It is difficult, if not impossible, to solve practical instances optimally using existing tools. Therefore, we have to find new ways to address problems using reduction and decomposition methods, characterization of polynomial instances (which are sometimes the practical ones), or design of algorithms with acceptable practical performances independently of the worst case time complexity.
 We study specific network optimization problems at both design and management levels such as energy efficiency in networks, routing reconfiguration of optical and software defined networks (SDN), placement and migration of chains of virtual functions (NFV), compact routing in largescale networks, deployment and management of fleet of drones, design of reliable wireless networks, evolution of the routing in case of any kind of topological modifications (maintenance operations, failures, capacity variations, ...), survivability to single and multiple failures, ... These specific problems often come from questions of our industrial partners (CIENA, Huawei, Orange labs). We first contribute to the modeling of these problems; then we either use existing tools or develop new tools in Operation Research and (Di)Graph Theory to solve them.

We also investigate optimization problems in other application fields (see Section 8.5) such as structural biology, transportation networks, economy, sociology, etc. For instance, we collaborate in Structural Biology with the Inria projectteam ABS (Algorithms Biology Structure) from Sophia Antipolis. In the area of intelligent transport systems, we collaborate with the SMEs BeNomad and InstantSystem on routing problems in multimodal transportation systems. We also collaborate with GREDEG (research center in economics, law, and management) and the SKEMA business school on the analysis of the impact of competitive funding on the evolution of scientific networks.
On the one side, these collaborations benefit to the considered domains via the dissemination of our tools. On the other side, they give rise to new problems of interest for our community, and help us to improve our knowledge and to test our algorithms on specific instances.
 Last but not least, the research done in Coati results in the production of software (WolrDynamics.jl, etc.), and in the contribution to large opensource softwares such as Sagemath.
Note also that besides our research activity, we are deeply involved in Terra Numerica and contribute to disseminating our domain towards a general audience.
4 Application domains
Coati is mostly interested in telecommunications networks but also in the network structures appearing in social, molecular, and transportation networks.
4.1 Telecommunication Networks
We focus on the design and management of heterogeneous physical and logical networks. The project has kept working on the design of backbone networks (optical networks, radio networks, IP networks). However, the fields of Software Defined Networks and Network Function Virtualization are growing in importance in our studies. In all these networks, we study routing algorithms and the evolution of the routing in case of any kind of topological modifications (maintenance operations, failures, capacity variations, etc.).
4.2 Other Domains
Our combinatorial tools may be well applied to solve many other problems in various areas (transport, biology, resource allocation, chemistry, smartgrids, speleology, etc.) and we collaborate with experts of some of these domains.
For instance, we collaborate with projectteam ABS (Algorithms Biology Structure) from Sophia Antipolis on problems from Structural Biology and with projectteam CRONOS (formerly ATHENA) on problems arising in computational neurosciences. In the area of transportation networks, we collaborate with SMEs Benomad and InstantSystem on dynamic carpooling combined with multimodal transportation systems in the context of ANR project Multimod started in January 2018. We collaborate with SME MillionRoads since October 2019 on the modeling and exploration of the HumanRoads database that gathers more than 100 million curricula (studies and career paths of persons). Last, we collaborate with GREDEG (Groupe de Recherche en Droit, Economie et Gestion, Université Côte d'Azur) and the SKEMA business school on the analysis of the impact of competitive funding on the evolution of scientific collaboration networks.
5 Social and environmental responsibility
5.1 Footprint of research activities
Joanna Moulierac is member of the I3S CO2 group since 2019. The objective of this working group is to evaluate the environmental impact of our research activities and to propose ways to make them evolve by 2030, in order to fulfill the Paris agreements (www.i3s.unice.fr/co2/).
6 Highlights of the year
6.1 Awards
 Ali AlZoobi and David Coudert received the best paper award of ICORES 2022 (11th International Conference on Operations Research and Enterprise Systems) for the paper entitled "On Finding k Earliest Arrival Time Journeys in Public Transit Networks" 46, a joint work with Arthur Finkelstein (InstantSystem) and JeanCharles Régin (I3S);
 Ilias Driouich received the best PhD student poster award of SophI.A Summit 2022 for the work entitled "A Novel ModelBased Attribute Inference Attack in Federated Learning";
 Foivos Fioravantes received the best PhD award in computer science of doctoral school ED STIC for his PhD entitled "Distinguishing labellings of graphs" 71, defended on September 26, 2022. He was cosupervised by Julien Bensmail and Nicolas Nisse;
 Hicham Lesfari, received the best PhD award of Foundation Université Côte d'Azur for his PhD entitled "Machine learning for dynamic network resource allocation", defended on October 7, 2022. He was supervised by Frédéric Giroire.
6.2 Promotions
 Joanna Moulierac has been promoted at the rank Associate Professor HorsClasse in October 2022;
 Emanuele Natale received the Italian qualification as associate professor in Informatics from the National Ministry of Research and University (MIUR).
7 New software and platforms
7.1 New software
7.1.1 Graph Hyperbolicity

Keywords:
Graph algorithmics, Algorithm engineering, Gromov hyperbolicity

Scientific Description:
Hyperbolicity is a graph parameter related to how much a graph resembles a tree with respect to distances. Its computation is challenging as the main approaches consist in scanning all quadruples of the graph or using fast matrix multiplication as building block, both are not practical for large graphs. This software implements stateoftheart algorithms and in particular new algorithms enabling to compute the hyperbolicity of graphs with unprecedented size (up to a million nodes) and speeds up the computation of previously attainable graphs.

Functional Description:
Implementation in C++ of algorithms for computing the hyperbolicity of graphs.
 URL:
 Publications:

Contact:
David Coudert

Participants:
David Coudert, André Nusser, Laurent Viennot
7.1.2 kshortest simple paths

Name:
kshortest simple paths

Keywords:
Graph, Graph algorithmics

Functional Description:
Implementation in C++ of algorithms for computing the k shortest simple paths from a source to a destination in a weighted directed graph.

Release Contributions:
This version implements the standard algorithm proposed by Yen (Yen), Node Classification algorithm proposed by Feng (NC), the Sidetrack Based algorithm proposed by Kurz and Mutzel (SB), and variants of SB proposed by Al Zoobi, Coudert and Nisse to reduce running time (SB*) and memory usage (PSB). It also implements the PNC algorithm proposed by Al Zoobi, Coudert and Nisse to reduce the execution time of the NC algorithm.
 URL:
 Publications:

Contact:
David Coudert

Participants:
David Coudert, Nicolas Nisse, Ali Al Zoobi
7.1.3 SageMath

Name:
SageMath

Keywords:
Graph algorithmics, Graph, Combinatorics, Probability, Matroids, Geometry, Numerical optimization

Scientific Description:
SageMath is a free opensource mathematics software system. It builds on top of many existing opensource packages: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R and many more. Access their combined power through a common, Pythonbased language or directly via interfaces or wrappers.

Functional Description:
SageMath is a free mathematics software system written in Python and combining a large number of mathematical libraries under a common interface.
INRIA teams contribute in different ways to the software collection. COATI adds new graph algorithms along with their documentations and contributes the improvement and maintenance of the graph module and its underlying data structures. LFANT contributes through libraries such as ARB and PARI/GP, and directly through SageMath code for algebras and ring and field extensions.
 Release Contributions:
 URL:

Contact:
David Coudert

Participants:
David Coudert, Xavier Caruso
7.1.4 WorldDynamics.jl

Name:
WorldDynamics.jl

Keywords:
Integrated assessment modeling, Scientific computing, Julia programming language

Scientific Description:
The World Dynamics project aims to provide a modern framework to investigate integrated assessment models of sustainable development, based on current software engineering and scientific machine learning techniques. Our group is developing a Julia library to allow scientists to easily use and adapt different world models, from Meadows et al.'s World3 to recent proposals. By enabling an open, interdisciplinary, and consistent comparative approach to scientific model development, our goal is to inform global policy makers on environmental and economic issues.

Functional Description:
Integrated Assessment Modeling is a research area that focuses on developing and applying integrated models of human and earth systems to help understand how key aspects of society may evolve in the future and how they might interact with the natural environment and with a changing climate.
Despite the importance of the field, there has been no general software framework which allows scientists to investigate integrated assessment models of sustainable development, by using and adapting the most famous world models, from Meadows et al.'s World3 to recent proposals.
WorldDynamics.jl is a new software library written by members of the COATI Team, that aims to fill such crucial gap, by providing a modern framework in the Julia programming language based on current software engineering and scientific machine learning techniques.

News of the Year:
The first version of WorldDynamics.jl has been released on September 2022. It includes all versions of the World models by Forrester and Meadows et al.
 URL:

Contact:
Emanuele Natale

Participants:
Pierluigi Crescenzi, Paulo Bruno De Sousa Serafim, Aurora Rossi, Hicham Lesfari, Emanuele Natale

Partner:
Gran Sasso Science Institute
7.1.5 Idawi

Keywords:
Java, Distributed computing, Web Services, Parallel computing, Component models, Software Components, P2P, Dynamic components, Internet of things, Distributed Applications

Functional Description:
Idawi is a middleware for the development and experimentation of distributed applications for mobile multihop networks, such as the IoT, the Edge, Mobile Ad hoc Networks, etc. Its development was initially motivated by our need to deploy scientific applications in clusters of computers, in order to run large experimentation campaigns of graph algorithms.
Idawi is an innovative arrangement of many features found in existing tools into a fresh Open Source Java reference implementation.
Idawi defines applications elements as components organized into a multihop overlay network on top of TCP/UDP and SSH, to be able to communicate even in the presence of NATs and firewalls. In the usual use case, there will be only one component per device. But, in order to enable the simulation/emulation of large systems, components can deploy other components in their Java Virtual Machine (JVM) or in another JVM(s) in the same device.
Idawi proposes a structuring model of distributed applications, which then must conform to a specific ObjectOriented model in the style of SOA: it defines that components expose their functionality via services. Services hold data and implement functionality about the specific concern they are about. Functionality is then exposed via operations, which can be triggered remotely from anywhere in the component overlay.
The decentralized communication model of Idawi matches the very nature of mobile multihop networks. It defines that components communicate with each other via messages of bounded size. Messaging can be both synchronous (imperative) and asynchronous (reactive/eventdriven). It is powered by a default routing scheme and APIs that are tailored to collective communication, so as to offer native support of parallel processing.
Idawi comes with a set of builtin fully decentralized services for automatized quick deployment/bootstrapping of components through SSH, interoperability through a RESTbased web interface, service provisioning and discovery, overlay management, and many other systemlevel functionality.
 URL:
 Publications:

Contact:
Luc Hogie
7.1.6 OnlineGraph

Keywords:
Java, Distributed computing, Graph algorithmics

Functional Description:
OnlineGraph is a decentralized mixed graph library. OnlineGraph is designed and developed as a specific applicationlevel service of the Idawi middleware. It implements a decentralized application distributed over a multihop overlay network of components. In this application dedicated to the storage, edition and graphical rendering of graphs, graphs are partitioned over the set of components. The application imposes no allocation strategy: it is left to the application. A graph may be entirely allocated on one specific component, or a subset of the components forming the application, or all of them.
Any component in the application can expose graphs to the Web—not just its componentlocal part, but all the parts it has access to in the overlay networks. Graphs are then accessible to clients through a set of Web servers exposing services.
A componentlocal part of a partitioned graph consists of three correlated sets: the vertex set, the arc set, and the edge set. These sets can store the elements they contain in RAM or on disk, thereby enabling persistence. In these sets, graph elements are represented by a 64bit numerical ID, and they can be associated to any data. This graph data structures can be used out of the distributed infrastructure, just any graph library.
OnlineGraph is developed within the COATI Research group at Inria Sophia Antipolis and I3S Computer Science Laboratory of Université Côte d'Azur](https://univcotedazur.eu/). Its development team is composed of:
Luc Hogie (project leader) Khadidiatou Dieye (Master's degree intern) Safouane Ouazri (Master's degree intern) Antonin Lacomme (Master's degree intern) Fedi Ghalloussi (Bachelor's degree intern)
 URL:

Contact:
Luc Hogie
8 New results
8.1 Network Design and Management
Network design is a very wide subject which concerns all kinds of networks. In telecommunications, networks can be either physical (backbone, access, wireless, ...) or virtual (logical). The objective is to design a network able to route a (given, estimated, dynamic, ...) traffic under some constraints (e.g. capacity) and with some qualityofservice (QoS) requirements. Usually the traffic is expressed as a family of requests with parameters attached to them. In order to satisfy these requests, we need to find one or several paths between their endnodes. The set of paths is chosen according to the technology, the protocol or the QoS constraints.
The last years have been very lively for networks with the rises of several new paradigms like Software Defined Networks (SDN) and Network Function Virtualization (NVF), of new technologies like 5G, Elastic Optical Networks or LoRa, and of new usages like Internet of Things, 5G, High quality video streaming. Furthermore, the development of machinelearning based methods brings new tools that can help solving optimization problems. All these changes have brought or renewed a large number of algorithmic and optimization problems for the design and management of networks. In this context, our work has mainly focused on the study of three types of problems:
 How to efficiently route and place virtual resources in networks?
 How to use efficiently wireless networks?
 How to use machinelearning based methods for solving network optimization problems?
This very wide topic is considered by a lot of academic and industrial teams in the world. Our approach is to attack these problems with tools from operations research and discrete mathematics (some of them developed in our teams, see Sections 8.2 and 8.3). This approach is shared by a number of other teams worldwide, e.g. UFC and UNIFOR (Fortaleza, Brazil), Concordia Univ. (Montréal, Canada), Univ. Adolfo Ibañez (Santiago, Chile), Univ. Oran (Algeria), with which we have a direct collaboration.
8.1.1 Reconfiguring Network Slices at the Best Time With Deep Reinforcement Learning
Participants: Redha Alliche, Ramon Aparicio, Frédéric Giroire, Hicham Lesfari, Joanna Moulierac.
The emerging 5G induces a great diversity of use cases, a multiplication of the number of connections, an increase in throughput as well as stronger constraints in terms of quality of service such as low latency and isolation of requests. To support these new constraints, Network Function Virtualization (NFV) and Software Defined Network (SDN) technologies have been coupled to introduce the network slicing paradigm. Due to the high dynamicity of the demands, it is crucial to regularly reconfigure the network slices in order to maintain an efficient provisioning of the network. A major concern is to find the best frequency to carry out these reconfigurations, as there is a tradeoff between a reduced network congestion and the additional costs induced by the reconfiguration.
In 59, we tackle the problem of deciding the best moment to reconfigure by taking into account this tradeoff. By coupling Deep Reinforcement Learning for decision and a Column Generation algorithm to compute the reconfiguration, we propose DeepREC and show that choosing the best time during the day to reconfigure allows to maximize the profit of the network operator while minimizing the use of network resources and the congestion of the network. Moreover, by selecting the best moment to reconfigure, our approach allows to decrease the number of needed reconfigurations compared to an algorithm doing periodic reconfigurations during the day.
8.1.2 Learningbased Packet Routing
Participants: Ramon Aparicio, Redha Alliche, Tiago da Silva Barros.
PRISMA: A Packet Routing Simulator for MultiAgent Reinforcement Learning
In 48, we present PRISMA (Packet Routing Simulator for MultiAgent Reinforcement Learning), an open source simulation ns3based module. To the best of our knowledge, this is the first tool specifically conceived to develop and test Reinforcement Learning (RL) algorithms for the Distributed Packet Routing (DPR) problem. In this problem, where a communication node selects the outgoing port to forward a packet using local information, distancevector routing protocol (e.g., RIP) are traditionally applied. However, when network status changes very dynamically, is uncertain, or is partially hidden (e.g., wireless adhoc networks or wired multidomain networks), RL is an alternate solution to discover routing policies better fitted to these cases. Unfortunately, no RL tools have been developed to tackle the DPR problem, forcing the researchers to implement their own simplified RL simulation environments, complicating reproducibility and reducing realism. To overcome these issues, we present PRISMA, which offers to the community a standardized framework where: (i) communication process is realistically modelled (thanks to ns3); (ii) distributed nature is explicitly considered (nodes are implemented as separated threads); (iii) and, RL proposals can be easily developed (thanks to a modular code design and realtime training visualization interfaces) and fairly compared them. This work has been done in collaboration with Lucile Sassatelli from SIS team of I3S laboratory.
Impact Evaluation of Control Signalling onto Distributed Learningbased Packet Routing
In recent years, several works have studied MultiAgent Deep Reinforcement Learning for the Distributed Packet Routing problem, with promising results in various scenarios where network status changes dynamically, is uncertain, or is partially hidden (e.g., wireless ad hoc networks or wired multidomain networks). Unfortunately, these previous works focus on an ideal scenario where the impact of control signalling is neglected, and network simulation is tailored to simplistic assumptions. In 47, we present the first experimental investigation of control signalling mechanisms for distributed learningbased packet routing. We rely on PRISMA. We formulate two signalling mechanisms between agents (value sharing and model sharing). We investigate the net gains considering inband signalling and show that routing policies close to those provided by an oracle with full knowledge of traffic and network topology can be discovered with a control overhead of 150% with respect to injected data packets, if neighboring agents share their Deep Neural Network models. We discuss the generality of our results to underline the importance of assessing net gains of MultiAgent Deep Reinforcement Learning (MADRL)based routing. This work has been done in collaboration with Lucile Sassatelli from SIS team of I3S laboratory.
8.1.3 Anomaly detection in traffic data
Participants: Frédéric Giroire, Hicham Lesfari.
With the continuous growing level of dynamicity, heterogeneity, and complexity of traffic data, anomaly detection remains one of the most critical tasks to ensure an efficient and flexible management of a network. Recently, driven by their empirical success in many domains, especially bioinformatics and computer vision, graph kernels have attracted increasing attention. Our work aims at investigating their discrimination power for detecting vulnerabilities and distilling traffic in the field of networking. In 63, we propose Nadege, a new graphbased learning framework which aims at preventing anomalies from disrupting the network while providing assistance for traffic monitoring. Specifically, we design a graph kernel tailored for network profiling by leveraging propagation schemes which regularly adapt to contextual patterns. Moreover, we provide provably efficient algorithms and consider both offline and online detection policies. Finally, we demonstrate the potential of kernelbased models by conducting extensive experiments on a wide variety of network environments. Under different usage scenarios, Nadege significantly outperforms all baseline approaches.
8.1.4 Modeling LoRa networks for the IoT
Participants: Christelle Caillouet.
LoRa is a lowpower and long range radio communication technology designed for lowpower Internet of Things devices. These devices are often deployed in remote areas where the endtoend connectivity provided through one or more gateways may be limited. In collaboration with Martin Heusse and Andrzej Duda (Drakkar, LIG, Grenoble), we propose a model fitting the unslotted ALOHA protocol for channel access in a LoRaWAN cell 60, 68. It combines the effects of collisions with channel fading, by which reception may get buried in noise. Unlike the existing models of LoRaWAN, our model takes into account the frame arrival timing: it distinguishes, on the one hand, the interference created by earlier transmissions with respect to the frame of interest, and on the other hand, the interference by the frames arriving later on. From the results of the model, we draw three observations regarding the improvement of Packet Delivery Ratio (PDR). First, it puts back under the spotlight the often overlooked fact that repeating frames is always beneficial when the desired PDR is above 60%, even though the extra packet transmissions create more collisions. Second, as soon as the node density becomes notable and collisions have a similar impact on losses as attenuation, adding a smaller spreading factor SF6 modulation into the cell list of transmission parameters allows increasing the coverage range. Third, the model shows that cell capacity sometimes grows with the distance to the gateway or with decreased node transmission power, a trend seldom observed in wireless networks.
8.1.5 Aerial networks for sensor coverage and energy harvesting
Participants: Christelle Caillouet, Igor Dias da Silva.
The use of autonomous unmanned aerial vehicles (UAVs) or drones has emerged to efficiently collect data from mobile sensors when there is no infrastructure available. The drones can form a flying adhoc network through which the sensors can send their data to a base station at any time. In 56, we present a mixed integer linear program to find the drones’ optimal trajectories to form and maintain this network through time while minimizing their movements and energy consumption. Furthermore we analyze the tradeoff between distance and energy, where increasing the drones’ mobility can reduce their energy consumption, and derive a fair tradeoff optimal solution to balance the two opposite objectives.
The problem of the lifetime of connected objects, in most use cases (Industrial Internet of Things (IIoT), disaster management, etc.) is an essential element of the proposed solutions. Radio frequency (RF) harvesting of sensor batteries is an attractive solution, however, it does not scale up if it has to be done by human operators, and becomes impossible if the objects are located in unreachable places. An innovative solution consists of using fleets of drones to take care of this regular recharge. In collaboration with Yann Busnel (IMT Atlantique) 55, we focus on the selforganised deployment of a fleet of drones to solve this problem, taking into account the multiple constraints involved. We propose a twostep optimization framework based on an optimal orchestration solution to reduce the recharging time of a complete sensor system, by optimizing the number of drones, the overall flight time and their energy consumption. We illustrate the performance of our framework that ensures the drones avoid conflicts to guarantee a higher energy harvesting efficiency (establishment of optimal drone positions and planning of the global flight plan).
8.1.6 A middleware for the experimentation on IoT Mobile Networks
Participant: Luc Hogie [.
In the context of studies on decentralized algorithms for mobile dynamic networks, we investigated the state of the art of the experimentation tools. We discovered that existing solutions, either coming from labs or companies, do not match the requirements of experimentation as it is usually done by researchers. Indeed commercial products focus on reliability and interoperability at the expense of versatility, while lab tools most often serve as proof of concepts. The experimental study of algorithms requires the availability, in a single solution, of the following features: support for both synchronous and asynchronous communication, simulation/emulation of large systems, fast deployment, Web interoperability, and because less is more, full decentralization, just to name a few. Idawi was designed and implemented to the very purpose of providing the research community with a tool tailored to its needs. The resulting middleware, called Idawi is released via the MAVEN global distribution platform for Java software. MAVEN Central statistics indicate that Idawi binaries have been downloaded (for integration) 350 times in the year 2022. In addition to this, Idawi and its satellite tools are all Open Source. They are released under the Apache V2 license. For the sake of Open Science, their source code are fully available on GitHub. See 61, 62, 85
8.2 Graph Algorithms
In the last years, Coati has conducted an intense research effort on the algorithmic aspects of graph theory. We are mainly interested in designing efficient algorithms for large graphs and in understanding how structural properties of networks can help for this purpose. In general we try to find the most efficient algorithms, either exact algorithms or approximation ones, to solve various problems of graph theory, often with applications in telecommunication networks. We are involved in many international and national collaborations with academic and industrial partners.
We mainly focus on four topics: efficient computation of graph parameters, graph decompositions, combinatorial games in graphs and distributed computing.
 We use graph theory to model various network problems. We study their complexity with the aim of identifying the key structural properties of graphs that make these problems hard or easy. We then search for the most efficient algorithms to solve the problems, sometimes focusing on specific graph classes from which the problems are polynomialtime solvable. Our algorithms are generally implemented (e.g., in Sagemath) and tested on reallife networks (e.g., road networks, Twitter, graph of copublications from Scopus, etc.).
 Treedecompositions are the cornerstone of many dynamic programming algorithms for solving graph problems. Since the complexity of such algorithms generally depends exponentially on the width (size of the bags) of the decomposition, much work has been devoted to compute treedecompositions with small width. We propose different approaches, based on a pursuitevasion perspective or on metric aspects of graphs, to compute optimal or approximate treedecompositions of graphs.
 One important topic of Coati is the study of combinatorial games in graphs. For instance, we are strongly involved in the organization of GRASTA dedicated to pursuitevasion games (and their relationships with treedecompositions) and games in graphs (special issues 94, 90, organization of the 10th edition of GRASTA in May 2022...). We study combinatorial games for themselves by determining their complexity but also because they provide nice models for problems arising in telecommunication networks (e.g., localization games).
 Within the research area of the theory of distributed computing, Coati investigates the recent topics of computational dynamics on complex networks, namely the study of algorithmicallysimple interaction rules among agents represented by nodes of a complex network. Such systems are of interest in many scientific areas, ranging from biology to sociology. We contribute to this research endeavour by focusing on the fundamental coordination problems, in which agents are required to agree on a configuration which satisfies some condition based on their initial input state.
8.2.1 Complexity of graph problems
Participants: Thomas Dissaux, Foivos Fioravantes, Nicolas Nisse.
Treedecompositions with bags of bounded diameter
A pathdecomposition of a graph $G=(V,E)$ is a sequence of subsets of $V$, called bags, that satisfy some connectivity properties. The length of a pathdecomposition of a graph $G$ is the greatest distance between two vertices that belong to a same bag and the pathlength, denoted by $p\ell \left(G\right)$, of $G$ is the smallest length of its pathdecompositions. This parameter has been studied for its algorithmic applications for several classical metric problems like the minimum eccentricity shortest path problem, the linedistortion problem, etc. However, deciding if the pathlength of a graph $G$ is at most 2 is NPcomplete, and the best known approximation algorithm has a ratio 2 (there is no $c$approximation with $c<\frac{3}{2}$ unless $P=NP$). In 82, 57, we focus on the study of the pathlength of simple subclasses of planar graphs. We start by designing a lineartime algorithm that computes the pathlength of trees. Then, we show that the pathlength of cycles with $n$ vertices is equal to $\lfloor \frac{n}{2}\rfloor $. Finally, our main result is a $(+1)$approximation algorithm for the pathlength of outerplanar graphs. This algorithm is based on a characterization of almost optimal (of length at most $p\ell \left(G\right)+1$) pathdecompositions of outerplanar graphs.
Complexity of finding maximum locally irregular induced subgraphs
If a graph $G$ is such that no two adjacent vertices of $G$ have the same degree, we say that $G$ is locally irregular. In 67, we introduce and study the problem of identifying a largest induced subgraph of a given graph $G$ that is locally irregular. Equivalently, given a graph $G$, find a subset $S$ of $V\left(G\right)$ with minimum order, such that by deleting the vertices of $S$ from $G$ results in a locally irregular graph; we denote with $\mathrm{I}\left(\mathrm{G}\right)$ the order of such a set $S$. We first examine some easy graph families, namely paths, cycles, trees, complete bipartite and complete graphs. However, we show that the decision version of the introduced problem is $\mathrm{\mathcal{N}\mathcal{P}}$Complete, even for restricted families of graphs, such as subcubic planar bipartite, or cubic bipartite graphs. We then show that we can not even approximate an optimal solution within a ratio of $\mathcal{O}\left({n}^{1\frac{1}{k}}\right)$, where $k\ge 1$ and $n$ is the order the graph, unless $\mathcal{P}\mathrm{\mathcal{N}\mathcal{P}}$, even when the input graph is bipartite.
Then, looking for more positive results, we turn our attention towards computing $\mathrm{I}\left(\mathrm{G}\right)$ through the lens of parameterised complexity. In particular, we provide two algorithms that compute $\mathrm{I}\left(\mathrm{G}\right)$, each one considering different parameters. The first one considers the size of the solution $k$ and the maximum degree $\Delta $ of $G$ with running time ${\left(2\Delta \right)}^{k}{n}^{\mathcal{O}\left(1\right)}$, while the second one considers the treewidth $tw$ and $\Delta $ of $G$, and has running time ${\Delta}^{2tw}{n}^{\mathcal{O}\left(1\right)}$. Therefore, we show that the problem is FPT by both $k$ and $tw$ if the graph has bounded maximum degree $\Delta $. Since these algorithms are not FPT for graphs with unbounded maximum degree (unless we consider $\Delta +k$ or $\Delta +tw$ as the parameter), it is natural to wonder if there exists an algorithm that does not include additional parameters (other than $k$ or $tw$) in its dependency. We answer negatively, to this question, by showing that our algorithms are essentially optimal. In particular, we prove that there is no algorithm that computes $\mathrm{I}\left(\mathrm{G}\right)$ with dependence $f\left(k\right){n}^{o\left(k\right)}$ or $f\left(tw\right){n}^{o\left(tw\right)}$, unless the ETH fails.
This is a joint work with with Nikolaos Melissinos (LAMSADE, Université ParisDauphine) and Theofilos Triomatis (School of Electrical Engineering, University of Liverpool).
8.2.2 Combinatorial games in graphs
Participants: Julien Bensmail, JeanClaude Bermond, Michel Cosnard, Foivos Fioravantes, Frédéric Havet, Nicolas Nisse.
The largest connected subgraph game
In 23, we introduce the largest connected subgraph game played on an undirected graph $G$. In each round, Alice first colours an uncoloured vertex of $G$ red, and then, Bob colours an uncoloured vertex of $G$ blue, with all vertices initially uncoloured. Once all the vertices are coloured, Alice (Bob, resp.) wins if there is a red (blue, resp.) connected subgraph whose order is greater than the order of any blue (red, resp.) connected subgraph. We first prove that, if Alice plays optimally, then Bob can never win, and define a large class of graphs (called reflection graphs) in which the game is a draw. We then show that determining the outcome of the game is PSPACEcomplete, even in bipartite graphs of small diameter, and that recognising reflection graphs is GIhard. We also prove that the game is a draw in paths if and only if the path is of even order or has at least 11 vertices, and that Alice wins in cycles if and only if the cycle is of odd length. Lastly, we give an algorithm to determine the outcome of the game in cographs in linear time. This is a collaboration with Fionn Mc Inerney (postdoc at CISPA Helmholtz Center for Information Security, Saarbrücken, Germany).
Then, in 49, we study the MakerBreaker variant of this game, where Alice wins if there is a connected red component of order at least $k$, and otherwise, Bob wins. We want to compute ${c}_{g}\left(G\right)$, which is the maximum $k$ such that Alice wins in $G$, regardless of Bob's strategy. Given a graph $G$ and $k\in \mathbb{N}$, we prove that deciding whether ${c}_{g}\left(G\right)\ge k$ is PSPACEcomplete, even if $G$ is a bipartite, split, or planar graph. To better understand the Largest Connected Subgraph game, we then focus on Aperfect graphs, which are the graphs $G$ for which ${c}_{g}\left(G\right)=\lceil \leftV\left(G\right)\right/2\rceil $, i.e., those in which Alice can ensure that the red subgraph is connected. We give sufficient conditions, in terms of the minimum and maximum degrees or the number of edges, for a graph to be Aperfect. Also, we show that, for any $d\ge 4$, there are arbitrarily large Aperfect $d$regular graphs, but no cubic graph with order at least 18 is Aperfect. Lastly, we show that ${c}_{g}\left(G\right)$ is computable in linear time when $G$ is a ${P}_{4}$sparse graph (a superclass of cographs). This is a collaboration with Fionn Mc Inerney (postdoc at CISPA Helmholtz Center for Information Security, Saarbrücken, Germany) and Nacim Oijid (Ph.D. student, LIRIS, Lyon).
The VertexCapturing Game
Inspired by the board game Kahuna, we have introduced and studied in 34 a new 2player scoring game played on graphs called the vertexcapturing game. The game is played on a graph by two players, Alice and Bob, who take turns colouring an uncoloured edge of the graph. Alice plays first and colours edges red, while Bob colours edges blue. The game ends once all the edges have been coloured. A player captures a vertex if more than half of its incident edges are coloured by that player, and the player that captures the most vertices wins.
Using classical arguments from the field, we have first proved general properties of this game. Namely, we have proved that there is no graph in which Bob can win (if Alice plays optimally), while Alice can never capture more than 2 more vertices than Bob (if Bob plays optimally). Through dedicated arguments, we have then investigated more specific properties of the game, and have focused on its outcome when played in particular graph classes. Specifically, we have determined the outcome of the game in paths, cycles, complete bipartite graphs, and Cartesian grids, and have given partial results for trees and complete graphs.
Graph grabbing games
In 79, 51 we revisit the problem entitled Sharing a Pizza stated by P. Winkler by considering a new puzzle called Sharing a Pissaladiere. The game is played by two polite coatis Alice and Bob who share a pissaladière (a $p\times q$ grid) which is divided into rectangular slices. Alice starts in a corner and then the coatis alternate removing a remaining slice adjacent to at most two other slices. On some slices there are precious olives of Nice and the aim of each coati is to grab the maximum number of olives. We first study the particular case of $1\times n$ grid (i.e. a path) where the game is a graph grabbing game known as Sharing a linear pizza. In that case each player can take only an end vertex of the remaining path. These problems are particular cases of a new class of games called $d$degenerate games played on a graph with non negative weights assigned to the vertices with the rule that coatis alternatively take a vertex of degree at most $d$.
Our main results are the following. We give optimal strategies for paths (linear pizzas) with no two adjacent weighty vertices. We also give a recurrence formula to compute the gains which depend only on the parity of n and of the respective parities of weighty vertices with a complexity in $\mathcal{O}\left({h}^{2}\right)$ where $h$ denotes the number of parity changes in the weighty vertices. When the weights are only $\{0,1\}$ we reduce the computation of the average number of olives collected by each player to a word counting problem. We solve Sharing pissaladière with $\{0,1\}$ weights, when there is one olive or 2 olives. In that case Alice (resp. Bob) grabs almost all the olives if the number of vertices of the grid $n=p\times q$ is odd (resp. even). We prove that for a $2\times q$ grid with a fixed number $k$ of olives Bob grabs at least $\u2308\frac{k1}{3}\u2309$ olives and almost always grabs all the $k$ olives.
8.2.3 Optimal stopping algorithms
Participants: Malgorzata Sulkowska.
The optimal stopping theory is the art of choosing a proper time to take a particular action in order to maximize gain or minimize cost. In the series of articles we undertake several optimal stopping problems and come up with some tools that help to estimate the winning probabilities.
In 41 together with Fabrício Siqueira Benevides (UFC, Ceará, Brazil) we obtain a surprising result about a certain family of optimal stopping problems defined on graphs. The vertices of a graph $G$ are revealed one by one, in a random order, to a selector. He aims to stop this process at a time $t$ that maximizes the expected number of connected components in the graph ${\tilde{G}}_{t}$, induced by the currently revealed vertices. The selector knows $G$ in advance, but different versions of the game are considered depending on the information that he gets about ${\tilde{G}}_{t}$. We show that when $G$ has $N$ vertices and maximum degree of order $o\left(\sqrt{N}\right)$, then the number of components of ${\tilde{G}}_{t}$ is concentrated around its mean, which implies that playing the optimal strategy the selector does not benefit much by receiving more information about ${\tilde{G}}_{t}$. Results of similar nature were previously obtained by M. Lasoń for the case where $G$ is a $k$tree (for constant $k$). We also consider the particular cases where $G$ is a square, triangular or hexagonal lattice, showing that an optimal selector gains $cN$ components and we compute $c$ with an error less than $0.005$ in each case.
Next, we turn to a particular problem defined classically for uniform random variables. A decision maker observes a sequence of $n$ independent realizations from the uniform distribution on the unit interval. However, he does not observe the precise values of these realizations, but only their ranks relative to those that have appeared previously. The goal of the decision maker is to select the realization whose value is closest to $\frac{1}{2}$. A realization can only be selected at the moment of its appearance. In 43, in collaboration with Ewa Kubicka, Grzegorz Kubicki (University of Louisville, USA) and Małgorzata Kuchta (WUST, Wrocław, Poland), we derive a stopping rule which maximizes the probability of achieving this goal, together with the asymptotic probability of success.
In cooperation with Alexander Gnedin (QMUL, London, UK) and Patryk Kozieł (WUST, Wrocław, Poland) we investigate much more general, fullinformation, models in 42. The fullinformation best choice problem asks one to find a strategy maximizing the probability of stopping at the minimum (or maximum) of a sequence ${X}_{1},\cdots ,{X}_{n}$ of i.i.d. random variables with continuous distribution. We approach more general problem, where independent ${X}_{j}$'s may have different distributions, discrete or continuous. A central role in our study is played by the running minimum process, which we first employ to revisit the classic problem and its limit Poisson counterpart. The approach is further applied to two explicitly solvable models: in the first the distribution of the $j$th variable is uniform on $\{j,\cdots ,n\}$, and in the second it is uniform on $\{1,\cdots ,n\}$.
Finally, we come up with some tools that may be helpful by estimating winning probabilities in optimal stopping problems defined for treelike graphs or partially ordered sets (posets). When deriving the optimal stopping rule, one needs to compare the probability of success by stopping the process at the current moment with the probability of success if one decided to play further. Then one is often forced to derive the number of embeddings of a currently generated structure (e.g. graph or poset) in the whole underlying structure. More precisely, the number of embeddings of a partially ordered set $S$ in a partially ordered set $T$ is the number of subposets of $T$ isomorphic to $S$. If both, $S$ and $T$, have only one unique maximal element, we define good embeddings as those in which the maximal elements of $S$ and $T$ overlap. In 38 (together with Bernhard Gittenberger, Isabella Larcher, TU Wien, Austria; and Zbigniew Gołębiewski, WUST, Wrocław, Poland) we investigate the number of good and all embeddings of a rooted poset $S$ in the family of all binary trees on $n$ elements considering two cases: plane (when the order of descendants matters) and nonplane. Furthermore, we study the number of embeddings of a rooted poset $S$ in the family of all planted plane trees of size $n$. We derive the asymptotic behaviour of good and all embeddings in all cases and we prove that the ratio of good embeddings to all is of the order $\Theta (1/\sqrt{n})$ in all cases, where we provide the exact constants. Furthermore, we show that this ratio is asymptotically nondecreasing with $S$. Finally, we comment on the case when $S$ is disconnected.
8.2.4 Algorithms for social networks
Participants: Frédéric Giroire, Nicolas Nisse, Stéphane Pérennes, Malgorzata Sulkowska.
Modularity in graphs and hypergraphs
Modularity is a wellestablished parameter measuring the presence of community structure in the network. It was introduced by Newman and Girvan in 2004. Nowadays it is widely used as a quality function for community detection algorithms. The popular heuristic clustering algorithms (e.g., Louvain algorithm or Leiden algorithm) find a partition using modularitybased approach.
In 44 (in collaboration with Michał Lasoń from the Polish Academy of Sciences, Poland) we prove that a class of graphs with an excluded minor and with the maximum degree sublinear in the number of edges is maximally modular, that is, for every $\epsilon >0$, the modularity of any graph in the class with sufficiently many edges is at least $1\epsilon $. This completes the classification of maximally modular classes among all commonly considered subclasses of nowhere dense graphs with maximum degree sublinear in the number of edges.
Preferential attachment hypergraph with high modularity
Numerous works have been proposed to generate random graphs preserving the same properties as reallife large scale networks. However, many real networks are better represented by hypergraphs. Few models for generating random hypergraphs exist and also just a few models allow to both preserve a powerlaw degree distribution and a high modularity indicating the presence of communities. In 83, we present a dynamic preferential attachment hypergraph model which features partition into communities. We prove that its degree distribution follows a powerlaw and we give theoretical lower bounds for its modularity. We compare its characteristics with a reallife coauthorship network and show that our model achieves good performances. We believe that our hypergraph model will be an interesting tool that may be used in many research domains in order to reflect better reallife phenomena. This is a collaboration with Thibaud Trolliet (MillionRoads).
A Random Growth Model with any Real or Theoretical Degree Distribution
The degree distributions of complex networks are usually considered to follow a power law distribution. However, it is not the case for a large number of them. We thus propose a new model able to build random growing networks with (almost) any wanted degree distribution 37. The degree distribution can either be theoretical or extracted from a realworld network. The main idea is to invert the recurrence equation commonly used to compute the degree distribution in order to find a convenient attachment function for node connectionscommonly chosen as linear. We compute this attachment function for some classical distributions, as the powerlaw, the broken powerlaw, and the geometric distributions. We also use the model on an undirected version of the Twitter network, for which the degree distribution has an unusual shape. We finally show that the divergence of chosen attachment functions is directly linked to the heavytailed property of the obtained degree distributions.
8.2.5 Algorithm engineering
Participants: David Coudert, Nicolas Nisse.
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, and experimental evaluation of computer programs for solving algorithmic problems. It provides methodologies and tools for developing and engineering efficient algorithmic codes and aims at integrating and reinforcing traditional theoretical approaches for the design and analysis of algorithms and data structures. This approach is particularly suited when formal analysis pessimistically suggests bounds which are unlikely to appear on inputs of practical interest.
Algorithms for the $k$ shortest simple paths problem
The $k$ shortest simple path problem ($k$SSP) asks to compute a set of top$k$ shortest simple paths from a vertex $s$ to a vertex $t$ in a digraph. Yen (1971) proposed the first algorithm with the best known theoretical complexity of $O\left(kn\right(m+nlogn\left)\right)$ for a digraph with $n$ vertices and $m$ arcs. Since then, the problem has been widely studied from an algorithm engineering perspective, and impressive improvements have been achieved. The most noticeable proposals are the nodeclassification (NC) algorithm (Feng, 2014) and the sidetracksbased (SB) algorithm (Kurz, Mutzel, 2016). The latest offers the best running time at the price of a significant working memory. Last year, we proposed a new algorithm, the postponed node classification (PNC) algorithm, that combines the best of NC (low memory consumption) and SB (fast computation) 89. This year, in collaboration with Arthur Finkelstein (I3S and InstantSystem) and JeanCharles Régin (I3S), we have extended in 46 the Yen's and PNC algorithms to find the $k$ earliest arrival time journeys in public transit networks. The proposed PNCPT algorithm (PNC for public transit networks) is currently the fastest algorithm for solving this problem.
Gromov hyperbolicity
Hyperbolicity is a graph parameter which indicates how much the shortestpath distance metric of a graph deviates from a tree metric. It is used in various fields such as networking, security, and bioinformatics for the classification of complex networks, the design of routing schemes, and the analysis of graph algorithms. Despite recent progress, computing the hyperbolicity of a graph remains challenging. Indeed, the best known algorithm has time complexity $O\left({n}^{3.69}\right)$, which is prohibitive for large graphs, and the most efficient algorithms in practice have space complexity $O\left({n}^{2}\right)$. Thus, time as well as space are bottlenecks for computing the hyperbolicity.
In collaboration with André Nusser (MPII, Saarbrücken, Germany) and Laurent Viennot (GANG, Inria Paris), we designed a tool for enumerating all farapart pairs of a graph by decreasing distances 36, a key component that was previously used to drastically reduce the computation time for hyperbolicity in practice. However, it required the computation of the distance matrix to sort all pairs of nodes by decreasing distance. We proposed a new data structure that avoids this memory bottleneck in practice and for the first time enables computing the hyperbolicity of several graphs with more than 100 000 nodes that were far outofreach using previous algorithms. As iterating over farapart pairs in decreasing order without storing them explicitly is a very general tool, we believe that our approach might also be relevant to other problems.
We then proposed in 53, 52 a new approach that uses a hierarchy of distance$k$ dominating sets to reduce the search space. This technique, compared to the previous best practical algorithms, enables us to compute the hyperbolicity of graphs with unprecedented size (up to a million nodes) and speeds up the computation of previously attainable graphs by up to 3 orders of magnitude while reducing the memory consumption by up to more than a factor of 23.
The C++ code of all our algorithms is available at 92.
8.2.6 Distributed algorithms
Participants: Francesco d'Amore, Frédéric Giroire, Hicham Lesfari, Emanuele Natale, Stéphane Perennes.
Phase Transition of the 3Majority Dynamics with Uniform Communication Noise
Communication noise is a common feature in several realworld scenarios where systems of agents need to communicate in order to pursue some collective task. In particular, many biologically inspired systems that try to achieve agreements on some opinion must implement resilient dynamics that are not strongly affected by noisy communications. In 70, in collaboration with Isabella Ziccardi (Università degli Studi dell'Aquila), we study the popular 3Majority dynamics, an opinion dynamics which has been proved to be an efficient protocol for the majority consensus problem, in which we introduce a simple feature of uniform communication noise, following 95. We prove that in the fully connected communication network of $n$ agents and in the binary opinion case, the process induced by the 3Majority dynamics exhibits a phase transition. For a noise probability $p<1/3$, the dynamics reaches in logarithmic time an almostconsensus metastable phase which lasts for a polynomial number of rounds with high probability. Furthermore, departing from previous analyses, we further characterize this phase by showing that there exists an attractive equilibrium value ${s}_{\text{eq}}\in \left[n\right]$ for the bias of the system, i.e. the difference between the majority community size and the minority one. Moreover, the agreement opinion turns out to be the initial majority one if the bias towards it is of magnitude $\Omega \left(\sqrt{nlogn}\right)$ in the initial configuration. If, instead, $p>1/3$, no form of consensus is possible, and any information regarding the initial majority opinion is lost in logarithmic time with high probability. Despite more communications perround are allowed, the 3Majority dynamics surprisingly turns out to be less resilient to noise than the UndecidedState dynamics 95, whose noise threshold value is $p=1/2$.
Phase transition of a nonlinear opinion dynamics with noisy interactions.
In several real MultiAgent Systems (MAS), it has been observed that only weaker forms of metastable consensus are achieved, in which a large majority of agents agree on some opinion while other opinions continue to be supported by a (small) minority of agents. In 45, we take a step towards the investigation of metastable consensus for complex (nonlinear) opinion dynamics by considering the popular Undecided dynamics in the binary setting, which is known to reach consensus exponentially faster than the Voter dynamics. We propose a simple form of uniform noise in which each message can change to another one with probability $p$ and we prove that the persistence of a metastable consensus undergoes a phase transition for $p=\frac{1}{6}$. Interestingly, our results have explicit connections to a specific setting of a wellstudied valuesensitive decision mechanism inspired by crossinhibition in househunting honeybee swarms.
Opinion dynamics
We study opinion dynamics in multiagent networks where agents hold binary opinions and are influenced by their neighbors while being biased towards one of the two opinions, called the superior opinion. The dynamics is modeled by the following process: at each round, a randomly selected agent chooses the superior opinion with some probability $\alpha $, and with probability $1\alpha $ it conforms to the opinion manifested by the majority of its neighbors. In 69, we exhibit classes of network topologies for which we prove that the expected time for consensus on the superior opinion can be exponential. This answers an open conjecture in the literature. In contrast, we show that in all cubic graphs, convergence occurs after a polynomial number of rounds for every $\alpha $. We rely on new structural graph properties by characterizing the opinion formation in terms of multiple domination, stable and decreasing structures in graphs, providing an interplay between bias, consensus and network structure. Finally, we provide both theoretical and experimental evidence for the existence of decreasing structures and relate it to the rich behavior observed on the expected convergence time of the opinion diffusion model.
Parallel Lévy walks
In collaboration with George Giakkoupis (WIDE Team, IRISA, Rennes) and Andrea Clementi (Univ. of Rome 2 "Tor Vergata", Rome, Italy), we investigated in 91 a parallel version of the famous Lévy walk stochastic process, the most famous general model of animal movement. This year, we presented our work at the Highlights of Algorithms (HALG) flagship international conference 86.
8.3 Graph and digraph theory
Coati works mainly on two important topics in graph theory, namely graph colouring and directed graphs (digraphs), as well as on the interaction between the two.
We are putting an effort on understanding better directed graphs and partitioning problems, and in particular colouring problems. We also try to better understand the many relations between orientations and colourings. We study various substructures and partitions in (di)graphs. For each of them, we aim at giving sufficient conditions that guarantee its existence and at determining the complexity of finding it.
8.3.1 Partitioning and labelling graphs and digraphs
Participants: Julien Bensmail, Foivos Fioravantes, Frédéric Havet, Nicolas Nisse.
Distinguishing labelling problems and the 123 Conjecture
In distinguishing labelling problems, the general goal is, given a graph, to label some of its elements so that some pairs of elements can be distinguished accordingly to some parameter computed from the labelling. Note that this description involves many parameters that can be played with, such as the set of elements to be labelled, the set of labels to be assigned, the set of elements to be distinguished, and the distinguishing parameter computed from the labelling. A notable example is the socalled 123 Conjecture, which asks whether almost all graphs can have their edges labelled with 1,2,3 so that every two adjacent vertices are distinguished accordingly to their sums of incident labels.
We have obtained a number of results, related both to the 123 Conjecture and related problems. These results stand both as notable progress towards some open questions, and as new problems of independent interest.

In collaboration with H. Hocquard, D. Lajou and É. Sopena (LaBRI, Université de Bordeaux), we have investigated, through several works, the multiplicative version of the 123 Conjecture. In that variant of the 123 Conjecture, adjacent vertices are required to be distinguished, through a labelling, by their products of incident labels. The main conjecture here, is due to SkowronekKaziów, who conjectured in 2012 that labels $1,2,3$ should suffice for (nearly) all graphs. The best result towards that question, proved back in 2012, was that labels $1,2,3,4$ suffice in general.
In 28, we have gotten progress towards that Multiplicative 123 Conjecture, proving that the conjecture holds for 4colourable graphs, and providing a result that is very close to what is actually conjectured. Later on, in 27, 65, building upon that earlier study, we have come up with a full proof of the Multiplicative 123 Conjecture. This stands as one of the most important results of the field, in the recent years.
In 29, we have also initiated the study of a list version of the Multiplicative 123 Conjecture, which is a standard way to generalise colouring/labelling problems. In particular, we conjecture that any lists of three labels should permit to design labellings distinguishing adjacent vertices by products. Towards that presumption, we have provided several results and bounds as support.
 In 35, 25, 26, with H. Hocquard, F. Fioravantes and D. Lajou, we have established the computational hardness of finding “optimal” labellings fulfilling additional constraints (e.g. when edges must be labelled in a proper way, when all vertices must be distinguished, and when the distinction condition is with respect to the incident sums, multisets and sets of labels). In particular, in the context of the socalled irregular strength of graphs, we even got close to establishing the NPhardness of determining its value, which is a problem that has been open for long.

In a few more works, we have also investigated several side aspects of the 123 Conjecture, resulting in the study of related variants. Notably, interesting questions relate to the labels $1,2,3$, which are at the heart of the conjecture. One can indeed legitimately wonder about the importance of these precise label values, and whether a similar question would still make sense when considering other label values.
For instance, in 32, with F. Mc Inerney (CISPA Helmholtz Center for Information Security, Saarbrücken, Germany) and K. Lyngsie (Technical University of Denmark), we have investigated the generalisation of existing results with labels $1,2$ to any pair of odd labels $a,b$. While our results show that some results adapt naturally, they also highlight that some subtle discrepancies sometimes exist.
Also, in 50, 77, with H. Hocquard and P.M. Marcille (LaBRI, Université de Bordeaux), we have investigated the socalled Weak $(2,2)$Conjecture, which, roughly put, stands as a weaker form of the 123 Conjecture where label 3 is replaced with a pair of two particular labels (through the notion of coloured labels). As a main contribution, we have proved the conjecture for new significant classes of graphs, defined in terms of forbidden induced structures (clawfree graphs and $2{K}_{2}$free graphs).
In some other works, we have also introduced new variants of distinguishing labelling problems, and have provided a few results on them. For instance, in 30, with H. Hocquard and P.M. Marcille, we have introduced a variant of the 123 Conjecture where the vertex sums are fetched within a larger radius $r$, and it is required that vertices at distance at most $r$ from each other must be distinguished. This problem encapsulating the exact 123 Conjecture (when $r=1$), we have mainly investigated how existing results from the field generalize to larger values of $r$. In 24, we have considered a version where the sum of assigned labels must be minimised. Last, in 76, we have introduced a new variant dedicated to oriented graphs, standing as a generalisation of the 123 Conjecture to oriented colourings.
Arbitrarily Partitionable Graphs
In 78, 31, 19, with B. Li (Northwestern Polytechnical University, China), we have investigated several properties of arbitrarily partitionable graphs (AP graphs for short), which are those graphs that can be vertexpartitioned into arbitrarily many connected subgraphs with arbitrary order. While AP graphs form a superclass of Hamiltonian graphs, we proved results showing both the similarities and the discrepancies between AP graphs and Hamiltonian graphs. In particular, we proved that a few sufficient conditions for Hamiltonicity can be weakened to APness, while we proved some do not, sometimes in a strong sense. We also investigated AP graphs that are minimal w.r.t. the AP property, giving results on their order, their minimum degree, their maximum degree, and their clique number.
Colouring decorated graphs
In 20, 21, 22, 75 with T. Das, S. Das, S. Nandi and S. Sen (from various institutes in India), N. Oijid and T. Pierron (LIRIS, Université de Lyon), and D. Lajou and É. Sopena (LaBRI, Université de Bordeaux), we have pursued the study of the usual chromatic theory of graphs to the realm of decorated graphs. Namely, we have considered the analogue of the chromatic number for pushable graphs (oriented graphs in which vertices can be pushed at will, i.e., have the direction of their incident arcs reversed) and signed graphs (2edgecoloured graphs in which vertices can be switched at will, i.e., have the polarity of their incident edges interchanged). We have mainly focused of graphs with bounded maximum degree. Notably, we have managed to determine the exact value of the analogues of the chromatic number for pushable graphs and signed graphs with maximum degree 3. We have also conducted a study of various types of grids, summarising the state of research of the field to date, and raising new results and questions.
Finally, we also came up with attempts to generalise classical types of colourings to signed graphs and oriented graphs, such as complete colourings and total colourings. For each such attempt, we investigated how results for the undirected case adapt to our case (if they did), and proposed new directions and questions to motivate further research on the topic.
Nash equilibria and greedy colourings
Panagopoulou and Spirakis (A game theoretic approach for efficient graph coloring. Algorithms and Computation pages 183–195, 2008) proposed a colouring algorithm based on a game on a graph $G$. Each vertex is a player with action set corresponding to the set of colours $\{1,\cdots ,V\left(G\right)\left\right\}$. A configuration c is the combination of the actions of each vertex. Given a configuration, a player's payoff is 0 if he selects the same colour as one of his neighbours, otherwise it is the number of vertices that selected the same colour. An elementary improvement occurs when a player unilaterally deviates to other colour and increases its payoff. A pure Nash equilibrium (PNE) is a configuration in which no vertex can do elementary improvements. It can be seen as a state of the game that is sustainable. Note that pure Nash equilibria are colourings of $G$, because a vertex having a neighbour with its colour may increases its payoff by choosing any unused colour.
In 39, we introduce and study Nash colourings, that correspond to pure Nash equilibria in Panagopoulou and Spirakis's game: a Nash $k$colouring is a $k$colouring $({S}_{1},\cdots ,{S}_{k})$ such that for all $i\in \left[k\right]$, every vertex $v$ in ${S}_{i}$ has a neighbour in each ${S}_{j}$, $j\ne i$, such that ${S}_{j}\ge {S}_{i}$. The Nash number$\mathrm{Nn}\left(G\right)$ is the largest $k$ such that $G$ has a Nash $k$colouring. It measures the worstcase behaviour of Panagopoulou and Spirakis's algorithm. We fisrt prove that a Nash colouring is a greedy colouring which is diminishing. Thus the Nash number is at most the diminishing Grundy number ${\Gamma}^{\downarrow}\left(G\right)$, which in turn is at most the Grundy number $\Gamma \left(G\right)$. We prove some properties of $\mathrm{Nn}$ and ${\Gamma}^{\downarrow}$. We mainly study the relations between them and other graph parameters such as the clique number $\omega $, the chromatic number $\chi $, the Grundy number $\Gamma $, and the maximum degree $\Delta $. In particular we study the chain of inequalities $\omega \left(G\right)\le \chi \left(G\right)\le \mathrm{Nn}\left(G\right)\le {\Gamma}^{\downarrow}\left(G\right)\le \Gamma \left(G\right)\le \Delta \left(G\right)+1$. We show each inequality ${\gamma}_{1}\left(G\right)\le {\gamma}_{2}\left(G\right)$ of this chain is loose, that is that there is no function $f$ such that ${\gamma}_{2}\left(G\right)\le f\left({\gamma}_{1}\left(G\right)\right)$. We also prove the existence or nonexistence of Reed's like inequality who proved proved that there exists $\u03f5>0$ such that $\chi \left(G\right)\le \u03f5\omega \left(G\right)+(1\u03f5)\left(\Delta \right(G)+1)$.
We then study the Nash number and the diminishing Grundy number of trees and forests, and prove that $\Gamma \left(F\right)1\le \mathrm{Nn}\left(F\right)\le {\Gamma}^{\downarrow}\left(F\right)\le \Gamma \left(F\right)$.
Finally we study the complexity of related problems. We show that computing the Nash number or the diminishing Grundy number is NPhard even when the input graph is bipartite or chordal. We also show that deciding whether a graph satisfies ${\gamma}_{1}\left(G\right)={\gamma}_{2}\left(G\right)$ is NPhard for every pair $({\gamma}_{1},{\gamma}_{2})$ with ${\gamma}_{1}\in \{\mathrm{Nn},{\Gamma}^{\downarrow}\}$ and ${\gamma}_{2}\in \{\omega ,\chi ,\Gamma ,\Delta +1\}$.
Colouring digraphs
In 16, with Pierre Aboulker (DI ENS Paris) and Kolja Knauer and Clément Rambaud (Aix Marseille Université), we give bounds on the dichromatic number $\overrightarrow{\chi}\left(\Sigma \right)$ of a surface $\Sigma $, which is the maximum dichromatic number of an oriented graph embeddable on $\Sigma $. We determine the asymptotic behaviour of $\overrightarrow{\chi}\left(\Sigma \right)$ by showing that there exist constants ${a}_{1}$ and ${a}_{2}$ such that, ${a}_{1}\frac{\sqrt{c}}{log(c)}\le \overrightarrow{\chi}\left(\Sigma \right)\le {a}_{2}\frac{\sqrt{c}}{log(c)}$ for every surface $\Sigma $ with Euler characteristic $c\le 2$. We then give more explicit bounds for some surfaces with high Euler characteristic. In particular, we show that the dichromatic numbers of the projective plane ${\mathbb{N}}_{1}$, the Klein bottle ${\mathbb{N}}_{2}$, the torus ${\mathbb{S}}_{1}$, and Dyck's surface ${\mathbb{N}}_{3}$ are all equal to 3, and that the dichromatic numbers of the 5torus ${\mathbb{S}}_{5}$ and the 10cross surface ${\mathbb{N}}_{10}$ are equal to 4. We also consider the complexity of deciding whether a given digraph or oriented graph embeddable on a fixed surface is $k$dicolourable. In particular, we show that for any fixed surface, deciding whether a digraph embeddable on this surface is 2dicolourable is NPcomplete, and that deciding whether a planar oriented graph is 2dicolourable is NPcomplete unless all planar oriented graphs are 2dicolourable (which was conjectured by NeumannLara).
8.3.2 Structural digraph theory
Participants: Julien Bensmail, Frédéric Havet, Nicolas Nisse.
One of our goals is to establish structural results on digraphs that can then be used to design efficient algorithms. In particular, we are looking in finding substructures with certain properties or ways to represent or approximate efficently the digraphs.
Low chromatic spanning sub(di)graphs with prescribed degree or connectivity properties
A folklore result in Graph Theory, attributed to Erdös, is that every graph $G$ has a spanning bipartite subgraph $H$ such that the degree of every vertex in $H$ is at least half of its degree in $G$. It is easy to show that a spanning bipartite subgraph with the maximum number of edges has the desired property. Finding such a graph is the MaxCut problem, which is wellknown to be NPcomplete, but finding a subgraph $H$ satisfying the above property can easily be done. As observed by Lovász, all this can be easily generalized to $k$partite subgraphs: every graph $G=(V,E)$ on $n$ vertices contains a spanning $k$partite graph $H$ satisfying ${d}_{H}\left(v\right)\ge \lceil \frac{k1}{k}{d}_{G}\left(v\right)\rceil $ for every $v\in V$. In particular, $G$ has a spanning $k$partite subgraph with at least $\lceil \frac{k1}{k}\leftE\right\rceil $ edges. In 17, we first generalize those results: we show that every graph $G$ contains a spanning $k$partite subgraph $H$ with $\lambda \left(H\right)\ge \lceil \frac{k1}{k}\lambda \left(G\right)\rceil $, where $\lambda \left(G\right)$ is the edgeconnectivity of $G$. In particular, together with a wellknown result due to NashWilliams and Tutte, this implies that every 7edgeconnected graphs contains a spanning bipartite graph whose edge set decomposes into two edgedisjoint spanning trees. We show that this is best possible as it does not hold for infinitely many 6edgeconnected graphs.
For directed graphs, we showed few years ago that there is no $k$ such that every $k$arcconnected digraph has a spanning strong bipartite subdigraph. We prove that every strong digraph has a spanning strong 3partite subdigraph and that every strong semicomplete digraph on at least 6 vertices contains a spanning strong bipartite subdigraph. We generalize this result to higher connectivities by proving that, for every positive integer $k$, every $k$arcconnected digraph contains a spanning $(2k+1$)partite subdigraph which is $k$arcconnected and this is best possible.
A conjecture due to Kreutzer, Oum, Seymour, van der Zypen, and Wood (Electr. J. Comb., 24(2):P2.25, 2017) implies that every digraph of minimum outdegree $2k1$ contains a spanning 3partite subdigraph with minimum outdegree at least $k$. We prove that the bound $2k1$ would be best possible by providing an infinite class of digraphs with minimum outdegree $2k2$ which do not contain any spanning 3partite subdigraph in which all outdegrees are at least $k$. We also prove that every digraph of minimum semidegree at least $3r$ contains a spanning 6partite subdigraph in which every vertex has in and outdegree at least $r$.
Spanning eulerian subdigraphs in semicomplete digraphs
A digraph is eulerian if it is connected and every vertex has its indegree equal to its outdegree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. In 18, we first characterize the pairs $(D,a)$ of a semicomplete digraph $D$ and an arc $a$ such that $D$ has a spanning eulerian subdigraph containing $a$. In particular, we show that if $D$ is 2arcstrong, then every arc is contained in a spanning eulerian subdigraph. We then characterize the pairs $(D,a)$ of a semicomplete digraph $D$ and an arc $a$ such that $D$ has a spanning eulerian subdigraph avoiding $a$. In particular, we prove that every 2arcstrong semicomplete digraph has a spanning eulerian subdigraph avoiding any prescribed arc. We also prove the existence of a (minimum) function $f\left(k\right)$ such that every $f\left(k\right)$arcstrong semicomplete digraph contains a spanning eulerian subdigraph avoiding any prescribed set of $k$ arcs. We conjecture that $f\left(k\right)=k+1$ and establish this conjecture for $k\le 3$ and when the $k$ arcs that we delete form a forest of stars.
A digraph $D$ is eulerianconnected if for any two distinct vertices $x,y$, the digraph $D$ has a spanning $(x,y)$trail. We prove that every 2arcstrong semicomplete digraph is eulerianconnected.
All our results may be seen as arc analogues of wellknown results on hamiltonian paths and cycles in semicomplete digraphs.
8.3.3 Metric dimension in oriented graphs
The metric dimension $md\left(G\right)$ of an undirected graph $G$ is the cardinality of a smallest set of vertices that allows, through their distances to all vertices, to distinguish any two vertices of $G$. Many aspects of this notion have been investigated since its introduction in the 70's, including its generalization to digraphs.
In 33, we study, for particular graph families, the maximum metric dimension over all stronglyconnected orientations, by exhibiting lower and upper bounds on this value. We first exhibit general bounds for graphs with bounded maximum degree. In particular, we prove that, in the case of subcubic $n$node graphs, all stronglyconnected orientations asymptotically have metric dimension at most $\frac{n}{2}$, and that there are such orientations having metric dimension $\frac{2n}{5}$. We then consider stronglyconnected orientations of grids. For a torus with $n$ rows and $m$ columns, we show that the maximum value of the metric dimension of a stronglyconnected Eulerian orientation is asymptotically $\frac{nm}{2}$ (the equality holding when $n,m$ are even, which is best possible). For a grid with $n$ rows and $m$ columns, we prove that all stronglyconnected orientations asymptotically have metric dimension at most $\frac{2nm}{3}$, and that there are such orientations having metric dimension $\frac{nm}{2}$.
8.4 Machine learning theory and algorithms
Participants: Francesco d'Amore, Arthur Carvalho da Cunha, Ilias Driouich, Frédéric Giroire, Hicham Lesfari, Emanuele Natale, Chuan Xu.
In the last years, Coati has started investigating machinelearningbased methods to enhance algorithms or solve optimization problems in networks (see e.g., Sections 8.1.2 and 8.1.3). It also investigates how to use tools from graph theory, algorithmic and combinatorics to improve machinelearning tools. We here present our last results in this direction.
Revisiting and generalizing the Random Subset Sum problem
The average properties of the wellknown Subset Sum Problem can be studied by the means of its randomised version, where we are given a target value $z$, random variables ${X}_{1},...,{X}_{n}$, and an error parameter $\u03f5>0$, and we seek a subset of the Xi's whose sum approximates $z$ up to error $\u03f5$. In this setup, it has been shown that, under mild assumptions on the distribution of the random variables, a sample of size $O(log\frac{1}{\u03f5})$ suffices to obtain, with high probability, approximations for all values in $[1/2,1/2]$. Recently, this result has been rediscovered outside the algorithms community, enabling meaningful progress in other fields. In 81, we investigate we present an alternative proof for this theorem, with a more direct approach and resourcing to more elementary tools. An immediate multidimensional generalisation of the problem is to regard the random variables as $d$dimensional random vectors and seek to approximate any point $z\in {[1,1]}^{d}$. In 1998, G. S. Lueker showed that, in the onedimensional setting, $n=\mathcal{O}(log\frac{1}{\epsilon})$ samples guarantee the approximation property with high probability. In 74, we prove that, in $d$ dimensions, $n=\mathcal{O}({d}^{3}log\frac{1}{\epsilon}\xb7(log\frac{1}{\epsilon}+logd))$ samples suffice for the approximation property to hold with high probability.
Proving the Strong Lottery Ticket Hypothesis for Convolutional Neural Networks.
The lottery ticket hypothesis states that a randomlyinitialized neural network contains a small subnetwork which, when trained in isolation, can compete with the performance of the original network. Recent theoretical works proved an even stronger version: every sufficiently overparameterized (dense) neural network contains a subnetwork that, even without training, achieves accuracy comparable to that of the trained large network. These works left as an open problem to extend the result to convolutional neural networks (CNNs). In 54 we provide such generalization by showing that, with high probability, it is possible to approximate any CNN by pruning a random CNN whose size is larger by a logarithmic factor.
Patent deposit FR2210217: “Accurate programmable resistances from few inaccurate resistors”.
The high energy demands of modern Artificial Intelligence not only imply huge costs to run it at scale, but also constrains its deployment on edge devices. While analog computing offers a way to run those algorithms with orders of magnitude more efficiency, most proposals for its actual implementation require very high precision components and would depend on nonstandard manufacturing. We propose a new method that uses a few inaccurate components to build accurate and programmable resistors, allowing analog neuromorphic devices to be manufactured with standard processes. It leverages the possibility of approximating any target value by summing a subset of given random values.
Privacy in federated learning
In federated learning, clients such as mobile devices or data silos (e.g. hospitals and banks) collaboratively improve a shared model, while maintaining their data locally. Multiple recent works show that client's private information can still be disclosed to an adversary who just eavesdrops the messages exchanged between the targeted client and the server. In 66, we propose a novel modelbased attribute inference attack in federated learning which overcomes the limits of gradientbased ones. Furthermore, we provide an analytical lowerbound for the success of this attack. Empirical results using real world datasets confirm that our attribute inference attack works well for both regression and classification tasks. Moreover, we benchmark our novel attribute inference attack against the stateoftheart attacks in federated learning. Our attack results in higher reconstruction accuracy especially when the clients' datasets are heterogeneous (as it is common in federated learning). Most importantly, our modelbased fashion of designing powerful and explainable attacks enables an effective quantification of the privacy risk in FL.
8.5 Collaborations with other fields
One important objective of Coati is to use its expertise on graph algorithms and Operations Research to address problems in other scientific domains (transport, bioinformatics, ehealth, edtech, etc.). During the last years, we have initiated several collaborations with academic and industrial partners in this direction. In this section, we present the last results we have obtained in the context of these collaborations. In addition, some results motivated by transportation networks are presented in Section 8.2.5.
8.5.1 Graph algorithms for (low and high) resolution models of large protein assemblies
Participants: Frédéric Havet.
A macromolecular assembly is composed of subunits (e.g. proteins or nucleic acids). We assume that the composition, in terms of individual subunits, of selected complexes of the assembly is known. Indeed, a given assembly can be chemically split into complexes by manipulating chemical conditions, and the composition of these complexes can then be inferred using native mass spectrometry.
We then get a data set that can be represented by a hypergaph: a node represents a subunit, and the hyperedges represent the different complexes. The problem is then to find a graph $G$ with the same vertex set as $H$ whose edges represent the contacts between subunits, and satisfying (i) some local properties for every complex (i.e. hyperedge), and (ii) some other global properties. In 40, the considered local constraints is that $G$ it $F$overlays $H$, that is the subgraph induced by $G$ on every hyperedge of $H$ must have $F$ as a spanning subgraph (for some fixed given $F$). The global contrainst is that $\Delta \left(G\right)$, the maximum degree of $G$, is at most $k$. We consider the computational complexity of a decision problem and a maximisation problem. The decision problem, called $\Delta \le k)$$F$Overlay problem, consists in deciding whether there is a graph with maximum degree at most $k$ that $F$overlays a given hypergraph. It is a particular case of the maximisation problem Max $\Delta \le k)$$F$Overlay, which takes a hypergraph $H$ and an integer $s$ as input, and consists in deciding whether there is a graph with maximum degree at most $k$ that $F$overlays at least $s$ hyperedges of $H$. We give a complete polynomial/NPcomplete dichotomy for the Max $\Delta \le k)$$F$Overlay problems depending on the pairs $(F,k)$, and establish the complexity of $\Delta \le k)$$F$Overlay for many pairs $(F,k)$.
Once the contact graph is obtained by solving the abiove problem, it serves as input graph for a second problem, called the domino problem, that consists in determining the high resolution structure of a given assembly. A configuration of a node is so a conformation of the corresponding protein (that is a position of each of its atoms in ${\mathbb{R}}^{3}$) and is obtained by Xray cristallography. The domino problem can be modelled as a conflictcolouring problem. We are given a contact graph $G=(V,E)$, a list $C\left(v\right)$ of possible colours (configurations) for every node $v\in V$ and a bipartite graph between colour sets $C\left(u\right)$ and $C\left(v\right)$ for every edge $uv\in E$ which repersent the incompatible conformations of the two subunits. Then Conflict colouring consists in deciding whether there exists a conflict colouring, that is a colouring in which $c\left(u\right)c\left(v\right)$ is not an edge of the bipartite graph. In 84, we first establish the complexity dichotomies (polynomial vs NPcomplete) for Conflict colouring and its variants. We provide some experiments in which we build instances of Conflict colouring associated to Voronoi diagram in the plane, and we then analyse the existences of a solution related to parameters used in our experimental setup. The domino problem consists in computing a configuration for each node maximizing some objective functions. Again, see the bioinformatics context below.
8.5.2 Analysis of temporal brain networks
Participants: Emanuele Natale, Aurora Rossi.
In collaboration with Samuel DeslauriersGauthier (ATHENA), we investigated in 87 properties of temporal brain networks extracted from functional Magnetic Resonance Imaging data. In particular, we focus on the temporal small worldness and, in order to test certain hypotheses of the observed functional connectivity, we propose three temporal null models: the geometric euclidean model on a square and on a torus, and the hyperbolic geometric graph model. The latter became famous in the research community investigating realworld complex networks, since it is able to model both a high tailed degree distribution and small worldness. We compare these models to a dataset of 1050 subjects’ empirical data, taken from the WUMinn Human Connectome Project, across different thresholds. Our analysis shows that the hyperbolic model is more consistent in reproducing the small worldness property of real data, thus providing evidence in its favor as a null model.8.5.3 Planning with Biological Neurons and Synapses
Participants: Francesco d'Amore, Emanuele Natale.
In collaboration with Daniel Mitropolsky and Christos Papadimitriou (Columbia University, New York) and Pierluigi Crescenzi (GSSI, L'Aquila), we revisit in 88, 64 the planning problem in the blocks world, and we implement a known heuristic for this task. The program is written in the Assembly Calculus, a recently proposed computational framework meant to model computation in the brain by bridging the gap between neural activity and cognitive function. Its elementary objects are assemblies of neurons (stable sets of neurons whose simultaneous firing signifies that the subject is thinking of an object, concept, word, etc.), its commands include project and merge, and its execution model is based on widely accepted tenets of neuroscience. A program in this framework essentially sets up a dynamical system of neurons and synapses that eventually, with high probability, accomplishes the task. The purpose of this work is to establish empirically that reasonably large programs in the Assembly Calculus can execute correctly and reliably; and that rather realistic — if idealized — higher cognitive functions, such as planning in the blocks world, can be implemented successfully by such programs.
9 Bilateral contracts and grants with industry
9.1 Bilateral contracts with industry
Amadeus, 20222024
Participants: Ilias Driouich, Frédéric Giroire, Chuan Xu.
 Collaboration with Amadeus funded by ANR in the context of "plan de relance". It supports the PhD thesis of Ilias Driouich under the cosupervision of Frédéric Giroire and Chuan Xu.
10 Partnerships and cooperations
10.1 International initiatives
10.1.1 Inria associate team not involved in an IIL or an international program
EfDyNet

Title:
Efficient Dynamic Resource Allocation in Networks

Duration:
20192022

Coordinator:
Brigitte Jaumard (bjaumard@cse.concordia.ca)

Partners:
 Concordia University Montréal (Canada)

Inria contact:
Frédéric Giroire

Summary:
Networks are evolving rapidly in two directions. On the one hand, new network technologies are developed for different layers, and in particular flexible optical technologies (enabling to allocate a fraction of the optical spectrum rather than a fixed wavelength), Software Defined Networks, and Network Function Virtualization. On the other hand, the traffic patterns evolve and become less predictable due to the increase of cloud and mobile traffic. In this context, there are new possibilities and needs for dynamic resource allocations. We will study this problem mainly in two directions: network reconfiguration and the allocation of virtualized resources. The associated team will build on an already fruitful collaboration between COATI and Concordia. The two teams address design and management optimization problems in networks (WDM, wireless, SDN) with complementary tools and expertise.
10.2 International research visitors
10.2.1 Visits of international scientists
Other international visits to the team
Pierluigi Crescenzi

Status:
Professor

Institution of origin:
Gran Sasso Science Institute (GSSI)

Country:
Italy

Dates:
September 1st  October 31

Context of the visit:
World Dynamics project for developing the WorldDynamics.jl Julia library.

Mobility program/type of mobility:
international visitor grant by I3S laboratory and UCA${}^{\text{JEDI}}$ Academie 1 RISE.
Guillaume Ducoffe

Status:
Assistant Professor

Institution of origin:
I.C.I., University of Bucharest

Country:
Roumania,

Dates:
July, 2022.

Context of the visit:
work on the leanness of graphs

Mobility program/type of mobility:
international visitor grant by I3S laboratory
Fatemehsadat Tabatabaeimehr

Status
PhD

Institution of origin:
Universitat Politècnica de Catalunya

Country:
Spain

Dates:
January 1st  March 31, 2022

Context of the visit:
The main focus of this visit was the application of machine learning techniques (particularly, Long ShortTerm Memories neural networks) to online network operation. In this regard, she has carried out the next tasks: i) design and implementation of the training methods employing the LSTM, ii) realization of the validation tests of such methods, and iii) analyses and presentation of the results.

Mobility program/type of mobility:
research stay
10.2.2 Visits to international teams
Research stays abroad
Emanuele Natale

Visited institution:
University of Rome Tor Vergata

Country:
Italy

Dates:
May 1st  July 31st

Context of the visit:
Collaboration with Andrea Clementi's research group in Distributed Computing and teaching of a course in the Bachelor's degree in Computer Science at the University of Rome Tor Vergata.

Mobility program/type of mobility:
Invited professor grant from University of Rome Tor Vergata.
Nicolas Nisse

Visited institution:
Universidade Federal do Ceara

Country:
Fortaleza, Brazil.

Dates:
November 128th;

Context of the visit:
Collaboration with Julio Araujo and other members of the ParGO team.

Mobility program/type of mobility:
Invited professor grant from CAPES.
10.3 National initiatives
DGA/Inria Brainside, 20192023
Participants: Francesco D'Amore, Arthur Carvalho Walraven Da Cunha, Emanuele Natale.

Program:
DGA/Inria

Project acronym:
Brainside

Project title:
Algorithms for simplifying neural networks

Duration:
October 2019  March 2023

Coordinator:
Emanuele Natale

Other partners:
 Inria Paris, EP GANG

Summary:
The widespread use of neural networks on devices with computationallylow capabilities, demands for lightweight and energyefficient networks. Despite such need, and despite the strategies employed to prevent overfitting by removing a substantial part of their edges, the question of how to reduce their size in terms of the number of neurons appears largely unexplored. The aim of the project is to investigate algorithmic procedures to reduce the size of neural networks, in order to improve the speed with which they can be evaluated and to shed light on how much information about the computational problem at hand can be encoded within neural networks of small size.
ANR17CE220016 MultiMod, 20182023
Participants: Ali Al Zoobi, David Coudert, Nicolas Nisse, Michel Syska.

Program:
ANR

Project acronym:
MultiMod

Project title:
Scalable routing in Multi Modal transportation networks

Duration:
January 2018  June 2023

Coordinator:
David Coudert

Other partners:
 Inria Paris, EP GANG
 team CeP, I3S laboratory
 SME InstantSystem
 SME Benomad

Summary:
The MultiMod project addresses key algorithmic challenges to enable the fast computation of personalized itineraries in largescale multimodal public transportation (PT) networks (bus, tram, metro, bicycle, etc.) combined with dynamic carpooling. We will use realtime data to propose itineraries with close to real traveltime, and handle userconstraints to propose personalized itineraries. Our main challenge is to overcome the scalability of existing solutions in terms of query processing time and datastructures space requirements, while including unplanned transportation means (carpooling), realtime data, and personalized user constraints. The combination of carpooling and PT network will openup areas with low PT coverage enable faster itineraries and so foster the adoption of carpooling. We envision that the outcome of this project will dramatically enhanced the mobility and daily life of citizens in urban areas.
 Web:
ANR19CE480013 Digraphs, 20202023
Participants: Julien Bensmail, David Coudert, Frédéric Havet, Nicolas Nisse, Stéphane Pérennes.

Program:
ANR

Project acronym:
Digraphs

Project title:
Digraphs

Duration:
January 2020  December 2023

Coordinator:
Frédéric Havet

Other partners:
 LIRMM, Montpellier
 LIP, Lyon

Summary:
The objectives of the project is to make some advances on digraph theory in order to get a better understanding of important aspects of digraphs and to have more insight on the differences and the similarities between graphs and digraphs. Our methodology is twofold. On the one hand, we will focus on the tools. Indeed we believe that many proof techniques have been too rarely used or adapted to digraphs and can be developed to obtain many more results.On the second hand, we will consider many results on graphs, find their (possibly many) formulations in terms of digraphs and see if and how they can be extended. Studying such extensions has been occasionally done, but the point here is to do it in a kind of systematic way. Moreover we shall push even further the study by considering classes of digraphs: if a result does not extend to the whole class of digraphs, for which classes does it extend ? if a result extends, can we get better results for some restricted classes of digraphs ?
 Web:
Défi InriaCerema ROADAI, 20212024
Participants: Christelle Caillouet, David Coudert.

Project acronym:
ROADAI

Project title:
Routes et Ouvrages d'Art Diversiformes, Augmentés & intégrés

Duration:
July 2021  June 2024

Coordinators:
Nathalie Mitton (head, Inria, EP FUN), Christophe Biernacki (vicehead, Inria, EP MODAL), Pierre Marchand (Cerema, DTEC ITM), André Orcési (Cerema, DTEC ITM)

Inria participants:
Inria projectteams ACENTAURI, COATI, FUN, MODAL, STATIFY, MODAL

Other partners:
Cerema

Summary:
Integrated management of infrastructure assets is an approach which aims at reconciling longterm issues with shortterm constraints and operational logic. The main objective is to enjoy more sustainable, safer and more resilient transport infrastructure through effective, efficient and responsible management. To achieve this, CEREMA and Inria are joining forces in this Inria Challenge (DEFI) which main goals are to overcome scientific and technical barriers that lead to the asset management of tomorrow for the benefit of road operators: (i) build a “digital twin” of the road and its environment at the scale of a complete network; (ii) define “laws” of pavement behavior; (iii) instrument systemwide bridges and tunnels and use the data in real time; (iv) define methods for strategic planning of investments and maintenance.
Défi Inria FedMalin, 20222026
Participants: Ilias Driouich, Frédéric Giroire, Chuan Xu.

Project acronym:
FedMalin

Project title:
Federated machine Learning over the internet

Duration:
2022  2026

Coordinators:
Aurélien Bellet (Inria, EP MAGNET), Giovanni Neglia (Inria, EP NEO)

Inria participants:
Inria projectteams ARGO, COATI, COMETE, EPIONE, MAGNET, MARACAS, NEO, SPIRALS, TRIBE, WIDE

Summary:
In many usecases of Machine Learning (ML), data is naturally decentralized: medical data is collected and stored by different hospitals, crowdsensed data is generated by personal devices, etc. Federated Learning (FL) has recently emerged as a novel paradigm where a set of entities with local datasets collaboratively train ML models while keeping their data decentralized. FedMalin is a research project that spans 10 Inria research teams and aims to push FL research and concrete usecases through a multidisciplinary consortium involving expertise in ML, distributed systems, privacy and security, networks, and medicine. We propose to address a number of challenges that arise when FL is deployed over the Internet, including privacy & fairness, energy consumption, personalization, and location/time dependencies. FedMalin will also contribute to the development of opensource tools for FL experimentation and realworld deployments, and use them for concrete applications in medicine and crowdsensing.
10.3.1 GDR Actions
GDR RSD, ongoing (since 2006)
Members of Coati are involved in the working group RESCOM (Réseaux de communications) of GDR RSD, CNRS (gdrrsd.fr/polerescom). In particular, David Coudert was cochair of this working group since 2017 until July 2022, and Christelle Caillouet is cochair of this working group since July 2022.
We are also involved in the working group "Energy" of GDR RSD (gdrrsd.fr/gtenergie). In particular, Frédéric Giroire is cochair of this working group.
GDR IM, ongoing (since 2006)
Members of Coati are involved in the working group "Graphes" of GDR IM, CNRS. (gtgraphes.labri.fr/). In particular, Frédéric Havet is member of the steering committee.
GDR MADICS, ongoing (since 2017)
Members of Coati are involved in the working group GRAMINEES (GRaph data Mining in Natural, Ecological and Environnemental Sciences) of GDR MADICS (Masses de Données, Informations et Connaissances en Sciences). (www.madics.fr/actions/actionsencours/graminees/).
11 Dissemination
11.1 Promoting scientific activities
11.1.1 Scientific events: Steering Committees
 David Coudert :
 member of the steering committee of the Symposium on Experimental Algorithms, since September 2022.
 Emanuele Natale :
 member of the steering committee of the Symposium on Experimental Algorithms, since September 2022.
11.1.2 Scientific events: organisation
General chair, scientific chair
 Nicolas Nisse
 GRASTA 2022, General Chair, 10th Workshop on GRAph Searching, Theory and Applications, Porquerolles, France, May 1620th, 2022.
Member of the organizing committees
 David Coudert :
 1st UCA QuantAzur days, Nice, France, June 1617, 2022. wwwsop.inria.fr/coati/events/quantazur2022/
11.1.3 Scientific events: selection
Member of the conference program committees
 Ramon Aparicio :
 ACM MMSys: International Conference on Multimedia Systems, Dublin, Ireland, June. 2022;
 ACM MM: International Conference on Multimedia, Lisbon, Portugal, October. 2022;
 IEEE Globecom: IEEE Global Communications Conference, Rio de Janeiro, Brazil, December, 2022.
 Christelle Caillouet :
 Cores'22: 7èmes Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, SaintRémyLèsChevreuse, May 30  June 2, 2022;
 IOTSEQ: International Workshop on IoT Security and Quality of Service, Oct 1921, 2022;
 IEEE VTC2022Fall: Track Unmanned Aerial Vehicle Communications, Vehicular Networks, and Telematics, London/Beijing, Sep 2629, 2022;
 IEEE WiSARN 2022: The 15th International Workshop on Wireless Sensor, Robot and UAV Networks, in conjunction with IEEE ICDCS 2022, Bologna, July 1013, 2022;
 David Coudert:
 AlgoTel: 24es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, SaintRémyLèsChevreuse, May 30  June 2, 2022;
 ATMOS: Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, Potsdam, Germany, September 89, 2022;
 IEEE ICC: IEEE International Conference on Communications, Seoul, South Korea, May 1620, 2022;
 IEEE Globecom: IEEE Global Communications Conference, Rio, Brazil, December 48, 2022;
 INOC: International Network Optimization Conference, Aachen, Germany, June 710, 2022;
 ONDM: 26th Conference on Optical Network Design and Management, Warsaw, Poland, May 1619 2022;
 ROADEF: 23es congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision, cochair of stream Optimisation dans les réseaux de télécommunication intelligents, Lyon, France, February 2325, 2022;
 SEA: 20th Symposium on Experimental Algorithms, Heidelberg, Germany, July 2527, 2022.
 Frédéric Havet:
 ICGT 2022: 11th International Colloquium on Graph Theory and combinatorics, Montpellier, France, July 48, 2022.
 JGA 2022: 24ème Journées Graphes et Algorithmes, Paris, November 1618, 2022.
 Joanna Moulierac:
 Cores'22: 7es Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, SaintRémyLèsChevreuse, May 30  June 2, 2022;
 IEEE HPSR 2022: 23rd International Conference on High Performance Switching and Routing, Taicang, Jiangsu, China (Virtual sessions), June 6–8 2022.
 Emanuele Natale:
 AAAI'23: ThirtySeventh AAAI Conference on Artificial Intelligence.
 Nicolas Nisse :
 AlgoTel 2022, 24es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, vallée de Chevreuse, May 30thJune 3rd, 2022.
 SEA 2022, 20th Symposium on Experimental Algorithms, Heidelberg, Germany, July 2527, 2022.
 Chuan Xu:
 FLNeurIPS'22: International Workshop on Federated Learning: Recent Advances and New Challenges in Conjunction with NeurIPS 2022. New orleans, USA, 2nd December, 2022
 IEEE MSN'22: The 18th International Conference on Mobility, Sensing and Networking, GuangZhou, China, 1416th December, 2022
11.1.4 Journal
Member of the editorial boards
 JeanClaude Bermond :
 Computer Science Reviews (Elsevier);
 Discrete Applied Mathematics (Elsevier);
 Discrete Mathematics (Elsevier);
 Discrete Mathematics, Algorithms and Applications (World Scientific);
 Journal of Graph Theory (Wiley);
 Advisory board of Journal of Interconnection Networks (World Scientific);
 Networks (Wiley);
 Parallel Processing Letters (World Scientific);
 the SIAM book series on Discrete Mathematics (SIAM).
 Alexandre Caminada :
 IEEE Transactions on Mobile Computing (IEEE);
 IEEE Transactions on Vehicular Technology (IEEE);
 Journal of Traffic and Transportation Engineering (Elsevier);
 Sensors — Open Access Journal (MDPI);
 Soft Computing (Springer).
 David Coudert :
 Discrete Applied Mathematics (Elsevier);
 Networks (Wiley).
 Frédéric Giroire :
 Journal of Interconnection Networks (World Scientific);
 Telecom (MDPI).
 Frédéric Havet
 Discrete Mathematics and Theoretical Computer Science (DMTCS).
 Emanuele Natale
 The WikiJournal of Science (Wikimedia Foundation).
 Nicolas Nisse :
 Discrete Applied Mathematics (Elsevier).
11.1.5 Invited talks
 David Coudert :
 On the $k$shortest simple paths problem: time and space tradeoffs. Keynote speaker at the working group session of axis CAGDO and GT GT2L, ROADEF'22, February 25, 2022.
 A brief introduction to Sagemath, tutorial at the Python working group seminar of the LINCS, March 23, 2022.
 Francesco d'Amore
 Search via Parallel Lévy Walks on ${\mathbb{Z}}^{2}$, invited talk at the Wide team, Inria Rennes, Rennes, France, May 2022;
 Dynamics for MultiAgent System Coordination in Noisy and Stochastic Environments, invited talk at University of Hamburg, online seminar, May 2022;
 Phase transition of the 3Majority dynamics with Uniform Communication Noise, invited talk at the Third Italian Meeting on Probability and Mathematical Statistics 2022, Bologna, Italy, June 2022;
 On the Multidimensional Random Subset Sum Problem, invited talk at Aalto University, Department of Computer Science, Espoo, Finland, September 2022.
 Frédéric Havet
 Substructures in digraphs, School on graph theory, Murol, France, June 710, 2022.
 Nicolas Nisse
 Tree and Path decompositions with small diameter bags in subclasses of planar graphs . Seminar of the ParGO team, Universidade Federal do Ceara, Fortaleza, Brazil. November 18th, 2022.
 Minimum lethal sets in grids and tori under 3neighbour bootstrap percolation, Workshop on Mobile Agents and Computing, Pisa, Italy, September, 21th, 2022.
 Małgorzata Sulkowska
 Modularity of minorfree graphs, TCS seminar at Jagiellonian University, November 30, 2022
11.1.6 Leadership within the scientific community
 Christelle Caillouet :
 Cochair of Pôle RESCOM of GDR RSD of CNRS since July 2022.
 David Coudert :
 Cochair of Pôle RESCOM of GDR RSD of CNRS from 2017 till June 2022.
 Frédéric Giroire :
 Member of the steering committee of GT Energy of the GDR RSD of CNRS.
 Frédéric Havet :
 Member of the steering committee of GT Graphes of the GDR IM of CNRS since 2005;
 President of the PhD prize committee ; Graphes "Charles Delorme".
11.1.7 Scientific expertise
 Ramon Aparicio:
 Expert for ANR.
 Julien Bensmail
 External reviewer for the SONATA17 program by the National Science Center (NSC) of Poland.
 JeanClaude Bermond :
 Expert for DRTTMESR Crédit impôt recherche (CIR et agréments).
 David Coudert :
 Expert for ANR;
 Frédéric Havet :
 Expert for FNRS (Belgium).
 Emanuele Natale :
 Expert reviewer for ANR.
 Member of the Expert Panel “ST6 – Computer science and informatics" of the National Science Centre, Poland (NCN).
 Nicolas Nisse :
 Expert for European Science Foundation (ESF)
 Michel Syska :
 Expert for DRTTMESR Crédit impôt recherche (CIR et agréments).
11.1.8 Research administration
 Ramon Aparicio:
 Principal investigator of ARTIC project (ARTificial Intelligencebased Cloud network control), 220 k€ over 42 months funded by ANR JCJC 2019, March 2020  Sept. 2024;
 Representative of the I3S laboratory at the steering committee of Institut Fédératif Quantique Azuréen (IF QuantAzur) at Université Côte d'Azur, since February 2022;
 Elected member of Conseil de Laboratoire du Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis (I3S) since March 2022.
 Christelle Caillouet
 Elected member of Conseil de Laboratoire I3S since 2017;
 Member of selection committee PRAG 134 and 135, Université Côte d'Azur, 2022.
 Alexandre Caminada
 Member of the executive board of the Sophia Interdisciplinary Institute of Artificial Intelligence started in 2019;
 Manager of the research committee for the Polytech network national academic Foundation.
 David Coudert :
 Head of Science of the Inria Centre at Université Côte d'Azur, since September 2022;
 Nominated member for Inria at the board of doctoral school STIC, September 2017  August 2022;
 Head of the “Comité de Suivi Doctoral” of Inria, December 2019  August 2022;
 Nominated member for Inria at the steering committee of Academy 1 RISE (Networks, Information, Digital Society) of UCA${}^{\text{JEDI}}$, February 2018  August 2022;
 Nominated member for Inria at the steering committee of EUR DS4H, February 2018  August 2022;
 Nominated member for Inria at the steering committee of Labex UCN@Sophia, February 2018  August 2022;
 Member of the “Bureau du comité des équipeprojets” of Inria research center Sophia Antipolis  Méditerranée since 2018;
 Member of the steering committee of seminar Forum Numerica of Academy 1 RISE of UCA${}^{\text{JEDI}}$ since 2018;
 Representative of Inria at the steering committee of Institut Fédératif Quantique Azuréen (QuantAzur) at Université Côte d'Azur, since February 2022.
 Frédéric Giroire :
 Head of COMRED team of I3S laboratory, since April 2022;
 In charge of the internships of stream UbiNet of Master 2 IFI, Université Côte d'Azur.
 Frédéric Havet
 Head of COMRED team of I3S laboratory, till March 2022;
 Coordinator of ANR project Digraphs.
 President of selection committee PR 854, Université Côte d'Azur, 2022;
 Cohead of Terra Numerica.
 Joanna Moulierac:
 Member of selection committee MCF27 0105, Université Côte d'Azur, 2022;
 Member of the CA of SPECIFCAMPUS (Société Professionnelle des Enseignants et Chercheurs en Informatique de France);
 Member of the I3S CO2 group since 2019 (www.i3s.unice.fr/co2/).
 Emanuele Natale:
 External member of University of Rome Tor Vergata's PhD School in Data Science (Italy).
 Nicolas Nisse :
 Elected member for the "Comité de centre", Inria Sophia Antipolis  Méditerranée, since 2017;
 Elected member for Inria at the CoSP of EUR DS4H since October 2020;
 Nominated member for Inria at the board of doctoral school STIC, since September 2022;
 Member of the “Comité de Suivi Doctoral” of Inria, since September 2022;
 Member of the CoSP Terra Numerica, since 2020.
11.2 Teaching  Supervision  Juries
11.2.1 Teaching Responsibilities
 Julien Bensmail :
 Head of the Licence Professionnelle “Managements des Processus Logistiques” (MPL) of Université Côte d'Azur, since September 2019.
 Christelle Caillouet :
 Member of the “Conseil de Département Informatique” of IUT Nice Côte d'Azur (since September 2022).
 Alexandre Caminada
 Head of the graduate school of engineering Polytech Nice Sophia (1500 master grade students, 100 faculty members, 50 staffs);
 Member of the executive board of the Polytech network, national network of public graduate school of engineering;
 Member of the executive board of Université Côte d'Azur.
 Joanna Moulierac :
 “Directrice d'études” for the 1styear students of “Département Informatique” of IUT Nice Côte d'Azur (Sep. 2017  March 2022);
 Member of the “Conseil de Département Informatique” of IUT Nice Côte d'Azur (since September 2017).
 Michel Syska :
 Head of the MIAGE (IT methods applied to business management) Master’s degree MBDS (Mobiquity, Big Data and Systems integration), of Université Côte d'Azur (since September 2022);
 Co Head of the Bachelor’s degree in Artificial Intelligence (Licence Sciences et Technologies parcours IA), of Université Côte d'Azur;
 Head of "Campus des Métiers et des Qualifications  défi du numérique", Université Côte d'Azur, Rectorat et Région PACA.
11.2.2 Teaching
Members of Coati have taught for more that 1400 hours (ETD) this year:
 DUT: Julien Bensmail, Recherche opérationnelle, 90h ETD, Level L2, Département QLIO of IUT, Université Côte d'Azur, France;
 DUT: Julien Bensmail, Algorithmique et programmation avancées, 64h ETD, Level L2, Département QLIO of IUT, Université Côte d'Azur, France;
 DUT: Francesco d'Amore, Exploitation d'une base de données avancée, 56h ETD, Level L1, Département Informatique of IUT Nice Côte d'Azur, UCA, France.
 DUT: Thomas Dissaux, Communication et fonctionnement bas niveau, 20h ETD, Level L1, Département Informatique of IUT, Université Côte d’Azur, France;
 DUT: Thomas Dissaux, Introduction aux services réseaux, 14h ETD, Level L1, Département Informatique of IUT, Université Côte d’Azur, France;
 DUT: Thomas Dissaux, Initiation au développement, 64h ETD, Level L1, Département Informatique of IUT, Université Côte d’Azur, France;
 DUT: Foivos Fioravantes, Introduction aux bases de données, 44h ETD, Level L1, Département Informatique of IUT, Université Côte d'Azur, France;
 DUT: Foivos Fioravantes, Théorie des graphes, 20h ETD, Level L1, Département Informatique of IUT, Université Côte d'Azur, France;
 DUT: Luc Hogie, Distributed programming, 24h ETD, Level L2, IUT, Université Côte d'Azur, France;
 DUT: Luc Hogie, System programming, 24h ETD, Level L2, IUT, Université Côte d'Azur, France;
 DUT: Hicham Lesfari, Réseaux d'opérateurs et réseaux d'accès, 48h ETD, Level L2, IUT, Université Côte d'Azur, France;
 DUT: Michel Syska, Data Structures and Algorithms, 44h ETD, Level L2, IUT, Université Côte d'Azur, France;
 DUT: Michel Syska, Introduction to Artificial Intelligence, 48h ETD, Level L2, IUT, Université Côte d'Azur, France;
 DUT: Michel Syska, Algorithmics, 30h ETD, Level L2, IUT, Université Côte d'Azur, France;
 DUT: Michel Syska, Distributed programming, 84h ETD, Level L2, IUT, Université Côte d'Azur, France;
 BUT: Joanna Moulierac, Introduction aux Réseaux, 56h ETD, Level L1, IUT, Université Côte d'Azur, France;
 BUT: Joanna Moulierac, Réseaux avancés, 30h ETD, Level L2, IUT, Université Côte d'Azur, France;
 PeiP: Joanna Moulierac, Programmation Objet, 30h ETD, Level L1, Polytech, Université Côte d'Azur, France;
 LP: Julien Bensmail, Sécurité des échanges de données interentreprises, 30h ETD, Level LP, LP MPL of IUT, Université Côte d'Azur, France;
 LP: Joanna Moulierac, Programmation C#, 30h ETD, Level L3, IUT, Université Côte d'Azur, France;
 Licence: Redha Abderrahmane Alliche, Systèmes et Réseaux, 24h ETD, Level L3, Polytech NiceSophia, France;
 Licence: Ali Al Zoobi, Programmation et structures en C, 24h ETD, Level L2, Faculté des sciences, Université Côte D'Azur, France;
 Licence: Michel Syska, Networks, 31h ETD, Level L3, MIAGE  Université Côte d’Azur, France;
 Licence: Michel Syska, Algorithmics, 33h ETD, Level L3, parcours IA Science & Technologie  Université Côte d’Azur, France;
 Licence: Michel Syska, Heuristic search, 25h ETD, Level L3, parcours IA Science & Technologie  Université Côte d’Azur, France;
 Licence: Luc Hogie, Programmation et Conception Orientée Objet, 24h ETD, Level L3, parcours IA Science & Technologie  Université Côte d’Azur, France;
 License: Chuan Xu, Programmation fonctionnelle, 36h ETD, Level L3, Université Côte d’Azur, France;
 License: Chuan Xu, Python pour l'IA, 30h ETD, Level L3, parcours IA Science & Technologie  Université Côte d’Azur, France;
 License: Emanuele Natale, Elements of Computational Modeling in Julia, 3 Italian CFU (20h), bachelor's degree in Computer Science, University of Rome Tor Vergata, Italy (natema.github.io/ECMJit2022/);
 Master: Christelle Caillouet, Introduction Algorithmic and Programming, 30h ETD, MAM3, Polytech Nice Sophia Antipolis, France;
 Master: Alexandre Caminada, Radio location systems, 20h ETD, Master 2 (in english), Polytech Nice Sophia, France;
 Master: Alexandre Caminada, Artificial intelligence, 40h ETD, Master 2 (in english), Polytech Nice Sophia, France;
 Master: Alexandre Caminada, Master grade student's internship supervision and assesment, 10h ETD, Master 2, Polytech Nice Sophia, France;
 Master: David Coudert, Algorithms for Telecoms, 36h ETD, M2 Ubinet, Université Nice Sophia Antipolis, France;
 Master: Frédéric Giroire, Graph Algorithms, 18h ETD, Master 2, International Track Ubinet, Université Côte d'Azur, France;
 Master: Frédéric Giroire, Machine learning for networks, 24h ETD, Master 2, International Track Ubinet, Université Côte d'Azur, France;
 Master: Frédéric Giroire, ICT and Environment, Green algorithm design, 4.5h ETD, Master 2, minor, Université Côte d'Azur, France;
 Master: Hicham Lesfari, Data mining for networks, 12h ETD, Master 2, International Track Ubinet, Université Côte d'Azur, France;
 Master: Nicolas Nisse, Graphs, 36h ETD, M1 Informatique et Interaction, Université Côte d'Azur, France;
 Master: Nicolas Nisse, Algorithms for Telecoms, 15h ETD, M2 Ubinet, Université Côte d'Azur, France;
 Master: Nicolas Nisse, Advanced Graphs, 36h ETD, M2 Informatique et Interaction, Université Côte d'Azur, France;
 PhD: Emanuele Natale, Elements of Computational Modeling in Julia, 8h, PhD in Computer Science, Gran Sasso Science Institute, Italy (natema.github.io/ECMJGSSI2022/).
11.2.3 Supervision
PhD thesis
 PhD in progress: Aurora Rossi, Algorithmic aspects and random network models for temporal brain networks, since October 2022. Cosupervisors: David Coudert and Emanuele Natale;
 PhD in progress: Redha Abderrahmane Alliche, Artificial Intelligencebased cloud network control, since October 2020. Cosupervisors: Ramon Aparicio and Lucile Sassatelli;
 PhD in progress: Arthur Carvalho Walraven Da Cunha, Algorithmic Principles for Artificial Neural Network Compression, since October 2020. Supervisor: Emanuele Natale;
 PhD in progress: Thomas Dissaux, Graph decompositions and treelength, since October 2020. Supervisor: Nicolas Nisse;
 PhD in progress: Igor Dias da Silva, Optimization of UAVs deployment and coordination for exploration and monitoring applications, since October 2020. Cosupervisors: Christelle Caillouet and David Coudert;
 PhD in progress: Lucas PicassariArrieta , Digraph colourings, since October 2021. Supervisor: Frédéric Havet;
 PhD in progress: Ilias Driouich, Privacypreserving algorithms for crossdevice federated learning. Cosupervisors: Frédéric Giroire and Chuan Xu. CIFRE grant with Amadeus;
 PhD in progress: Tiago da Silva Barros, Joint Training Design and Network Resource Allocation for Distributed Machine Learning , since October 2022. Cosupervisors: Ramon Aparicio and Frederic Giroire;
 PhD: Francesco d'Amore, On the Collective Behaviors of BioInspired Distributed Systems 72, October 17, 2022. Cosupervisors: Emanuele Natale and Nicolas Nisse;
 PhD: Foivos Fioravantes, Distinguishing labellings of graphs 71, September 26, 2022. Cosupervisors: Julien Bensmail and Nicolas Nisse;
 PhD: Hicham Lesfari, Foundations of Networks towards AI, October 7, 2022. Supervisor: Frédéric Giroire;
 PhD: Zhejiayu Ma, Learningbased optimization of hybrid CDN/V2V live streaming systems, December 20, 2022. CoSupervisors: Guillaume UrvoyKeller, Frédéric Giroire, Soufiane Rouiba (Easybroadcast, Nantes). CIFRE grant with Easybroadcast.
Internships
 Licence: Yannis Belkhiter, Development of a game in Mobile Apps for the scientific communication, Mines d'Alès, France, JulyAugust 2022. Supervisor: Nicolas Nisse.
 Licence: Samuel Coulomb, Fast algorithm for the Leanness of Graphs, ENS Ulm, France, from June 7 till July 29, 2022. Supervisor: David Coudert.
 Licence: Baptiste Thierry, Graph grabbing games , UCA, France, from May 16 till July 28, 2022. Supervisor: JeanClaude Bermond and Michel Cosnard and Frédéric Havet.
 Google Summer of Code: Enjeck Mbeh Cleopatra, implementation of preprocessing methods for edge connectivity in digraphs in Sagemath, BSc University of Bamenda, Cameroon, from May till November 2022. Mentor: David Coudert.
 Google Summer of Code: Georgia Channing, implementation of Gabow's arborescence packing algorithm in Sagemath, MSc University of Tennessee, Knoxville, USA, from May till September 2022. Mentor: David Coudert.
 Master : Javier Fernandez Cordova and Johannes Rüscher , Energy efficiency of slice placement in 5G networks, project of MSc IT of IMT Atlantique, from March till May 2022. Supervisors: Christelle Caillouet and Géraldine Texier (IMT Atlantique).
 Master 1: Margaux Schmied, on the computation of shortest smooth path with uniformly bounded stretch, Master 1 Computer Science, Université Côte d'Azur, from July till August 2022. Supervisor: David Coudert.
 Master 1: Pierre Kouyoumdjian, Modularity and 2community structure in graphs, Master 1 Computer Science, Université Côte d'Azur, from July till August 2022. Supervisor: Nicolas Nisse.
 Master 1: Antoine Cousson, Quantum Entanglement Management, Master 1 informatique, Université Côte d'Azur, France, from June 2022 until July 2022. Supervisor: Ramon Aparicio.
 Master 2: Marco Dinuzzi (TER), Calculating the Carbon Footprint of Streaming Media, M2 IFI, international track Ubinet, Université Côte d'Azur, France, from October 2022 until February 2023. Supervisors: Joanna Moulierac and Guillaume UrvoyKeller.
 Master 2 (TER+internship): Maria Darido, Data acquisition and collection in harsh environment, M2 IFI parcours Ubinet, Université Côte d'Azur, France, from October 2021 until August 2022. Supervisors: Christelle Caillouet and David Coudert.
 Master 2 (TER+internship): Leonardo Serilli, Evolution over time of the structure of social graphs: Clustering, M2 IFI parcours Ubinet, Université Côte d'Azur, France, from October 2021 until August 2022. Supervisors: Frédéric Giroire and Nicolas Nisse and Malgorzata Sulkovska.
 Master 2 (TER+internship): El Hassam Chokraallah, Using Semantic Graph clustering to explore study and career paths with the goal to Help student and professional counseling, M2 IFI parcours Ubinet, Université Côte d'Azur, France, from October 2021 until August 2022. Supervisors: Frédéric Giroire and Nicolas Nisse and Malgorzata Sulkovska.
 Master 2: Tiago da Silva Barros, Network simulator for reinforcement learning, Master 2 Ingénierie informatique, international track Ubinet, Université Côte d'Azur, France, from March 2022 until August 2022. Supervisor: Ramon Aparicio.
 Master 2 : Aurora Rossi, The Hyperbolic Model and the Temporal Small Worldness of Brain Dynamics, Master 2 in Mathematics, University of Verona, Italy, from February 2022 until August 2022. Supervisor: Emanuele Natale.
 Predoc : Edward Amadeus Reinald, Reconfiguration of directed colourings, 4th year of ENS Lyon, from February 2022 until May 2022. Supervisor: Frédéric Havet.
 Predoc : Clément Rambaud, Inversions in digraphs, 4th year of ENS Paris, from September 2022 until March 2023. Supervisor: Frédéric Havet.
11.2.4 Juries
 Ramon Aparicio:
 Referee of PhD thesis of Fatemehsadat Tabatabaeimehr, Université Polytechnique de Catalogne, Barcelone, Espagne, June 2, 2022;
 Referee of PhD thesis of Sima Barzegar, Université Polytechnique de Catalogne, Barcelone, Espagne, June 2, 2022.
 Julien Bensmail
 Reviewer of the Ph.D. thesis of Fabien Jacques on Homomorphismes de graphes signés et complexité de quelques problèmes d’homomorphismes, Université de Montpellier, France, July 11, 2022.
 Christelle Caillouet :
 Member of the PhD committee of Mohamed Hamnache on Performances et Gestion de l'itinérance dans les réseaux LoRaWAN, Toulouse INP, France, Nov 25, 2022;
 Member of the PhD committee of JeanPhilippe Abegg on Sécurité et efficacité des technologies Blockchain appliquées à l'internet des objets, Université de Strasbourg, France, Oct 21, 2022;
 Member of the PhD committee of Amal Boubaker on Performances des protocoles de transport dans les constellations de satellites, Toulouse INP, France, May 4, 2022.
 David Coudert :
 Member (and president) of the PhD committee of Arthur Finkelstein on Recherche de plus court chemin multimodal de point à point dépendant du temps, Université Côte d'Azur, France, September 22, 2022.
 Frédéric Havet :
 Member (and president) of PhD committe of Julien Devreton, Université Côte d'Azur, France, Avril 6, 2022.
 Nicolas Nisse :
 Referee and member of PhD committe of Tobias Castanet, Université de Bordeaux, September 12, 2022.
11.3 Popularization
Coati is deeply involved in Terra Numerica. Its members are very active in content creation, dissemination to the public, training of teaching or facilitating staff, and project governance.
Frédéric Havet and Nicolas Nisse are also involved in the ANR project ASMODEE (Analyse et conception de situations de médiation en informatique débranchée) headed by LIRIS laboratory.
11.3.1 Internal or external Inria responsibilities
Frédéric Havet is cohead of Terra Numerica and one of the responsible of the “Comité Scientifique, Pédagogique et Technique” ; Nicolas Nisse is a member of this comité ; Joanna Moulierac is the referent of Terra Numerica for higher education ; Luc Hogie is in charge of hardware and software development.
Frédéric Havet is member of the editorial board of 1024, le bulletin de la SIF (Société Informatique de France, in which he draws cartoons to illustrate some articles.
11.3.2 Articles and contents
Coati members have participated in the development of numerous mediation devices for Terra Numerica. We only list below the most important ones.
 Galejade: Frédéric Havet, Joanna Moulierac, and Nicolas Misse importantly participate in the Galejade project whose aim is to provide funny and interactive activities to approach mathematics and computer science by getting out of pencil paper and computers. A first handbook has been made available on Hal 93. Since its release, it has been downloaded several thousands of times.
 TwoPlayer games in graphs: Nicolas Nisse cosupervised with Dorian Mazauric (ABS) Yannis Belkhiter (intern, first year engineering school, Mines d'Ales), who designed a popularization software about the surveillance game, related to prefetching problems.
 Green Networks: Frédéric Giroire and Joanna Moulierac created of a scientific popularization activity on the energy efficiency in networks on a 2m50 by 3m20 model representing a city. This activity takes place in the main hall of Terra Numerica, Valbonne and is largely appreciated by the public.
 Walk of ants: Frédéric Havet and Luc Hogie created an activity to explain how a simple decentralized algorithm allows ants to find shortest paths. They supervised the internships of Thimotée Juillet (2nd year IUT) to develop a numerical application and the internships of Matthis Kuhl, Quentin Scordo and Lucas Lyon (DS4H) to program robots behaving like ants.
 Hanoi towers: Frédéric Havet cosupervised with Dorian Mazauric (ABS) Antoine Agré (intern, second year engineering school) and Mael Rivière, who designed a popularization software about Hanoi towers.
Frédéric Havet and Luc Hogie cosupervised with Dorian Mazauric (ABS team) five TER of EUR DS4H to develop various popularization softwares (Lucas Lyon, Quentin Scordo, David Prigodin, Milena Kostov, and Chahan Movsessian).
Nicolas Nisse participated to the WECAM (WeekEnd Création d'Activité de Médiation) Türing, Lyon, February 56th, 2022.
11.3.3 Education
Members of Coati participated to the receptions of 3ème trainees:
 12 trainees, January 31–February 4, 2022 (T. Dissaux, F. Havet, J. Moulierac, N. Nisse, L. PicasarriArrieta).
 15 trainees, December 12–16, 2022 (F. Havet, N. Nisse)
Members of Coati participated to the training of teachers:
 Training for 25 secondary school teachers in Toulon, March 2022. Algorithms, by F. Havet and N. Nisse.
 Training for 40 primary school teachers in Rians, May 2022. Galejade method, by F. Havet and N. Nisse.
 Training for 25 secondary and high school teachers in Valbonne, March 2022. Tilings, by F. Havet.
 Training for 25 primary school teachers in Valbonne, October 2022. Galejade method, by F. Havet.
Many members of Coati (J.C. Bermond, M. Cosnard, T. Dissaux, F. Havet, H. Lesfari, J. Moulierac, L. PicasarriArrieta) ran numerous popularization activities in front of schoolgirls and schoolboys, either at TerraNumerica@Sophia, at MIA (Maison de l'Intelligence Artificielle), or in their schools. Some were part of some national programmes such as “Chiche !”, “Cordées de la réussite”, or “Maths en Jeans”.
11.3.4 Interventions
Many members of Coati (T. Dissaux, F. Giroire, F. Havet, H. Lesfari, J. Moulierac, L. PicasarriArrieta, S. Pérennes, C. Rambaud, M. Syska) participated some general audience science fairs like the inauguration of TerraNumerica@Sophia on June 11th 2022, and Fête de la science in October 2022 (we were present on the “Village des Sciences” in AntibesJuanlesPins, Valbonne, VilleneuveLoubet, Vinonsur Verdon).
Frédéric Havet also gave general audience conferences in several cities (Biot, Bonson, Brignoles, Falicon, Rians, VinonsurVerdon) for Esope 21, Science pour Tous 06, and Terra Numerica.
12 Scientific production
12.1 Major publications
 1 inproceedingsFinding a BoundedDegree Expander Inside a Dense One.Proceedings of the thirtyfirst Annual ACMSIAM Symposium on Discrete Algorithms (SODA)Salt Lake City, United StatesJanuary 2020
 2 articleEdgepartitioning a graph into paths: beyond the BarátThomassen conjecture.Combinatorica392April 2019, 239263
 3 articleGraphes et Télécommunications.Bibliothèque TangenteHors Serie 752021, 120125
 4 articleEfficient Data Collection and Tracking with Flying Drones.Ad Hoc Networks89C2019, 3546
 5 articleSubdivisions of oriented cycles in digraphs with large chromatic number.Journal of Graph Theory894April 2018, 439456
 6 articleTo Approximate Treewidth, Use Treelength!SIAM Journal on Discrete Mathematics3032016, 13
 7 articlePFPT algorithms for bounded cliquewidth graphs.ACM Transactions on Algorithms153June 2019, 157
 8 inproceedingsProving the Strong Lottery Ticket Hypothesis for Convolutional Neural Networks.ICLR 2022  10th International Conference on Learning RepresentationsVirtual, FranceApril 2022
 9 articleOn the unavoidability of oriented trees.Journal of Combinatorial Theory, Series B151November 2021, 83110
 10 articleOn the Complexity of Compressing Two Dimensional Routing Tables with Order.Algorithmica801January 2018, 209233
 11 inproceedingsCapacity of a LoRaWAN Cell.Proceedings of the 23rd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2020)MSWiM '20alicante, SpainAssociation for Computing MachineryNovember 2020, 131140
 12 patentBigGraphs: distributed graph computing.IDDN.FR.001.410005.000.S.P.2015.000.31235FranceSeptember 2016
 13 inproceedingsNadege: When Graph Kernels meet Network Anomaly Detection.IEEE International Conference on Computer Communications (INFOCOM)London, United KingdomMay 2022
 14 articleImmersion of transitive tournaments in digraphs with large minimum outdegree.Journal of Combinatorial Theory, Series BMay 2018, 4
 15 articleMinnie : An SDN world with few compressed forwarding rules.Computer Networks121July 2017, 185207
12.2 Publications of the year
International journals
 16 articleOn the dichromatic number of surfaces.The Electronic Journal of Combinatorics291January 2022
 17 articleLow chromatic spanning sub(di)graphs with prescribed degree or connectivity properties.Journal of Graph Theory994April 2022, 615636
 18 articleSpanning eulerian subdigraphs in semicomplete digraphs.Journal of Graph Theory1002August 2022, 294314
 19 articleA σ3 condition for arbitrarily partitionable graphs.Discussiones Mathematicae Graph Theory2022, 122
 20 articleOn the pushable chromatic number of various types of grids.Discrete Applied Mathematics2023
 21 articleOn the signed chromatic number of some classes of graphs.Discrete Mathematics3452022, 112664
 22 articleGeneralising the achromatic number to Zaslavsky's colourings of signed graphs.Theoretical Computer Science9232022, 196221
 23 articleThe Largest Connected Subgraph Game.Algorithmica8492022, 10301063
 24 articleOn Proper Labellings of Graphs with Minimum Label Sum.Algorithmica844January 2022, 10301063
 25 articleOn proper 2labellings distinguishing by sums, multisets or products.Discussiones Mathematicae Graph Theory2022, 116
 26 articleOn the algorithmic complexity of determining the AVD and NSD chromatic indices of graphs.Theoretical Computer Science9392023, 105118
 27 articleA proof of the Multiplicative 123 Conjecture.Combinatorica2022
 28 articleFurther Evidence Towards the Multiplicative 123 Conjecture.Discrete Applied Mathematics3072022, 135144
 29 articleOn a List Variant of the Multiplicative 123 Conjecture.Graphs and Combinatorics3832022, 88
 30 articleGoing Wide with the 123 Conjecture.Discrete Applied Mathematics3202022, 1532
 31 articleMore Aspects of Arbitrarily Partitionable Graphs.Discussiones Mathematicae Graph Theory4242022, 12371261
 32 articleOn {a,b}edgeweightings of bipartite graphs with odd a,b.Discussiones Mathematicae Graph Theory4212022, 159185
 33 articleMetric Dimension: from Graphs to Oriented Graphs.Discrete Applied Mathematics3232022, 2842
 34 articleOn a VertexCapturing Game.Theoretical Computer Science9232022, 2746
 35 articleOn the hardness of determining the irregularity strength of graphs.Theoretical Computer Science9372022, 96107
 36 articleEnumeration of farapart pairs by decreasing distance for faster hyperbolicity computation.ACM Journal of Experimental Algorithmics271.15December 2022, 29
 37 articleA Random Growth Model with any Real or Theoretical Degree Distribution.Theoretical Computer Science940Part AJanuary 2023, 3651
 38 articleCounting embeddings of rooted trees into families of rooted trees.The Electronic Journal of Combinatorics293September 2022, 134
 39 articleOn the Nash number and the diminishing Grundy number of a graph.Discrete Applied Mathematics314June 2022, 116
 40 articleOverlaying a hypergraph with a graph with bounded maximum degree.Discrete Applied Mathematics3192022, 394406
 41 articleMaximizing the expected number of components in an online search of a graph.Discrete Mathematics3451January 2022, 112668
 42 articleRunning minimum in the bestchoice problem.ExtremesNovember 2022
 43 articleAn optimal algorithm for stopping on the element closest to the center of an interval.Advances in Applied Mathematics133February 2022, 102281
 44 articleModularity of minorfree graphs.Journal of Graph TheoryOctober 2022
 45 articlePhase Transition of a NonLinear Opinion Dynamics with Noisy Interactions.Swarm Intelligence16November 2022, 261–304
International peerreviewed conferences
 46 inproceedingsOn Finding k Earliest Arrival Time Journeys in Public Transit Networks.ICORES 2022  11th International Conference on Operations Research and Enterprise SystemsVirtual event, FranceSciTePressFebruary 2022, 314325
 47 inproceedingsImpact Evaluation of Control Signalling onto Distributed Learningbased Packet Routing.ITC 34  Teletraffic Engineering for Smart Networking conferenceShenzen, ChinaSeptember 2022
 48 inproceedingsPRISMA: A Packet Routing Simulator for MultiAgent Reinforcement Learning.4th Intl Workshop on Network Intelligence collocated with IFIP Networking 2022Proceedings IFIP Networking Conferance 2022Catania, ItalyJune 2022
 49 inproceedingsUne version MakerBreaker du jeu du plus grand sousgraphe connexe.AlgoTel 2022  24èmes Rencontres Francophones sur les Aspects Algorithmiques des TélécommunicationsSaintRémyLèsChevreuse, FranceMay 2022
 50 inproceedingsThe Weak (2,2)Labelling Problem for graphs with forbidden induced structures.Lecture Notes in Computer ScienceCALDAM 2023  9th Annual International Conference on Algorithms and Discrete Applied MathematicsGandhinagar, IndiaSpringerFebruary 2023
 51 inproceedingsGrabbing Olives on Linear Pizzas and Pissaladières.The Eleventh International Conference on Fun with Algorithms (FUN 2022)Island of Favignana, ItalyMay 2022
 52 inproceedingsDominer pour calculer l'hyperbolicité des graphes.AlgoTel 2022  24èmes Rencontres Francophones sur les Aspects Algorithmiques des TélécommunicationsSaintRémyLèsChevreuse, FranceMay 2022
 53 inproceedingsHyperbolicity Computation through Dominating Sets.ALENEX 2022  SIAM Symposium on Algorithm Engineering and ExperimentsAlexandria, VA, United StatesJanuary 2022, 7890
 54 inproceedingsProving the Strong Lottery Ticket Hypothesis for Convolutional Neural Networks.ICLR 2022  10th International Conference on Learning RepresentationsVirtual, FranceApril 2022
 55 inproceedingsTrajectory Optimization for Fast Sensor Energy Replenishment using UAVs as RF sources.GLOBECOM 2022  IEEE Global Communications ConferenceRio de Janeiro / Hybrid, BrazilIEEEDecember 2022, 16
 56 inproceedingsQuand l'immobilisme coûte plus cher que l'échange.AlgoTel 2022  24èmes Rencontres Francophones sur les Aspects Algorithmiques des TélécommunicationsSaintRémyLèsChevreuse, FranceMay 2022
 57 inproceedingsLongueur linéaire des graphes planaires extérieurs.AlgoTel 2022  24èmes Rencontres Francophones sur les Aspects Algorithmiques des TélécommunicationsSaintRémyLèsChevreuse, FranceMay 2022
 58 inproceedingsPathlength of Outerplanar graphs.LATIN 2022: Theoretical Informatics : 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, ProceedingsLATIN 2022  15th Latin American Theoretical Informatics SymposiumLNCS3568Lecture notes in computer scienceGuanajuato, Mexico2022, 172187
 59 inproceedingsReconfiguring Network Slices at the Best Time With Deep Reinforcement Learning.CloudNet 2022  IEEE International Conference on Cloud NetworkingParis, FranceNovember 2022
 60 inproceedingsFrame Arrival Timing in LoRaWAN: Capacity Increase With Repeated Transmissions and More Channel Attenuation.PIMRC 2022  IEEE 33rd Annual International Symposium on Personal, Indoor and Mobile Radio CommunicationsVirtual Conference, Japan2022
 61 inproceedingsA ServiceOriented Middleware Enabling Decentralised Deployment in Mobile Multihop Networks.3rd International Workshop on Architectures for Future Mobile Computing and Internet of Things (FMCIoT 2022), collocated with the 20th International Conference on ServiceOriented Computing (ICSOC 2022)Sevilla, SpainOctober 2022
 62 inproceedingsIdawi: a decentralized middleware for achieving the full potential of the IoT, the fog, and other difficult computing environments.Proceedings of the 1st Workshop on Middleware for the EdgeQuebec City, CanadaACM; ACMNovember 2022, 15
 63 inproceedingsNadege: When Graph Kernels meet Network Anomaly Detection.IEEE International Conference on Computer Communications (INFOCOM)London, United KingdomMay 2022
 64 inproceedingsPlanning with Biological Neurons and Synapses.Proceedings of the AAAI Conference on Artificial Intelligence 2022Vol. 36 No. 1: AAAI22 Technical Tracks 1Vancouver, CanadaDecember 2021
Conferences without proceedings
 65 inproceedingsA proof of the Multiplicative 123 Conjecture.CALDAM 2022  8th Annual International Conference on Algorithms and Discrete Applied MathematicsPuducherry, IndiaFebruary 2022
 66 inproceedingsA Novel ModelBased Attribute Inference Attack in Federated Learning.FLNeurIPS'22  Federated Learning: Recent Advances and New Challenges workshop in Conjunction with NeurIPS 2022New orleans, United StatesDecember 2022
 67 inproceedingsComplexity of Finding Maximum Locally Irregular Induced Subgraphs.Scandinavian Symposium and Workshops on Algorithm Theory (SWAT) 2022Torshavn, Faroe IslandsSeptember 2022
 68 inproceedings LoRaWAN Reception probability vs. packet arrival timing: please speak quietly and repeat? CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication SaintRémyLèsChevreuse, France May 2022

69
inproceedingsBiased Majority Opinion Dynamics: Exploiting graph
$k$ domination.IJCAI 2022  International Joint Conference on Artificial IntelligenceVienna, AustriaJuly 2022  70 inproceedingsPhase Transition of the 3Majority Dynamics with Uniform Communication Noise.SIROCCO 2022  Structural information and communication complexityPaderborn, GermanyInria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; Università degli Studi dell'AquilaDecember 2021
Doctoral dissertations and habilitation theses
 71 thesisEdgelabellings, vertexcolourings and combinatorial games on graphs.Université Côte d'AzurSeptember 2022
 72 thesisOn the collective behaviors of bioinspired distributed systems.Université Côte d'AzurOctober 2022
Reports & preprints
 73 reportSemiproper orientations of dense graphs.Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France2022
 74 miscOn the Multidimensional Random Subset Sum Problem.July 2022
 75 reportOriented TotalColoring of Oriented Graphs.Université côte d'azur; Université lyon 12022
 76 reportAdding Direction Constraints to the 123 Conjecture.Université côte d'azur; Université de Bordeaux2023
 77 reportThe Weak (2, 2)Labelling Problem for graphs with forbidden induced structures.Université côted'Azur; Université de Bordeaux, LaBRI, UMR 5800, France2022
 78 reportSome Properties of Minimal Arbitrarily Partitionable Graphs.Université côte d'azur2022
 79 miscGrabbing olives on linear pizzas and pissaladières.April 2022
 80 miscGossiping with interference in radio ring networks.April 2022
 81 miscRevisiting the Random Subset Sum problem.April 2022
 82 reportPathlength of Outerplanar graphs.Inria & Université Nice Sophia Antipolis, CNRS, I3S, Sophia Antipolis, FranceApril 2022
 83 reportPreferential attachment hypergraph with vertex deactivation.Inria  Sophia antipolis; UCA, I3S2022
 84 miscConflict coloring problems: (theory, complexity, algorithm), and application to multiresolution modeling in structural bioinformatics.May 2022
 85 reportIdawi: a middleware for distributed applications in the IOT, the fog and other multihop dynamic networks.CNRS  Centre National de la Recherche Scientifique; Université Côte d'azur; InriaFebruary 2022
Other scientific publications

86
inproceedingsSearch via Parallel Lévy Walks on
${Z}^{2}$ .HALG 2022  Highlights of AlgorithmsLondon, United KingdomJune 2022, 113  87 inproceedingsHyperbolic Model Captures Temporal Small Worldness of Brain Dynamics.NeuroMod meeting 2022Antibes, FranceJune 2022
 88 inproceedingsPlanning with Biological Neurons and Synapses  AAAI22 Poster.AAAI 2022  36th AAAI Conference on Artificial IntelligenceVancouver, CanadaFebruary 2022
12.3 Cited publications
 89 techreportFinding the k Shortest Simple Paths: Time and Space tradeoffs.Inria ; I3S, Université Côte d'AzurApril 2021
 90 articlePreface to special issue on Theory and Applications of Graph Searching.Theoretical Computer Science794November 2019, 12

91
inproceedingsSearch via Parallel Lévy Walks on
${}^{2}$ .PODC 2021  ACM Symposium on Principles of Distributed ComputingSalerno, ItalyInria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; Università degli Studi di Roma "Tor Vergata"; Univ Rennes, Inria, CNRS, IRISA, FranceApril 2020, 81–91  92 softwareHyperbolicity.2021GNU General Public License v3.0 or later
 93 bookManuel GALEJADE : S'initier aux mathématiques et à l'informatique en jouant avec les graphes..2022
 94 bookForewords: Special issue on Theory and Applications of Graph Searching Problems.655Part AElsevierDecember 2016
 95 inproceedingsPhase Transition of a Nonlinear Opinion Dynamics with Noisy Interactions  (Extended Abstract).Structural Information and Communication Complexity  27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29  July 1, 2020, Proceedings12156Lecture Notes in Computer ScienceSpringer2020, 255272URL: https://doi.org/10.1007/9783030549213_15