Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2010

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017


International Refereed Journals


[hal-00616967:1]
Awad Abir & Abdelhakim Saadane, New Chaotic Permutation Methods for Image Encryption, International Journal of Computer Science,, Vol. 37(4). Pp. 1-9. 2010. [URL]
[hal-00535626:1]
Daniel Binkele-Raible, Henning Fernau, Serge Gaspers & Mathieu Liedloff, Exact exponential-time algorithms for finding bicliques, Information Processing Letters, Vol. 111. Pp. 64-67. 2010. [URL]
[hal-00511130:1]
Patrice Clemente, Jonathan Rouzaud-Cornabas & Christian Toinard, From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems, Transactions on Computational Sciences Journal. 11. 2010. [URL]
[hal-00459975:1]
Madiagne Diallo, Serigne Gueye & Pascal Berthomé, Sensitivity analysis on the all pairs q-route flows in a network, International Transactions in Operational Research, Vol. 17(1). Pp. 103-117. 01. 2010. [URL]
[hal-00460862:1]
Fedor V. Fomin, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff & Saket Saurabh, Iterative Compression and Exact Algorithms, Theoretical Computer Science, Vol. 411(7-9). Pp. 1045-1053. 02. 2010. [URL]
[hal-00466126:1]
Jean-Luc Fouquet, Henri Thuillier & Jean-Marie Vanherpe, On a sub-class of cubic graphs containing the Flower Snarks, Discussiones Mathematicae Graph Theory, Vol. 30(2). Pp. 289-314. 2010. [URL]
[hal-00467641:1]
Jean-Luc Fouquet, Henri Thuillier & Jean-Marie Vanherpe, On a family of cubic graphs containing the flower snarks, Discussiones Mathematicae Graph Theory, Vol. 30(2). Pp. 289-314. 2010. [URL]
[hal-00934272:1]
Jean-Luc Fouquet, Henri Thuillier & Jean-Marie Vanherpe, On a family of cubic graphs containing the ower snarks, Discussiones Mathematicae Graph Theory, Vol. 30(2). Pp. 289-314. 2010. [URL]
[hal-00325255:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Mácajová and vSkoviera Conjecture on Cubic Graphs., Discussiones Mathematicae Graph Theory, Vol. 30(2). Pp. 315-333. 2010. [URL]
[inria-00452527:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski, Bulk Synchronous Parallel ML with Exceptions, Future Generation Computer Systems, Vol. 26. Pp. 486-490, Elsevier. 03. 2010. [URL]
[hal-00460709:1]
Laura Kallmeyer, Wolfgang Maier, Yannick Parmentier & Johannes Dellert, TuLiPA - Parsing Extensions of TAG with Range Concatenation Grammars, Bulletin of the Polish Academy of Sciences : Technical Sciences, Vol. 58(3). Pp. 377-392. 2010. [URL]
[hal-00480717:1]
Laurent Lyaudet & Uffe Flarup, On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth, Theory of Computing Systems, Vol. 46(4). Pp. 761-791. 2010. [URL]
[inria-00597394:1]
Damien Poirier, Francoise Fessant & Isabelle Tellier, De la Classification d'Opinion à la Recommandation : l'Apport des Textes Communautaires, TAL : traitement automatique des langues : revue semestrielle de l'ATALA, Vol. 51(3). Pp. 19-46, en ligne. 2010. [URL]


National Refereed Journals


[hal-00462937:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal, Prise en compte de connaissances pour la visualisation par l'intégration interactive de contraintes, Revue des Nouvelles Technologies de l'Information, numéro spécial Apprentissage et Visualisation, Vol. A(4). Pp. 59-78. 11. 2010. [URL]


Book Chapters


[hal-00465999:1]
Guillaume Cleuziou, Two variants of the OKM for Overlapping Clustering, in Advances in Knowledge Discovery and Management, Springer. 2010. [URL]


Thesis


[tel-00669780:1]
Gaël Dias, Information Digestion, Université d'Orléans. Habilitation à Diriger des Recherches. 12. 2010. [URL]
[tel-00579490:2]
Duy-Tùng Nguyên, Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés, Thèse de Doctorat. Université d'Orléans. 10. 2010. [URL]
[tel-00623075:1]
Jonathan Rouzaud-Cornabas, Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation, Thèse de Doctorat. Université d'Orléans. 12. 2010. [URL]
[tel-00486721:2]
Jérémie Vautard, Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées, Thèse de Doctorat. Université d'Orléans. 04. 2010. [URL]


International Conference or Workshop with Proceedings


[hal-00461066:1]
Faisal Abu-Khzam, Amer Mouawad & Mathieu Liedloff, An Exact Algorithm for Connected Red-Blue Dominating Set, in CIAC'2010 : 7th International Conference on Algorithms and Complexity, Lecture Notes in Computer Science. Rome, Italy, Vol. 6078. Pp. 25-36. 2010. [URL]
[hal-00460665:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, Semi-join Computation on Distributed File Systems Using Map-Reduce-Merge Model, in (SAC'2010), Proceedings of the 25th ACM Symposium On Applied Computing. Sierre, Switzerland. Pp. 406-413, ACM Press. 2010. [URL]
[inria-00448703:1]
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran & Michael Rusinowitch, Cap Unification: Application to Protocol Security modulo Homomorphic Encryption, in 5th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2010. Beijing, China, ACM. 04. 2010. [URL]
[hal-00469795:1]
Simon Arvaux, Emmanuel Melin & Sophie Robert, Toward distant interactive VR Visualization of Large Parallel Simulations, in Virtual Reality Internationnal Conference, VRIC2010 proceedings. Laval, France. 04. 2010. [URL]
[hal-00476478:1]
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky & Jean-Francois Lalande, Attack model for verification of interval security properties for smart card C codes, in PLAS '10, 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security. Toronto, Canada, ISBN{:}978-1-60558-827-8. Pp. 1-12, ACM. 06. 2010. [URL]
[hal-00473944:1]
Mathieu Blanc & Jean-Francois Lalande, Mandatory access control for shared HPC clusters: setup and performance evaluation, in HPCS 2010, International Conference on High Performance Computing & Simulation. Caen, France, ISBN{:} 978-1-4244-6827-0. Pp. 291-298, IEEE Computer Society. 06. 2010. [URL]
[inria-00515223:1]
Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue & Guillaume Petiot, Functional Parallel Programming with Revised Bulk Synchronous Parallel ML, in 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA). Hiroshima, Japan. Pp. 191-196, IEEE Computer Society. 2010. [URL]
[hal-00461068:1]
Ljiljana Brankovic, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible & Peter Rossmanith, A Parameterized Route to Exact Puzzles: Breaking the $2^n$-barrier for irredundancy, in CIAC'2010 : 7th International Conference on Algorithms and Complexity, Lecture Notes in Computer Science. Rome, Italy, Vol. 6078. Pp. 311-322. 2010. [URL]
[hal-00474285:1]
Jérémy Briffaut, Mathieu Blanc, Thibault Coullet, Maxime Fonda & Christian Toinard, Protection of a Shared HPC Cluster, in The Fourth International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2010. Venice, Italy. Pp. 273-279. 07. 2010. [URL]
[hal-00483076:1]
Jérémy Briffaut, Christian Toinard & Martin Peres, A Dynamic End-to-End Security for Coordinating Multiple Protections within a Linux Desktop, in The 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010), WORKSHOP ON COLLABORATION AND SECURITY (COLSEC 2010). Chicago, United States. Pp. 509-515. 05. 2010. [URL]
[inria-00483787:1]
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante & Pierre Réty, Minimal tree language extensions: a keystone of XML type compatibility and evolution, in 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010). Natal, Brazil, LNCS (15 pages), Vol. 6255. Pp. 60-75, Springer-Verlag. 09. 2010. [URL]
[hal-00785645:1]
Hélène Coullon, Sébastien Limet & Emmanuel Melin, A simple framework to generate parallel application for geospatial processing., in COM.Geo 2010, Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application. Washington, United States, ACM International Conference Proceeding Series, ACM. 2010. [URL]
[hal-00480750:1]
Christophe Crespelle & Ioan Todinca, An $O(n^2)$-time Algorithm for the Minimal Interval Completion Problem, in Theory and Applications of Model of Computation (TAMC 2010), 7th Annual Conference on Theory and Applications of Models of Computation, LNCS, Vol. 6108. Pp. 175–186. 2010. [URL]
[hal-00504074:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, Generative structure learning for Markov Logic Networks., in STAIRS 2010, fifth European Starting AI Researcher Symposium., STAIRS 2010. Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, Vol. 222. Pp. 63-75, IOS Press. 2010. [URL]
[hal-00512439:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, Discriminative Markov Logic Network Structure Learning based on Propositionalization and chi 2-test, in Advanced Data Mining and Applications - 6th International Conference, ADMA 2010. Chongqing, China, LNCS, Vol. 6440. Pp. 24-35, Springer. 11. 2010. [URL]
[hal-00553007:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, Heuristic Method for Discriminative Structure Learning of Markov Logic Networks, in ICMLA 2010, Proceedings of the Ninth International Conference on Machine Learning and Applications. Washington DC, United States, IEEE Computer Society. 12. 2010. [URL]
[hal-00461644:1]
Hiep-Thuan Do, Sébastien Limet & Emmanuel Melin, Parallel Computing of Catchment Basins in Large Digital Elevation Model, in HPCA2009, Second International Conference on High Performance Computing and Applications, Lecture Notes in Computer Science, Vol. 5938. Pp. 133-138, Springer. 2010. [URL]
[hal-00469799:1]
Hiep-Thuan Do, Sébastien Limet & Emmanuel Melin, Parallel Computing of Catchment Basin of Rivers in Large Digital Elevation Model, in The 2010 International Conference on High Performance Computing & Simulation, HPCS 2010 Proceedings. Caen, France. 06. 2010. [URL]
[hal-00504684:1]
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier & Willy Lesaint, Property Grammar Parsing Seen as a Constraint Optimization Problem, in Proceedings of the 15th International Conference on Formal Grammar (FG 2010). Copenhagen, Denmark. Pp. 82-96. 08. 2010. [URL]
[hal-00511230:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot, Fractal parallelism: Solving sat in bounded space and time, in ISAAC '10, Int. Symposium on Algorithms and Computation, LNCS(6506). Pp. 279-290, Springer. 2010. [URL]
[hal-00511958:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot, Massively Parallel Automata in Euclidean Space-Time, in IEEE 4th International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW. Budapest, Hungary. Pp. 104-109, IEEE Computer Society. 2010. [URL]
[hal-00460690:1]
Iris Eshkol, Isabelle Tellier, Samer Taalab & Sylvie Billot, Etiqueter un corpus oral par apprentissage automatique à l'aide de connaissances linguistiques, in Actes des 10èmes Journées internationales d'Analyse statistique des Données Textuelles JADT'2010. Rome, Italy. Pp. 1-12. 2010. [URL]
[hal-00512867:1]
Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki & Julien Tesson, Systematic Development of Correct Bulk Synchronous Parallel Programs, in The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010), The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010) proceedings. Wuhan, Chine, Singapore, IEEE. 2010. [URL]
[hal-01016891:1]
Arnaud Lallouet, Matthieu Lopez, Lionel Martin & Christel Vrain, On Learning Constraint Problems, in International Conference on Tools with Artificial Intelligence,ICTAI, ICTAI. Arras, France. Pp. 45-52. 2010. [URL]
[inria-00514418:1]
Arnaud Lallouet, Matthieu Lopez, Lionel Martin & Christel Vrain, On Learning Constraint Problems, in ICTAI 2010. Arras, France, Vol. 1. Pp. 45-52. 10. 2010. [URL]
[hal-01009587:1]
Arnaud Lallouet & Jérémie Vautard, QCSP non bloquants : un cas spécial de problèmes quantifiés, in Colloque sur l'Optimisation et les Systèmes d'Information. Ouargla, Algeria. Pp. 446 - 456. 2010. [URL]
[hal-00542262:1]
Vincent Levorato & Marc Bui, Modeling the Complex Dynamics of Distributed Communities of the Web with Pretopology, in 10th International Conference on Innovative Internet Community Services (I2CS), Proceedings of the 10th International Conference on Innovative Internet Community Services (I2CS), Jubilee Edition 2010. Bangkok, Thailand, Vol. 165. Pp. 306-320, GI. 2010. [URL]
[hal-00511950:1]
Vincent Levorato & Maxime Senot, Discrete Signal Machine via Pretopology - one step from signal machines to cellular automata, in Second Workshop on Non-Classical Models of Automata and Applications (NCMA 2010). Jena, Germany. Pp. 127-140. 08. 2010. [URL]
[hal-00479645:1]
Mathieu Liedloff, Ioan Todinca & Yngve Villanger, Solving Capacitated Dominating Set by using Covering by Subsets and Maximum Matching, in WG'2010 : 36th International Workshop on Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science. Zarós, Greece, Vol. 6410. Pp. 88-99. 2010. [URL]
[hal-00483753:1]
Matthieu Lopez, Lionel Martin & Christel Vrain, Learning discriminant rules as a minimal saturation search, in Proceedings of 20th International Conference on Inductive Logic Programming. Florence, Italy, Lecture Notes in Artificial Intelligence, Springer. 07. 2010. [URL]
[hal-00514549:2]
Benjamin Petit, Thomas Dupeux, Benoit Bossavit, Joeffrey Legaux, Bruno Raffin, Emmanuel Melin, Jean-Sébastien Franco, Ingo Assenmacher & Edmond Boyer, A 3D Data Intensive Tele-immersive Grid, in MM'10 - International Multimedia Conference, MM'10 - Proceedings of the International Conference on Multimedia. Firenze, Italy. Pp. 1315-1318, ACM. 10. 2010. [URL]
[inria-00514533:1]
Damien Poirier, Francoise Fessant & Isabelle Tellier, Reducing the Cold-Start Problem in Content Recommendation Through Opinion Classification, in Web Intelligence. Toronto, Canada. 2010. [URL]
[hal-00511129:1]
Jonathan Rouzaud-Cornabas, A Distributed and Collaborative Dynamic Load Balancer for Virtual Machine, in Euro-Par 2010, 5th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '10). Ischia, Naples, Italy. 08. 2010. [URL]
[hal-00474156:1]
Jonathan Rouzaud-Cornabas, Patrice Clemente & Christian Toinard, An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS, in SECURWARE'10, Fourth International Conference on Emerging Security Information, Systems and Technologies. Venise, Italy. Pp. 11-16. 07. 2010. [URL]
[hal-00484619:1]
Lorenza Saitta & Christel Vrain, Abstracting Markov Networks, in WARA-2010, AAAI-10 Workshop on Abstraction, Reformulation, and Approximation, AAAI Technical Report. Atlanta, United States. 2010. [URL]
[inria-00484308:1]
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue & Masato Takeichi, Program Calculation in Coq, in Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010). Québec, Canada, Springer. 2010. [URL]
[hal-01009698:1]
Jérémy Vautard & Arnaud Lallouet, Modélisation de problèmes multi-niveaux par des problèmes d'optimisation de contraintes quantifiées, in Actes du congrès annuel de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision,ROADEF. Toulouse, France. Pp. 2 p.. 2010. [URL]


National Conference or Workshop with Proceedings


[hal-00469798:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, A Scalable Parallel Algorithm for Join Queries Evaluation on Heterogeneous Distributed Systems, in GDR - GLP, Journées du Génie de la Programmation et du Logiciel. Pau, France. Pp. 141-144. 03. 2010. [URL]
[hal-00466026:1]
Guillaume Cleuziou, OSOM : un algorithme de construction de cartes topologiques recouvrantes, in 10èmes journées d'Extraction et de Gestion des Connaissances (EGC'2010). Pp. 97-108. 2010. [URL]
[hal-00466068:1]
Guillaume Cleuziou, Gaël Dias & Vincent Levorato, Modélisation Prétopologique pour la Structuration Sémantico-Lexicale, in 17èmes rencontres de la Société Francophone de Classification (SFC'2010). 2010. [URL]
[inria-00520308:1]
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier & Willy Lesaint, Une modélisation en CSP des grammaires de propriétés, in JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes. Caen, France. Pp. 123-132. 06. 2010. [URL]
[inria-00519481:1]
Arnaud Lallouet, Matthieu Lopez & Lionel Martin, Problèmes d'apprentissage de contraintes, in JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes. Caen, France. Pp. 197-206. 06. 2010. [URL]
[hal-00460637:1]
Vincent Levorato, Une méthode mixte d'analyse d'un réseau social: classification prétopologique et centralité d'intermédiarité, in (EGC), The 1st Workshop on Web Social at Conference Extraction et Gestion des Connaissances'2010. Hammamet, Tunisia. 01. 2010. [URL]
[hal-00460704:1]
Vincent Levorato & Soufian Ben Amor, PretopoLib: la librairie JAVA de la Prétopologie, in (EGC), Actes de la conférence Extraction et Gestion des Connaissances'2010. Hammamet, Tunisia. Pp. 643-644. 01. 2010. [URL]
[hal-00460811:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal, Intégration interactive de contraintes pour la réduction de dimensions et la visualisation, in Extraction et gestion des connaissances EGC'2010, Revue des Nouvelles Technologies de l'Infomation. Hammamet, Tunisia, Vol. E(19). Pp. 369-380, Cépaduès. 02. 2010. [URL]
[hal-00464224:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal, Intégration interactive de connaissances pour la visualisation de données dans un cadre semi-supervisé, in Ateliers EGC 2010 - Atelier A4 : Visualisation et extraction de connaissances. Hammamet, Tunisia. 01. 2010. [URL]
[hal-00466420:1]
Damien Poirier, La Classification d'Opinion comme préambule à la Recommandation Automatique de Contenus, in COnférence en Recherche d'Information et Applications 2010, Proceedings CORIA-CIFED 2010. 03. 2010. [URL]
[hal-00466076:1]
Sébastien Régis, Jean-Gabriel Maizeroi & Guillaume Cleuziou, Initialisation des fonctions de masses par classification recouvrante en théorie des fonctions de croyance. Application aux bioprocédés, in 17èmes rencontres de la Société Francophone de Classification (SFC'2010). 2010. [URL]


Poster sessions


[hal-00469689:1]
Matthieu Lopez & Lionel Martin, Apprentissage de spécifications de CSP, in EGC 2010. Hammamet, Tunisia. Pp. 709-710. 2010. [URL]
[hal-00470172:1]
Damien Poirier, Isabelle Tellier, Francoise Fessant & Julien Schluth, Towards Text-Based Recommendations, in RIAO 2010: 9th international conference on Adaptivity, Personalization and Fusion of Heterogeneous Information, Proceedings RIAO 2010. PARIS, France. 04. 2010. [URL]
[hal-00766230:1]
Jacques-Henri Sublemontier, CoFKM : un modèle de clustering flou collaboratif pour les données multi-représentées, é-EGC Apprentissage Statistique et Fouille de données. Hammamet, Tunisia. 02. 2010. [URL]
[hal-00467951:1]
Isabelle Tellier, Iris Eshkol, Samer Taalab & Jean-Philippe Prost, POS-tagging for Oral Texts with CRF and Category Decomposition, Research in Computing Science, Vol. 46. Pp. 79-90. 03. 2010. [URL]


Unrefereed publications at Conferences or Workshops


[hal-00483710:1]
Jérôme Durand-Lose, A reversible and conservative model based on rational signal machines for Black hole computation, HyperNet 10: The Unconventional Computation 2010 (UC '10) Hypercomputation Workshop. 06. 2010. [URL]
[hal-00483711:1]
Jérôme Durand-Lose, The coordinates of isolated accumulations are exactly computable real numbers, 6th Int. Conf. Computability in Europe (CiE '10) (abstracts and extended abstracts of unpublished papers). 06. 2010. [URL]
[hal-00522918:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On $(Kq,k)$ stable graphs with minimum size-Abstract, SIXTH CRACOW CONFERENCE ON GRAPH THEORY ''ZGORZELISKO '10''. Zgorzelisko, Poland. 09. 2010. [URL]
[hal-00468724:1]
Christophe Lenté, Mathieu Liedloff, Emmanuel Neron, Ameur Soukhal & Vincent T'Kindt, Complexité d'algorithmes exponentiels : application au domaine de l'ordonnancement, ROADEF'2010 : 11ième congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision. Toulouse, France. 02. 2010. [URL]
[hal-00766225:1]
Jacques-Henri Sublemontier, Guillaume Cleuziou, Matthieu Exbrayat & Lionel Martin, Variante à noyaux pour la classification multi-vues non supervisée, Groupe de Travail EGC-FDC. Paris, France. 06. 2010. [URL]


Other Publications


[inria-00528733:1]
Florent Becker, Martin Matamala, Nicolas Nisse, Ivan Rapaport, Karol Suchan & Ioan Todinca, Adding a referee to an interconnection network: What can(not) be computed in one round.. Pp. 14. 09. 2010. [URL]
[inria-00501487:2]
Yohan Boichut, Benoit Boyer, Thomas Genet & Axel Legay, Equational Abstraction Refinement for Certified Tree Regular Model Checking. 07. 2010. [URL]
[hal-00484023:1]
Yohan Boichut, Jean-Michel Couvreur & Duy Tung Nguyen, Functional Term Rewriting Systems, Rapport de recherche LIFO. 2010. [URL]
[inria-00465842:1]
Wadoud Bousdira, Frédéric Loulergue & L. Gesbert, Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. 2010. [URL]
[inria-00464120:1]
Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty & Martin A. Musicante, Minimal Extensions of Tree Languages: Application to XML Schema Evolution, Journées informatiques de la région centre (JIRC). Blois, France. 2010. [URL]
[hal-00514386:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, Heuristic Method for Discriminative Structure Learning of Markov Logic Networks, Rapport de recherche. 09. 2010. [URL]
[hal-00533022:1]
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier & Willy Lesaint, Une Modélisation des Grammaires de Propriétés sous forme de Problème de Satisfaction de Contraintes, 6e Journée Informatique de la Région Centre (JIRC). 11. 2010. [URL]
[hal-00454603:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot, Construction géométrique pour résoudre SAT en temps constant, Journée Informatique Région Centre (JIRC). Blois, France. 01. 2010. [URL]
[hal-00535558:2]
Jean-Luc Fouquet, On measures of the edge uncolorability of graphs with maximum degree thre. 11. 2010. [URL]
[hal-00467642:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, Seidel complementation on ($P5$, $House$, $Bull$)-free graphs. 03. 2010. [URL]
[hal-00464792:1]
Yannick Parmentier, Les grammaires à concaténation d'intervalles : un formalisme pivot pour l'analyse syntaxique ?, 5e Journée Informatique de la Région Centre (JIRC). 01. 2010. [URL]
[hal-00459827:1]
Jonathan Rouzaud-Cornabas, Jérémy Briffaut, Christian Toinard & Patrice Clemente, An integrity security property based on information flows : Application to the enforcement of a classical operating system, Journée Informatique de la Région Centre 2009. Blois, France. Pp. 1. 01. 2010. [URL]
[inria-00465838:2]
Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue & Louis Gesbert, Systematic Development of Functional Bulk Synchronous Parallel Programs. Pp. 21. 03. 2010. [URL]



2014/10/08 generated via HALLO + JabRef.