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 2013

 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 99 29
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 2018 2019 2020 2021 2022 2023 2024


International Refereed Journals


[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]
Celine 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. 09. 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: Proceedings, Vol. 43. Pp. 59-79, EDP Sciences. 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-02332232:1]
Jean-François Couturier, Pinar Heggernes, Pim van textquoterightt Hof & Dieter Kratsch, Minimal dominating sets in graph classes: Combinatorial bounds and enumeration, Theoretical Computer Science, Vol. 487. Pp. 82-94, Elsevier. 05. 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, Vol. 14. Pp. 3153-3157, Microtome Publishing. 2013. [URL]


Books


[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-00917853:1]
Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier - 01 février 2013, Toulouse, France, Christel Vrain and André Péninou and Florence Sèdes (Ed.), Revue des Nouvelles Technologies de l'Information, RNTI-E-24. Pp. 470 p., Hermann Editions. 2013. [URL]


Book Chapters


[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.). Pp. 59-78, 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]
[hal-02332225:1]
Manfred Cochefert, Jean-François Couturier, Petr A. Golovach, Dieter Kratsch & Daniël Paulusma, Sparse Square Roots, in Graph-Theoretic Concepts in Computer Science. Pp. 177-188. 2013. [URL]
[hal-00851403:1]
Denys Duchier & Yannick Parmentier, 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-00989258:1]
Jérôme Durand-Lose, Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11). Pp. 1-201, Old City Publishing. 2013. [URL]
[hal-01957722:1]
Petr Kurka & Martin Delacourt, The Unary Arithmetical Algorithm in Bimodular Number Systems, in 2013 IEEE 21st Symposium on Computer Arithmetic. 2013. [URL]
[hal-00933933:1]
Waleed Smari, Luca Spalazzi & Yacine Zemali, Future Generation Comp. Syst. 29(3) special issue on Recent developments in high performance computing and security. Pp. 120, ELSEVIER. 2013. [URL]
[hal-00933619:1]
Marcilio de Souto & M. Kann, IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Special Issue BSB 2012. Pp. 40, IEEE CS, CI, and EMB Societies & the ACM. 07. 2013. [URL]


Thesis


[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]


Invited Papers


[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]


International Conference or Workshop with Proceedings


[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, Memmi and Gérard and Blanke and Ulf (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-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-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-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-03226333:1]
Asma Guesmi & Patrice Clemente, Access Control and Security Properties Requirements Specification for Clouds' SecLAs, in CloudCom 2013. 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]
José 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. Hong Kong, Hong Kong, 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]


National Conference or Workshop with Proceedings


[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, Editions RNTI. 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]


Poster sessions


[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]


Unrefereed publications at Conferences or Workshops


[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]
[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]


Other 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-00785380:1]
Michael François & David Defour, A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps. 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]


Software


[hal-02178682:1]
SocCap - Detection and Characterization of Social Capitalists, Nicolas Dugué and Vincent Labatut and Anthony Perez (Ed.). 2013. [URL]



2024/10/04 generated via HALLO + JabRef.