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

Lifo > Publications for year 2014

 Site en Français



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 70 11
Fax: +33 (0)2 38 41 71 37



Go to publications of year : 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


International Refereed Journals


[hal-01242592:1]
Abderrahim Ait Wakrime, Sébastien Limet & Sophie Robert, Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets, Global Journal of Engineering Science and Researches. 12. 2014. [URL]
[hal-01133110:1]
Victor Allombert, David Michea, Fabrice Dupros, Christian Bellier, Bernard Bourgine, Hideo Aochi & Sylvain Jubertie, An out-of-core GPU approach for accelerating geostatistical interpolation, Procedia Computer Science, Elsevier. 2014. [URL]
[hal-00999637:1]
Joshua Amavi, Béatrice Bouchou & Agata Savary, On Correcting XML Documents with Respect to a Schema, The Computer Journal, Vol. 57(5). Pp. 639-674, Oxford University Press (UK). 05. 2014. [URL]
[hal-01252086:1]
Joshua Amavi & Mirian Halfeld Ferrari, Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems, Transactions on Large-Scale Data- and Knowledge-Centered Systems(14). Pp. 83-113, Springer Berlin / Heidelberg. 2014. [URL]
[hal-00854841:3]
Siva Anantharaman, Christopher Bouchard, Paliath Narendran & Michaël Rusinowitch, Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining, Logical Methods in Computer Science, Vol. 10(1:5). Pp. pp. 1-26, Logical Methods in Computer Science Association. 2014. [URL]
[hal-01091576:1]
Ghada Arfaoui, Guillaume Dabosville, Sébastien Gambs, Patrick Lacharme & Jean-François Lalande, A Privacy-Preserving NFC Mobile Pass for Transport Systems, EAI Endorsed Transactions on Mobile Communications and Applications, Vol. 14(5). Pp. e4, ICST. 12. 2014. [URL]
[hal-00978269:1]
Chiheb-Eddine Ben N'Cir, Guillaume Cleuziou & Nadia Essoussi, Generalization of c-means for identifying non-disjoint clusters with overlap regulation, Pattern Recognition Letters(45C). Pp. 92-98, Elsevier. 04. 2014. [URL]
[hal-00942627:1]
Matthieu Dreher, Jessica Prevoteau-Jonquet, Mikael Trellet, Marc Piuzzi, Marc Baaden, Bruno Raffin, Nicolas Férey, Sophie Robert & Sébastien Limet, ExaViz: a Flexible Framework to Analyse, Steer and Interact with Molecular Dynamics Simulations, Faraday Discussions of the Chemical Society, Molecular simulations and visualization, Vol. 169. Pp. 119-142, Royal Society of Chemistry. 05. 2014. [URL]
[hal-00782398:1]
Denys Duchier, Thi-Bich-Hanh Dao & Yannick Parmentier, Model-Theory and Implementation of Property Grammars with Features, Journal of Logic and Computation, Vol. 24(2). Pp. 491-509, Oxford University Press (OUP). 03. 2014. [URL]
[hal-00968015:1]
Nicolas Dugué & Anthony Perez, Social capitalists on Twitter: detection, evolution and behavioral analysis, Social Network Analysis and Mining, Vol. 4(1). Pp. 1-15, Springer. 03. 2014. [URL]
[hal-01024689:1]
Michael François, David Defour & Christophe Negre, A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic, Informatica, Vol. 38(2). Pp. 115-124, Slovene Society Informatika, Ljubljana. 07. 2014. [URL]
[hal-01315323:1]
Eric Goles Chacc & Pedro Montealegre, Computational complexity of threshold automata networks under different updating schemes, Journal of Theoretical Computer Science (TCS), Vol. 559. Pp. 3-19, Elsevier. 11. 2014. [URL]
[hal-00957243:1]
Frédéric Havet, Andrew D. King, Mathieu Liedloff & Ioan Todinca, (Circular) backbone colouring: forest backbones in planar graphs, Discrete Applied Mathematics, Vol. 169. Pp. 119-134, Elsevier. 2014. [URL]
[hal-01105054:1]
Vincent Levorato, Group Measures and Modeling for Social Networks, Journal of Complex Systems, Vol. 2014. Pp. Article ID 354385, Hindawi. 09. 2014. [URL]
[hal-01105058:1]
Mathieu Liedloff, Ioan Todinca & Yngve Villanger, Solving Capacitated Dominating Set by using covering by subsets and maximum matching, Discrete Applied Mathematics, Vol. 168. Pp. 60-68, Elsevier. 05. 2014. [URL]
[hal-00835887:1]
Waleed Smari, Patrice Clemente & Jean-François Lalande, An extended attribute based access control model with trust and privacy: Application to a collaborative crisis management system, Future Generation Computer Systems, Vol. 31. Pp. 147-168, Elsevier. 02. 2014. [URL]


National Refereed Journals


[hal-00979716:1]
Abderrahim Ait Wakrime, Sébastien Limet & Sophie Robert, Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives, Revue des Nouvelles Technologies de l'Information. Pp. 1, Hermann. 2014. [URL]
[hal-01107253:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, Un nouveau modèle pour la classification non supervisée sous contraintes, Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, PROGRAMMATION PAR CONTRAINTES, Vol. 28(5). Pp. 523-545, Lavoisier. 2014. [URL]
[hal-01113412:1]
Benjamin Nguyen, Techniques d'anonymisation, Statistique et Société, Vol. 2(4). Pp. 53-60, Société française de statistique. 2014. [URL]


Books


[hal-00989257:1]
Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12), Jérôme Durand-Lose and Nataša Jonoska (Ed.). Pp. 193-283, springer. 2014. [URL]
[hal-01059196:1]
Constraints and Language, Philippe Blache and Henning Christiansen and Denys Duchier and Verónica Dahl and Jørgen Villadsen (Ed.). Pp. 325, Cambridge Scholar Publishing. 10. 2014. [URL]
[hal-01075357:1]
Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, Gosse Bouma and Yannick Parmentier (Ed.). Gothenburg, Sweden. Pp. 751, The Association for Computational Linguistics. 04. 2014. [URL]
[hal-01315443:1]
Graph-Theoretic Concepts in Computer Science - 40th International Workshop, WG 2014, Dieter Kratsch and Ioan Todinca (Ed.). Nouan-le-Fuzelier, France, Lecture notes in computer science, Vol. 8747, Springer. 06. 2014. [URL]


Book Chapters


[hal-01212808:1]
Mathieu Blanc, Aline Bousquet, Jérémy Briffaut, Laurent Clévy, Damien Gros, Arnaud Lefray, Jonathan Rouzaud-Cornabas, Christian Toinard & Benjamin Venelle, Mandatory access protection within cloud systems, in Security, Privacy and Trust in Cloud Systems, Springer Berlin Heidelberg (Ed.). Pp. pp 145-173, Springer Berlin Heidelberg. 2014. [URL]
[hal-01309929:1]
Antoine Cornuéjols, Christel Vrain & Jean-Daniel Zucker, Algorithmique de l 'apprentissage artificiel et de la fouille de données., in Panorama de l'Intelligence Artificielle, Henri Prade Pierre Marquis, Odile Papini (Ed.), Algorithmes pour l'intelligence artificielle, Vol. 2, Cépaduès Edition. 2014. [URL]
[hal-01059206:1]
Benoît Crabbé, Denys Duchier, Yannick Parmentier & Simon Petitjean, Constraint-driven Grammar Description, in Constraints and Language, Philippe Blache and Henning Christiansen and Verónica Dahl and Denys Duchier and Jørgen Villadsen (Ed.). Pp. 93-121, Cambridge Scholar Publishing. 10. 2014. [URL]
[hal-00921246:1]
Claire Gardent, Yannick Parmentier, Guy Perrier & Sylvain Schmitz, Lexical Disambiguation in LTAG using Left Context, in Human Language Technology. Challenges for Computer Science and Linguistics. 5th Language and Technology Conference, LTC 2011, Poznan, Poland, November 25-27, 2011, Revised Selected Papers, Zygmunt Vetulani and Joseph Mariani (Ed.), Lecture Notes in Computer Science (LNCS) series / Lecture Notes in Artificial Intelligence (LNAI) subseries, Vol. 8387. Pp. 67-79, Springer. 07. 2014. [URL]


Thesis


[tel-01171845:1]
Joshua Amavi, Comparaison et évolution de schémas XML, Thèse de Doctorat. Université d'Orléans. 11. 2014. [URL]
[tel-01080541:1]
Pierre Clairet, Approche algorithmique pour l 'amélioration des performances du système de détection d 'intrusions PIGA, Thèse de Doctorat. Université d'Orléans. 06. 2014. [URL]
[tel-01094327:1]
Hélène Coullon, Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages, Thèse de Doctorat. Université d'Orléans. 09. 2014. [URL]
[tel-01202674:1]
Khanh-Chuong Duong, Constrained clustering by constraint programming, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01069411:1]
Maxime Fonda, Protection obligatoire des serveurs d 'applications Web : application aux processus métiers, Thèse de Doctorat. Université d'Orléans. 05. 2014. [URL]
[tel-01080544:1]
Damien Gros, Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail, Thèse de Doctorat. Université d'Orléans. 06. 2014. [URL]
[tel-01288501:1]
Bastien Le Gloannec, Coloriage du plan discret par jeux de tuiles déterministes, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01163150:2]
Simon Petitjean, Génération modulaire de grammaires formelles, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01362118:1]
Thomas Pinsard, Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01298527:1]
Mouhamadou Tafsir Sakho, lceil-Pomset pour la modélisation et la vérification de systèmes parallèles, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]


Invited Papers


[hal-00980796:1]
Patrice Clemente, De la sécurité de la virtualisation à la sécurité des Clouds, in Colloque International sur la Sécurité des Systèmes d'Information. Kenitra, Morocco. 03. 2014. [URL]
[hal-00967463:1]
Jean-François Lalande, Un titre de transport sur mobile NFC respectueux de la vie privée, in Colloque International sur la Sécurité des Systèmes d'Information. Kénitra, Morocco. 03. 2014. [URL]


International Conference or Workshop with Proceedings


[hal-01068419:1]
Abderrahim Ait Wakrime, Sébastien Limet & Sophie Robert, Place-liveness of ComSA Applications, in FACS, procedings of 11th International Symposium on Formal Aspects of Component Software. Bertinoro, Italy, LNCS. Pp. 1-18, Springer. 09. 2014. [URL]
[hal-00958116:1]
Mohamad Al Hajj Hassan, Mostafa Bamha & Frédéric Loulergue, Handling Data-skew Effects in Join Operations using MapReduce, in ICCS. Cairns, Australia, Procedia Computer Science, Elsevier. 2014. [URL]
[hal-01016214:1]
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari & Pierre Réty, A ToolBox for Conservative XML Schema Evolution and Document Adaptation, in Database and Expert Systems Applications - 25th International Conference, DEXA 2014, DEXA, Hendrik Decker and Lenka Lhotska and Sebastian Link (Ed.). Munich, Germany, Lecture Notes in Computer Science, Vol. 8644(1). Pp. 299-307, Springer. 09. 2014. [URL]
[hal-00980055:1]
Ghada Arfaoui, Saïd Gharout & Jacques Traoré, Trusted Execution Environments: A look under the hood, in TPMCC'2014, The International Workshop on Trusted Platforms for Mobile and Cloud Computing. Oxford, United Kingdom, IEEE Computer Society. 04. 2014. [URL]
[hal-01063852:1]
Laurent Bobelin, Aline Bousquet, Jérémy Briffaut, Eddy Caron, Jean-François Couturier, Arnaud Lefray, Jonathan Rouzaud-Cornabas & Christian Toinard, An Advanced Security-Aware Cloud Architecture, in HPCS 2014 - The 2014 International Conference on High Performance Computing & Simulation. Bologne, Italy, IEEE. 07. 2014. [URL]
[hal-01131866:1]
Aline Bousquet, Jérémy Briffaut & Christian Toinard, An autonomous Cloud management system for in-depth security, in 2014 IEEE 3rd International Conference on Cloud Networking (CloudNet), IEEE (Ed.). Luxembourg, Luxembourg, IEEE. 10. 2014. [URL]
[hal-01105083:1]
Mathieu Chapelle, Manfred Cochefert, Dieter Kratsch, Romain Letourneur & Mathieu Liedloff, Exact Exponential Algorithms to Find a Tropical Connected Set of Minimum Size, in Parameterized and Exact Computation - 9th International Symposium. Wroclaw, Poland, Lecture Notes in Computer Science, Vol. 8894. Pp. 147-158. 09. 2014. [URL]
[hal-00958089:1]
Hélène Coullon, Jose-Maria Fullana, Pierre-Yves Lagrée, Sébastien Limet & Xiaofei Wang, Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS, in ICCS 2014, International Conference on Computational Science. Cairns, Australia. Pp. unknown. 06. 2014. [URL]
[hal-01094340:1]
Hélène Coullon & Sébastien Limet, Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations, in Euro-Par 2014. Porto, Portugal, Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings, Vol. Lecture Notes in Computer Science, Springer(8632). Pp. 439-450. 08. 2014. [URL]
[hal-00905949:1]
Frederic Dabrowski, Frédéric Loulergue & Thomas Pinsard, Nested Atomic Sections with Thread Escape: A Formal Definition, in ACM Symposium on Applied Computing (SAC), ACM (Ed.). Gyeongju, Korea, Republic Of. 2014. [URL]
[hal-01105133:1]
Maximilien Danisch, Nicolas Dugué & Anthony Perez, On the importance of considering social capitalism when measuring influence on Twitter, in BESC 2014 - International Conference on Behavioral, Economic, and Socio-Cultural Computing. Shanghai, China. Pp. 1-7, IEEE. 10. 2014. [URL]
[halshs-01065840:1]
Mathilde De Saint Léger, Sébastien Gambs, Brigitte Juanals, Jean-François Lalande & Jean-Luc Minel, Privacy and Mobile Technologies: the Need to Build a Digital Culture, in Digital Intelligence 2014, Proceeding of First Digital Intelligence Conference. Nantes, France. Pp. 100-105. 09. 2014. [URL]
[hal-01102262:1]
Denys Duchier, Nicola Lampitelli, Brunelle Magnana-Ekoukou, Yannick Parmentier, Simon Petitjean & Emmanuel Schang, Décrire informatiquement une langue naturelle : application à quelques langues d'Afrique, in Colloque ''Francophonie et Langues Nationales''. Dakar, Senegal. Pp. 395-410, Presses Universitaires de Dakar. 11. 2014. [URL]
[hal-01011910:2]
Nicolas Dugué, Vincent Labatut & Anthony Perez, Identifying the Community Roles of Social Capitalists in the Twitter Network, in IEEE/ACM International Conference on Advances in Social Network Analysis and Mining (ASONAM). Pékin, China. Pp. 371-374. 08. 2014. [URL]
[hal-00964061:1]
Kento Emoto, Frédéric Loulergue & Julien Tesson, A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction, in Interactive Theorem Proving. Vienna, Austria, Springer. 2014. [URL]
[hal-00955577:1]
Katti Faceli, Tieme Sakata, Andre De Carvalho & Marcilio De Souto, PVis - Partitions' Visualizer: extracting knowledge by visualizing a collection of partitions, in IEEE IJCNN 2014, IEEE (Ed.). Beijing, China. Pp. 3056-3061. 07. 2014. [URL]
[hal-00984059:1]
Fedor Fomin, Mathieu Liedloff, Pedro Montealegre-Barba & Ioan Todinca, Algorithms parameterized by vertex cover and modular width, through potential maximal cliques, in Scandinavian Symposium and Workshops on Algorithm Theory, Proceedings 14th Scandinavian Symposium and Workshops on Algorithm Theory. Pp. To appear. 2014. [URL]
[hal-00984058:1]
Fedor Fomin, Ioan Todinca & Yngve Villanger, Large induced subgraphs via triangulations and CMSO, in Symposium on Discrete Algorithms, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Pp. 582-593. 2014. [URL]
[hal-00985357:1]
Michael François, David Defour & Pascal Berthomé, A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic, in Theory and Applications of Models of Computation, T.V. Gopal and Angsheng Li A. Barry Cooper and Manindra Agrawal (Ed.). Chennai, India, LNCS(8402). Pp. 229-247, Springer. 04. 2014. [URL]
[hal-00955531:1]
Eduardo Gusmão & Marcilio De Souto, Issues on Sampling Negative Examples for Predicting Prokaryotic Promoters, in IEEE IJCNN 2014, IEEE (Ed.). Beijing, China. Pp. 494-501. 07. 2014. [URL]
[hal-01059201:1]
Jean-François Lalande, Karine Heydemann & Pascal Berthomé, Software countermeasures for control flow integrity of smart card C codes, in ESORICS - 19th European Symposium on Research in Computer Security, Mirosław Kutyłowski and Jaideep Vaidya (Ed.). Wroclaw, Poland, Lecture Notes in Computer Science, Vol. 8713. Pp. 200-218, Springer International Publishing. 09. 2014. [URL]
[hal-00960244:1]
Bastien Le Gloannec & Nicolas Ollinger, Knight tiles: particles and collisions in the realm of 4-way deterministic tilings, in Developments in Language Theory (DLT), Proceedings of the 18th International Conference on Developments in Language Theory, Arseny M. Shur and Mikhail V. Volkov (Ed.). Ekaterinburg, Russian Federation, LNCS, Vol. 8633. Pp. pp 227-238, Springer. 08. 2014. [URL]
[hal-01016180:1]
Joeffrey Legaux, Sylvain Jubertie & Frédéric Loulergue, Development Effort and Performance Trade-off in High-Level Parallel Programming, in International Conference on High Performance Computing and Simulation (HPCS). Bologna, Italy, HPCS, IEEE. 2014. [URL]
[hal-00961165:1]
Vincent Levorato, Core decomposition in Directed Networks: Kernelization and Strong Connectivity, in Complex Networks, Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Springer International Publishing (Ed.). Bologne, Italy, Vol. 549. Pp. 129-140. 03. 2014. [URL]
[hal-00980775:1]
Sébastien Limet, Millian Poquet & Sophie Robert, Modulight : A Framework for Efficient Dynamic Interactive Scientific Visualization, in ICCS, International Conference on computational Science. Cairns, France. Pp. 1. 06. 2014. [URL]
[hal-00905950:1]
Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux & Zhenjiang Hu, Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem, in ACM Symposium on Applied Computing (SAC), ACM (Ed.). Gyeongju, Korea, Republic Of. 2014. [URL]
[hal-01105115:1]
Frédéric Loulergue, Julien Tesson & Virginia Niculescu, Implementing powerlists with Bulk Synchronous Parallel ML, in 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Timisoara, Romania, IEEE. 09. 2014. [URL]
[hal-01136022:1]
Pedro Montealegre-Barba, Ivan Rapaport & Ioan Todinca, The Simultaneous Number-in-Hand Communication Model for Networks: Private Coins, Public Coins and Determinism, in Structural Information and Communication Complexity - 21st International Colloquium (SIROCCO). Takayama, Japan, Vol. LNCS 8576. Pp. 83-95, Springer. 2014. [URL]
[hal-01070306:1]
Jose G Moreno, Gaël Dias & Guillaume Cleuziou, Query Log Driven Web Search Results Clustering, in 37th Annual ACM SIGIR Conference (SIGIR 2014). Gold Coast, Australia. Pp. 10pages. 07. 2014. [URL]
[hal-01105119:1]
Simon Robillard, Catamorphism generation and fusion using Coq, in 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), IEEE (Ed.). Timisoara, Romania. 09. 2014. [URL]


National Conference or Workshop with Proceedings


[hal-01020898:1]
Fenintsoa Andriamasinoro & Vincent Levorato, Appréciation de l'intérêt du secteur minier pour les SMA pour l'analyse prospective du marché des métaux stratégiques, in JFSMA'14 : 22èmes Journées Francophones sur les Systèmes Multi-Agents, Actes des 22èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA). 2014. Loriol sur Drôme, France. Pp. N/A, Cépaduès. 10. 2014. [URL]
[hal-01213198:1]
Jean-Yves Antoine, Marie-Elisabeth Labat, Anaïs Lefeuvre & Christian Toinard, Vers une méthode de maîtrise des risques dans l'informatisation de l'aide au handicap, in Envirorisk'2014, Le forum de la gestion des risques technologiques, naturels et sanitaires. Bourges, France, Gestion des risques naturels, technologiques et sanitaires - Forum Envirorisk'2014. Pp. 9 pages, Cépaduès. 11. 2014. [URL]
[hal-00978272:1]
Marie Arcadias, Guillaume Cleuziou, Edmond Lassalle & Christel Vrain, Apprentissage non supervisé de dépendances syntaxiques à partir de texte étiqueté, plusieurs variantes de PCFG légères, in Extraction et Gestion des Connaissances (EGC), Revue des Nouvelles Technologies de l'Information (RNTI) (Ed.). Rennes, France(E.26). Pp. 155-160, Hermann. 01. 2014. [URL]
[hal-00978275:1]
Chiheb-Eddine Ben N'Cir, Guillaume Cleuziou & Nadia Essoussi, Généralisation des k-moyennes pour produire des recouvrements ajustables, in Extraction et Gestion des Connaissances (EGC), Revue des Nouvelles Technologies de l'Information (RNTI) (Ed.). -, France(E.26). Pp. 221-232, Hermann. 01. 2014. [URL]
[hal-00978273:1]
Guillaume Cleuziou, Passage aux noyaux en classification recouvrante, in Extraction et Gestion des Connaissances (EGC), Hermann (Ed.). Rennes, France(E.26). Pp. 209-220, Revue des Nouvelles Technologies de l'Information. 01. 2014. [URL]
[hal-01075034:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, Classification non supervisée mono et bi-objectif par la programmation par contraintes, in Dixièmes Journées Francophones de Programmation par Contraintes (JFPC). Angers, France. 06. 2014. [URL]
[hal-00918175:1]
Nicolas Dugué, Vincent Labatut & Anthony Perez, Identification de rôles communautaires dans des réseaux orientés appliquée à Twitter, in 14ème conférence Extraction et Gestion des Connaissances. Rennes, France. Pp. 125-130. 01. 2014. [URL]
[hal-00961350:1]
Joeffrey Legaux, Comparaison entre performances et effort de développement dans la programmation parallèle, in Conférence en Parallélisme, Architecture et Système (ComPAS), ComPAS. Neûchatel, Switzerland. 2014. [URL]
[hal-00980782:1]
Sébastien Limet, Millian Poquet & Sophie Robert, Modulight : un framework efficace pour la visualisation scientifique interactive dynamique, in Compas, Conférence en Parallélisme, Architecture et Systèmes. Neuchâtel, Switzerland. Pp. 1. 04. 2014. [URL]


Poster sessions


[hal-00978912:1]
Cheikh Ba, Umberto Costa, Mirian Halfeld Ferrari, Rémy Ferre, Martin A. Musicante, Veronika Peralta & Sophie Robert, Preference-Driven Refinement of Service Compositions, in CLOSER (4th International Conference on Cloud Computing and Services Science). Barcelona, Spain, Proceedings of CLOSER 2014. Pp. 8 pages. 04. 2014. [URL]
[hal-01083056:1]
Vincent Levorato & Jean Louis Yengue, Agent-based Modelling of the EcosystemServices Difusion through Urban Green Spaces, in SYMPOSIUM ''TOWARD INTEGRATED MODELLING OF URBAN SYSTEMS'' 15-17th October 2014 Hôtel de Communauté (Grand Lyon), Lyon, France. Lyon, France. 10. 2014. [URL]
[hal-01123486:1]
Vincent Levorato & Jean-Louis Yengué, Agent-based Modelling of the Ecosystem Services Diffusion through Urban Green Spaces, in Toward integrated modelling of urban systems Symposium. Lyon, France. 10. 2014. [URL]


Unrefereed publications at Conferences or Workshops


[hal-01009516:1]
Ghada Arfaoui, Guillaume Dabosville, Sébastien Gambs, Patrick Lacharme & Jean-François Lalande, Un pass de transport anonyme et intraçable pour mobile NFC, in Atelier sur la Protection de la Vie Privée 2014. Cabourg, France. 06. 2014. [URL]
[hal-01091597:1]
Ghada Arfaoui & Jean-François Lalande, A Privacy Preserving Post-Payment Mobile Ticketing Protocol for Transport Systems, in Atelier sur la Protection de la Vie Privée 2014. Cabourg, France. 06. 2014. [URL]
[hal-01446450:1]
Hélène Coullon, Jose-Maria Fullana, Pierre-Yves Lagrée, Sébastien Limet & Xiaofei Wang, Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS, in International Conference on Computational Science. Oudonc, France, Vol. 29. Pp. 102 - 112. 2014. [URL]
[hal-01105090:1]
Jean-François Couturier, Romain Letourneur & Mathieu Liedloff, On the Number of Minimal Dominating Sets on Cobipartite and Interval Graphs, in 9th International colloquium on graph theory and combinatorics. Grenoble, France. 06. 2014. [URL]
[hal-00946259:1]
Fedor Fomin, Ioan Todinca & Yngve Villanger, Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSO, in ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision. Bordeaux, France. 02. 2014. [URL]
[hal-00979100:1]
Frédéric Loulergue, PaPDAS - Parallel Program Development with Algorithmic Skeletons, in Journées MFDL/MTV2. Grenoble, France. 01. 2014. [URL]
[hal-00979104:1]
Frédéric Loulergue, Mohamad Al Hajj Hassan & Mostafa Bamha, Handling Data-skew Effects in Join Operations using MapReduce, in Journées nationales du GdR GPL. Paris, France. 06. 2014. [URL]
[hal-00979092:1]
Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux & Zhenjiang Hu, Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches, in Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL). Paris, France. 2014. [URL]
[hal-00966632:1]
Frédéric Loulergue & Julien Tesson, Certified Parallel Program Calculation in Coq: A Tutorial, in International Conference on High Performance Computing and Simulation (HPCS). Bologna, Italy, HPCS, IEEE. 2014. [URL]


Other Publications


[hal-01313096:1]
Marc Baaden, Matthieu DREHER, Nicolas Ferey, Sébastien Limet, Jessica Prevoteau-Jonquet, Bruno Raffin, Sophie Robert & Mikael Trellet, Vitamins : Visual and In Situ Analytics for Molecular Interactive Simulation. 07. 2014. [URL]
[hal-00947730:2]
Mostafa Bamha & Frédéric Loulergue, A Scalable and Skew-insensitive Algorithm for Join Operations using Map/Reduce Model. 01. 2014. [URL]
[hal-00975244:1]
Julien Cassaigne, Nicolas Ollinger & Rodrigo Torres, A Small Minimal Aperiodic Reversible Turing Machine. 04. 2014. [URL]
[hal-00985482:1]
Bastien Le Gloannec, The 4-way deterministic Periodic Domino Problem is undecidable. 2014. [URL]
[hal-00944382:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Exponential Algorithms for Scheduling Problems. 2014. [URL]
[hal-00966633:1]
Frédéric Loulergue, Calcul de programmes parallèles avec Coq. 2014. [URL]



2017/10/18 generated via HALLO + JabRef.