- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
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
[inria-00618336:1]
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran & Michael Rusinowitch, Unification modulo Homomorphic Encryption, Journal of Automated Reasoning, Vol. 48(2). Pp. 135-158, Springer Verlag. 2012. [URL]
[hal-00659009:1]
Siva Anantharaman, Paliath Narendran & Michael Rusinowitch, String rewriting and security analysis: an extension of a result of Book and Otto, Journal of Automata, Languages and Combinatorics, Vol. 16(2-4). Pp. 83-98. 2012. [URL]
[hal-00843434:1]
Pierrick Bedouch, Alexandre Tessier, Magalie Baudrant, José Labarere, Luc Foroni, Jean Calop, Jean-Luc Bosson & Benoit Allenet, Computerized physician order entry system combined with on-ward pharmacist: analysis of pharmacists' interventions., Journal of Evaluation in Clinical Practice, Vol. 18(4). Pp. 911-8. 08. 2012. [URL]
[hal-00777929:1]
Guillaume Cleuziou, Osom: A method for building overlapping topological maps, Pattern Recognition Letters(34). Pp. 239-246. 11. 2012. [URL]
[hal-00688138:2]
Jean-Michel Couvreur, Denis Poitrenaud & Pascal Weil, Branching processes of general Petri nets, Fundamenta Informaticae, Vol. 120. Pp. 1-28. 2012. [URL]
[hal-00511224:1]
Jérôme Durand-Lose, Abstract geometrical computation 6: a reversible, conservative and rational based model for black hole computation, International Journal of Unconventional Computing, Vol. 8(1). Pp. 33-46. 2012. [URL]
[hal-00691466:1]
Jérôme Durand-Lose, Abstract geometrical computation 7: Geometrical accumulations and computably enumerable real numbers, Natural Computing, Vol. 11(4). Pp. 609-622. 2012. [URL]
[inria-00516060:1]
Jean-Luc Fouquet & Henri Thuillier, On removable edges in 3-connected cubic graphs, Discrete Mathematics. Pp. 9, Elsevier. 2012. [URL]
[hal-00586145:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On $(Kq,k)$ vertex stable with minimum size, Discrete Mathematics, Vol. 312(14). Pp. 2109:2118. 2012. [URL]
[hal-00536312:1]
Serge Gaspers, Dieter Kratsch & Mathieu Liedloff, On Independent Sets and Bicliques in Graphs, Algorithmica, Vol. 62(3-4). Pp. 637-658. 2012. [URL]
[hal-00735557:1]
Alexander Grigoriev, Bert Marchal, Natalya Usotskaya & Ioan Todinca, A note on planar graphs with large width parameters and small grid-minors, Discrete Applied Mathematics, Vol. 160(7-8). Pp. 1262-1269. 2012. [URL]
[hal-00738287:1]
Mirian Halfeld Ferrari, Béatrice Bouchou & Maria Adriana Lima, A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates, T. Large-Scale Data- and Knowledge-Centered Systems, Vol. 6. Pp. 167-197. 2012. [URL]
[hal-00823216:1]
Jarkko Kari & Bastien Le Gloannec, Modified Traffic Cellular Automaton for the Density Classification Task, Fundamenta Informaticae, Vol. 116(1-4). 2012. [URL]
[hal-00832621:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes, REVUE DES NOUVELLES TECHNOLOGIES DE L'INFORMATION, Vol. RNTI-L-6. Pp. 49-72. 2012. [URL]
[hal-00734752:1]
Denys Duchier & Yannick Parmentier, Proceedings of the Seventh International Workshop on Constraint Solving and Language Processing (CSLP'12). Pp. 120, LIFO. 09. 2012. [URL]
[hal-00735493:1]
Jérôme Durand-Lose & Nataša Jonoska, Unconventional Computation and Natural Computation (UCNC '12). Pp. 249, Springer. 09. 2012. [URL]
[hal-00806285:1]
Jérôme Durand-Lose, Maurice Margenstern & Klaus Sutner, Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems. Pp. 1419-1522, World Scientific Publishing. 2012. [URL]
[hal-00766721:1]
Patrice Clemente, Bangaly Kaba, Jonathan Rouzaud-Cornabas, Marc Alexandre & Guillaume Aujay, SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs, in Active Media Technology. Pp. 596-605, Springer Berlin Heidelberg. 2012. [URL]
[hal-00461197:1]
Jérôme Durand-Lose & Andrew Adamatzky, Collision Computing, in Handbook of Natural Computing, Section VII: Broader Perspective --- Alternative Models of Computation. Pp. 1949-1978, Springer. 2012. [URL]
[hal-00595035:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal, Interactive and progressive constraint definition for dimensionality reduction and visualization, in Advances in Knowledge Discovery and Management Vol. 2 (AKDM-2). Pp. 121-136, Springer. 03. 2012. [URL]
[hal-00749277:1]
Khalil Djelloul, Contributions à la résolution de contraintes du premier ordre, Habilitation à Diriger des Recherches. Université d'Orléans. 09. 2012. [URL]
[tel-00771273:4]
Xavier Kauffmann-Tourkestansky, Analyses sécuritaires de code de carte à puce sous attaques physiques simulées, Thèse de Doctorat. Université d'Orléans. 11. 2012. [URL]
[tel-00801555:2]
Jacques-Henri Sublemontier, Classification non supervisée : de la multiplicité des données à la multiplicité des analyses, Thèse de Doctorat. Université d'Orléans. 12. 2012. [URL]
[tel-00736633:2]
Ahmed Turki, Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques, Thèse de Doctorat. Université d'Orléans. 03. 2012. [URL]
[hal-00771480:1]
Sébastien Limet, High level languages for efficient parallel programming.. Madrid, Spain. Pp. 541-542, IEEE. 2012. [URL]
[hal-00766727:1]
Z. Afoulki, A. Bousquet, J. Briffaut, J. Rouzaud-Cornabas & C. Toinard, MAC protection of the OpenNebula Cloud environment, in High Performance Computing and Simulation (HPCS), 2012 International Conference on. Madrid, Spain. Pp. 85 -90. 2012. [URL]
[hal-00659027:1]
Siva Anantharaman, Christopher Bouchard, Paliath Narendran & Michaël Rusinowitch, Unification modulo Chaining, in The 6th International Conference on Language and Automata Theory and Applications, Proceedings of the 6th International Conference on Language and Automata Theory and Applications - LATA 2012 Language and Automata Theory and Applications. A Coruna, Spain, Vol. 7183, Springer, Berlin - Heidelberg. 03. 2012. [URL]
[hal-00684185:1]
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran & Michael Rusinowitch, Unification modulo Synchronous Distributivity, in IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning), Lecture Notes in Artificial Intelligence. Manchester, United Kingdom, Vol. 7364. Pp. 14-29, Springer-Verlag, Berlin, Heidelberg. 06. 2012. [URL]
[hal-00704200:1]
Florent Becker, Adrian Kosowski, Nicolas Nisse, Ivan Rapaport & Karol Suchan, Allowing Each Node to Communicate Only Once in a Distributed System: Shared Whiteboard Models, in Symposium on Parallelism in Algorithms and Architectures, ACM. Pp. 7. 2012. [URL]
[hal-00770935:1]
Pascal Berthomé, Jérémy Briffaut & Pierre Clairet, Compacting Security Signatures for PIGA IDS, in SECURWARE-2012, The Sixth International Conference on Emerging Security Information, Systems and Technologies. Rome, Italy. Pp. 126-133. 08. 2012. [URL]
[hal-00721407:1]
Pascal Berthomé, Thomas Fécherolle, Nicolas Guilloteau & Jean-Francois Lalande, Repackaging Android applications for auditing access to private data, in IWSMA 2012, First International Workshop on Security of Mobile Applications. Prague, Czech Republic. Pp. 388-396, IEEE Computer Society. 08. 2012. [URL]
[hal-00721111:1]
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky & Jean-Francois Lalande, High level model of control flow attacks for smart card functional security, in AReS 2012, 7th International Conference on Availability, Reliability and Security. Prague, Czech Republic. Pp. 224-229, IEEE Computer Society. 08. 2012. [URL]
[hal-00671770:1]
Mathieu Blanc, Jérémy Briffaut, Christian Toinard & Damien Gros, Advanced MAC in HPC systems: performance improvement, in CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. Ottawa, Canada. 05. 2012. [URL]
[hal-00780287:1]
Mathieu Blanc, Damien Gros, Jérémy Briffaut & Christian Toinard, PIGA-Windows : contrôle des flux d'information avancés sur les systèmes d'exploitation Windows 7, in 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012). Villeneuve d'Ascq, France. 10. 2012. [URL]
[hal-00759149:1]
Yohan Boichut, Benoit Boyer, Thomas Genet & Axel Legay, Equational Abstraction Refinement for Certified Tree Regular Model Checking, in ICFEM, LNCS. Kyoto, Japan(7635). Pp. 299-315, Springer-Verlag. 2012. [URL]
[hal-00708822:1]
Wadoud Bousdira, Frédéric Loulergue & Julien Tesson, A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays, in ICA3PP. Fukuoka, Japan, Springer. 2012. [URL]
[hal-00771333:1]
Jérémy Briffaut, Nicolas Grenèche, Quentin Narvor & Christian Toinard, FIELDS : Flow Intrusion Extrusion Largescale Detection System, in The Sixth International Conference on Emerging Security Information, Systems and Technologies. Rome, Italy. 2012. [URL]
[hal-00780205:1]
Pierre Clairet, Pascal Berthomé & Jérémy Briffaut, Compression de signatures pour PIGA IDS, in 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012). Villeneuve d'Ascq, France. 10. 2012. [URL]
[hal-00721415:1]
Patrice Clemente, Jean-Francois Lalande & Jonathan Rouzaud-Cornabas, HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots, in SECRYPT 2012, International Conference on Security and Cryptography. Rome, Italy. Pp. 434-439. 07. 2012. [URL]
[hal-00739621:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, A Link-Based Method for Propositionalization, in ILP 2012. Dubrovnik, Croatia. 09. 2012. [URL]
[hal-00673603:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot, Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants., in Theory and Applications of Models of Computation (TAMC 2012), Proceedings of the 9th international conference on Theory and Applications of Models of Computation (TAMC 2012). Beijing, China, Vol. 7287. Pp. 435-447, Springer. 05. 2012. [URL]
[hal-00688643:1]
Denys Duchier, Brunelle Magnana Ekoukou, Yannick Parmentier, Simon Petitjean & Emmanuel Schang, Describing Morphologically-rich Languages using Metagrammars: a Look at Verbs in Ikota, in Workshop on ''Language technology for normalisation of less-resourced languages'', 8th SALTMIL Workshop on Minority Languages and the 4th workshop on African Language Technology. Istanbul, Turkey. Pp. 55-60. 05. 2012. [URL]
[hal-00696562:1]
Denys Duchier, Yannick Parmentier & Simon Petitjean, Metagrammars as Logic Programs, in 7th International Conference on Logical Aspects of Computational Linguistics (LACL 2012, demo session). Nantes, France. Pp. 1-4. 07. 2012. [URL]
[hal-00809341:1]
Maxime Fonda, Stéphane Moinard & Christian Toinard, Advanced protection of workflow sessions with SEWebSession, in SBP'12, 1st Joint International Workshop on Security in Business Processes. Tallinn, Estonia, Vol. 132. Pp. 713-718, Springer Berlin Heidelberg. 09. 2012. [URL]
[hal-00721420:1]
Jean-Francois Lalande & David Rodriguez, Protecting resources in an open and trusted peer-to-peer network, in METHOD 2012, The 1st IEEE International Workshop on Methods for Establishing Trust with Open Data. Izmir, Turkey. Pp. 140-143, IEEE Computer Society. 07. 2012. [URL]
[hal-00661887:1]
Bastien Le Gloannec & Nicolas Ollinger, Substitutions and Strongly Deterministic Tilesets, in Computability in Europe (CiE), Proceedings of the 8th Conference on Computability in Europe (CiE 2012). Cambridge, United Kingdom, Vol. 7318, Springer. 2012. [URL]
[hal-00708824:1]
Joeffrey Legaux, Sylvain Jubertie & Frédéric Loulergue, Experiments in Parallel Matrix Multiplication on Multi-Core Systems, in ICA3PP. Fukuoka, Japan, Springer. 2012. [URL]
[hal-00657986:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Controlling an iteration-wise coherence in dataflow, in FACS, procedings of the 8th International Symposium on Formal Aspects of Component Software. Oslo, Norway. Pp. 1-15, Springer. 2012. [URL]
[hal-00708821:1]
Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov & Matthieu Lemerre, Towards Verified Cloud Computing Environments, in International Conference on High Performance Computing and Simulation (HPCS). Madrid, Spain, IEEE. 07. 2012. [URL]
[hal-00771309:1]
Simon Petitjean, Describing Music with MetaGrammars, in Constraint Solving and Language Processing 2012 (CSLP'12). Orléans, France. 09. 2012. [URL]
[hal-00755765:1]
Sébastien Regis, Andrei Doncescu, M. Takizawa & Guillaume Cleuziou, Initialization of masses by the Okm for the belief function theory: Application to system biology, in 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Proceedings - 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012. Fukuoka, Japan(185407). Pp. 1167-1171. 2012. [URL]
[hal-00701201:1]
Pierre Réty, Jacques Chabin & Joshua Amavi, Weak Inclusion for Recursive XML Types, in CIAA - 2012. Porto, Portugal, Vol. 7381. Pp. 78-89, Springer. 07. 2012. [URL]
[hal-00798833:1]
A. Spallicci, P. Ritter, S. Jubertie, S. Cordier & S. Aoudia, Towards a Self-consistent Orbital Evolution for EMRIs, in The 9th LISA Symposium, 9th Lisa Symposium. Paris, France, Vol. 467. Pp. 221, Astronomical Society of the Pacific. 2012. [URL]
[hal-00766720:1]
Z. Afoulki, A. Bousquet, J. Briffaut, J. Rouzaud-Cornabas & C. Toinard, PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage, in NOTERE CFIP 2012. Bayonne, France, France. 2012. [URL]
[lirmm-00752314:1]
Christian Bessiere, Remi Coletta, Frédéric Koriche, Arnaud Lallouet & Matthieu Lopez, Branch and Learn pour l'acquisition de CSP, in JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes. Toulouse, France. Pp. 64-73. 05. 2012. [URL]
[hal-00669705:1]
Davide Buscaldi, Guillaume Cleuziou, Gaël Dias & Vincent Levorato, Exploitation de l'asymétrie entre termes pour l'extraction automatique de taxonomies à partir de textes, in Extraction et Gestion des Connaissances (EGC'2012). Bordeaux, France. Pp. 345-356, Hermann. 2012. [URL]
[hal-00688646:1]
Denys Duchier, Thi-Bich-Hanh Dao & Yannick Parmentier, Analyse Syntaxique par Contraintes pour les Grammaires de Propriétés à Traits, in Huitièmes Journées Francophones de Programmation par Contraintes (JFPC 2012). Toulouse, France. Pp. 101-106. 05. 2012. [URL]
[hal-00695331:1]
Denys Duchier, Brunelle Magnana Ekoukou, Yannick Parmentier, Simon Petitjean & Emmanuel Schang, Décrire la morphologie des verbes en ikota au moyen d'une métagrammaire, in 19e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2012) - Atelier sur le traitement automatique des langues africaines (TALAf 2012). Grenoble, France. Pp. 97-106. 06. 2012. [URL]
[hal-00771337:1]
Damien Gros, Mathieu Blanc, Jérémy Briffaut & Christian Toinard, PIGA-Windows : contrôle des flux d'information avancés sur les systèmes d'exploitation Windows 7, in Majestic 2012. Lille, France. 10. 2012. [URL]
[hal-00755023:1]
Damien Gros, Christian Toinard & Jérémy Briffaut, Contrôle d'accès mandataire pour Windows 7, in SSTIC 2012. Rennes, France. Pp. 266-291. 06. 2012. [URL]
[hal-00724847:1]
Emmanuel Schang, Denys Duchier, Brunelle Magnana Ekoukou, Yannick Parmentier & Simon Petitjean, Describing São Tomense Using a Tree-Adjoining Meta-Grammar, in 11th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+11). Paris, France. Pp. 82-89. 09. 2012. [URL]
[hal-00777945:1]
Chiheb-Eddine Ben N'Cir, Guillaume Cleuziou & Nadia Essoussi, Identification of Overlapping Clusters with Small Overlaps, 3rd International Conference on the Extraction and Management of Knowledge - Maghreb (EGC-M). 2012. [URL]
[hal-00710492:1]
Pascal Berthomé & Jean-Francois Lalande, Comment ajouter de la privacy after design pour les applications Android ?, Atelier Protection de la Vie Privée. Ile de Groix, France. 06. 2012. [URL]
[hal-00833312:1]
Céline Brouard, Julie Dubois, Christel Vrain, David Castel, Marie-Anne Debily & Florence D'Alché-Buc, Markov Logic Network for supervised gene regulation inference: application to the ID2 regulatory network in human keratinocytes, International Workshop on Machine Learning in Systems Biology. Bâle, Switzerland. 09. 2012. [URL]
[hal-00777955:1]
Guillaume Cleuziou, Francisco De A. T. De Carvalho & Léo Rousseau, Extension de OKM à la norme L1 et comparaison de classifications recouvrantes, 19èmes rencontres de la Société Francophone de Classification. 2012. [URL]
[hal-00717536:1]
Guillaume Cleuziou & Léo ROUSSEAU, Okm : une librairie R pour la classification recouvrante, 1ères Rencontres R. Bordeaux, France. 07. 2012. [URL]
[hal-00832670:1]
Hélène Coullon & Sébastien Limet, Une librairie de squelettes algorithmiques par blocs sur structure de données 2D, CIEL 2012. Rennes, France. 06. 2012. [URL]
[hal-00691474:1]
Jérôme Durand-Lose, Signal machines: localization of isolated accumulation, Journées Calculabilités. Paris, France. 03. 2012. [URL]
[hal-00708817:1]
Frédéric Loulergue, On the Formal Verification of Computer Simulations, Models and Simulations 5. Helsinki, Finland. 06. 2012. [URL]
[hal-00721596:1]
Coralie Petermann, Vincent Levorato & Marc Bui, Classification unilatéralement-connexe prétopologique : une extension de la librairie PretopoLIB, 3ème séminaire de Veille Stratégique, Scientifique et Technologique (VSST'12). Ajaccio, France. 05. 2012. [URL]
[hal-00662507:1]
Gabriel Bergounioux, Emmanuel Schang, Denis Maurel, Agata Savary, Jérôme Durand-Lose & Yannick Parmentier, L'ordinateur et les langues, Covalences 82 (2012). Pp. 14-15. 01. 2012. [URL]
[hal-00663866:1]
Pascal Berthomé, Jean-Francois Lalande & Vincent Levorato, Implementation of exponential and parametrized algorithms in the AGAPE project. 01. 2012. [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. 08. 2012. [URL]
[hal-00502201:4]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Tools for parsimonious edge-colouring of graphs with maximum degree three, Internal report RR-2010-10, revised version. 01. 2012. [URL]
[hal-00694153:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Reed's Conjecture on hole expansions. 03. 2012. [URL]
[hal-00694158:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Reed's conjecture on some special classes of graphs. 04. 2012. [URL]
[hal-00759044:1]
Frederic Havet, Andrew King, Mathieu Liedloff & Ioan Todinca, (Circular) backbone colouring: tree backbones in planar graphs. 11. 2012. [URL]
Revue internationale à comité de lecture
[inria-00618336:1]
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran & Michael Rusinowitch, Unification modulo Homomorphic Encryption, Journal of Automated Reasoning, Vol. 48(2). Pp. 135-158, Springer Verlag. 2012. [URL]
[hal-00659009:1]
Siva Anantharaman, Paliath Narendran & Michael Rusinowitch, String rewriting and security analysis: an extension of a result of Book and Otto, Journal of Automata, Languages and Combinatorics, Vol. 16(2-4). Pp. 83-98. 2012. [URL]
[hal-00843434:1]
Pierrick Bedouch, Alexandre Tessier, Magalie Baudrant, José Labarere, Luc Foroni, Jean Calop, Jean-Luc Bosson & Benoit Allenet, Computerized physician order entry system combined with on-ward pharmacist: analysis of pharmacists' interventions., Journal of Evaluation in Clinical Practice, Vol. 18(4). Pp. 911-8. 08. 2012. [URL]
[hal-00777929:1]
Guillaume Cleuziou, Osom: A method for building overlapping topological maps, Pattern Recognition Letters(34). Pp. 239-246. 11. 2012. [URL]
[hal-00688138:2]
Jean-Michel Couvreur, Denis Poitrenaud & Pascal Weil, Branching processes of general Petri nets, Fundamenta Informaticae, Vol. 120. Pp. 1-28. 2012. [URL]
[hal-00511224:1]
Jérôme Durand-Lose, Abstract geometrical computation 6: a reversible, conservative and rational based model for black hole computation, International Journal of Unconventional Computing, Vol. 8(1). Pp. 33-46. 2012. [URL]
[hal-00691466:1]
Jérôme Durand-Lose, Abstract geometrical computation 7: Geometrical accumulations and computably enumerable real numbers, Natural Computing, Vol. 11(4). Pp. 609-622. 2012. [URL]
[inria-00516060:1]
Jean-Luc Fouquet & Henri Thuillier, On removable edges in 3-connected cubic graphs, Discrete Mathematics. Pp. 9, Elsevier. 2012. [URL]
[hal-00586145:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On $(Kq,k)$ vertex stable with minimum size, Discrete Mathematics, Vol. 312(14). Pp. 2109:2118. 2012. [URL]
[hal-00536312:1]
Serge Gaspers, Dieter Kratsch & Mathieu Liedloff, On Independent Sets and Bicliques in Graphs, Algorithmica, Vol. 62(3-4). Pp. 637-658. 2012. [URL]
[hal-00735557:1]
Alexander Grigoriev, Bert Marchal, Natalya Usotskaya & Ioan Todinca, A note on planar graphs with large width parameters and small grid-minors, Discrete Applied Mathematics, Vol. 160(7-8). Pp. 1262-1269. 2012. [URL]
[hal-00738287:1]
Mirian Halfeld Ferrari, Béatrice Bouchou & Maria Adriana Lima, A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates, T. Large-Scale Data- and Knowledge-Centered Systems, Vol. 6. Pp. 167-197. 2012. [URL]
[hal-00823216:1]
Jarkko Kari & Bastien Le Gloannec, Modified Traffic Cellular Automaton for the Density Classification Task, Fundamenta Informaticae, Vol. 116(1-4). 2012. [URL]
Revue nationale à comité de lecture
[hal-00832621:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes, REVUE DES NOUVELLES TECHNOLOGIES DE L'INFORMATION, Vol. RNTI-L-6. Pp. 49-72. 2012. [URL]
Direction d'ouvrages scientifiques
[hal-00734752:1]
Denys Duchier & Yannick Parmentier, Proceedings of the Seventh International Workshop on Constraint Solving and Language Processing (CSLP'12). Pp. 120, LIFO. 09. 2012. [URL]
[hal-00735493:1]
Jérôme Durand-Lose & Nataša Jonoska, Unconventional Computation and Natural Computation (UCNC '12). Pp. 249, Springer. 09. 2012. [URL]
[hal-00806285:1]
Jérôme Durand-Lose, Maurice Margenstern & Klaus Sutner, Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems. Pp. 1419-1522, World Scientific Publishing. 2012. [URL]
Chapitres d'ouvrages scientifiques
[hal-00766721:1]
Patrice Clemente, Bangaly Kaba, Jonathan Rouzaud-Cornabas, Marc Alexandre & Guillaume Aujay, SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs, in Active Media Technology. Pp. 596-605, Springer Berlin Heidelberg. 2012. [URL]
[hal-00461197:1]
Jérôme Durand-Lose & Andrew Adamatzky, Collision Computing, in Handbook of Natural Computing, Section VII: Broader Perspective --- Alternative Models of Computation. Pp. 1949-1978, Springer. 2012. [URL]
[hal-00595035:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal, Interactive and progressive constraint definition for dimensionality reduction and visualization, in Advances in Knowledge Discovery and Management Vol. 2 (AKDM-2). Pp. 121-136, Springer. 03. 2012. [URL]
Thèses et Habilitations à Diriger des Recherches
[hal-00749277:1]
Khalil Djelloul, Contributions à la résolution de contraintes du premier ordre, Habilitation à Diriger des Recherches. Université d'Orléans. 09. 2012. [URL]
[tel-00771273:4]
Xavier Kauffmann-Tourkestansky, Analyses sécuritaires de code de carte à puce sous attaques physiques simulées, Thèse de Doctorat. Université d'Orléans. 11. 2012. [URL]
[tel-00801555:2]
Jacques-Henri Sublemontier, Classification non supervisée : de la multiplicité des données à la multiplicité des analyses, Thèse de Doctorat. Université d'Orléans. 12. 2012. [URL]
[tel-00736633:2]
Ahmed Turki, Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques, Thèse de Doctorat. Université d'Orléans. 03. 2012. [URL]
Conférence donnée sur invitation
[hal-00771480:1]
Sébastien Limet, High level languages for efficient parallel programming.. Madrid, Spain. Pp. 541-542, IEEE. 2012. [URL]
Communications avec actes dans un congrès international
[hal-00766727:1]
Z. Afoulki, A. Bousquet, J. Briffaut, J. Rouzaud-Cornabas & C. Toinard, MAC protection of the OpenNebula Cloud environment, in High Performance Computing and Simulation (HPCS), 2012 International Conference on. Madrid, Spain. Pp. 85 -90. 2012. [URL]
[hal-00659027:1]
Siva Anantharaman, Christopher Bouchard, Paliath Narendran & Michaël Rusinowitch, Unification modulo Chaining, in The 6th International Conference on Language and Automata Theory and Applications, Proceedings of the 6th International Conference on Language and Automata Theory and Applications - LATA 2012 Language and Automata Theory and Applications. A Coruna, Spain, Vol. 7183, Springer, Berlin - Heidelberg. 03. 2012. [URL]
[hal-00684185:1]
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran & Michael Rusinowitch, Unification modulo Synchronous Distributivity, in IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning), Lecture Notes in Artificial Intelligence. Manchester, United Kingdom, Vol. 7364. Pp. 14-29, Springer-Verlag, Berlin, Heidelberg. 06. 2012. [URL]
[hal-00704200:1]
Florent Becker, Adrian Kosowski, Nicolas Nisse, Ivan Rapaport & Karol Suchan, Allowing Each Node to Communicate Only Once in a Distributed System: Shared Whiteboard Models, in Symposium on Parallelism in Algorithms and Architectures, ACM. Pp. 7. 2012. [URL]
[hal-00770935:1]
Pascal Berthomé, Jérémy Briffaut & Pierre Clairet, Compacting Security Signatures for PIGA IDS, in SECURWARE-2012, The Sixth International Conference on Emerging Security Information, Systems and Technologies. Rome, Italy. Pp. 126-133. 08. 2012. [URL]
[hal-00721407:1]
Pascal Berthomé, Thomas Fécherolle, Nicolas Guilloteau & Jean-Francois Lalande, Repackaging Android applications for auditing access to private data, in IWSMA 2012, First International Workshop on Security of Mobile Applications. Prague, Czech Republic. Pp. 388-396, IEEE Computer Society. 08. 2012. [URL]
[hal-00721111:1]
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky & Jean-Francois Lalande, High level model of control flow attacks for smart card functional security, in AReS 2012, 7th International Conference on Availability, Reliability and Security. Prague, Czech Republic. Pp. 224-229, IEEE Computer Society. 08. 2012. [URL]
[hal-00671770:1]
Mathieu Blanc, Jérémy Briffaut, Christian Toinard & Damien Gros, Advanced MAC in HPC systems: performance improvement, in CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. Ottawa, Canada. 05. 2012. [URL]
[hal-00780287:1]
Mathieu Blanc, Damien Gros, Jérémy Briffaut & Christian Toinard, PIGA-Windows : contrôle des flux d'information avancés sur les systèmes d'exploitation Windows 7, in 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012). Villeneuve d'Ascq, France. 10. 2012. [URL]
[hal-00759149:1]
Yohan Boichut, Benoit Boyer, Thomas Genet & Axel Legay, Equational Abstraction Refinement for Certified Tree Regular Model Checking, in ICFEM, LNCS. Kyoto, Japan(7635). Pp. 299-315, Springer-Verlag. 2012. [URL]
[hal-00708822:1]
Wadoud Bousdira, Frédéric Loulergue & Julien Tesson, A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays, in ICA3PP. Fukuoka, Japan, Springer. 2012. [URL]
[hal-00771333:1]
Jérémy Briffaut, Nicolas Grenèche, Quentin Narvor & Christian Toinard, FIELDS : Flow Intrusion Extrusion Largescale Detection System, in The Sixth International Conference on Emerging Security Information, Systems and Technologies. Rome, Italy. 2012. [URL]
[hal-00780205:1]
Pierre Clairet, Pascal Berthomé & Jérémy Briffaut, Compression de signatures pour PIGA IDS, in 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012). Villeneuve d'Ascq, France. 10. 2012. [URL]
[hal-00721415:1]
Patrice Clemente, Jean-Francois Lalande & Jonathan Rouzaud-Cornabas, HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots, in SECRYPT 2012, International Conference on Security and Cryptography. Rome, Italy. Pp. 434-439. 07. 2012. [URL]
[hal-00739621:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, A Link-Based Method for Propositionalization, in ILP 2012. Dubrovnik, Croatia. 09. 2012. [URL]
[hal-00673603:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot, Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants., in Theory and Applications of Models of Computation (TAMC 2012), Proceedings of the 9th international conference on Theory and Applications of Models of Computation (TAMC 2012). Beijing, China, Vol. 7287. Pp. 435-447, Springer. 05. 2012. [URL]
[hal-00688643:1]
Denys Duchier, Brunelle Magnana Ekoukou, Yannick Parmentier, Simon Petitjean & Emmanuel Schang, Describing Morphologically-rich Languages using Metagrammars: a Look at Verbs in Ikota, in Workshop on ''Language technology for normalisation of less-resourced languages'', 8th SALTMIL Workshop on Minority Languages and the 4th workshop on African Language Technology. Istanbul, Turkey. Pp. 55-60. 05. 2012. [URL]
[hal-00696562:1]
Denys Duchier, Yannick Parmentier & Simon Petitjean, Metagrammars as Logic Programs, in 7th International Conference on Logical Aspects of Computational Linguistics (LACL 2012, demo session). Nantes, France. Pp. 1-4. 07. 2012. [URL]
[hal-00809341:1]
Maxime Fonda, Stéphane Moinard & Christian Toinard, Advanced protection of workflow sessions with SEWebSession, in SBP'12, 1st Joint International Workshop on Security in Business Processes. Tallinn, Estonia, Vol. 132. Pp. 713-718, Springer Berlin Heidelberg. 09. 2012. [URL]
[hal-00721420:1]
Jean-Francois Lalande & David Rodriguez, Protecting resources in an open and trusted peer-to-peer network, in METHOD 2012, The 1st IEEE International Workshop on Methods for Establishing Trust with Open Data. Izmir, Turkey. Pp. 140-143, IEEE Computer Society. 07. 2012. [URL]
[hal-00661887:1]
Bastien Le Gloannec & Nicolas Ollinger, Substitutions and Strongly Deterministic Tilesets, in Computability in Europe (CiE), Proceedings of the 8th Conference on Computability in Europe (CiE 2012). Cambridge, United Kingdom, Vol. 7318, Springer. 2012. [URL]
[hal-00708824:1]
Joeffrey Legaux, Sylvain Jubertie & Frédéric Loulergue, Experiments in Parallel Matrix Multiplication on Multi-Core Systems, in ICA3PP. Fukuoka, Japan, Springer. 2012. [URL]
[hal-00657986:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Controlling an iteration-wise coherence in dataflow, in FACS, procedings of the 8th International Symposium on Formal Aspects of Component Software. Oslo, Norway. Pp. 1-15, Springer. 2012. [URL]
[hal-00708821:1]
Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov & Matthieu Lemerre, Towards Verified Cloud Computing Environments, in International Conference on High Performance Computing and Simulation (HPCS). Madrid, Spain, IEEE. 07. 2012. [URL]
[hal-00771309:1]
Simon Petitjean, Describing Music with MetaGrammars, in Constraint Solving and Language Processing 2012 (CSLP'12). Orléans, France. 09. 2012. [URL]
[hal-00755765:1]
Sébastien Regis, Andrei Doncescu, M. Takizawa & Guillaume Cleuziou, Initialization of masses by the Okm for the belief function theory: Application to system biology, in 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Proceedings - 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012. Fukuoka, Japan(185407). Pp. 1167-1171. 2012. [URL]
[hal-00701201:1]
Pierre Réty, Jacques Chabin & Joshua Amavi, Weak Inclusion for Recursive XML Types, in CIAA - 2012. Porto, Portugal, Vol. 7381. Pp. 78-89, Springer. 07. 2012. [URL]
[hal-00798833:1]
A. Spallicci, P. Ritter, S. Jubertie, S. Cordier & S. Aoudia, Towards a Self-consistent Orbital Evolution for EMRIs, in The 9th LISA Symposium, 9th Lisa Symposium. Paris, France, Vol. 467. Pp. 221, Astronomical Society of the Pacific. 2012. [URL]
Communications avec actes dans un congrès national
[hal-00766720:1]
Z. Afoulki, A. Bousquet, J. Briffaut, J. Rouzaud-Cornabas & C. Toinard, PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage, in NOTERE CFIP 2012. Bayonne, France, France. 2012. [URL]
[lirmm-00752314:1]
Christian Bessiere, Remi Coletta, Frédéric Koriche, Arnaud Lallouet & Matthieu Lopez, Branch and Learn pour l'acquisition de CSP, in JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes. Toulouse, France. Pp. 64-73. 05. 2012. [URL]
[hal-00669705:1]
Davide Buscaldi, Guillaume Cleuziou, Gaël Dias & Vincent Levorato, Exploitation de l'asymétrie entre termes pour l'extraction automatique de taxonomies à partir de textes, in Extraction et Gestion des Connaissances (EGC'2012). Bordeaux, France. Pp. 345-356, Hermann. 2012. [URL]
[hal-00688646:1]
Denys Duchier, Thi-Bich-Hanh Dao & Yannick Parmentier, Analyse Syntaxique par Contraintes pour les Grammaires de Propriétés à Traits, in Huitièmes Journées Francophones de Programmation par Contraintes (JFPC 2012). Toulouse, France. Pp. 101-106. 05. 2012. [URL]
[hal-00695331:1]
Denys Duchier, Brunelle Magnana Ekoukou, Yannick Parmentier, Simon Petitjean & Emmanuel Schang, Décrire la morphologie des verbes en ikota au moyen d'une métagrammaire, in 19e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2012) - Atelier sur le traitement automatique des langues africaines (TALAf 2012). Grenoble, France. Pp. 97-106. 06. 2012. [URL]
[hal-00771337:1]
Damien Gros, Mathieu Blanc, Jérémy Briffaut & Christian Toinard, PIGA-Windows : contrôle des flux d'information avancés sur les systèmes d'exploitation Windows 7, in Majestic 2012. Lille, France. 10. 2012. [URL]
[hal-00755023:1]
Damien Gros, Christian Toinard & Jérémy Briffaut, Contrôle d'accès mandataire pour Windows 7, in SSTIC 2012. Rennes, France. Pp. 266-291. 06. 2012. [URL]
Communications affichées avec actes
[hal-00724847:1]
Emmanuel Schang, Denys Duchier, Brunelle Magnana Ekoukou, Yannick Parmentier & Simon Petitjean, Describing São Tomense Using a Tree-Adjoining Meta-Grammar, in 11th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+11). Paris, France. Pp. 82-89. 09. 2012. [URL]
Communications sans actes
[hal-00777945:1]
Chiheb-Eddine Ben N'Cir, Guillaume Cleuziou & Nadia Essoussi, Identification of Overlapping Clusters with Small Overlaps, 3rd International Conference on the Extraction and Management of Knowledge - Maghreb (EGC-M). 2012. [URL]
[hal-00710492:1]
Pascal Berthomé & Jean-Francois Lalande, Comment ajouter de la privacy after design pour les applications Android ?, Atelier Protection de la Vie Privée. Ile de Groix, France. 06. 2012. [URL]
[hal-00833312:1]
Céline Brouard, Julie Dubois, Christel Vrain, David Castel, Marie-Anne Debily & Florence D'Alché-Buc, Markov Logic Network for supervised gene regulation inference: application to the ID2 regulatory network in human keratinocytes, International Workshop on Machine Learning in Systems Biology. Bâle, Switzerland. 09. 2012. [URL]
[hal-00777955:1]
Guillaume Cleuziou, Francisco De A. T. De Carvalho & Léo Rousseau, Extension de OKM à la norme L1 et comparaison de classifications recouvrantes, 19èmes rencontres de la Société Francophone de Classification. 2012. [URL]
[hal-00717536:1]
Guillaume Cleuziou & Léo ROUSSEAU, Okm : une librairie R pour la classification recouvrante, 1ères Rencontres R. Bordeaux, France. 07. 2012. [URL]
[hal-00832670:1]
Hélène Coullon & Sébastien Limet, Une librairie de squelettes algorithmiques par blocs sur structure de données 2D, CIEL 2012. Rennes, France. 06. 2012. [URL]
[hal-00691474:1]
Jérôme Durand-Lose, Signal machines: localization of isolated accumulation, Journées Calculabilités. Paris, France. 03. 2012. [URL]
[hal-00708817:1]
Frédéric Loulergue, On the Formal Verification of Computer Simulations, Models and Simulations 5. Helsinki, Finland. 06. 2012. [URL]
[hal-00721596:1]
Coralie Petermann, Vincent Levorato & Marc Bui, Classification unilatéralement-connexe prétopologique : une extension de la librairie PretopoLIB, 3ème séminaire de Veille Stratégique, Scientifique et Technologique (VSST'12). Ajaccio, France. 05. 2012. [URL]
Autres Publications
[hal-00662507:1]
Gabriel Bergounioux, Emmanuel Schang, Denis Maurel, Agata Savary, Jérôme Durand-Lose & Yannick Parmentier, L'ordinateur et les langues, Covalences 82 (2012). Pp. 14-15. 01. 2012. [URL]
[hal-00663866:1]
Pascal Berthomé, Jean-Francois Lalande & Vincent Levorato, Implementation of exponential and parametrized algorithms in the AGAPE project. 01. 2012. [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. 08. 2012. [URL]
[hal-00502201:4]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Tools for parsimonious edge-colouring of graphs with maximum degree three, Internal report RR-2010-10, revised version. 01. 2012. [URL]
[hal-00694153:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Reed's Conjecture on hole expansions. 03. 2012. [URL]
[hal-00694158:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Reed's conjecture on some special classes of graphs. 04. 2012. [URL]
[hal-00759044:1]
Frederic Havet, Andrew King, Mathieu Liedloff & Ioan Todinca, (Circular) backbone colouring: tree backbones in planar graphs. 11. 2012. [URL]
