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.
5498 documents
| Date publi Type |
Co-auteurs Titre journal ou conférence |
Domaines |
|---|---|---|
| 2017
COMM 
|
Matthieu Gondran, Philippe Lacomme, Enzo Mura, Nikolay Tchernev
dont LIMOS : Philippe LACOMME , Nikolay TCHERNEV , Matthieu GONDRAN , Resolution of a Job-shop problem with precedence constrains between jobs (JSPC) 7th International Conference on Industrial Engineering and Systems Management (IESM) - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Sophia Bourzgui, Agnès Roussy, Jakey Blue, Gaëlle Georges, Emilie Faivre, Karen Labory
dont LIMOS : Agnes ROUSSY , Sophia BOURZGUI , Device pattern impact on optical endpoint detection by interferometry for STI CMP International Conference on Planarization/CMP Technology - 2017 |
Sciences de l'ingenieur |
| 2017
POSTER
|
Jocelyn de Goër de Herve, Myoung-Ah Kang, Xavier Bailly, Engelbert Mephu Nguifo
dont LIMOS : Myoung-Ah KANG , Engelbert MEPHU NGUIFO , PSH-DB, a key-value system to index and retrieve biological DNA sequences |
Informatique/Bio-informatique |
| 2017
THESE
|
Arnaud Laurent
dont LIMOS : Arnaud LAURENT , Proposition et étude d'une extension du RCPSP pour la Mutualisation entre plusieurs sites : définition, formalisation, méthodes exactes et métaheuristiques |
Informatique/Autre |
| 2017
COMM
|
Thérèse Affoua Aby, Marie-Françoise Servajean, Michel Misson
dont LIMOS : Marie-Françoise SERVAJEAN , Michel MISSON , Impact of the Simulation Parameters on the Quantitative Results of Protocols for WSN IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2017) - 2017 |
Informatique/Réseaux et télécommunications |
| 2017
ART
|
Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Vérifier la sécurité de nos communications Interstices - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
REPORT
|
Emmanuel Beffara, Malika More, Cécile Prouteau, Dominique Baroux-Raymond, Guillaume François-Leroux, Philippe Lac, Christophe Velut
dont LIMOS : Malika MORE , Algorithmique et programmation au cycle 4 |
|
| 2017
ISSUE
|
Engelbert Mephu Nguifo, Claire Lefèvre, Florence Dupin de Saint-Cyr
dont LIMOS : Engelbert MEPHU NGUIFO , PFIA 2017 |
Informatique/Logique en informatique |
| 2017
ISSUE
|
Aicha Ferjani, Achraf Ammar, Henri Pierreval, Sabeur Elkosantini
dont LIMOS : Henri PIERREVAL , Aicha FERJANI , A simulation-optimization based heuristic for the online assignment of multi-skilled workers subjected to fatigue in manufacturing systems |
|
| 2017
ART
|
Haiying Zhou, Xiancheng Zhu, Sishan Wang, Kui Zhou, Zheng Ma, Jian Li, Kun Mean Hou, Christophe de Vaulx
dont LIMOS : Kun Mean HOU , Christophe DE VAULX , A Novel Cardiac Arrhythmias Detection Approach for Real-Time Ambulatory ECG Diagnosis International Journal of Pattern Recognition and Artificial Intelligence - 2017 |
|
| 2017
ART
|
Karine Altisen, Raphaël Jamet, Stéphane Devismes, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , SR3: secure resilient reputation-based routing Wireless Networks - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
ART
|
Carlos Rodriguez-Verjan, Vincent Augusto, Xiaolan Xie
dont LIMOS : Vincent AUGUSTO , Xiaolan XIE , Home health-care network design: Location and configuration of home health-care centers Operations Research for Health Care - 2017 |
Informatique/Recherche opérationnelle |
| 2017
THESE
|
Kaoutar Ghazi
dont LIMOS : Kaoutar GHAZI , Heuristiques et conjectures à propos de la 2-dimension des ordres partiels |
Informatique/Autre |
| 2017
THESE
|
Karima Ennaoui
dont LIMOS : Karima ENNAOUI , Computational aspects of infinite automata simulation and closure system related issues |
Informatique/Web |
| 2017
ART
|
Lars Monch, Chen-Fu Chien, Stéphane Dauzère-Pérès, Hans Ehm, John W. Fowler
dont LIMOS : Stéphane DAUZERE PERES , Modelling and analysis of semiconductor supply chains International Journal of Production Research - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Lucie Poulet, Antoine Vernay, Benjamin Dalmas, Mathilde Vernay, Pauline Delpeuch, Thomas Sinn
dont LIMOS : Benjamin DALMAS , A learning method based on a mission to Mars for primary school Children 68th International Astronautical Congress (IAC - 2017 |
Sciences de l'environnement |
| 2017
COMM
|
Jinpeng Wang, Gérard Chalhoub, Hamadoun Tall, Michel Misson
dont LIMOS : Gérard CHALHOUB , Hamadoun TALL , Jinpeng WANG , Michel MISSON , Routing protocol enhancement for mobility support in wireless sensor networks 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017 - 2017 |
Informatique/Réseaux et télécommunications |
| 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 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) - 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'homme et de la societe |
| 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
|
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/Apprentissage |
| 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
|
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
|
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/Mathématique discrète |
| 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/Recherche opérationnelle |
| 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
|
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
|
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
|
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 |