Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2015

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024


Revue internationale à comité de lecture


[hal-01176445:1]
Nicolas Anciaux, Danae Boutara, Benjamin Nguyen & Michalis Vazirgiannis, Limiting Data Exposure in Multi-Label Classification Processes, Fundamenta Informaticae, Vol. 137(2). Pp. 219-236, Polskie Towarzystwo Matematyczne. 2015. [URL]
[hal-01192867:1]
Ghada Arfaoui, Jean-François Lalande, Jacques Traoré, Nicolas Desmoulins, Pascal Berthomé & Saïd Gharout, A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing, Proceedings on Privacy Enhancing Technologies, Vol. 2015(2). Pp. 25-45, De Gruyter Open. 06. 2015. [URL]
[hal-01223938:1]
Natacha Astromujoff, Mathieu Chapelle, Martin Matamala, Ioan Todinca & José Zamora, Injective Colorings with Arithmetic Constraints, Graphs and Combinatorics, Vol. 31(6). Pp. 2003-2017, Springer Verlag. 2015. [URL]
[hal-01163186:1]
Florent Becker, Adrian Kosowski, Martin Matamala, Nicolas Nisse, Ivan Rapaport, Karol Suchan & Ioan Todinca, Allowing each node to communicate only once in a distributed system: shared whiteboard models, Distributed Computing, Vol. 28(3). Pp. 189-200, Springer Verlag. 2015. [URL]
[hal-01163701:1]
Guillaume Cleuziou & Jose G Moreno, Kernel Methods for Point Symmetry-based Clustering, Pattern Recognition, Vol. 48. Pp. 2812-2830, Elsevier. 2015. [URL]
[hal-01216019:1]
Hélène Coullon & Sébastien Limet, The SIPSim implicit parallelism model and the SkelGIS library, Concurrency - Practice and Experience. Pp. 25, John Wiley & Sons. 03. 2015. [URL]
[hal-01105097:1]
Jean-François Couturier, Romain Letourneur & Mathieu Liedloff, On the number of minimal dominating sets on some graph classes, Theoretical Computer Science, Vol. 562. Pp. 634-642, Elsevier. 01. 2015. [URL]
[hal-01143199:1]
Frédéric Dabrowski, Frédéric Loulergue & Thomas Pinsard, A formal semantics of nested atomic sections with thread escape, Computer Languages, Systems and Structures. Pp. 24, Elsevier. 2015. [URL]
[hal-01121344:1]
Marcilio De Souto, Pablo Jaskowiak & Costa Ivan, Impact of missing data imputation methods on gene expression clustering and classification, BMC Bioinformatics, Vol. 16. Pp. 64, BioMed Central. 02. 2015. [URL]
[hal-01153765:1]
Denys Duchier & Yannick Parmentier, High-level methodologies for grammar engineering. Introduction to the special issue, Journal of Language Modelling, Vol. 3(1). Pp. 5-19, Institute of Computer Science, Polish Academy of Sciences, Poland. 05. 2015. [URL]
[hal-01163741:1]
Nicolas Dugué, Vincent Labatut & Anthony Perez, A community role approach to assess social capitalists visibility in the Twitter network, Social Network Analysis and Mining, Vol. 5. Pp. 26:1-26-13, Springer. 05. 2015. [URL]
[hal-01223941:1]
Fedor Fomin, Ioan Todinca & Yngve Villanger, Large Induced Subgraphs via Triangulations and CMSO, SIAM Journal on Computing, Vol. 44(1). Pp. 54-87, Society for Industrial and Applied Mathematics. 2015. [URL]
[hal-01212179:1]
Jean-Luc Fouquet & Frédéric Maffray, Domination, coloring and stability in P5-reducible graphs, Discrete Applied Mathematics(184). Pp. 122-129, Elsevier. 2015. [URL]
[hal-01349052:1]
Anahí Gajardo, Nicolas Ollinger & Rodrigo Torres-Avilés, Some undecidable problems about the trace-subshift associated to a Turing machine, Discrete Mathematics and Theoretical Computer Science, Vol. Vol. 17 no.2(2). Pp. 267-284, DMTCS. 12. 2015. [URL]
[hal-01216951:1]
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Ordyniak Sebastian & Stefan Szeider, On finding optimal polytrees, Theoretical Computer Science, Vol. 592. Pp. 49-58, Elsevier. 2015. [URL]
[hal-01105095:1]
Serge Gaspers, Mathieu Liedloff, Maya Stein & Karol Suchan, Complexity of splits reconstruction for low-degree trees, Discrete Applied Mathematics, Vol. 180. Pp. 89-100, Elsevier. 01. 2015. [URL]
[hal-01315322:1]
Eric Goles Chacc & Pedro Montealegre, The complexity of the majority rule on planar graphs, Advances in Applied Mathematics, Vol. 64. Pp. 111-123, Elsevier. 03. 2015. [URL]
[hal-01245456:1]
Sébastien Limet, Waleed Smari & Luca Spalazzi, High-performance computing: to boldly go where no human has gone before, Concurrency and Computation: Practice and Experience, Special Issue: Combined Special Issues on High-performance computing (HPCS 2012), Vol. 27(13). Pp. 3145-3165, Wiley. 2015. [URL]
[hal-01118888:1]
Anthony Perez, On the kernelization of ranking r-CSPs: Linear vertex-kernels for generalizations of Feedback Arc Set and Betweenness in tournaments, Discrete Applied Mathematics. Pp. 10.1016/j.dam.2015.01.032, Elsevier. 02. 2015. [URL]


Revue nationale à comité de lecture


[hal-01179047:1]
Nicolas Anciaux & Benjamin Nguyen, Gestion sécurisée de données personnelles, 1024 : Bulletin de la Société Informatique de France(5). Pp. 17-41, Société Informatique de France. 03. 2015. [URL]


Direction d'ouvrages scientifiques


[hal-01181344:1]
Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop, Emily Bender and Lori Levin and Stefan Müller and Yannick Parmentier and Aarne Ranta (Ed.). Beijing, China, Association for Computational Linguistics. 07. 2015. [URL]
[hal-01202856:1]
Machines, Computations and Universality (MCU '15), Jérôme Durand-Lose and Benedek Nagy (Ed.). Famagusta, Cyprus, Springer. 09. 2015. [URL]
[hal-01294132:1]
32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Ernst Mayr and Nicolas Ollinger (Ed.). Munich, Germany, LIPIcs, Vol. 30. 03. 2015. [URL]
[hal-01294133:1]
Informatique Mathématique, Nicolas Ollinger (Ed.). Orléans, France, CNRS Alpha, CNRS Éditions. 03. 2015. [URL]


Chapitres d'ouvrages scientifiques


[hal-01251468:1]
Florent Becker & Jérôme Durand-Lose, Construire et calculer dans un monde 2D, in Informatique Mathématique --- une photographie en 2015, Nicolas Ollinger (Ed.). Pp. 135-177, CNRS édition. 2015. [URL]
[hal-01216037:1]
Hélène Coullon, Olivier Delestre, Abily Morgan, Cordier Florian & Gourbesville Philippe, Comparison and Validation of Two Parallelization Approaches of FullSWOF2D Software on a Real Case, in Advances in Hydroinformatics - SimHydro 2014. Pp. 12. 09. 2015. [URL]
[hal-01216958:1]
Christophe Lenté, Mathieu Liedloff, Vincent T'Kindt & Ioan Todinca, Algorithmes mode0301re0301ment exponentiels pour proble0300mes NP-difficiles, in Informatique Mathématique, Nicolas Ollinger (Ed.), collection Alpha. Pp. 47-85, CNRS Éditions. 03. 2015. [URL]
[hal-01107296:1]
Frédéric Loulergue, Wadoud Bousdira & Julien Tesson, Calcul de programmes parallèles avec Coq, in Informatique Mathématique, collection Alpha, CNRS Éditions. 03. 2015. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-01282770:3]
Abderrahim Ait Wakrime, Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques, Thèse de Doctorat. Université d'Orléans. 12. 2015. [URL]
[tel-01280792:1]
Ghada ARFAOUI, Design of privacy preserving cryptographic protocols for mobile contactless services, Thèse de Doctorat. Université d'Orléans. 11. 2015. [URL]
[tel-01280846:1]
Aline Bousquet, Application et assurance autonomes de propriétés de sécurité dans un environnement d 'informatique en nuage, Thèse de Doctorat. Université d'Orléans. 12. 2015. [URL]
[tel-01250318:1]
Guillaume Cleuziou, Structuration de données par apprentissage non-supervisé : applications aux données textuelles, Université d'Orléans. Habilitation `a Diriger des Recherches. 12. 2015. [URL]
[tel-01371936:1]
Sylvain Dailler, Extension paramétrée de compilateur certifié pour la programmation parallèle, Thèse de Doctorat. Université d'Orléans. 12. 2015. [URL]
[tel-01171497:1]
Nicolas Dugué, Analyse du capitalisme social sur Twitter, Thèse de Doctorat. Universite d'orléans. 06. 2015. [URL]
[tel-01309228:2]
Romain Letourneur, Algorithmes exacts et exponentiels pour des problèmes de graphes, Thèse de Doctorat. Université d'Orléans. 07. 2015. [URL]
[tel-01249255:1]
Mathieu Liedloff, Algorithmes exponentiels pour l'étiquetage, la domination et l'ordonnancement, Université d'Orléans. Habilitation `a Diriger des Recherches. 12. 2015. [URL]
[tel-01320558:1]
Benjamin Venelle, Contrôle d'accès obligatoire pour systèmes à objets : défense en profondeur des objets Java, Thèse de Doctorat. Université d'Orléans. 07. 2015. [URL]


Conférence donnée sur invitation


[hal-01176512:1]
Nicolas Anciaux, Benjamin Nguyen & Iulian Sandu Popa, Towards an Era of Trust in Personal Data Management, in Proceedings of the 19th East-European Conference on Advances in Databases and Information Systems (ADBIS '15). Tutorial. Poitiers, France. 2015. [URL]
[hal-01136768:1]
Jean-François Lalande, Sécurité Android: exemples de malware, in Colloque International sur la Sécurité des Systèmes d'Information. Kénitra, Morocco. 03. 2015. [URL]
[hal-01296465:1]
Daniel Le Métayer, Benjamin Nguyen, Josep Domingo-Ferrer, Mark Elliott, Antoinette Rouvroy & Vincent Toubiana, To be or not to be (anonymous)?, in International Conference on Computers, Privacy and Data Protection (CPDP 2015). Bruxelles, Belgium. 01. 2015. [URL]


Communications avec actes dans un congrès international


[hal-01242600:1]
aadil bouchra, Abderrahim Ait Wakrime, kzaz larbi & abderrahim sekkaki, Ontological approach for Data WareHouse design, in International Conference on Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS). Paris, France. 07. 2015. [URL]
[hal-01201743:2]
Adrien Abraham, Radoniaina Andriatsimandefitra, Adrien Brunelat, Jean-François Lalande & Valérie Viet Triem Tong, GroddDroid: a Gorilla for Triggering Malicious Behaviors, in 10th International Conference on Malicious and Unwanted Software. Fajardo, Puerto Rico. Pp. 119-127, IEEE Computer Society. 10. 2015. [URL]
[hal-01242594:1]
Abderrahim Ait Wakrime, Salima Benbernou & Said Jabbour, Relaxation based SaaS for Repairing Failed Queries over the Cloud Computing, in The International Conference on e-Business Engineering (ICEBE). Beijing, China. 10. 2015. [URL]
[hal-01242595:1]
Abderrahim Ait Wakrime & Said Jabbour, Minimum Unsatisfiability Based QoS Web Service Composition over the Cloud Computing, in The International Conference on Intelligent Systems Design and Applications (ISDA). Marrakesh, Morocco. 12. 2015. [URL]
[hal-01242598:1]
Abderrahim Ait Wakrime & Said Jabbour, On QoS Web Service Composition Using Satisfiability, in The International Conference on Information and Communication technology and Accessibility (ICTA). Marrakesh, Morocco. 12. 2015. [URL]
[hal-01161851:1]
Abderrahim Ait Wakrime, Sébastien Limet & Sophie Robert, On the Fly Reconfiguration of Interactive Scientific Visualization Applications, in HPCS 2015, IEEE (Ed.). Amsterdam, Netherlands, Proceedings of the 2015 International Conference on High Performance Computing & Simulation (HPCS 2015). 07. 2015. [URL]
[hal-01160931:1]
Mohamad Al hajj Hassan & Mostafa Bamha, Towards Scalability and Data Skew Handling in GroupBy-Joins using MapReduce Model, in International Conference On Computational Science - ICCS 2015. Reykjavik, Iceland, Procedia Computer Science, Vol. 51. Pp. 70-79. 06. 2015. [URL]
[hal-01140271:1]
Blanchard Allan, Nikolai Kosmatov, Matthieu Lemerre & Frédéric Loulergue, A case study on formal verification of the Anaxagoros hypervisor paging system with Frama-C, in International Workshop on Formal Methods for Industrial Critical Systems (FMICS). Oslo, Norway, Springer. 06. 2015. [URL]
[hal-01225332:1]
Nirina Andrianarivelo & Pierre Réty, Over-Approximating Terms Reachable by Context-Sensitive Rewriting, in Reachability Problems - 9th International Workshop RP 2015. Varsaw, Poland, pp 128--139, Vol. 9328, Springer, LNCS. 09. 2015. [URL]
[hal-01183508:1]
Ghada Arfaoui, Jean-François Lalande, Saïd Gharout & Jacques Traoré, Practical and Privacy-Preserving TEE Migration, in 9th Workshop on Information Security Theory and Practice (WISTP), Raja Naeem Akram and Sushil Jajodia (Ed.). Heraklion, Greece, Information Security Theory and Practice, Vol. 9311. Pp. 153-168, Springer. 08. 2015. [URL]
[hal-01148013:1]
Florent Becker, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, The simultaneous number-in-hand communication model on graphs: private coins, public coins and determinism, in ALGOTEL 2015 --- 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Beaune, France. 06. 2015. [URL]
[cea-01834977:1]
Allan Blanchard, N. Kosmatov, M. Lemerre & Frédéric Loulergue, A case study on formal verification of the anaxagoros hypervisor paging system with frama-C, in FMICS 2015 - Formal Methods for Industrial Critical Systems, Nunez M. Gudemann M. (Ed.). Oslo, Norway, Lecture Notes in Computer Science - LNCS, Vol. 9128. Pp. 15-30, Springer Verlag. 06. 2015. [URL]
[hal-01191740:1]
Laurent Bobelin, Aline Bousquet & Jérémy Briffaut, An Autonomic Cloud Management System for Enforcing Security and Assurance Properties, in the 2015 Workshop on Changing Landscapes in HPC Security. Portland, OR, United States. 06. 2015. [URL]
[hal-01135918:1]
Yohan Boichut, Jacques Chabin & Pierre Réty, Towards More Precise Rewriting Approximations, in Proceedings of Language and Automata Theory and Applications (LATA). Nice, France, Vol. LNCS 8977, Springer. 03. 2015. [URL]
[hal-01240557:1]
Aline Bousquet, Jérémy Briffaut, Eddy Caron, Eva María Dominguez, Javier Franco, Arnaud Lefray, Oscar López, Saioa Ros, Jonathan Rouzaud-Cornabas, Christian Toinard & Mikel Uriarte, Enforcing Security and Assurance Properties in Cloud Environment, in 8th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2015). Limassol, Cyprus, 8th IEEE/ACM International Conference on Utility and Cloud Computing. 12. 2015. [URL]
[hal-01182303:1]
Luca Caviglione, Jean-François Lalande, Wojciech Mazurczyk & Steffen Wendzel, Analysis of Human Awareness of Security and Privacy Threats in Smart Environments, in HAS - 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, Theo Tryfonas and Ioannis G. Askoxylakis (Ed.). Los Angeles, United States, LNCS, Vol. 9190. 08. 2015. [URL]
[hal-01144344:1]
Guillaume Cleuziou, Davide Buscaldi, Vincent Levorato, Gaël Dias & Christine Largeron, QASSIT: A Pretopological Framework for the Automatic Construction of Lexical Taxonomies from Raw Texts, in International Workshop on Semantic Evaluation (SEMEVAL 2015). Denver, United States. 2015. [URL]
[hal-01163702:1]
Guillaume Cleuziou & Gaël Dias, Learning Pretopological Spaces for Lexical Taxonomy Acquisition, in European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. Porto, Portugal. 09. 2015. [URL]
[hal-01164453:2]
Jean-Valère Cossu, Nicolas Dugué & Vincent Labatut, Detecting Real-World Influence Through Twitter, in 2nd European Network Intelligence Conference (ENIC). Karlskrona, Sweden. 09. 2015. [URL]
[hal-01242028:1]
Christophe Crespelle, Anthony Perez & Ioan Todinca, An $O(n 2)$-time algorithm for the minimal permutation completion problem, in 41st International Workshop on Graph-Theoretic Concepts in Computer Science - WG 2015. Munich, Germany, Lecture Notes in Computer Science. 2015. [URL]
[hal-01105093:1]
Frédéric Dabrowski, Frédéric Loulergue & Thomas Pinsard, Nested atomic sections with thread escape: Compilation to threads and locks, in ACM Symposium on Applied Computing (SAC). Salamanca, Spain, ACM. 04. 2015. [URL]
[hal-01168193:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, Constrained Minimum Sum of Squares Clustering by Constraint Programming, in 21st International Conference on Principles and Practice of Constraint Programming (CP 2015). Cork, Ireland. 08. 2015. [URL]
[hal-01165487:1]
Nicolas Dugué, Anthony Perez, Maximilien Danisch, Florian Bridoux, Amélie Daviau, Tennessy Kolubako, Simon Munier & Hugo Durbano, A reliable and evolutive web application to detect social capitalists, in ASONAM 2015. Paris, France. 08. 2015. [URL]
[hal-01145799:1]
Anahí Gajardo, Nicolas Ollinger & Rodrigo Torres-Avilés, The transitivity problem of Turing machines, in Mathematical Foundations of Computer Science 2015 - 40th International Symposium (MFCS 2015). Milan, Italy, Lecture Notes in Computer Science, Vol. 9234. Pp. pp. 231-242, Springer. 08. 2015. [URL]
[hal-01294144:1]
Eric Goles, Nicolas Ollinger & Guillaume Theyssier, Introducing Freezing Cellular Automata, in Cellular Automata and Discrete Complex Systems, 21st International Workshop (AUTOMATA 2015). Turku, Finland, TUCS Lecture Notes, Vol. 24. Pp. 65-73. 06. 2015. [URL]
[hal-01158134:1]
Asma Guesmi, Patrice Clemente, Frédéric Loulergue & Pascal Berthomé, Cloud Resources Placement Based on Functional and Non-Functional Requirements, in SECRYPT. Colmar, France, SCITEPRESS. 07. 2015. [URL]
[hal-01105102:1]
Konstanty Junosza-Szaniawski, Mathieu Liedloff & Pawel Rzazewski, Fixing Improper Colorings of Graphs, in SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. Pec pod Sněžkou, Czech Republic, Lecture Notes in Computer Science, Vol. 8939. Pp. 266-276. 01. 2015. [URL]
[hal-01216950:1]
Dieter Kratsch, Mathieu Liedloff & Daniel Meister, End-Vertices of Graph Search Algorithms, in 9th International Conference CIAC 2015. Paris, France, Lecture Notes in Computer Science, Vol. 9079. Pp. 300-312, Springer. 05. 2015. [URL]
[hal-01240573:1]
Arnaud Lefray, Eddy Caron, Jonathan Rouzaud-Cornabas & Christian Toinard, Microarchitecture-Aware Virtual Machine Placement under Information Leakage Constraints, in 8th IEEE International Conference on Cloud Computing (IEEE Cloud 2015), IEEE (Ed.). New-York, United States, Cloud Computing (CLOUD), 2015 IEEE 8th International Conference on(Print ISBN: 978-1-4673-7286-2). Pp. 588 - 595. 06. 2015. [URL]
[hal-01216955:1]
Mathieu Liedloff, Pedro Montealegre & Ioan Todinca, Beyond classes of graphs with textquotedblleftfewtextquotedblright minimal separators : FPT results through potential maximal cliques, in Workshop on Graph-Theoretic Concepts in Computer Science (WG 2015). Munich, Germany, Lecture Notes in Computer Science, Vol. to appear. 06. 2015. [URL]
[hal-01188967:1]
Ana Lorena & Marcilio De Souto, On measuring the complexity of classification problems, in Proc. of the 22nd International Conference on Neural Information Processing (ICONIP2015). Istanbul, Turkey, LNCS. Pp. 158-167, Springer. 11. 2015. [URL]
[hal-01188966:1]
Jane Piantoni, Katti Faceli, Tieme Sakata, Julio Pereira & Marcilio De Souto, Impact of Base Partitions on Multi-objective and Traditional Ensemble Clustering Algorithms, in 22nd International Conference on Neural Information Processing (ICONIP2015). Istanbul, Turkey, LNCS. Pp. 696-704, Springer. 11. 2015. [URL]
[hal-01182794:1]
Ansaf Salleb-Aouissi, Christel Vrain & Daniel Cassard, Learning Characteristic Rules in Geographic Information Systems, in Rule Technologies: Foundations, Tools, and Applications, 9th International Symposium, (RuleML 2015), F. Sadri A. Paschke D. Roman (Eds.) N. Bassiliades, G. Gottlob (Ed.). Berlin, Germany, Lecture Note in Computer Science, Vol. 9202, Springer. 08. 2015. [URL]
[hal-01223349:1]
Agata Savary, Manfred Sailer, Yannick Parmentier, Michael Rosner, Victoria Rosén, Adam Przepiórkowski, Cvetana Krstev, Veronika Vincze, Beata Wójtowicz, Gyri Smørdal Losnegaard, Carla Parra Escartín, Jakub Waszczuk, Mathieu Constant, Petya Osenova & Federico Sangati, PARSEME -- PARSing and Multiword Expressions within a European multilingual network, in 7th Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (LTC 2015). Poznań, Poland. 11. 2015. [URL]
[hal-01216964:1]
Lei Shang, Christophe Lenté, Mathieu Liedloff & Vincent T'Kindt, An exponential dynamic programming algorithm for the 3-machine flowshop scheduling problem to minimize the makespan, in 7th Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2015). Prague, Czech Republic, MISTA 2015 proceedings. Pp. 755-758. 08. 2015. [URL]
[hal-01254951:1]
Cuong Quoc To, Benjamin Nguyen & Philippe Pucheral, TrustedMR: A Trusted MapReduce System based on Tamper Resistance Hardware, in Proceedings of the 23rd International Conference on Cooperative Information Systems (COOPIS). Rhodes, Greece. Pp. 38-56. 10. 2015. [URL]


Communications avec actes dans un congrès national


[hal-01151525:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, Clustering avec la minimisation de la somme des carrés par la programmation par contraintes, in JFPC 2015. Bordeaux, France. 06. 2015. [URL]
[hal-01151527:1]
Thi-Bich-Hanh Dao, Willy Lesaint & Christel Vrain, Clustering conceptuel et relationnel en programmation par contraintes, in JFPC 2015. Bordeaux, France. 06. 2015. [URL]
[hal-01161913:1]
Romain Janvier, Teddy Debroutelle, Aladine Chetouani, Sylvie Treuillet, Sébastien Jesset, Matthieu Exbrayat & Lionel Martin, Etude de faisabilité d'une reconnaissance automatique de motifs céramiques archéologiques par analyse d'images 2D et 3D, in Journées francophones des jeunes chercheurs en vision par ordinateur. Amiens, France. 06. 2015. [URL]


Communications affichées avec actes


[hal-01168354:1]
Adrien Abraham, Radoniaina Andriatsimandefitra Ratsisahanana, Nicolas Kiss, Jean-François Lalande & Valérie Viet Triem Tong, Towards Automatic Triggering of Android Malware, in 12th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment. Milano, Italy. 07. 2015. [URL]


Communications sans actes


[hal-01178684:1]
Nicolas Anciaux & Benjamin Nguyen, Managing Personal Data with Strong Privacy Guarantees. Tutoriel, in Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2015). Troyes, France. 05. 2015. [URL]
[hal-01154368:1]
Radoniaina Andriatsimandefitra Ratsisahanana, Thomas Genet, Laurent Guillo, Jean-François Lalande, David Pichardie & Valérie Viet Triem Tong, Kharon : Découvrir, comprendre et reconnaître des malware Android par suivi de flux d'information, in Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information. Troyes, France. 05. 2015. [URL]
[hal-01191746:1]
Aline Bousquet, Jérémy Briffaut & Christian Toinard, An autonomous Cloud management system for in-depth security., in Les Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2015). Troyes, France. 05. 2015. [URL]
[hal-01627365:1]
Guillaume Cleuziou & Bruno Crémilleux, Vers une classification conceptuelle recouvrante, in XXIIèmes rencontres de la Société Francophone de Classification (SFC 2015). Nantes, France. 2015. [URL]
[hal-01154374:1]
Sébastien Gambs, Jean-François Lalande & Jacques Traoré, ANR LYRICS: Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact, in Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information. Troyes, France. 05. 2015. [URL]
[hal-01176544:1]
Athanasia Katsouraki, Luc Bouganim, Benjamin Nguyen & Paul Tran-Van, Secure Portable Tokens for Sensitive Questionnaires Surveys, in 31èmes journées Bases de Données Avancées (BDA '15). Demo paper. Île de Porquerolles, France. 2015. [URL]
[hal-01158137:1]
Frédéric Loulergue, Construction de programmes parallèles en Coq avec des homomorphismes de listes, in 14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL). Bordeaux, France. 2015. [URL]
[hal-01158138:1]
Frédéric Loulergue, Modèles fonctionnels de MapReduce en Coq, in Journées Nationales du GdR GPL. Bordeaux, France. 2015. [URL]
[hal-01296448:1]
Cuong Quoc To, Benjamin Nguyen & Philippe Pucheral, TrustedMR : Un système MapReduce de confiance basé sur l'utilisation de matériel sécurisé, in 31ème Conférence sur la Gestion de Données --- Principes, Technologies et Applications -- BDA 2015 2. Porquerolles, France. 09. 2015. [URL]
[hal-01176539:1]
Quoc-Cuong To, Benjamin Nguyen & Philippe Pucheral, TrustedMR: A Trusted MapReduce System based on Tamper Resistance, in 31èmes journées Bases de Données Avancées (BDA '15). Île de Porquerolles, France. 2015. [URL]


Autres Publications


[hal-01150321:1]
Ghada Arfaoui, Jean-François Lalande, Jacques Traoré, Nicolas Desmoulins, Pascal Berthomé & Saïd Gharout, A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing. 05. 2015. [URL]
[hal-01138840:1]
Mostafa Bamha & Mohamad Al hajj Hassan, Scalability and Optimisation of GroupBy-Joins in MapReduce Scalability and Optimisation of GroupBy-Joins in MapReduce. 03. 2015. [URL]
[hal-01231784:1]
Nicolas Dugué & Anthony Perez, Directed Louvain : maximizing modularity in directed networks. 11. 2015. [URL]



2018/07/30 généré via HALLO + JabRef.