- Contacts/Reaching LIFO
- Teaching
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
[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. 02. 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, Otto-von-Guericke-Universität Magdeburg. 2012. [URL]
[hal-00777929:1]
Guillaume Cleuziou, Osom: A method for building overlapping topological maps, Pattern Recognition Letters(34). Pp. 239-246, Elsevier. 11. 2012. [URL]
[hal-02332177:1]
Jean-François Couturier, Petr A. Golovach, Dieter Kratsch & Daniël Paulusma, On the parameterized complexity of coloring graphs in the absence of a linear forest, Journal of Discrete Algorithms, Vol. 15. Pp. 56-62, Elsevier. 08. 2012. [URL]
[hal-02332188:1]
Jean-François Couturier & Dieter Kratsch, Bicolored independent sets and bicliques, Information Processing Letters, Vol. 112(8-9). Pp. 329-334, Elsevier. 04. 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, Old City Publishing. 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, Springer Verlag. 2012. [URL]
[inria-00516060:1]
Jean-Luc Fouquet & Henri Thuillier, On removable edges in 3-connected cubic graphs, Discrete Mathematics, Article in press. 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, Elsevier. 2012. [URL]
[hal-00934318:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On $(Ktextbackslashq,k)$ stable graphs with small $k$, The Electronic Journal of Combinatorics, Vol. 19(2). Pp. P50, Open Journal Systems. 2012. [URL]
[hal-00934323:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On $(Ktextbackslashq,k)$ vertex stable graphs with minimum size, Discrete Mathematics, Vol. 312(14). Pp. 2109-2118, Elsevier. 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, Springer Verlag. 2012. [URL]
[hal-00942912:1]
Serge Gaspers & Mathieu Liedloff, A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set, Discrete Mathematics and Theoretical Computer Science, Vol. Vol. 14 no. 1(1). Pp. 29-42, DMTCS. 02. 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, Elsevier. 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). Pp. pp 141-156, Polskie Towarzystwo Matematyczne. 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, Editions RNTI. 2012. [URL]
[hal-00734752:1]
Proceedings of the Seventh International Workshop on Constraint Solving and Language Processing (CSLP'12), Denys Duchier and Yannick Parmentier (Ed.). Pp. 120, LIFO. 09. 2012. [URL]
[hal-00735493:1]
Unconventional Computation and Natural Computation (UCNC '12), Jérôme Durand-Lose and Nataša Jonoska (Ed.). Pp. 249, Springer. 09. 2012. [URL]
[hal-00806285:1]
Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems, Jérôme Durand-Lose and Maurice Margenstern and Klaus Sutner (Ed.). Pp. 1419-1522, World Scientific Publishing. 2012. [URL]
[hal-00461197:1]
Andrew Adamatzky & Jérôme Durand-Lose, Collision-based Computing, in Handbook of Natural Computing, Section VII: Broader Perspective --- Alternative Models of Computation, Joost N. Kok Grzegorz Rozenberg, Thomas Bäck (Ed.). Pp. 1949-1978, Springer. 2012. [URL]
[hal-02332165:1]
Jean-François Couturier, Pinar Heggernes, Pim vantextquoterightt Hof & Dieter Kratsch, Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration, in SOFSEM 2012: Theory and Practice of Computer Science. Pp. 202-213. 2012. [URL]
[hal-02332172:1]
Jean-François Couturier, Pinar Heggernes, Pim van textquoterightt Hof & Yngve Villanger, Maximum Number of Minimal Feedback Vertex Sets in Chordal Graphs and Cographs, in Computing and Combinatorics. Pp. 133-144. 2012. [URL]
[hal-01957675:1]
Martin Delacourt & Petr Kurka, Finite State Transducers for Modular Möbius Number Systems, in Mathematical Foundations of Computer Science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings. Pp. 323-334. 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), G. Ritschard F. Guillet and D. Zighed (Ed.), Studies in Computational Intelligence. Pp. 121-136, Springer. 03. 2012. [URL]
[hal-00980362:1]
Nicolas Ollinger, Universalities in Cellular Automata, in Handbook of Natural Computing, Grzegorz Rozenberg and Thomas Bäck and Joost N. Kok (Ed.). Pp. 189-229, Springer. 2012. [URL]
[hal-00749277:1]
Khalil Djelloul, Contributions à la résolution de contraintes du premier ordre, Habilitation à Diriger des Recherches. Université d'Orléans, LIFO. 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., in HPCS, International Conference on High Performance Computing & Simulation. 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. 07. 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.-H. Dediu and C. Martín-Vide (Ed.). A Coruna, Spain, Lecture Notes in Computer Science, Vol. 7183. Pp. pp. 70-82, 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, B. Gramlich and D. Miller and Sattler. U (Ed.). 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 SPAA - 24th ACM 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-François 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-François 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), Anne Etien (Ed.). 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, LNCS(7635). Pp. 299-315, Springer-Verlag. 11. 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, LNCS, Springer. 09. 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. 08. 2012. [URL]
[hal-01071621: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 12th Conférence Internationale Francophone sur l'Extraction et la Gestion de Connaissance (EGC 2012).. Bordeaux, France, E.23. Pp. 345-356. 01. 2012. [URL]
[hal-00721415:1]
Patrice Clemente, Jean-François Lalande & Jonathan Rouzaud-Cornabas, HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots, in SECRYPT 2012. Rome, Italy. Pp. 434-439. 07. 2012. [URL]
[hal-00717536:1]
Guillaume Cleuziou & Léo ROUSSEAU, Okm : une librairie R pour la classification recouvrante, in 1ères Rencontres R. Bordeaux, France. 07. 2012. [URL]
[hal-00739621:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, A Link-Based Method for Propositionalization, in ILP 2012. Dubrovnik, Croatia. Pp. à paraître. 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), S.B. Cooper M. Agrawal and A. Li (Ed.). Beijing, China, LNCS, 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, G. De Pauw and G-M de Schryver and M.L. Forcada and K. Sarasola and F.M. Tyers and P.W. Wagacha (Ed.). Istanbul, Turkey, Proceedings of the Workshop on Language Technology for Normalisation of Less-Resourced Languages SaLTMiL 8 - AfLaT2012. Pp. 55-60, European Language Resourcees Association. 05. 2012. [URL]
[hal-00841914:1]
Christoph Dürr, Ioannis Milis, Julien Robert & Georgios Zois, Approximating the Throughput by Coolest First Scheduling, in WAOA 2012 - 10th International Workshop on Approximation and Online Algorithms. Ljubljana, Slovenia. Pp. 187-200, Springer. 09. 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, Lecture Notes in Business Information Processing, Vol. 132. Pp. 713-718, Springer Berlin Heidelberg. 09. 2012. [URL]
[hal-00942932:1]
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak & Stefan Szeider, On Finding Optimal Polytrees, in AAAI Conference on Artificial Intelligence (AAAI 2012), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. Pp. 750-756. 2012. [URL]
[hal-00942928:1]
Konstanty Junosza-Szaniawski, Jan Kratochvil, Mathieu Liedloff & Pawel Rzazewski, Determining the L(2,1)-Span in Polynomial Space, in Graph-Theoretic Concepts in Computer Science - 38th International Workshop, WG 2012, Lecture Notes in Computer Science. Pp. 126-137. 2012. [URL]
[hal-00721420:1]
Jean-François 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), A. Dawar S.B. Cooper and B. Löwe (Ed.). Cambridge, United Kingdom, LNCS, Vol. 7318. Pp. pp 462-471, Springer. 06. 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, LNCS, Springer. 09. 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, International Conference on High Performance Computing and Simulation (HPCS), 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. Pp. pages 86-92. 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. 03. 2012. [URL]
[hal-00701201:1]
Pierre Réty, Jacques Chabin & Joshua Amavi, Weak Inclusion for Recursive XML Types, in CIAA - 2012. Porto, Portugal, LNCS, Vol. 7381. Pp. 78-89, Springer. 07. 2012. [URL]
[hal-00798833:1]
Alessandro D. A. M. Spallicci, P. Ritter, S. Jubertie, Sylvaine Cordier & S. Aoudia, Towards a Self-consistent Orbital Evolution for EMRIs, in The 9th LISA Symposium, 9th Lisa Symposium, E. Plagnol G. Auger, P.Binétruy (Ed.). Paris, France, ASP Conference Series, Vol. 467. Pp. 221, Astronomical Society of the Pacific. 05. 2012. [URL]
[hal-00980369:1]
Rodrigo Torres, Nicolas Ollinger & Anahi Gajardo, Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine, in RC 2012, Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers, Robert Glück and Tetsuo Yokoyama (Ed.). Copenhague, Denmark, Vol. 7581. Pp. 44-56, Springer. 07. 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. 10. 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), Anne Etien (Ed.). Villeneuve d'Ascq, France. 10. 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-01174591:1]
Isabelle Tellier, Denys Duchier, Iris Eshkol, Arnaud Courmet & Mathieu Martinet, Apprentissage automatique d'un chunker pour le français, in TALN2012, Gilles Sérasset Georges Antoniadis, Hervé Blanchon (Ed.). Grenoble, France, Actes de la conférence conjointe JEP-TALN-RECITAL 2012, Vol. 2. Pp. 431-438. 06. 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-01079329:1]
Damien Gros, Jérémy Briffaut, Christian Toinard & Mathieu Blanc, Advanced MAC in HPC systems: performance improvement, in CCGRID'12. Ottawa, Canada. 05. 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, in 3rd International Conference on the Extraction and Management of Knowledge - Maghreb (EGC-M). 2012. [URL]
[hal-00710492:1]
Pascal Berthomé & Jean-François Lalande, Comment ajouter de la privacy after design pour les applications Android ?, in Atelier Protection de la Vie Privée. Ile de Groix, France. 06. 2012. [URL]
[lirmm-00752314:1]
Christian Bessière, Remi Coletta, Frédéric Koriche, Arnaud Lallouet & Matthieu Lopez, Branch and Learn pour l'acquisition de CSP, in 8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), Simon de Givry (Ed.). Toulouse, France. Pp. 64-73. 05. 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, in International Workshop on Machine Learning in Systems Biology. Bâle, Switzerland. 09. 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, Runhe Huang and AliA. Ghorbani and Gabriella Pasi and Takahira Yamaguchi and NeilY. Yen and Beijing Jin (Ed.). Chengdu, China. Pp. 596-605, Springer Berlin Heidelberg. 12. 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, in 19èmes rencontres de la Société Francophone de Classification. 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, in CIEL 2012. Rennes, France. 06. 2012. [URL]
[hal-00691474:1]
Jérôme Durand-Lose, Signal machines: localization of isolated accumulation, in Journées Calculabilités. Paris, France. 03. 2012. [URL]
[hal-00943023:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Complexité au pire des cas d'algorithmes exponentiels pour des problèmes de séquencement, in 13ième congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2012). 2012. [URL]
[hal-00943025:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Généralisation de la méthode Trier et Chercher : application à des problèmes à machines parallèles, in 13ième congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2012). 2012. [URL]
[hal-00943032:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Scheduling parallel machines with exponential algorithms, in International Workshop on Approximation, Parameterized and EXact algorithms (APEX 2012). 2012. [URL]
[hal-00943033:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Scheduling parallel machines with exponential algorithms, in 13th International Conference on Project Management and Scheduling (PMS 2012). Pp. pp. 203-206. 2012. [URL]
[hal-00708817:1]
Frédéric Loulergue, On the Formal Verification of Computer Simulations, in 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, in 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. Pp. 14-15. 01. 2012. [URL]
[hal-00663866:1]
Pascal Berthomé, Jean-François Lalande & Vincent Levorato, Implementation of exponential and parametrized algorithms in the AGAPE project. 01. 2012. [URL]
[hal-00502201:4]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Tools for parsimonious edge-colouring of graphs with maximum degree three. 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]
Frédéric Havet, Andrew King, Mathieu Liedloff & Ioan Todinca, (Circular) backbone colouring: tree backbones in planar graphs. 11. 2012. [URL]
International Refereed Journals
[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. 02. 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, Otto-von-Guericke-Universität Magdeburg. 2012. [URL]
[hal-00777929:1]
Guillaume Cleuziou, Osom: A method for building overlapping topological maps, Pattern Recognition Letters(34). Pp. 239-246, Elsevier. 11. 2012. [URL]
[hal-02332177:1]
Jean-François Couturier, Petr A. Golovach, Dieter Kratsch & Daniël Paulusma, On the parameterized complexity of coloring graphs in the absence of a linear forest, Journal of Discrete Algorithms, Vol. 15. Pp. 56-62, Elsevier. 08. 2012. [URL]
[hal-02332188:1]
Jean-François Couturier & Dieter Kratsch, Bicolored independent sets and bicliques, Information Processing Letters, Vol. 112(8-9). Pp. 329-334, Elsevier. 04. 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, Old City Publishing. 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, Springer Verlag. 2012. [URL]
[inria-00516060:1]
Jean-Luc Fouquet & Henri Thuillier, On removable edges in 3-connected cubic graphs, Discrete Mathematics, Article in press. 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, Elsevier. 2012. [URL]
[hal-00934318:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On $(Ktextbackslashq,k)$ stable graphs with small $k$, The Electronic Journal of Combinatorics, Vol. 19(2). Pp. P50, Open Journal Systems. 2012. [URL]
[hal-00934323:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On $(Ktextbackslashq,k)$ vertex stable graphs with minimum size, Discrete Mathematics, Vol. 312(14). Pp. 2109-2118, Elsevier. 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, Springer Verlag. 2012. [URL]
[hal-00942912:1]
Serge Gaspers & Mathieu Liedloff, A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set, Discrete Mathematics and Theoretical Computer Science, Vol. Vol. 14 no. 1(1). Pp. 29-42, DMTCS. 02. 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, Elsevier. 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). Pp. pp 141-156, Polskie Towarzystwo Matematyczne. 2012. [URL]
National Refereed Journals
[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, Editions RNTI. 2012. [URL]
Books
[hal-00734752:1]
Proceedings of the Seventh International Workshop on Constraint Solving and Language Processing (CSLP'12), Denys Duchier and Yannick Parmentier (Ed.). Pp. 120, LIFO. 09. 2012. [URL]
[hal-00735493:1]
Unconventional Computation and Natural Computation (UCNC '12), Jérôme Durand-Lose and Nataša Jonoska (Ed.). Pp. 249, Springer. 09. 2012. [URL]
[hal-00806285:1]
Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems, Jérôme Durand-Lose and Maurice Margenstern and Klaus Sutner (Ed.). Pp. 1419-1522, World Scientific Publishing. 2012. [URL]
Book Chapters
[hal-00461197:1]
Andrew Adamatzky & Jérôme Durand-Lose, Collision-based Computing, in Handbook of Natural Computing, Section VII: Broader Perspective --- Alternative Models of Computation, Joost N. Kok Grzegorz Rozenberg, Thomas Bäck (Ed.). Pp. 1949-1978, Springer. 2012. [URL]
[hal-02332165:1]
Jean-François Couturier, Pinar Heggernes, Pim vantextquoterightt Hof & Dieter Kratsch, Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration, in SOFSEM 2012: Theory and Practice of Computer Science. Pp. 202-213. 2012. [URL]
[hal-02332172:1]
Jean-François Couturier, Pinar Heggernes, Pim van textquoterightt Hof & Yngve Villanger, Maximum Number of Minimal Feedback Vertex Sets in Chordal Graphs and Cographs, in Computing and Combinatorics. Pp. 133-144. 2012. [URL]
[hal-01957675:1]
Martin Delacourt & Petr Kurka, Finite State Transducers for Modular Möbius Number Systems, in Mathematical Foundations of Computer Science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings. Pp. 323-334. 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), G. Ritschard F. Guillet and D. Zighed (Ed.), Studies in Computational Intelligence. Pp. 121-136, Springer. 03. 2012. [URL]
[hal-00980362:1]
Nicolas Ollinger, Universalities in Cellular Automata, in Handbook of Natural Computing, Grzegorz Rozenberg and Thomas Bäck and Joost N. Kok (Ed.). Pp. 189-229, Springer. 2012. [URL]
Thesis
[hal-00749277:1]
Khalil Djelloul, Contributions à la résolution de contraintes du premier ordre, Habilitation à Diriger des Recherches. Université d'Orléans, LIFO. 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]
Invited Papers
[hal-00771480:1]
Sébastien Limet, High level languages for efficient parallel programming., in HPCS, International Conference on High Performance Computing & Simulation. Madrid, Spain. Pp. 541-542, IEEE. 2012. [URL]
International Conference or Workshop with Proceedings
[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. 07. 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.-H. Dediu and C. Martín-Vide (Ed.). A Coruna, Spain, Lecture Notes in Computer Science, Vol. 7183. Pp. pp. 70-82, 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, B. Gramlich and D. Miller and Sattler. U (Ed.). 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 SPAA - 24th ACM 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-François 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-François 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), Anne Etien (Ed.). 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, LNCS(7635). Pp. 299-315, Springer-Verlag. 11. 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, LNCS, Springer. 09. 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. 08. 2012. [URL]
[hal-01071621: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 12th Conférence Internationale Francophone sur l'Extraction et la Gestion de Connaissance (EGC 2012).. Bordeaux, France, E.23. Pp. 345-356. 01. 2012. [URL]
[hal-00721415:1]
Patrice Clemente, Jean-François Lalande & Jonathan Rouzaud-Cornabas, HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots, in SECRYPT 2012. Rome, Italy. Pp. 434-439. 07. 2012. [URL]
[hal-00717536:1]
Guillaume Cleuziou & Léo ROUSSEAU, Okm : une librairie R pour la classification recouvrante, in 1ères Rencontres R. Bordeaux, France. 07. 2012. [URL]
[hal-00739621:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, A Link-Based Method for Propositionalization, in ILP 2012. Dubrovnik, Croatia. Pp. à paraître. 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), S.B. Cooper M. Agrawal and A. Li (Ed.). Beijing, China, LNCS, 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, G. De Pauw and G-M de Schryver and M.L. Forcada and K. Sarasola and F.M. Tyers and P.W. Wagacha (Ed.). Istanbul, Turkey, Proceedings of the Workshop on Language Technology for Normalisation of Less-Resourced Languages SaLTMiL 8 - AfLaT2012. Pp. 55-60, European Language Resourcees Association. 05. 2012. [URL]
[hal-00841914:1]
Christoph Dürr, Ioannis Milis, Julien Robert & Georgios Zois, Approximating the Throughput by Coolest First Scheduling, in WAOA 2012 - 10th International Workshop on Approximation and Online Algorithms. Ljubljana, Slovenia. Pp. 187-200, Springer. 09. 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, Lecture Notes in Business Information Processing, Vol. 132. Pp. 713-718, Springer Berlin Heidelberg. 09. 2012. [URL]
[hal-00942932:1]
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak & Stefan Szeider, On Finding Optimal Polytrees, in AAAI Conference on Artificial Intelligence (AAAI 2012), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. Pp. 750-756. 2012. [URL]
[hal-00942928:1]
Konstanty Junosza-Szaniawski, Jan Kratochvil, Mathieu Liedloff & Pawel Rzazewski, Determining the L(2,1)-Span in Polynomial Space, in Graph-Theoretic Concepts in Computer Science - 38th International Workshop, WG 2012, Lecture Notes in Computer Science. Pp. 126-137. 2012. [URL]
[hal-00721420:1]
Jean-François 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), A. Dawar S.B. Cooper and B. Löwe (Ed.). Cambridge, United Kingdom, LNCS, Vol. 7318. Pp. pp 462-471, Springer. 06. 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, LNCS, Springer. 09. 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, International Conference on High Performance Computing and Simulation (HPCS), 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. Pp. pages 86-92. 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. 03. 2012. [URL]
[hal-00701201:1]
Pierre Réty, Jacques Chabin & Joshua Amavi, Weak Inclusion for Recursive XML Types, in CIAA - 2012. Porto, Portugal, LNCS, Vol. 7381. Pp. 78-89, Springer. 07. 2012. [URL]
[hal-00798833:1]
Alessandro D. A. M. Spallicci, P. Ritter, S. Jubertie, Sylvaine Cordier & S. Aoudia, Towards a Self-consistent Orbital Evolution for EMRIs, in The 9th LISA Symposium, 9th Lisa Symposium, E. Plagnol G. Auger, P.Binétruy (Ed.). Paris, France, ASP Conference Series, Vol. 467. Pp. 221, Astronomical Society of the Pacific. 05. 2012. [URL]
[hal-00980369:1]
Rodrigo Torres, Nicolas Ollinger & Anahi Gajardo, Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine, in RC 2012, Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers, Robert Glück and Tetsuo Yokoyama (Ed.). Copenhague, Denmark, Vol. 7581. Pp. 44-56, Springer. 07. 2012. [URL]
National Conference or Workshop with Proceedings
[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. 10. 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), Anne Etien (Ed.). Villeneuve d'Ascq, France. 10. 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-01174591:1]
Isabelle Tellier, Denys Duchier, Iris Eshkol, Arnaud Courmet & Mathieu Martinet, Apprentissage automatique d'un chunker pour le français, in TALN2012, Gilles Sérasset Georges Antoniadis, Hervé Blanchon (Ed.). Grenoble, France, Actes de la conférence conjointe JEP-TALN-RECITAL 2012, Vol. 2. Pp. 431-438. 06. 2012. [URL]
Poster sessions
[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-01079329:1]
Damien Gros, Jérémy Briffaut, Christian Toinard & Mathieu Blanc, Advanced MAC in HPC systems: performance improvement, in CCGRID'12. Ottawa, Canada. 05. 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]
Unrefereed publications at Conferences or Workshops
[hal-00777945:1]
Chiheb-Eddine Ben N'Cir, Guillaume Cleuziou & Nadia Essoussi, Identification of Overlapping Clusters with Small Overlaps, in 3rd International Conference on the Extraction and Management of Knowledge - Maghreb (EGC-M). 2012. [URL]
[hal-00710492:1]
Pascal Berthomé & Jean-François Lalande, Comment ajouter de la privacy after design pour les applications Android ?, in Atelier Protection de la Vie Privée. Ile de Groix, France. 06. 2012. [URL]
[lirmm-00752314:1]
Christian Bessière, Remi Coletta, Frédéric Koriche, Arnaud Lallouet & Matthieu Lopez, Branch and Learn pour l'acquisition de CSP, in 8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), Simon de Givry (Ed.). Toulouse, France. Pp. 64-73. 05. 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, in International Workshop on Machine Learning in Systems Biology. Bâle, Switzerland. 09. 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, Runhe Huang and AliA. Ghorbani and Gabriella Pasi and Takahira Yamaguchi and NeilY. Yen and Beijing Jin (Ed.). Chengdu, China. Pp. 596-605, Springer Berlin Heidelberg. 12. 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, in 19èmes rencontres de la Société Francophone de Classification. 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, in CIEL 2012. Rennes, France. 06. 2012. [URL]
[hal-00691474:1]
Jérôme Durand-Lose, Signal machines: localization of isolated accumulation, in Journées Calculabilités. Paris, France. 03. 2012. [URL]
[hal-00943023:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Complexité au pire des cas d'algorithmes exponentiels pour des problèmes de séquencement, in 13ième congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2012). 2012. [URL]
[hal-00943025:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Généralisation de la méthode Trier et Chercher : application à des problèmes à machines parallèles, in 13ième congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2012). 2012. [URL]
[hal-00943032:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Scheduling parallel machines with exponential algorithms, in International Workshop on Approximation, Parameterized and EXact algorithms (APEX 2012). 2012. [URL]
[hal-00943033:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent T'Kindt, Scheduling parallel machines with exponential algorithms, in 13th International Conference on Project Management and Scheduling (PMS 2012). Pp. pp. 203-206. 2012. [URL]
[hal-00708817:1]
Frédéric Loulergue, On the Formal Verification of Computer Simulations, in 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, in 3ème séminaire de Veille Stratégique, Scientifique et Technologique (VSST'12). Ajaccio, France. 05. 2012. [URL]
Other Publications
[hal-00662507:1]
Gabriel Bergounioux, Emmanuel Schang, Denis Maurel, Agata Savary, Jérôme Durand-Lose & Yannick Parmentier, L'ordinateur et les langues. Pp. 14-15. 01. 2012. [URL]
[hal-00663866:1]
Pascal Berthomé, Jean-François Lalande & Vincent Levorato, Implementation of exponential and parametrized algorithms in the AGAPE project. 01. 2012. [URL]
[hal-00502201:4]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Tools for parsimonious edge-colouring of graphs with maximum degree three. 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]
Frédéric Havet, Andrew King, Mathieu Liedloff & Ioan Todinca, (Circular) backbone colouring: tree backbones in planar graphs. 11. 2012. [URL]
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 