2024 - 2023 - 2022 - 2021 - 2020
PhD thesis
12/02/2024 – Thibault Hilaire: «Coverability algorithms for Petri nets certified in Coq»
Manuscript
---------------
11/29/2024 – Timothée Corsini : «Accessibility in temporal graphs and related problems “
Manuscript
11/28/2024 – Corto Mascle : «Verification and synthesis of distributed systems with weak synchronization»
Manuscript
11/27/2024 – Clément Richefort: «Development of an algebraic multigrid solver for the indefinite Helmholtz equation»
Manuscript
11/25/2024 – Maxime Fuccellaro: "Learning model drift: detection, on-the-fly updating and correction"
Manuscript
11/22/2024 – Naomi Chaix-Eichel : « Investigating the role of neural network architecture in decision-making processes using reservoir computing»
Manuscript
11/13/2024 – Luc-Etienne Pomme-Cassierou : « Visualization to explain deep neural networks»
Manuscript
---------------
10/18/2024 – Agathe Houzelot : « Practical analysis of symmetrical and asymmetrical standards in the context of the white box »
Manuscript
---------------
09/06/2024 – Julien Rodriguez : « Circuit partitioning for multi-FPGA platforms »
Manuscript
---------------
07/15/2024 – Ivan Yakovlev: « Metric ribbon graphs»
Manuscript
07/02/2024 - Clément Legrand: « Exploring the space of graph colorations»
Manuscript
---------------
06/20/2024 - Christophe Casseau: « Support for Jupyter notebooks in educational environments »
Manuscript
06/19/2024 - Corentin Latappy: « Code practices: from documentation to detection »
Manuscript
---------------
05/09/2024 – Jana Lepsova: “Substitutive structures in combinatorics, number theory and discrete geometry”
Manuscript
---------------
04/30/2024 – Subba Reddy Oota: “Neurocomputational models of language comprehension: characterizing similarities and differences between cerebral language processing and language models.”
Manuscript
04/29/2024 – Maxime Lecomte: « Hybrid approach to explainable modeling of microbial ecosystem metabolism»
Manuscript
04/18/2024 – Abdennour Rachedi: « Optimizing ITS-G5 network resource management to support C-ITS services »
Manuscript
04/17/2024 – Imed Ghnaya: "Augmented Perception Resiliency of C-ITS based Connected and Autonomous Vehicles"
Manuscript
04/16/2024 – Chloé Mercier: "Modeling cognitive processes in a creative problem-solving task: from symbolic to neuro-symbolic approaches in computational learning sciences"
Manuscript
---------------
03/22/2024 – Adrien Halnaut: « Visual analytics for understanding, optimizing and developing deep neural network models »
Manuscript
03/20/2024 – Morgane Koval: « Predictive Visualizations for Informed Casual Decision Processes »
Manuscript
---------------
02/08/2024 – Hugo Chateau-Laurent: « CONSEQUENCE: A computational model of the interaction between episodic memory and cognitive control »
Manuscript
---------------
02/01/2024 – Hernan Carrillo Lindado: « Guiding neural networks for image colorization through user interactions »
Manuscript
---------------
01/15/2024 – Clément Gavoille: “Performance projection approach for exploring the design space of the Arm environment in HPC”
Manuscript
---------------
12/18/2023 - Badreddine Yacheur: « Hybrid vehicle communication technologies for a resilient, high-performance network »
Manuscript
12/12/2023 - Ambre Assor: « Immersive and situated data representation: using the physical world as a visualization canvas »
Manuscript
12/12/2023 -Soumyajit Paul: "On the complexity of two-player zero-sum games of finite duration with imperfect information."
Manuscript
12/08/2023 - Noureddine Mouhoub: "Algorithms for routing in multilayer networks".
Manuscript
---------------
11/23/2023 – Antonio Casares: « Structural properties of automata over infinite words and memory for games»
Manuscript
11/20/2023 – Loann Giovannangeli : “Generation and evaluation of visualizations with machine learning techniques”
Manuscript
11/08/2023 - Huy Dung Nguyen: « Deep learning for predicting neurological diseases »
Manuscript
---------------
10/20/2023 - Rupayan Mallick: "Explainable Deep Learning Application to multimodal data"
Manuscript
---------------
09/12/2023 - Ritam Raha: "Learning and verification of complex systems with temporal specifications "
Manuscript
09/20/2023 - Christophe Caubet: "Learning on multispectral and multi-platform data for surveillance mission systems"
Manuscript
09/21/2023 - Victor Nador: "Combinatorial decompositions for families of deformed or decorated maps"
Manuscript
---------------
07/10/2023 – Baptiste Coye: "Ordonnancement dynamique de graphe de tâches par composition"
Manuscript
07/06/2023 – Korlan Rsbayeva: "Deep metric learning and classification of hierarchical and multimodal data: application to soil remediation reports"
Manuscript
07/04/2023 – Claire Hilaire: "Graph structure, minors and induced trees"
Manuscript
---------------
06/22/2023 – Emile Barjou: "Phase contrast tomographic reconstruction"
Manuscript
---------------
03/31/2023 - Adnane Khattabi: "Complexity Improvement of Linearizable and Wait-free Concurrent Object Implementations by Relaxing their Specifications
Manuscript
03/24/2023 - Kadir Korkmaz: "Securing the blockchain against IoT cyber attacks"
Manuscript
---------------
02/07/2023 - Warren Jouanneau: "Clothing identification in images: from instance segmentation to weakly supervised multi-label classification"
Manuscript
---------------
01/26/2023 – Myriam Lopez: Critical error prediction in an industrial application
Manuscrit
01/13/2023 - Reda Kamraoui: "Deep learning in neuroimaging for multiple sclerosis"
Manuscript
---------------
12/16/2022 - Van Man Nguyen: "Verification and optimization of non-blocking MPI communications at compile-time"
Manuscript
12/15/2022 - Célia Tassadit Ait Kaci: "Static and dynamic analysis for memory access concurrency error detection in MPI-RMA applications"
Manuscript
12/14/2022 - Maxime Poret: "Towards a model for the sonification of scientific data"
Manuscript
12/14/2022 - Kévin Reby: "Automatic recognition of pain from body posture by deep learning"
Manuscript
12/13/2022 - Adélaïde Genay: "Being a Virtual Avatar in a Real Environment: Design and Study of Avatar Embodiment in Augmented Reality"
Manuscript
12/13/2022 - Manh Tu Vu: "Deep learning for automatic evaluation of facial expressions, with application to pain expression"
Manuscript
12/09/2022 - Philippe Pérez de San Roman: "3D detection for mixed reality in industrial maintenance"
Manuscript
---------------
11/29/2022 - Philippe Swartvagher: "On the interaction between HPC task execution media and communication libraries"
Manuscript
---------------
09/12/2022 - Tobias Castanet: "Distance and proximity queries for distributed mobile entities"
Manuscript
09/30/2022 - Quentin Manière: "Counting queries for data access in the presence of an ontology"
Manuscript
---------------
08/18/2022 - Anwer Slimi: "Contribution to the realization of an emotion recognition system : multilingual case"
Manuscript
---------------
07/12/2022 - Jonathan Narboni: "Graph coloring and recoloring"
Manuscript
---------------
06/08/2022 - Vincent Martin: "New speech biomarkers for automatic drowsiness detection"
Manuscript
---------------
05/17/2022 - Varun Ramanathan: "Synchronized relationships: logical characterization and complexity of query evaluation"
Manuscript
---------------
03/28/2022 - Antoine Pirrone: "Self-supervised deep learning of metrics: application to the prediction of papyrus fragments assembly"
Manuscript
03/18/2022 - Moubarak Zoure: "Anomaly verification in NFV network services outsourced to the cloud"
Manuscript
---------------
01/31/2022 - Nicolas Vidal: "DASH: scaled input-output data scheduling"
Manuscript
01/21/2022 - Thinhinane Yebda: "Detection of Risky Situations for Fragile People using Multimodal Data"
Manuscript
---------------
09/21/2021 - Idriss Daoudi: "Performance modeling and simulation of OpenMP applications"
Manuscript
09/16/2021 - Rajkumar Darbar: "Extending Interaction Space in Augmented Reality : Contributions in Optical-See-Through and Projection-Based Augmented Environments"
Manuscript
09/09/2021 - Wei Chen: "Evolution of Web Test Suite"
Manuscript
---------------
07/05/2021 - Antonin Lentz: "Computation of multi-criteria shortest paths and related geometric problems"
Manuscript
---------------
06/16/2021 - Govind Rajanbabu: "Partial order reduction for timed systems"
Manuscript
---------------
03/29/2021 - Jason Schoeters : Contributions to temporal graph theory and mobility-related problems
Manuscript
03/25/2021 - Silvia Pagliarini: "Modeling the neural network responsible for song learning"
Manuscript
03/24/2021 - Paul Ouvrard: "Reconfiguration problems in graphs"
Manuscript
03/23/2021 - Philippe Giraudeau: "Interactions within tangible and augmented environments to discover, understand and learn"
Manuscript
03/12/2021 - Sougata Bose: "Decision problems for word translators with original semantics"
Manuscript
---------------
02/26/2021 - Karim Aderghal: "Classification of multimodal MRI images by deep learning: application to Alzheimer's disease diagnosis"
Manuscript
---------------
12/18/2020 - Pierre-Etienne Martin: "Fine detection and classification of actions from videos by neural networks with spatio-temporal convolutions. Application to table tennis"
Video
Manuscript
12/17/2020 - Chahrazed Ksouri: "Intelligent mobility and vehicle Internet routing based on an intermittent infrastructure"
Manuscript
12/17/2020 - Aurélien Appriou: "Assessment of mental states related to learning from cerebral and physiological signals"
Manuscript
12/14/2020 - Tariq Benmansour: "Control and monitoring by wireless body sensor networks (WBANs)"
Manuscript
12/08/2020 - Adrien Cassagne: "Optimisation and parallelization methods for Software Defined Radio"
Manuscript
---------------
11/27/2020 - Simon Archipoff: "Development of tiled programming for interactive multimedia systems"
Manuscript
11/26/2020 - Giorgia Pitteri: "Estimation of the 3D installation of objects in an industrial environment"
Manuscript
---------------
10/15/2020 - Valentin Honoré: "HPC - Big Data Convergence: Managing the Diversity of Application Profiles on HPC Facilities"
Manuscript
10/09/2020 - Karim Alami: "Optimisation of skyline preference queries in dynamic contexts"
Manuscript
10/08/2020 - Mathias Lacaud: "Towards pragmatic solutions to improve the quality of video broadcasting in current and future networks"
Video
Manuscript
10/07/2020 - Simon Da Silva: "Video broadcasting with a better quality of experience and respect for privacy"
Video
Manuscript
10/05/2020 - Théo Karaboghossian: "Polynomial invariants and algebraic structures of combinatorial objects"
Manuscript
---------------
09/25/2020 - Léo Mendiboure: "Geographical distribution of data in the Internet of vehicles: a software and secure approach using cellular networks"
Manuscript
09/10/2020 - Romain Pascalie: "Random tensors and the Sachdev-Ye-Kitaev model"
Manuscript
---------------
07/13/2020 - Nadia Chaabouni: "Intrusion detection and prevention for IoT systems using machine learning"
Manuscript
07/09/2020 - Abraham Montoya Obeso: "Recognition of Mexican culture content with Deep learning networks"
Manuscript
07/09/2020 - Rafik Belloum: "Tool-based methodologies for developing assisted living services"
Manuscript
---------------
06/30/2020 - Antoine Laumond: "Exploring, navigating and visualising multi-layered networks through the human and social" sciences
Manuscript
06/08/2020 - Stéphanie Rey: "Contributions of Tangible Interactions for the Creation, Choice and Monitoring of Personalised Visitors' Journeys in Museums"
Manuscript
---------------
01/27/2020 - Mohamed Oumaziz: "Cloning beyond source code: a study of the practices in API documentation and infrastructure as code"
Manuscript here
HDR
12/13/2024 – Benjamin Bach : « Understanding Data, One Visualization at a Time: Forms, Tools, and Skills for Big-Data Visual Exploration and Communication»
02/08/2024 – Romain Giot: « A (small) step towards the explicability of articificial intelligence »
---------------
07/11/2023 - Guillaume Pallez: "Model design and accuracy for ressource management in HPC"
---------------
06/21/2023 - Romain Pacanowski: "Towards a complete predictive rendering pipeline for digital prototyping and cultural heritage applications"
---------------
03/22/2022 - Jean-Luc Rouas: « Contributions to speech analysis: acoustic and prosodic aspects »
---------------
02/11/2021 - Nathanaël Fijalkow: "The game of synthesis"
---------------
01/10/2021 - Hervé Hocquard: "On various problems related to edge-colorings"
---------------
12/14/2020 - Olivier Aumage: "Instruments of productivity for high performance computing"
10/22/2020 - Diego Figueira: "This is a summary of some scattered works on database theory, language theory and infinite state systems"
10/12/2020 - Olivier Gauwin: "Transducers : resources et characterisations"