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.
5576 documents
| Date publi Type |
Co-auteurs Titre journal ou conférence |
Domaines |
|---|---|---|
| 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! |
Sciences du vivant |
| 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
|
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/Systèmes embarqués |
| 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
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/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/Informatique et langage |
| 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/Recherche opérationnelle |
| 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/Recherche opérationnelle |
| 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
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/Intelligence artificielle |
| 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/Recherche opérationnelle |
| 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
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
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 |
Sciences du vivant |
| 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 |
| 2017
COMM
|
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
dont LIMOS : Sébastien SALVA , Cédric BOUHOURS , Loukmen REGAINIA , Un Data-Store pour la Génération de Cas de Tests 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels - 2017 |
Informatique/Génie logiciel |
| 2017
COMM
|
Oscar Defrain, Bruno Durand, Grégory Lafitte
dont LIMOS : Oscar DEFRAIN , Infinite Time Busy Beavers CiE 2017 - 13th Conference on Computability in Europe - 2017 |
Informatique/Complexité |
| 2017
REPORT
|
Chao Zhang, Farouk Toumani, Emmanuel Gangler
dont LIMOS : Farouk TOUMANI , Chao ZHANG , Symmetric and Asymmetric Aggregate Function in Massively Parallel Computing |
Informatique/Base de données |
| 2017
COMM
|
Wajdi Dhifli, Noemie Oliveira da Costa, Mohamed Elati
dont LIMOS : An evolutionary schema for mining skyline clusters of attributed graph data 2017 IEEE Congress on Evolutionary Computation (CEC) - 2017 |
Sciences du vivant |