LIMOS publications

Les publications sont issues de la collection LIMOS de HAL
To select the theses, the HDR, or the research papers, choose the type of document (TYPE DOC) corresponding.
  • 4806 documents

    Date publi
    Type
    Co-authors
    title
    journal or conference
    Domains
    2024
    ART
    Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
    whose LIMOS : Pascal LAFOURCADE , Léo ROBERT ,
    ZKP Protocols for Usowan, Herugolf, and Five Cells
    Tsinghua Science and Technology - 2024
    2024
    COMM
    Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
    whose LIMOS : Pascal LAFOURCADE , Anaïs DURAND ,
    Optimal Asynchronous Perpetual Grid Exploration ⋆
    SSS : Symposium on Stabilization, Safety, and Security of Distributed Systems - 2024
    2024
    ART
    José Luis Figueroa González, Mourad Baiou, Alain Quilliot, Hélène Toussaint, Annegret Wagler
    whose LIMOS : Mourad BAIOU , Annegret WAGLER , Alain QUILLIOT , Hélène TOUSSAINT , José Luis FIGUEROA GONZALEZ ,
    A project and lift approach for a 2-commodity flow relocation model in a time expanded network
    Discrete Applied Mathematics - 2024
    Maths
    2024
    COMM
    Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert
    whose LIMOS : Pascal LAFOURCADE , Léo ROBERT , Charles OLIVIER-ANCLIN ,
    Secure Keyless Multi-Party Storage Scheme
    ESORICS : European Symposium On Research In Computer Security - 2024
    Informatique/Cryptographie et sécurité
    2024
    COMM
    Noé Lebreton, Julien Jacques, Julien Ah-Pine, Matthieu Neveu
    whose LIMOS : Julien AH-PINE ,
    Pattern matching for multivariate time series forecasting
    ENBIS-24 Conference - 2024
    Statistiques
    2024
    COMM
    Pascal Lafourcade, Xavier Bultel, Charlène Jojon
    whose LIMOS : Pascal LAFOURCADE , Xavier BULTEL ,
    Cryptographic cryptid protocols: How to play cryptid with cheaters
    International Conference on Cryptology and Network Security - 2024
    Informatique/Cryptographie et sécurité
    2024
    ART
    Beatrice Bolsi, Thiago Alves de Queiroz, Vinícius Loti de Lima, Arthur Kramer, Manuel Iori
    whose LIMOS : Arthur KRAMER ,
    Assigning multi-skill configurations to multiple servers with a Scenario-Based Planning and Recombination Approach
    Computers and Operations Research - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Issam Khedher, Jean-Marie Favreau, Serge Miguet, Gilles Gesquière
    whose LIMOS : Jean-Marie FAVREAU ,
    RGB2LST: Enhancing Deep Learning-Based Land Surface Temperature Estimation with Multi-Modality and Artifacts Removal
    32nd European signal processing conference - 2024
    Sciences de l'ingenieur
    2024
    COMM
    Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
    whose LIMOS : Pascal LAFOURCADE , Dhekra MAHMOUD ,
    Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets
    Usenix Security Symposium - 2024
    Informatique/Cryptographie et sécurité
    2024
    COMM
    Victor Charpenay, Steven Schockaert
    whose LIMOS : Victor CHARPENAY ,
    Capturing Knowledge Graphs and Rules with Octagon Embeddings
    International Joint Conference on Artificial Intelligence (IJCAI 2024) - 2024
    Informatique/Intelligence artificielle
    2024
    ART
    Benjamin A. Antunes, David R.C. Hill
    whose LIMOS : David HILL , Benjamin ANTUNES ,
    Reproducibility, Replicability, and Repeatability: A survey of reproducible research with a focus on high performance computing
    Computer Science Review - 2024
    Informatique/Génie logiciel
    2024
    COMM
    Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios Thilikos, Alexandre Vigny
    whose LIMOS : Alexandre VIGNY ,
    Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
    LICS 2024 - 39th ACM/IEEE Symposium on Logic in Computer Science - 2024
    Informatique/Logique en informatique
    2024
    UNDEFINED
    Duc Nguyen, Chernyshev Vsevolod, Vitalii Makogin, Evgeny Spodarev
    whose LIMOS :
    DFS-based fast crack pre-detection
    Informatique/Vision par ordinateur et reconnaissance de formes
    2024
    COMM
    Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
    whose LIMOS : Florent FOUCAUD ,
    Problems in NP can admit double-exponential lower bounds when parameterized by treewidth or vertex cover
    Proceedings of the 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2024) - 2024
    Informatique/Algorithme et structure de données
    2024
    UNDEFINED
    Thanh Loan Nguyen, Viet Hung Nguyen, Minh Hieu Nguyen, Thi Viet Thanh Vu
    whose LIMOS : Viet Hung NGUYEN , Minh Hieu NGUYEN , Thanh Loan NGUYEN ,
    On the Kalai-Smorodinsky solutions for Bi-objective Spanning Tree Problem
    2024
    ART
    Anis Fradi, Chafik Samir, Ines Adouani
    whose LIMOS : Chafik SAMIR , Anis FRADI ,
    A New Bayesian Approach to Global Optimization on Parametrized Surfaces in $\mathbb {R}^{3}$
    Journal of Optimization Theory and Applications - 2024
    Statistiques
    2024
    COMM
    Pascal Lafourcade, Léo Robert, Gael Marcadet
    whose LIMOS : Pascal LAFOURCADE , Léo ROBERT , Gael MARCADET ,
    iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption
    International Conference on Cryptology in Africa - 2024
    Informatique/Cryptographie et sécurité
    2024
    COMM
    Pascal Lafourcade, Dhekra Mahmoud, Gael Marcadet, Charles Olivier-Anclin
    whose LIMOS : Pascal LAFOURCADE , Gael MARCADET , Charles OLIVIER-ANCLIN , Dhekra MAHMOUD ,
    Transferable, Auditable and Anonymous Ticketing Protocol
    Asia Conference on Information, Computer and Communications Security - 2024
    Informatique/Cryptographie et sécurité
    2024
    COMM
    Mathilde Vignon, Xavier Boucher, Lionel Perrier, Jonathan Villot
    whose LIMOS : Xavier BOUCHER ,
    Prise en compte de la santé dans les politiques territoriales de gestion de l'urbanisation : méthode d'aide à la décision multicritères
    ALASS-GISEH 2024 - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Arnaud Doniec, Flavien Balbo
    whose LIMOS : Flavien BALBO ,
    Travaux et plateformes de la communauté Mobilité Intelligente de l'IMT
    Journée - Agents et IA @ Plate-Forme Intelligence Artificielle (PFIA 2024) - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Fatma-Zohra Hannou Hannou, Victor Charpenay, Maxime Lefrançois, Catherine Roussey, Antoine Zimmermann, Fabien Gandon
    whose LIMOS : Victor CHARPENAY , Antoine ZIMMERMANN , Maxime LEFRANCOIS ,
    La méthodologie ACIMOV pour l'intégration agile et continue des modules ontologiques
    35èmes Journées francophones d'Ingénierie des Connaissances (IC 2024) - Plateforme d'intelligence artificielle (PFIA 2024) - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Maxime Lefrançois, Catherine Roussey, Fatma-Zohra Hannou, Victor Charpenay
    whose LIMOS : Victor CHARPENAY , Maxime LEFRANCOIS ,
    Intégration de SOSA/SSN, SAREF, et TD dans l’ontologie CoSWoT
    35es Journées francophones d'Ingénierie des Connaissances (IC 2024) @ Plate-Forme Intelligence Artificielle (PFIA 2024) - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Joel Mba Kouhoue, Maxime Lefrançois, Alexis Lesage, Jerry Lonlac, Arnaud Doniec, Stéphane Lecoeuche
    whose LIMOS : Maxime LEFRANCOIS ,
    Ontologie de Maintenance des Bâtiments et Capacités des Larges Modèles de Langage (LLM) pour le Peuplement
    35es Journées francophones d'Ingénierie des Connaissances (IC 2024) @ Plate-Forme Intelligence Artificielle (PFIA 2024) - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud
    whose LIMOS : Pascal LAFOURCADE , Dhekra MAHMOUD ,
    Formal Analysis of C-ITS PKI protocols
    SECRYPT : International Conference on Information Security and Cryptography - 2024
    Informatique/Cryptographie et sécurité
    2024
    COMM
    Mohadese Basirati, Saeed Najafi-Zangeneh, Mireille Batton-Hubert
    whose LIMOS : Mireille BATTON HUBERT , Mohadese BASIRATI ,
    Identify the most influential employees in Covid-19 Pandemic by A stochastic MILP influence maximization
    33rd European Conference on Operational Reseach (EURO XXXIII) - 2024
    Informatique/Modélisation et simulation
    2024
    PATENT
    Mike Da Silva, Pierre-Henri Thevenon, Maxime Puys, Stéphane Mocanu
    whose LIMOS : Maxime PUYS ,
    Procédé et dispositif d’identification des risques de cyberattaques
    2024
    PATENT
    Mike Da Silva, Pierre-Henri Thevenon, Maxime Puys, Stéphane Mocanu
    whose LIMOS : Maxime PUYS ,
    Method and device for identifying risks of cyberattacks
    2024
    HDR
    Julien Ah-Pine
    whose LIMOS : Julien AH-PINE ,
    Contributions en science des données. Fusion d'informations, fonctions d'agrégation, mesures en clustering, variétés non linéaires et données fonctionnelles
    Statistiques
    2024
    COMM
    Guillaume Levillain, P. Beaurepaire, Vincent Barra
    whose LIMOS : Vincent BARRA ,
    Neural network-based probability density function identification
    European Safety and Reliability Conference - 2024
    Informatique/Traitement du signal et de l'image
    2024
    COMM
    Guillaume Perrin, Rodolphe Le Riche
    whose LIMOS : Rodolphe LE RICHE ,
    Bayesian optimization with derivatives acceleration
    Workshop on Bayesian optimization & related topics - 2024
    Informatique/Recherche opérationnelle
    2024
    COMM
    Babacar Sow, Rodolphe Le Riche, Julien Pelamatti, Merlin Keller, Sanaa Zannane
    whose LIMOS : Rodolphe LE RICHE , Babacar SOW ,
    Optimization of functions defined over sets of points in polygons with evolutionary algorithms based on Wasserstein barycenters
    FGS Conference on Optimization 2024 : French German Spanish conference on optimization - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Zehor Hounas, Maxime Lefrançois, Antoine Zimmermann, Bruno Traverson
    whose LIMOS : Antoine ZIMMERMANN , Maxime LEFRANCOIS ,
    Web of Simulation ontology (WoSO): Integration of Building Performance Simulations in IoT Systems
    LDAC2024 - Linked Data in Architecture and Construction - 2024
    Informatique/Modélisation et simulation
    2024
    UNDEFINED
    Antoine Dailly, Valentin Gledel, Richard J Nowakowski, Carlos Pereira dos Santos
    whose LIMOS : Antoine DAILLY ,
    Simple Chopsticks: Playing with any number of hands and fingers
    Maths
    2024
    POSTER
    Zehor Hounas
    whose LIMOS :
    A hybrid approach of semantic modeling and co-simulation for a better consideration of the physics of physical phenomena in a smart building
    Informatique/Modélisation et simulation
    2024
    ART
    Maël Dumas, Florent Foucaud, Anthony Perez, Ioan Todinca
    whose LIMOS : Florent FOUCAUD ,
    On Graphs Coverable by k Shortest Paths
    SIAM Journal on Discrete Mathematics - 2024
    Informatique/Algorithme et structure de données
    2024
    COMM
    Sandro Bimonte, Gianni Bellocchi, Francois Pinet, Guillaume Charrier, Dimitris Sacharidis, Mahmoud Sakr, Ronan Tournier, Gentian Jakllari, Gérard Chalhoub, Tahar Kechadi, Boualem Benatallah, Francesco Marinello, Roberto Oberti, Jerome Bindelle, Ginta Majore, Piotr Skrzypczyński
    whose LIMOS : Gérard CHALHOUB ,
    Technological and Research Challenges in Data Engineering for Sustainable Agriculture
    SIGMOD/PODS '24: International Conference on Management of Data - 2024
    2024
    COMM
    Antoine Dailly, Pascal Lafourcade, Gael Marcadet
    whose LIMOS : Pascal LAFOURCADE , Gael MARCADET , Antoine DAILLY ,
    How did they design this game? Swish: complexity and unplayable positions
    12th International Conference on Fun with Algorithms (FUN 2024) - 2024
    Maths
    2024
    COMM
    Huy Phuc Nguyen Ha, Viet Hung Nguyen, Anh Son Ta
    whose LIMOS : Viet Hung NGUYEN ,
    Solving Quadratic Knapsack Problem with Biased Quantum State Optimization Algorithm
    Metaheuristics International Conference (MIC 2024) - 2024
    2024
    COMM
    Huy Phuc Nguyen Ha, Viet Hung Nguyen, Anh Son Ta
    whose LIMOS : Viet Hung NGUYEN ,
    Solving Edge-Weighted Maximum Clique Problem with DCA Warm-Start Quantum Approximate Optimization Algorithm
    Metaheuristics International Conference (MIC 2024) - 2024
    2024
    COMM
    Ruan Myller Magalhães de Oliveira, Manuel Iori, Arthur Kramer, Thiago Alves de Queiroz
    whose LIMOS : Arthur KRAMER ,
    A Re-optimization Heuristic for a Dial-a-Ride Problem in the Transportation of Patients
    15th Metaheuristics International Conference - MIC 2024 - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Jarod Sue, Sébastien Salva
    whose LIMOS : Sébastien SALVA , Jarod SUE ,
    Sécurisation de services via des techniques de healing et d'encapsulations
    AFADL 2024: Journées Approches Formelles dans l'Assistance au Développement de Logiciels - 2024
    Informatique/Cryptographie et sécurité
    2024
    COMM
    Amal Omrani, Anis Fradi, Chafik Samir
    whose LIMOS : Chafik SAMIR , Anis FRADI ,
    Reduced run-time and memory complexity regression with a Gaussian process prior
    JDS - 2024
    Statistiques
    2024
    ART
    Gian-Michele Cherchi, Alain Dequidt, Arnaud Guillin, Nicolas Martzel, Patrice Hauret, Vincent Barra
    whose LIMOS : Vincent BARRA ,
    ML-GLE: a machine learning enhanced Generalized Langevin equation framework for transient anomalous diffusion in polymer dynamics
    Journal of Computational Physics - 2024
    Informatique/Traitement du signal et de l'image
    2024
    ART
    Alexander Lindermayr, Sebastian Siebertz, Alexandre Vigny
    whose LIMOS : Alexandre VIGNY ,
    Elimination Distance to Bounded Degree on Planar Graphs Preprint
    Fundamenta Informaticae - 2024
    Maths
    2024
    SOFTWARE
    Mickaël Baron, Nicolas Buisson, Brice Chardin, Emmanuel Coquery, Benjamin Gouriou, Marie Pailloux, Jean-Marc Petit, Bilal Rezkellah
    whose LIMOS : Marie PAILLOUX ,
    RQL: A Query Language for Rule Discovery in Databases
    Informatique/Base de données
    2024
    COMM
    Nicolas Sauzeat, Khaled Medini, Jean-Michel Degeorge
    whose LIMOS : Khaled MEDINI , Nicolas SAUZEAT ,
    Urbanisation des filières industrielles : Une proposition
    2ème congrès annuel de SAGIP (Société d'Automatique, de Génie Industriel et de Productique) - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Alexis Chartrain, Gilles Dessagne, Noël Haddad, David R.C. Hill
    whose LIMOS : David HILL , Alexis CHARTRAIN ,
    Retrospective on the Digital Twin concept and perspectives for railways: the case of SNCF Réseau
    2ème Congrès Annuel de la SAGIP (SAGIP '24) - 2024
    Sciences de l'ingenieur
    2024
    COMM
    Shervin Kadkhoda Ahmadi, Khaled Medini, Valérie Laforest
    whose LIMOS : Khaled MEDINI , Shervin KADKHODA AHMADI ,
    Adapting to Change: Agile Ramp-Up Management Framework
    2ème congrès annuel de SAGIP (Société d'Automatique, de Génie Industriel et de Productique) - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Mariza Maliqi, Xavier Boucher, Jonathan Villot, Damien Lamy
    whose LIMOS : Xavier BOUCHER , Damien LAMY , Mariza MALIQI ,
    Décisions multi-acteurs et multi-critères pour configurer les solutions et les réseaux de valeurs des Systèmes Produits-Services
    2ème congrès annuel de SAGIP (Société d'Automatique, de Génie Industriel et de Productique) - 2024
    Informatique/Modélisation et simulation
    2024
    COMM
    Gwen Maudet, Mireille Batton-Hubert, Patrick Maillé, Laurent Toutain
    whose LIMOS : Mireille BATTON HUBERT ,
    Grouper les Capteurs Similaires Grace à leurs Données dans le Contexte de Massive IoT
    AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2024
    Informatique/Systèmes embarqués