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
Revue internationale à comité de lecture
[hal-00691844:1]
Mathieu Blanc & Jean-Francois Lalande,
Improving Mandatory Access Control for HPC clusters, Future Generation Computer Systems, Vol. 29(3). Pp. 876-885. 03. 2013.
[URL]
[hal-00781035:1]
Céline Brouard, Julie Dubois-Chevalier, Christel Vrain, 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. 06. 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, Vol. 7980(IX), Springer. 05. 2013.
[URL]
[hal-00768224:1]
Benoit Crabbé, Denys Duchier, Claire Gardent, Joseph Le Roux & Yannick Parmentier,
XMG : eXtensible MetaGrammar, Computational Linguistics, Vol. 39(3). Pp. 591-629. 09. 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. 2013.
[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. Pp. 1-19. 02. 2013.
[URL]
[hal-00785125:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda,
On Minimum (Kq,k) Stable Graphs, Discussionnes Mathematicae Graph Theory, Vol. 33(1). Pp. 101-115. 02. 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. 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. 2013.
[URL]
[hal-00821612:1]
Sylvain Guillemot, Frederic 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. 2013.
[URL]
Direction d'ouvrages scientifiques
[hal-00851402:1]
Denys Duchier & Yannick Parmentier,
Proceedings of the ESSLLI 2013 Workshop: High-level Methodologies for Grammar Engineering (HMGE'13). Pp. 131, LIFO. 08. 2013.
[URL]
[hal-00851403:1]
Denys Duchier & Yannick Parmentier,
7th International Workshop on Constraint Solving and Language Processing (CSLP'12). Selected and Revised Papers. Pp. 187, Springer. 09. 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, 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, Springer. 05. 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: Validated Results and New Horizons, Vol. 7858, Lecture Notes in Computer Science. 05. 2013.
[URL]
[hal-00677340:1]
Jérémy Briffaut, Patrice Clemente, Jean-Francois Lalande & Jonathan Rouzaud-Cornabas,
Honeypot forensics for system and network SIEM design, in Advances in Security Information Management: Perceptions and Outcomes. Pp. 181-216, Nova Science Publishers. 01. 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. Milano, Italy(7921). Pp. 108-119, SPRINGER. 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. 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. 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-00848454:1]
Mathieu Chapelle, Manfred Cochefert, Jean-Francois 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, Vol. to appear. Pp. 1-12. 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. London, Ontario, Canada, Vol. 8037. Pp. 232-243, Springer. 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). 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. Barcelone, Spain, Vol. 18. Pp. 591-600, Elsevier. 06. 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-00809024:1]
Matthieu Dreher, Piuzzi Marc, 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-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-00857896:1]
Jean-Francois 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, 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, 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, IEEE. 2013.
[URL]
[hal-00861101:1]
Umberto Souza, Mirian Halfeld Ferrari, Martin Musicante & Sophie Robert,
Automatic Refinement of Service Compositions, in ICWE. Aalborg, Denmark, Vol. 7977. Pp. 400-407, Springer. 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-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). Toulouse, France. Pp. 55-66, Hermann-Éditions. 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. Saint-Étienne, France. Pp. 12. 10. 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 sans actes
[hal-00832674:1]
Hélène Coullon, Sébastien Limet & Hoang Le Minh,
Performances de la Librairie de Squelettes Algorithmiques SkelGIS, ComPAS 2013. Grenoble, France. 01. 2013.
[URL]
[hal-00809143:1]
Jérôme Durand-Lose,
Irrationality is needed to compute with signal machines with only three speeds, FRAC d'hiver 2013. Montpellier, France. 02. 2013.
[URL]
[hal-00796288:1]
Jean-Francois Lalande & Steffen Wendzel,
Attacking Smartphone Privacy Using Local Covert Channels, 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, 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]
Autres Publications
[hal-00515882:1]
Mathieu Chapelle,
Domination-like problems parameterized by tree-width. .
[URL]
[hal-00854841:1]
Siva Anantharaman, Christopher Bouchard, Paliath Narendran & Michaël Rusinowitch,
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. 08. 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. 07. 2013.
[URL]
[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, ACM Symposium on High-Performance Parallel and Distributed Computing. 06. 2013.
[URL]
[hal-00823360:1]
Sayanta Mallick, Gaétan Hains & Cheikh Sadibou Deme,
An Alert Prediction Model for Cloud Infrastructure Monitoring. 01. 2013.
[URL]
2013/09/14 généré via HALLO + JabRef.