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 2013

 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 70 11
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


Revue internationale à comité de lecture


[hal-00942650:1]
Stéphane Bessy & Anthony Perez, Polynomial kernels for Proper Interval Completion and related problems, Information and Computation, Vol. 231. Pp. 89-108, Elsevier. 2013. [URL]
[hal-00942924:1]
Daniel Binkele-Raible, Henning Fernau, Serge Gaspers & Mathieu Liedloff, Exact and Parameterized Algorithms for Max Internal Spanning Tree, Algorithmica, Vol. 65(1). Pp. 95-128, Springer Verlag. 2013. [URL]
[hal-00691844:1]
Mathieu Blanc & Jean-François Lalande, Improving Mandatory Access Control for HPC clusters, Future Generation Computer Systems, Vol. 29(3). Pp. 876-885, Elsevier. 03. 2013. [URL]
[hal-00868767:1]
Céline Brouard, Christel Vrain, Julie Dubois, David Castel, Marie-Anne Debily & Florence D'Alché-Buc, Learning a Markov Logic network for supervised gene regulatory network inference, BMC Bioinformatics, Vol. 14(1). Pp. 273, BioMed Central. 2013. [URL]
[hal-00822430:1]
Jacques Chabin, Mirian Halfeld Ferrari, Martin A. Musicante & Pierre Réty, Conservative Type Extensions for XML Data, Transactions on Large-Scale Data- and Knowledge-Centered Systems, LNCS, Vol. 7980(IX), Springer Berlin / Heidelberg. 05. 2013. [URL]
[hal-00845812:1]
Stéphane Cordier, Hélène Coullon, Olivier Delestre, Christian Laguerre, Minh Hoang Le, Daniel Pierre & Georges Sadaka, FullSWOFParal: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications, ESAIM: Proc., Vol. 43. Pp. 59-79. 12. 2013. [URL]
[hal-00942919:1]
Jean-François Couturier, Petr A. Golovach, Dieter Kratsch, Mathieu Liedloff & Artem V. Pyatkin, Colorings with few Colors: Counting, Enumeration and Combinatorial Bounds, Theory of Computing Systems, Vol. 52(4). Pp. 645-667, Springer Verlag. 2013. [URL]
[hal-00688138:2]
Jean-Michel Couvreur, Denis Poitrenaud & Pascal Weil, Branching processes of general Petri nets, Fundamenta Informaticae, Vol. 122(1-2). Pp. 31-58, Polskie Towarzystwo Matematyczne. 2013. [URL]
[hal-00768224:1]
Benoît Crabbé, Denys Duchier, Claire Gardent, Joseph Le Roux & Yannick Parmentier, XMG : eXtensible MetaGrammar, Computational Linguistics, Vol. 39(3). Pp. 591-629, Massachusetts Institute of Technology Press (MIT Press). 09. 2013. [URL]
[hal-00869977:1]
Christophe Crespelle & Ioan Todinca, An O(n 2)-time algorithm for the minimal interval completion problem, Theoretical Computer Science, Vol. 494. Pp. 75-85, Elsevier. 2013. [URL]
[hal-00785859:1]
Hiep-Thuan Do, Sébastien Limet & Emmanuel Melin, A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models, Concurrency and Computation: Practice and Experience, Vol. 25(10). Pp. 1394-1409, Wiley. 2013. [URL]
[hal-01084652:1]
Matthieu Dreher, Marc Piuzzi, Ahmed Turki, Matthieu Chavent, Marc Baaden, Nicolas Férey, Sébastien Limet, Bruno Raffin & Sophie Robert, Interactive Molecular Dynamics: Scaling up to Large Systems, Procedia Computer Science, 2013 International Conference on Computational Science, Vol. 18. Pp. 20-29, Elsevier. 2013. [URL]
[hal-00934301:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On minimum $(Ktextbackslashq,k)$ stable graphs, Discussiones Mathematicae Graph Theory, Vol. 33(1). Pp. 101-115, University of Zielona Góra. 2013. [URL]
[hal-00144319:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On Compatible Normal Odd Partitions in Cubic Graphs, Journal of Graph Theory, Vol. 72(4). Pp. 410-461, Wiley. 2013. [URL]
[hal-00325253:6]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On parsimonious edge-colouring of graphs with maximum degree three, Graphs and Combinatorics, Vol. 29(3). Pp. 475-487, Springer Verlag. 2013. [URL]
[hal-01367903:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On parsimonious edge-colouring of graphs with maximum degree three, Graphs and Combinatorics, Vol. 29(3). Pp. 475-487, Springer Verlag. 2013. [URL]
[hal-00914603:1]
Eric Goles, Pedro Montealegre-Barba & Ioan Todinca, The complexity of the bootstraping percolation and other problems, Theoretical Computer Science, Vol. 504. Pp. 73-82, Elsevier. 2013. [URL]
[hal-00821612:1]
Sylvain Guillemot, Frédéric Havet, Christophe Paul & Anthony Perez, On the (non-)existence of polynomial kernels for $Pl$-free edge modification problems, Algorithmica, Vol. 65(4). Pp. 900-926, Springer Verlag. 2013. [URL]
[hal-00942917:1]
Konstanty Junosza-Szaniawski, Jan Kratochvil, Mathieu Liedloff, Peter Rossmanith & Pawel Rzazewski, Fast exact algorithm for L(2,1)-labeling of graphs, Theoretical Computer Science, Vol. 505. Pp. 42-54, Elsevier. 2013. [URL]
[hal-00942922:1]
Konstanty Junosza-Szaniawski, Jan Kratochvil, Mathieu Liedloff & Pawel Rzazewski, Determining the L(2, 1)-span in polynomial space, Discrete Applied Mathematics, Vol. 161(13-14). Pp. 2052-2061, Elsevier. 2013. [URL]
[hal-00942913:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, On an extension of the Sort & Search method with application to scheduling theory, Theoretical Computer Science, Vol. 511. Pp. 13-22, Elsevier. 2013. [URL]
[hal-00912453:1]
Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet, Xiangrong Kong, Vivek Rathod & Daniel Cassard, QuantMiner for Mining Quantitative Association Rules, Journal of Machine Learning Research (JMLR), Vol. 14. Pp. 3153-3157. 2013. [URL]


Direction d'ouvrages scientifiques


[hal-00851402:1]
Proceedings of the ESSLLI 2013 Workshop: High-level Methodologies for Grammar Engineering (HMGE'13), Denys Duchier and Yannick Parmentier (Ed.). Pp. 131, LIFO. 08. 2013. [URL]
[hal-00851403:1]
7th International Workshop on Constraint Solving and Language Processing (CSLP'12). Selected and Revised Papers, Denys Duchier and Yannick Parmentier (Ed.), Lecture Notes in Computer Science. Pp. 179, Springer. 09. 2013. [URL]
[hal-00917853:1]
Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier - 01 février 2013, Toulouse, France, Florence Sèdes Christel Vrain, André Péninou (Ed.), Revue des Nouvelles Technologies de l'Information, RNTI-E-24. Pp. 470, Revue des Nouvelles Technologies de l'Information RNTI-E-24, Hermann-Editions. 2013. [URL]
[hal-00933619:1]
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Special Issue BSB 2012, Marcilio De Souto and M. Kann (Ed.). Pp. 40, IEEE CS, CI, and EMB Societies & the ACM. 07. 2013. [URL]
[hal-00933933:1]
Future Generation Comp. Syst. 29(3) special issue on Recent developments in high performance computing and security, Waleed Smari and Luca Spalazzi and Yacine Zemali (Ed.). Pp. 120, ELSEVIER. 2013. [URL]
[hal-00989258:1]
Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11), Jérôme Durand-Lose (Ed.). Pp. 1-201, Old City Publishing. 2013. [URL]


Chapitres d'ouvrages scientifiques


[hal-00840731:1]
Z. Afoulki, Aline Bousquet, Jérémy Briffaut, Laurent Clévy, Jonathan Rouzaud-Cornabas, Christian Toinard & Benjamin Venelle, PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage, in RNTI SM2. Ingénierie des protocoles et Nouvelles technologies de la répartition, Francine Krief and Jean-Marc Pierson and Philippe Roose (Ed.), RNTI. 2013. [URL]
[hal-00823325:1]
Muath Alrammal & Gaétan Hains, A Research Survey on Large XML Data: Streaming, Selectivity Estimation and Parallelism, in Inter-cooperative Collective Intelligence: Techniques and Applications, F. Xhafa and N. Bessis (Ed.), Springer. 05. 2013. [URL]
[hal-00677340:1]
Jérémy Briffaut, Patrice Clemente, Jean-François Lalande & Jonathan Rouzaud-Cornabas, Honeypot forensics for system and network SIEM design, in Advances in Security Information Management: Perceptions and Outcomes, Guillermo Suárez de Tangil and Esther Palomar (Ed.), Computer Science, Technology and Applications, Computer Networks. Pp. 181-216, Nova Science Publishers. 01. 2013. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-00990852:2]
Joeffrey Legaux, Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles, Thèse de Doctorat. Université d'Orléans. 12. 2013. [URL]
[tel-00870600:2]
Maxime Senot, Modèle géométrique de calcul : fractales et barrières de complexité, Thèse de Doctorat. Université d'Orléans. 06. 2013. [URL]


Conférence donnée sur invitation


[hal-00807227:1]
Jérôme Durand-Lose, Irrationality is needed to compute with signal machines with only three speeds, in 9th Conference on Computability in Europe 2013. Milan, Italy, Vol. 7921. Pp. 108-119, SPRINGER. 07. 2013. [URL]


Communications avec actes dans un congrès international


[hal-00771002:1]
Joshua Amavi & Mirian Halfeld Ferrari, Filtering XFD Toward Interoperability (short paper), in 28th Symposium On Applied Computing, SAC 2013. Coimbra, Portugal, ACM. 03. 2013. [URL]
[hal-00875098:1]
Ghada Arfaoui, Sébastien Gambs, Patrick Lacharme, Jean-François Lalande, Lescuyer Roch & Jean-Claude Paillès, A Privacy-Preserving Contactless Transport Service for NFC Smartphones, in Fifth International Conference on Mobile Computing, Applications and Services, Gérard Memmi and Ulf Blanke (Ed.). Paris, France, LNICST, Vol. 130. Pp. 282-285, Springer. 11. 2013. [URL]
[hal-00840735:1]
Mathieu Blanc, Damien Gros, Jérémy Briffaut & Christian Toinard, Mandatory access control with a multi-level reference monitor: PIGA-cluster, in ACM CLHS '13 Proceedings of the first workshop on Changing landscapes in HPC security. New-York, United States. Pp. 1-8, ACM. 06. 2013. [URL]
[hal-00840736:1]
Mathieu Blanc, Damien Gros, Jérémy Briffaut & Christian Toinard, PIGA-Cluster: a distributed architecture integrating a shared and resilient reference monitor to enforce mandatory access control in the HPC environment, in SHPCS - 8th International Workshop on Security and High Performance Computing Systems - 2013. Helsinki, Finland. 07. 2013. [URL]
[hal-00808871:1]
Yohan Boichut, Jacques Chabin & Pierre Rety, Over-approximating Descendants by Synchronized Tree Languages, in International Conference on Rewriting Techniques and Applications, Rewriting Techniques and Applications. Eindhoven, Netherlands. Pp. xx. 06. 2013. [URL]
[hal-00840732:1]
Aline Bousquet, Jérémy Briffaut, Laurent Clévy, Christian Toinard & Benjamin Venelle, Mandatory Access Control for the Android Dalvik Virtual Machine, in 2013 - USENIX Federated Conferences, ESOS: Workshop on Embedded Self-Organizing Systems. San Jose, United States. 06. 2013. [URL]
[hal-00932401:1]
Eddy Caron, Le Anh Dung, Arnaud Lefray & Christian Toinard, Definition of security metrics for the Cloud Computing and security-aware virtual machine placement algorithms, in International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC 2013). Beijing, China. Pp. 125-131, IEEE Computer Society. 10. 2013. [URL]
[hal-00848454:1]
Mathieu Chapelle, Manfred Cochefert, Jean-François Couturier, Dieter Kratsch, Mathieu Liedloff & Anthony Perez, Exact Algorithms for Weak Roman Domination, in IWOCA 2013, Proceedings of the International Workshop on Combinatorial Algorithms. Rouen, France, Combinatorial Algorithms, Vol. 8288. Pp. 81-93, Springer. 07. 2013. [URL]
[hal-00848369:1]
Mathieu Chapelle, Mathieu Liedloff, Ioan Todinca & Yngve Villanger, Treewidth and Pathwidth Parameterized by the Vertex Cover Number, in WADS 2013, Algorithms and Data Structures, Jörg-Rüdiger Sack Frank Dehne, Roberto Solis-Oba (Ed.). London, Ontario, Canada, Vol. 8037. Pp. 232-243, Springer. 08. 2013. [URL]
[hal-00845891:1]
Hélène Coullon & Sébastien Limet, Algorithmic skeleton library for scientific simulations : SkelGIS, in HPCS 2013, Proceedings of the 2013 International Conference on High Performance Computing & Simulation (HPCS 2013), IEEE (Ed.). Helsinki, Finland. Pp. 429. 07. 2013. [URL]
[hal-00832660:1]
Hélène Coullon, Sébastien Limet & Hoang Le Minh, Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS, in ICCS, Proceedings of the International Conference on Computational Science, ICCS 2013, Barcelona, Spain, 5-7 June, 2013, Elsevier (Ed.). Barcelone, Spain, Procedia Computer Science, Vol. 18. Pp. 591-600, Elsevier. 06. 2013. [URL]
[hal-00861101:1]
Umberto Da Costa, Mirian Halfeld Ferrari, Martin Musicante & Sophie Robert, Automatic Refinement of Service Compositions, in ICWE, Florian Daniel and Peter Dolog and Qing Li (Ed.). Aalborg, Denmark, Lecture Notes in Computer Science, Vol. 7977. Pp. 400-407, Springer. 07. 2013. [URL]
[hal-00864820:1]
Frederic Dabrowski, Frédéric Loulergue & Thomas Pinsard, Nested Atomic Sections with Thread Escape: An Operational Semantics, in International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), IEEE Computer Society (Ed.). Taipei, Taiwan, Province Of China. 2013. [URL]
[hal-00840374:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, A Declarative Framework for Constrained Clustering, in European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases ECML/PKDD, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD 2013). Prague, Czech Republic. 09. 2013. [URL]
[hal-00870533:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion, in IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - 2013. Washington DC, United States. 11. 2013. [URL]
[hal-00809024:1]
Matthieu Dreher, Marc Piuzzi, Turki Ahmed, Chavent Matthieu, Marc Baaden, Nicolas Férey, Sébastien Limet, Bruno Raffin & Sophie Robert, Interactive Molecular Dynamics: Scaling up to Large Systems, in International Conference on Computational Science, ICCS 2013. Barcelone, Spain, Elsevier. 06. 2013. [URL]
[hal-00942668:1]
Nicolas Dugué & Anthony Perez, Detecting Social Capitalists on Twitter Using Similarity Measures, in Complex Networks IV, Vol. 476. Pp. 1-12. 2013. [URL]
[hal-00916092:1]
Matthieu Exbrayat & Van Hoan Mai, Time Series Symbolization and Search for Frequent Patterns, in 4th International Symposium on Information and Communication Technology - SoICT 2013. Da Nang, Viet Nam, ACM ICPS. Pp. ISBN:978-1-4503-2454-0. 12. 2013. [URL]
[hal-00920768:1]
Asma Guesmi & Patrice Clemente, Access Control and Security Properties Requirements Specification for Clouds' SecLAs, in CloudCom 2013, 5th IEEE International Conference on Cloud Computing Technology and Science. Bristol, United Kingdom. Pp. 723-729. 12. 2013. [URL]
[hal-00857896:1]
Jean-François Lalande & Steffen Wendzel, Hiding privacy leaks in Android applications using low-attention raising covert channels, in ECTCM 2013, First International Workshop on Emerging Cyberthreats and Countermeasures. Regensburg, Germany. Pp. 701-710, IEEE Computer Society. 09. 2013. [URL]
[hal-00822992:1]
Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki & Julien Tesson, Programming with BSP Homomorphisms, in Euro-Par. Aachen, Germany, Vol. 8097. Pp. 446-457, Springer. 2013. [URL]
[hal-00822990:1]
Joeffrey Legaux, Frédéric Loulergue & Sylvain Jubertie, OSL: an algorithmic skeleton library with exceptions, in International Conference on Computational Science. Helsinki, Finland. Pp. 269-269, Elsevier. 2013. [URL]
[hal-00822991:1]
Joeffrey Legaux, Frédéric Loulergue & Sylvain Jubertie, Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library, in International Conference on High Performance Computing and Simulation (HPCS). Barcelona, Spain, HPCS, IEEE. 2013. [URL]
[hal-01361405:1]
Timm Lichte, Alexander Diez & Simon Petitjean, Coupling Trees and Frames through XMG, in ESSLLI 2013 Workshop on High-level Methodologies for Grammar Engineering (HMGE 2013). Düsseldorf, Germany. 08. 2013. [URL]
[hal-00864818:1]
Frédéric Loulergue, Virginia Niculescu & Simon Robillard, Powerlists in Coq: Programming and Reasoning, in First International Symposium on Computing and Networking (CANDAR). Fukuoka, Japan, CANDAR, IEEE. 2013. [URL]
[hal-00931263:1]
Jose G Moreno, Gaël Dias & Guillaume Cleuziou, Post-Retrieval Clustering Using Third-Order Similarity Measures, in Annual Meeting of the Association for Computational Linguistics (ACL 2013). Sofia, Bulgaria, Vol. 2. Pp. 153-158. 08. 2013. [URL]
[hal-00942633:1]
Anthony Perez, Linear vertex-kernels for several dense Ranking r-Constraint Satisfaction Problems, in Theory and Applications of Models of Computation (TAMC), Theory and Applications of Models of Computation, Vol. 7876. Pp. 306-318, springer. 05. 2013. [URL]
[hal-00813201:1]
Jacques-Henri Sublemontier, Unsupervised collaborative boosting of clustering: an unifying framework for multi-view clustering, multiple consensus clusterings and alternative clustering, in International Joint Conference on Neural Networks (IJCNN 2013). Dallas, United States. 08. 2013. [URL]
[hal-00814650:1]
Jacques-Henri Sublemontier, Multiplicity within clustering: challenges and unifications, in International Federation of Classification Societies (IFCS). Tilburg, Netherlands. 07. 2013. [URL]
[hal-00840729:1]
Benjamin Venelle, Jérémy Briffaut, Laurent Clévy & C. Toinard, Security Enhanced Java: Mandatory Access Control for the Java Virtual Machine, in ISORC - 6h IEEE International Symposium on Object, Component, and Service-Oriented Real-Time Distributed Computing - 2013. Paderborn, Germany. 06. 2013. [URL]


Communications avec actes dans un congrès national


[hal-00979700:1]
Abderrahim Ait Wakrime, Sébastien Limet & Sophie Robert, Modélisation des applications de visualisation scientifique interactives, in CAL 2013, Actes de la conférence francophone sur les architectures logicielles. Toulouse, France. Pp. 1. 05. 2013. [URL]
[hal-00861102:1]
Joshua Amavi & Mirian Halfeld Ferrari, Maximal Set of XML Functional Dependencies over Multiple Systems, in BDA. Nantes, France. 10. 2013. [URL]
[hal-00807631:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, Une approche en programmation par contraintes pour la classification non supervisée, in Extraction et gestion des connaissances (EGC'2013), Florence Sèdes Christel Vrain, André Péninou (Ed.). Toulouse, France. Pp. 55-66, Hermann. 01. 2013. [URL]
[hal-00840376:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain, Un modèle général pour la classification non supervisée sous contraintes d'utilisateur, in Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013). Aix-en-Provence, France. 06. 2013. [URL]
[hal-00859779:1]
Nicolas Dugué, Vincent Labatut & Anthony Perez, Rôle communautaire des capitalistes sociaux dans Twitter, in 4ème Conférence sur les modèles et l'analyse de réseaux : approches mathématiques et informatiques (MARAMI). Saint-Étienne, France. Pp. 12. 10. 2013. [URL]
[hal-00807822:1]
Nicolas Dugué & Anthony Perez, Les capitalistes sociaux sur Twitter : détection via des mesures de similarité, in EGC 2013, Extraction et gestion des connaissances. Toulouse, France. Pp. 329-334. 01. 2013. [URL]
[hal-00777359:1]
Jacques-Henri Sublemontier, Une plateforme collaborative pour la recherche de consensus ou d'alternatives en classification non-supervisée, in 13e Conférence Francophone sur l'Extraction et la Gestion des Connaissances, Actes des ateliers. Toulouse, France. 01. 2013. [URL]
[hal-00777365:1]
Jacques-Henri Sublemontier, Intégration de connaissances pour l'aide à la décision en classification non supervisée, in ROADEF 2013. Troyes, France. 02. 2013. [URL]


Communications affichées avec actes


[hal-00840734:1]
Arnaud Lefray, Eddy Caron, Jonathan Rouzaud-Cornabas, Zhang Huaxi Yulin, Aline Bousquet, Jérémy Briffaut & Christian Toinard, Security-Aware Models for Clouds, in 22th IEEE International Symposium on High Performance Distributed Computing. New York, United States. 06. 2013. [URL]


Communications sans actes


[hal-00840730:1]
Stéphane Betge-Brezetz, Aline Bousquet, Jérémy Briffaut, Eddy Caron, Laurent Clévy, Marie-Pascale Dupont, Guy-Bertrand Kamga, Jean-Marc Lambert, Arnaud Lefray, Bertrand Marquet, Jonathan Rouzaud-Cornabas, Lamiel Toch, Christian Toinard & Benjamin Venelle, Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures, in The Future Internet - Future Internet Assembly 2013, Alex Galis and Anastasius Gavras (Ed.). Dublin, Ireland, LNCS - Lecture Notes in Computer Science, Vol. 7858. Pp. 153-158, Springer. 2013. [URL]
[hal-00832674:1]
Hélène Coullon, Sébastien Limet & Hoang Le Minh, Performances de la Librairie de Squelettes Algorithmiques SkelGIS, in ComPAS 2013. Grenoble, France. 01. 2013. [URL]
[hal-00943038:1]
Jean-François Couturier & Mathieu Liedloff, A tight bound on the number of minimal dominating sets in split graph, in CTW 2013. Pp. pp. 67-70. 2013. [URL]
[hal-00809143:1]
Jérôme Durand-Lose, Irrationality is needed to compute with signal machines with only three speeds, in FRAC d'hiver 2013. Montpellier, France. 02. 2013. [URL]
[hal-00796288:1]
Jean-François Lalande & Steffen Wendzel, Attacking Smartphone Privacy Using Local Covert Channels, in Fourth International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE'2013). Paris, France. 03. 2013. [URL]
[hal-00840840:1]
Jacques-Henri Sublemontier, Boosting collaboratif de classifieurs non supervisés : une plateforme unificatrice pour le clustering multi-vues, le consensus de clusterings multiple et la recherche de clusterings alternatifs, in Journées communes aux Groupes de Travail EGC et AFIHM - Fouille et Visualisation de Données Massives - Big Data Mining and Visualization. Paris, France. 06. 2013. [URL]
[hal-00943035:1]
Vincent T'Kindt, Christophe Lenté & Mathieu Liedloff, A Study of worst-case complexity for parallel machine scheduling problems based on an extension of the Sort & Search method, in Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2013). 2013. [URL]


Autres Publications


[hal-00515882:1]
Mathieu Chapelle, Domination-like problems parameterized by tree-width. . [URL]
[hal-00865575:2]
Pascal Berthomé, Tom Bouvier, Frédéric Mazoit, Nicolas Nisse & Ronan Pardo Soares, An Unified FPT Algorithm for Width of Partition Functions. 09. 2013. [URL]
[hal-00916882:1]
Arnaud Lefray, Jonathan Rouzaud-Cornabas, Jérémy Briffaut & Christian Toinard, Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic. Pp. 30. 12. 2013. [URL]
[hal-00823360:1]
Sayanta Mallick, Gaétan Hains & Cheikh Sadibou Deme, An Alert Prediction Model for Cloud Infrastructure Monitoring. 01. 2013. [URL]



2017/10/28 généré via HALLO + JabRef.