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 |
|---|---|---|
| 2015
ART 
|
Espéran Padonou, Olivier Roustant, Michel Lutz
dont LIMOS : Olivier ROUSTANT , Michel LUTZ , Robust Monitoring of an Industrial IT System in the Presence of Structural Change Quality and Reliability Engineering International - 2015 |
Statistiques |
| 2015
ART
|
Amir Yavariabdi, Adrien Bartoli, Chafik Samir, Maxime Artigues, Michel Canis
dont LIMOS : Chafik SAMIR , Mapping and characterizing endometrial implants by registering 2D transvaginal ultrasound to 3D pelvic magnetic resonance images Computerized Medical Imaging and Graphics - 2015 |
Sciences de l'ingenieur |
| 2015
ART
|
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Brandt's fully private auction protocol revisited Journal of Computer Security - 2015 |
Informatique/Cryptographie et sécurité |
| 2015
COMM
|
H. Li, F. Toumani, François Pinet
dont LIMOS : PRODUS: Probabilistic Data-aware Business Process Verification Framework 31ème Conférence sur la Gestion de Données : principes, technologies et applications (BDA 2015) - 2015 |
Sciences de l'environnement |
| 2015
COMM
|
Ali Kassem, Yliès Falcone, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Monitoring Electronic Exams 6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - 2015 |
Informatique/Systèmes embarqués |
| 2015
COMM
|
Yan Wang, Grégory Zacharewicz, David Chen, Mamadou Kaba Traoré
dont LIMOS : Mamadou TRAORE , A PROPOSAL OF USING DEVS MODEL FOR PROCESS MINING 27th European Modeling & Simulation Symposium (Simulation in Industry) - 2015 |
Informatique/Algorithme et structure de données |
| 2015
COMM
|
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 IPEC 2015 - 10th International Symposium on Parameterized and Exact Computation - 2015 |
Informatique/Mathématique discrète |
| 2015
UNDEFINED
|
Florent Foucaud, Reza Naserasr, Aline Parreau, Petru Valicov
dont LIMOS : Florent FOUCAUD , On powers of interval graphs and their orders |
Informatique/Mathématique discrète |
| 2015
COMM
|
Bin Tian, Kun Mean Hou, Jian-Jin Li, Philippe Vaslin, Dongsheng Yan
dont LIMOS : Kun Mean HOU , Jian-Jin LI , Philippe VASLIN , Bin TIAN , Impact of Urban Scenario on the Performance of IVC protocols The 5th New and smart Information Communication Science and Technology to support Sustainable Development - 2015 |
|
| 2015
COMM
|
Xiong Min Lin, Jean Connier, Philippe Vaslin, C.C. Guo, T.Y. Zang, Jian-Jin Li, Christophe de Vaulx, Kun Mean Hou
dont LIMOS : Kun Mean HOU , Christophe DE VAULX , Jian-Jin LI , Philippe VASLIN , Jean CONNIER , Indoor Navigation With the Smart Environment Explorer Stick (SEES) New Information Communication Sciences and Technology for Sustainable Development (NICST 2015) - 2015 |
Informatique/Systèmes embarqués |
| 2015
COMM
|
Damien Lamy, Nikolay Tchernev, Sylverin Kemmoe Tchomte
dont LIMOS : Nikolay TCHERNEV , Sylverin KEMMOE , Damien LAMY , Job-Shop like Manufacturing System with Time Dependent Energy Threshold and Operations with Peak Consumption IFIP International Conference on Advances in Production Management Systems (APMS) - 2015 |
|
| 2015
COMM
|
Michel Lutz, Laurette Guyonvarch, Guillaume Saint Pierre, Anne Guillaume
dont LIMOS : Michel LUTZ , Data-mining for driver behavior analysis European Network for Business and Industrial Statistics (ENBIS) - 2015 |
Statistiques |
| 2015
COMM
|
Michel Lutz, Thomas Vial, Frédéric Duvivier
dont LIMOS : Michel LUTZ , Towards a cross-functional analysis of industrial data European Network for Business and Industrial Statistics (ENBIS) - 2015 |
Statistiques |
| 2015
ART
|
Omar El-Rifai, Thierry Garaix, Vincent Augusto, Xiaolan Xie
dont LIMOS : Vincent AUGUSTO , Thierry GARAIX , Xiaolan XIE , A stochastic optimization model for shift scheduling in emergency departments Health Care Management Science - 2015 |
Informatique/Recherche opérationnelle |
| 2015
COMM
|
Alexandre Guitton, Frédéric Andrès, Cardoso Jr Jarbas Lopes, Kawtrakul Asanee, Silvio E. Barbin
dont LIMOS : Alexandre GUITTON , Delay-tolerant mobile network protocol for rice-field monitoring using wireless sensor networks Remote Sensing - 2015 |
Informatique/Réseaux et télécommunications |
| 2015
COMM
|
William Durand, Sébastien Salva
dont LIMOS : Sébastien SALVA , Passive testing of production systems based on model inference ACM/IEEE International Conference on Formal Methods and Models for Codesign - 2015 |
Informatique/Génie logiciel |
| 2015
ART
|
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Gérard CHALHOUB , Key Management inWireless Sensor Networks Journal of sensor and actuator networks - 2015 |
Informatique/Réseaux et télécommunications |
| 2015
COMM
|
Sylverin Kemmoe Tchomte, Damien Lamy, Nikolay Tchernev
dont LIMOS : Nikolay TCHERNEV , Damien LAMY , An Optimization Framework for Job-shop with Energy Threshold Issue With consideration of machining operations with consumption peaks 7th Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2015) - 2015 |
Informatique/Modélisation et simulation |
| 2015
COMM
|
Marco Túlio Reis Rodrigues, Rui Sá Shibasaki, Bruno Bachelet, Christophe Duhamel
dont LIMOS : Bruno BACHELET , Christophe DUHAMEL , Estratégia bi-critério para um problema de escalabilidade em computação nas nuvens XLVII Brazilian Symposium of Operational Research (SBPO) - 2015 |
Informatique/Recherche opérationnelle |
| 2015
COMM
|
Sabeur Aridhi, Laurent d'Orazio, Mondher Maddouri, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , Laurent D'ORAZIO , Cost models for distributed pattern mining in the cloud: application to graph patterns IEEE Trustcom/BigDataSE/ISPA - 2015 |
Informatique/Base de données |
| 2015
COMM
|
Alexandre Dolgui
dont LIMOS : Alexandre DOLGUI , Inventory control and risk management in supply chains under lead time uncertainties 2015 IEEE Symposium on Analytics and Risk in Complex Management Systems (ISARCRM 2015) - 2015 |
Informatique/Modélisation et simulation |
| 2015
COMM
|
Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine, Takeaki Uno
dont LIMOS : Mamadou KANTE , Lhouari NOURINE , Arnaud MARY , Vincent LIMOUZY , Polynomial Delay Algorithm for Listing Minimal Edge Dominating Sets in Graphs Algorithms and Data Structures (WADS) - 2015 |
Informatique/Algorithme et structure de données |
| 2015
COMM
|
Rida Khatoun, Pengwenlong Gu, Redouane Doulami, Lyes Khoukhi, Ahmed Serhrouchni
dont LIMOS : A reputation system for detection of black hole attack in vehicular networking 2015 International Conference on Cyber Security of Smart cities, Industrial Control System and Communications (SSIC) - 2015 |
Informatique/Réseaux et télécommunications |
| 2015
COMM
|
Edouard Bonnet, Florent Foucaud, Eun Jung Kim, Florian Sikora
dont LIMOS : Florent FOUCAUD , Complexity of Grundy Coloring and Its Variants 21st International Conference on Computing and Combinatorics, COCOON 2015 - 2015 |
|
| 2015
COMM
|
Ali Ben Abbes, Houcine Essid, Imed Riadh Farah, Vincent Barra
dont LIMOS : Vincent BARRA , Rare events detection in NDVI time-series using jarque-bera test IGARSS 2015 : IEEE International Geoscience and Remote Sensing Symposium - 2015 |
Sciences de l'ingenieur |
| 2015
UNDEFINED
|
Karima Ennaoui, Lhouari Nourine, Farouk Toumani
dont LIMOS : Lhouari NOURINE , Farouk TOUMANI , Karima ENNAOUI , Complexity aspects of web services composition |
|
| 2015
COMM
|
Jannik Dreier, Ali Kassem, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Automated Verification of E-Cash Protocols ICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications - 2015 |
Informatique/Cryptographie et sécurité |
| 2015
COMM
|
Jannik Dreier, Ali Kassem, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Formal Analysis of E-Cash Protocols 12th International Conference on Security and Cryptography (SECRYPT 2015) - 2015 |
Informatique/Cryptographie et sécurité |
| 2015
OUV
|
Jean-Guillaume Dumas, Pascal Lafourcade, Patrick Redon
dont LIMOS : Pascal LAFOURCADE , Architectures PKI et communications sécurisées |
Informatique/Cryptographie et sécurité |
| 2015
COMM
|
Christophe Duhamel, Daniel Brasil, Andréa Cynthia Santos
dont LIMOS : Christophe DUHAMEL , A decomposition-based heuristic for post-disaster relief distribution Canadian Operational Research Society Institute for Operations Research and the Management Sciences (CORS-INFORMS 2015) - 2015 |
Informatique/Recherche opérationnelle |
| 2015
THESE
|
Fabrice Gayraud
dont LIMOS : Problème de tournées de véhicules avec contraintes de synchronisation dans le cadre de structures de maintien à domicile. Formalisation mathématique et hybridation à base de métaheuristique |
Informatique/Autre |
| 2015
COMM
|
Alexandre Dolgui, Sergey Kovalev, Xavier Delorme, Ammar Oulamara
dont LIMOS : Xavier DELORME , Alexandre DOLGUI , Minimizing number of stations and station activation costs for a production line with parallel tasks The 27th European Conference on Operational Research - 2015 |
Informatique/Recherche opérationnelle |
| 2015
COMM
|
Philippe Lacomme, Aziz Moukrim, Alain Quilliot, Daniele Vigo, Marina Vinot
dont LIMOS : Alain QUILLIOT , Philippe LACOMME , Marina VINOT , Simultaneously Handling Routing and Scheduling Through a GRASPxELS Algorithm 27th European Conference on Operational Research (EURO) - 2015 |
Informatique/Recherche opérationnelle |
| 2015
THESE
|
Benjamin Momège
dont LIMOS : Autour de la connexité dans les graphes avec conflits |
Informatique/Autre |
| 2015
COMM
|
Catarina Carvalho, Florent Madelaine, Barnaby Daniel Martin
dont LIMOS : Florent MADELAINE , From complexity to algebra and back: digraph classes, collapsibility and the PGP 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - 2015 |
Informatique/Logique en informatique |
| 2015
COMM
|
Alexandre Dolgui
dont LIMOS : Alexandre DOLGUI , Editorial Policy of the International Journal of Production Research IIE International Conference on Engineering Systems and Networks: The way ahead for industrial engineering and operations management (ICIEOM-CIO-IIIE 2015) - 2015 |
Informatique/Modélisation et simulation |
| 2015
POSTER
|
Jocelyn de Goer de Herve, Hayfa Azibi, Myoung-Ah Kang, Samir Zghal, Xavier Bailly, Engelbert Mephu-Nguifo
dont LIMOS : Myoung-Ah KANG , Engelbert MEPHU NGUIFO , Indexation et comparaison de séquences ADN à partir d'une fonction de hachage perceptuel |
Sciences du vivant |
| 2015
COMM
|
Vanel Steve Siyou Fotso, Engelbert Mephu Nguifo, Philippe Vaslin
dont LIMOS : Engelbert MEPHU NGUIFO , Philippe VASLIN , Vanel Steve SIYOU FOTSO , Symbolic representation of cyclic time series: application to biomechanics 32nd International Conference on Machine Learning (ICML) - 2015 |
Informatique/Intelligence artificielle |
| 2015
COMM
|
Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau
dont LIMOS : Yannick LOISEAU , Towards a Decoupled Context-Oriented Programming Language for the Internet of Things 7th International Workshop on Context-Oriented Programming (COP'2015) in conjunction with the European Conference on Object-Oriented Programming (ECOOP'2015) - 2015 |
Informatique/Système d'exploitation |
| 2015
POSTER
|
J. Sun, Gil de Sousa, Catherine Roussey, Jean-Pierre Chanet, K.M. Hou
dont LIMOS : The Internet of Things for Environment: Ontology-based Decision Support System (DSS) coupled with a Wireless Sensor Network (WSN) |
Sciences de l'environnement |
| 2015
ART
|
Zhanwu Dai, Anne A. Plessis, Jonathan Vincent, Nathalie N. Duchateau, Alicia Besson, Mireille M. Dardevet, Duyên Prodhomme, Yves Gibon, Ghislaine Hilbert, Marie Pailloux, Catherine Ravel, Pierre Martre
dont LIMOS : Marie PAILLOUX , Transcriptional and metabolic alternations rebalance wheat grain storage protein accumulation under variable nitrogen and sulfur supply The Plant Journal - 2015 |
Sciences du vivant |
| 2015
ART
|
Haizhou Li, François Pinet, Farouk Toumani
dont LIMOS : Farouk TOUMANI , Towards The Use of Probabilistic Spatial Relation Databases in Business Process Modeling International Journal of Agricultural and Environmental Information Systems - 2015 |
Sciences du vivant |
| 2015
COMM
|
Sébastien Salva, William Durand
dont LIMOS : Sébastien SALVA , Autofunk, a fast and scalable framework for building formal models from production systems 9th ACM International Conference on Distributed Event-Based Systems, DEBS - 2015 |
Informatique/Génie logiciel |
| 2015
COMM
|
Ali Ben Abbes, Houcine Essid, Imed Riadh Farah, Vincent Barra
dont LIMOS : Vincent BARRA , Rare events detection in NDVI time-series using jarque-bera test IGARSS 2015 : IEEE International Geoscience and Remote Sensing Symposium - 2015 |
Informatique/Traitement du signal et de l'image |
| 2015
ART
|
Evgeny R. Gafarov, Alexandre Dolgui, Alexander A. Lazarev
dont LIMOS : Alexandre DOLGUI , Two-Station Single-Track Railway Scheduling Problem With Trains of Equal Speed Computers & Industrial Engineering - 2015 |
Informatique/Modélisation et simulation |
| 2015
THESE
|
Slim Bouker
dont LIMOS : Contribution à l'extraction des règles d'association basée sur des préférences |
Informatique/Autre |
| 2015
COMM
|
Alexandre Dolgui
dont LIMOS : Alexandre DOLGUI , Combinatorial design of production lines Shaastrarth 2015: International Conference on Adavced Research Applications in Engineering and Technology - 2015 |
Informatique/Modélisation et simulation |
| 2015
COMM
|
Vanel Steve Siyou Fotso, Engelbert Mephu-Nguifo, Philippe Vaslin
dont LIMOS : Engelbert MEPHU NGUIFO , Philippe VASLIN , Vanel Steve SIYOU FOTSO , Représentation symbolique de séries temporelles cycliques basée sur les propriétés des cycles : application à la biomécanique Treizièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2015) - 2015 |
Informatique/Intelligence artificielle |
| 2015
POSTER
|
Mohamed Nader Jelassi, Sadok Ben Yahia, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , PERSOREC : un système personnalisé de recommandations pour les folksonomies basé sur les concepts quadratiques |
|
| 2015
ART
|
Carlos Rodriguez, Thierry Garaix, X. Xie, Vincent Augusto
dont LIMOS : Vincent AUGUSTO , Thierry GARAIX , Staff dimensioning in homecare services with uncertain demands International Journal of Production Research - 2015 |
Informatique/Recherche opérationnelle |