Publications du LIMOS
Les publications sont issues de la collection LIMOS de
HAL
Pour sélectionner les thèses, les HDR, ou les rapports de recherche, choisissez le type de document (TYPE DOC) correspondant.
5334 documents
| Date publi Type |
Co-auteurs Titre journal ou conférence |
Domaines |
|---|---|---|
| 2017
COMM 
|
Thérèse Affoua Aby, Marie-Françoise Servajean, Nadir Hakem, Michel Misson
dont LIMOS : Marie-Françoise SERVAJEAN , Michel MISSON , Impact of Simulation Environment in Performance Evaluation of Protocols for WSNs 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017 - 2017 |
Informatique/Réseaux et télécommunications |
| 2017
COMM
|
Yan Gerard
dont LIMOS : Yan GERARD , Recognition of digital polyhedra with a fixed number of faces is decidable in dimension 3 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI 2017) - 2017 |
Informatique/Mathématique discrète |
| 2017
COMM
|
Wissem Inoubli, Livia Almada, Ticiana L. Coelho da Silva, Gustavo Coutinho, Lucas Peres, Regis Pires Magalhaes, Jose Antonio F. de Macedo, Sabeur Aridhi, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , A Distributed Framework for Large-Scale Time-Dependent Graph Analysis ECML PKDD 2017 - TD-LSG 2017 : workshop Advances in Mining Large-Scale Time Dependent Graphs - 2017 |
Informatique/Calcul parallèle, distribué et partagé |
| 2017
COMM
|
Karim Alami, Radu Ciucanu, Engelbert Mephu Nguifo
dont LIMOS : Radu CIUCANU , Engelbert MEPHU NGUIFO , Synthetic Graph Generation from Finely-Tuned Temporal Constraints TDLSG 2017 (Advances in Mining Large-Scale Time-Dependent Graphs). Collocated with ECML/PKDD 2017 - 2017 |
Informatique/Base de données |
| 2017
POSTER
|
Bérénice Batut, Clémence Defois, Kevin Gravouil, Jean-François Brugère, Éric Peyretaillade, Pierre Peyret
dont LIMOS : Kevin GRAVOUIL , How to analyze raw sequencing data from microbiota? Using ASaiM! |
Informatique/Bio-informatique |
| 2017
ART
|
Siwei Sun, David Gerault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu
dont LIMOS : Pascal LAFOURCADE , David GERAULT , Analysis of AES, SKINNY, and Others with Constraint Programming IACR Transactions on Symmetric Cryptology - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
UNDEFINED
|
Bérénice Batut, Kévin Gravouil, Clémence Defois, Saskia Hiltemann, Jean-François Brugère, Eric Peyretaillade, Pierre Peyret
dont LIMOS : ASaiM: a Galaxy-based framework to analyze raw shotgun data from microbiota |
Sciences du vivant |
| 2017
COMM
|
Sébastien Salva, Loukmen Regainia
dont LIMOS : Sébastien SALVA , Loukmen REGAINIA , Using data integration to help design more secure applications 12th International Conference on Risks and Security of Internet and Systems (CRISIS'17) - 2017 |
Informatique/Génie logiciel |
| 2017
COMM
|
Gérard Chalhoub, Hamadoun Tall, Jinpeng Wang, Michel Misson
dont LIMOS : Gérard CHALHOUB , Hamadoun TALL , Jinpeng WANG , Michel MISSON , DFTR: Dynamic Fault-Tolerant Routing protocol for Convergecast WSNs IEEE Vehicular Technology Conference - 2017 |
|
| 2017
ART
|
Mamadou Moustapha Kanté, Eun Jung Kim, O-Joung Kwon, Christophe Paul
dont LIMOS : Mamadou KANTE , An FPT Algorithm and a Polynomial Kernel for Linear Rankwidth-1 Vertex Deletion Algorithmica - 2017 |
Informatique/Mathématique discrète |
| 2017
ART
|
Christian Serrano, Xavier Delorme, Alexandre Dolgui
dont LIMOS : Xavier DELORME , Christian SERRANO , Alexandre DOLGUI , Scheduling of truck arrivals, truck departures and shop-floor operation in a cross-dock platform, based on trucks loading plans International Journal of Production Economics - 2017 |
Informatique/Modélisation et simulation |
| 2017
COMM
|
Moussa Déthié Sarr, François Delobel, Michel Misson, Ibrahima Niang
dont LIMOS : François DELOBEL , Michel MISSON , Robust Discovery, Addressing and Routing Protocol for Dynamic Linear Network International Symposium Wireless Communication Systems (ISWCS) - 2017 |
Informatique/Réseaux et télécommunications |
| 2017
PATENT
|
Kun Mean Hou, Christophe de Vaulx, Xunxing Diao, Hongling Shi
dont LIMOS : Kun Mean HOU , Christophe DE VAULX , Xunxing DIAO , Hongling SHI , Système d’exploitation pour un capteur d’un réseau de capteurs et capteur associé |
|
| 2017
COMM
|
Yipeng Huang, Andréa Cynthia Santos, Christophe Duhamel
dont LIMOS : Christophe DUHAMEL , Managing predictable and unpredictable disruptions on road networks International Conference on Intelligent Transportation Engineering and Smart City (ITESC 2017) - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Benjamin Bergougnoux, Eduard Eiben, Robert Ganian, Sebastian Ordyniak, M S Ramanujan
dont LIMOS : Benjamin BERGOUGNOUX , Towards a Polynomial Kernel For Directed Feedback Vertex Set Mathematical Foundations of Computer Science (MFCS) - 2017 |
Informatique/Algorithme et structure de données |
| 2017
POSTER
|
Nicolas Spatola, Clément Belletier, Pierre Chausse, Maria Augustinova, Alice Normand, Vincent Barra, Pascal Huguet, Ludovic Ferrand
dont LIMOS : Vincent BARRA , Social robots will boost your cognitive performance |
Sciences de l'ingenieur |
| 2017
ART
|
Pascale Bendotti, Philippe Chrétienne, Pierre Fouilhoux, Alain Quilliot
dont LIMOS : Alain QUILLIOT , Anchored reactive and proactive solutions to the CPM-scheduling problem European Journal of Operational Research - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Vanel Steve Siyou Fotso, Engelbert Mephu Nguifo, Philippe Vaslin
dont LIMOS : Engelbert MEPHU NGUIFO , Philippe VASLIN , Vanel Steve SIYOU FOTSO , Parameter Free Piecewise Dynamic Time Warping For Time Series Classification International Conference on Machine Learning (ICML), Time Series Workshop - 2017 |
Informatique/Intelligence artificielle |
| 2017
ART
|
Ali Kassem, Yliès Falcone, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Formal analysis and offline monitoring of electronic exams Formal Methods in System Design - 2017 |
Informatique/Génie logiciel |
| 2017
COMM
|
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade
dont LIMOS : Radu CIUCANU , Pascal LAFOURCADE , Xavier BULTEL , Matthieu GIRAUD , Secure Matrix Multiplication with MapReduce 12th International Conference on Availability, Reliability and Security ARES - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
ART
|
Vincent Barra, Nesma Settouti, Mohamed Amine Chikh
dont LIMOS : Vincent BARRA , A new feature selection approach based on ensemble methods in semi-supervised classification Pattern Analysis and Applications - 2017 |
Informatique/Traitement du signal et de l'image |
| 2017
COMM
|
Benjamin Bergougnoux, O-Joung Kwon, Mamadou Moustapha Kanté
dont LIMOS : Mamadou KANTE , Benjamin BERGOUGNOUX , An Optimal XP Algorithm for Hamiltonian Cycle on Graphs of Bounded Clique-Width WADS 2017 - 2017 |
Informatique/Algorithme et structure de données |
| 2017
COMM
|
Christian Serrano, Alexandre Dolgui, Xavier Delorme
dont LIMOS : Xavier DELORME , Christian SERRANO , Alexandre DOLGUI , Truck scheduling at a cross-dock with repackaging 24th International Conference on Production Research - 2017 |
Informatique/Modélisation et simulation |
| 2017
ART
|
N Corrado, Nicolas Durrande, M Gherlone, J Hensman, M Mattone, C. Surace
dont LIMOS : Nicolas DURRANDE , Single and multiple crack localization in beam-like structures using a Gaussian process regression approach Journal of Vibration and Control - 2017 |
Informatique/Modélisation et simulation |
| 2017
COMM
|
Narjes Ben Rajeb, Mouhebeddine Berrima, Matthieu Giraud, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Matthieu GIRAUD , Formal Analyze of a Private Access Control Protocol to a Cloud Storage 14th International Conference on Security and Cryptography SECRYPT 2017 - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
COMM
|
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
dont LIMOS : Pascal LAFOURCADE , Maxime PUYS , Formally Verifying Flow Properties in Industrial Systems SECRYPT 2017 - 14th International Conference on Security and Cryptography - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
COMM
|
Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Matthieu GIRAUD , Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption 14th International Conference on Security and Cryptography SECRYPT 2017 - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
COMM
|
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
dont LIMOS : Pascal LAFOURCADE , LOCALPKI: A User-Centric Formally Proven Alternative to PKIX 14th International Conference on Security and Cryptography SECRYPT - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
COMM
|
Ioana Boureanu, David Gerault, Pascal Lafourcade, Cristina Onete
dont LIMOS : Pascal LAFOURCADE , David GERAULT , Breaking and fixing the HB+DB protocol ACM Conference on Security and Privacy in Wireless and Mobile Networks - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
COMM
|
Diego Cattaruzza, Paolo Gianessi
dont LIMOS : Paolo GIANESSI , A Branch&Cut algorithm for the Multi-Trip Vehicle Routing Problem with Time Windows IFORS 2017 - 21st Conference of the International Federation of Operational Research Societies - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Raïssa Saleu, Laurent Deroussi, Dominique Feillet, Nathalie Grangeon, Alain Quilliot
dont LIMOS : Alain QUILLIOT , Dominique FEILLET , Nathalie GRANGEON , Laurent DEROUSSI , Optimization of urban delivery systems with drones VeRoLog (Annual Workshop of the EURO Working Group on Vehicle Routing and Logistics optimization) - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Philippe Lacomme, Aziz Moukrim, Alain Quilliot, Marina Vinot
dont LIMOS : Alain QUILLIOT , Philippe LACOMME , Marina VINOT , Optimal resolution of the transport problem from a flow into a RCPSP with routing sixth meeting of the EURO Working Group on Vehicle Routing and Logistics optimization (VeRoLog 2017) - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Valeria Borodin, Faicel Hnaien, Alexandre Dolgui
dont LIMOS : Valeria BORODIN , Alexandre DOLGUI , Random lead times in replenishment planning for single-level assembly systems: The value of information IFAC Wold Congress - 2017 |
Informatique/Automatique |
| 2017
COMM
|
Khaled Lameche, Najib M Najid, Pierre Castagna, Khalid Kouiss
dont LIMOS : Modularity in the design of reconfigurable manufacturing systems 20th IFAC World Congress - 2017 |
Informatique/Modélisation et simulation |
| 2017
COMM
|
Benjamin Dalmas, Sylvie Norre, Sophie Rodier
dont LIMOS : Sylvie NORRE , Sophie RODIER , Benjamin DALMAS , Kite : a process-based mining methodology applied to the extraction of routing rules International Federation of Automamatic Control World Congress - 2017 |
Informatique/Modélisation et simulation |
| 2017
THESE
|
Abdeslem Belghoul
dont LIMOS : Optimizing Communication Cost in Distributed Query Processing |
Informatique/Base de données |
| 2017
COMM
|
Sunil Arya, Guilherme da Fonseca, David M Mount
dont LIMOS : Guilherme DIAS DA FONSECA , Near-Optimal ε-Kernel Construction and Related Problems Symposium on Computational Geometry (SoCG 2017) - 2017 |
Informatique/Géométrie algorithmique |
| 2017
COMM
|
Gérard Chalhoub, Marie-Caroline Deux, Badr Rmili, Misson Michel
dont LIMOS : Gérard CHALHOUB , Reliable High Data Rate Wireless Sensor Network for Heavy Lift Launch Vehicles European Conference for Aeronautics and Space Sciences (EUCASS) - 2017 |
Informatique/Réseaux et télécommunications |
| 2017
ART
|
Warith Eddine Djeddi, Sadok Ben Yahia, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , A Novel Computational Approach for Global Alignment for Multiple Biological Networks IEEE/ACM Transactions on Computational Biology and Bioinformatics - 2017 |
Informatique/Bio-informatique |
| 2017
ART
|
Sergey Kovalev, Xavier Delorme, Alexandre Dolgui, Ammar Oulamara
dont LIMOS : Xavier DELORME , Alexandre DOLGUI , Minimizing the number of stations and station activation costs for a production line Computers and Operations Research - 2017 |
Informatique/Ingénierie assistée par ordinateur |
| 2017
ART
|
Thomas Muehlenstaedt, Jana Fruth, Olivier Roustant
dont LIMOS : Olivier ROUSTANT , Computer experiments with functional inputs and scalar outputs by a norm-based approach Statistics and Computing - 2017 |
Informatique/Modélisation et simulation |
| 2017
ART
|
Ignace Djitog, Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré
dont LIMOS : Mamadou TRAORE , Hamzat Olanrewaju ALIYU , Multi-Perspective Modeling of Healthcare Systems International Journal of Privacy and Health Information Management - 2017 |
Informatique/Modélisation et simulation |
| 2017
ART
|
Audrey Cerqueus, Xavier Gandibleux, Anthony Przybylski, Frédéric Saubion
dont LIMOS : Audrey CERQUEUS , On branching heuristics for the bi-objective 0/1 unidimensional knapsack problem Journal of Heuristics - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Stéphanie Mahévas, Victor Picheny, Patrick Lambert, Dumoulin Nicolas, Lauriane Rouan, Jean-Christophe Soulié, Hilaire Drouineau, Rodolphe Le Riche, Robert Faivre, Sigrid Lehuta, D. Brockoff
dont LIMOS : Rodolphe LE RICHE , Suivez le guide! Optimiser un modèle complexe suppose une bonne démarche et de bons outils Colloque Pêches et Changements Globaux 2017 - 2017 |
Informatique/Modélisation et simulation |
| 2017
COMM
|
Alexandre Bazin, Jessie Carbonnel, Giacomo Kahn
dont LIMOS : Giacomo KAHN , Alexandre BAZIN , On-demand Generation of AOC-posets: Reducing the Complexity of Conceptual Navigation ISMIS: International Symposium on Methodologies for Intelligent Systems - 2017 |
Informatique/Algorithme et structure de données |
| 2017
POSTER
|
Bérénice Batut, Clémence Defois, Kevin Gravouil, Jean-François Brugère, Éric Peyretaillade, Pierre Peyret
dont LIMOS : Kevin GRAVOUIL , A Galaxy-based framework to analyze raw sequencing data from microbiota |
Informatique/Bio-informatique |
| 2017
COMM
|
Jean-Marc Tacnet, Simon Carladous, Jean Dezert, Deqiang Han, Mireille Batton-Hubert
dont LIMOS : Mireille BATTON HUBERT , New MCDM methods under uncertainty applied to integrated natural risks management IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA), 2017 - 2017 |
Informatique/Modélisation et simulation |
| 2017
ART
|
Ignace Djitog, Hamzat Aliyu, Mamadou Kaba Traoré
dont LIMOS : Mamadou TRAORE , A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems SIMULATION: Transactions of The Society for Modeling and Simulation International - 2017 |
Informatique/Modélisation et simulation |
| 2017
THESE
|
Jinhua Zhao
dont LIMOS : Maximum Bounded Rooted-Tree Problem : Algorithms and Polyhedra |
Maths |
| 2017
COMM
|
Jean Connier, Hong-Ling Shi, Christophe de Vaulx, Kun Mean Hou, Jian-Jin Li, Philippe Vaslin
dont LIMOS : Kun Mean HOU , Christophe DE VAULX , Jian-Jin LI , Philippe VASLIN , Jean CONNIER , The 2SEES prototype: motivation, description and early experiments New Information Communication Sciences and Technology for Sustainable Development (NICST 2017) - 2017 |
Informatique/Systèmes embarqués |