|
|
| LIFO > Publications for year 2010 |
|
Go to publications of year : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 International Refereed Journals[inria-00502850:1] Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran & Michael Rusinowitch, Unification modulo Homomorphic Encryption, Journal of Automated Reasoning, Vol. (To appear). 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-00504876:1] Jérôme Durand-Lose, Abstract geometrical computation 4: small Turing universal signal machines, Journal of Theoretical Computer Science (TCS), Vol. to appear. 2010. [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. to appear. 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-00512289:1] Fedor V. Fomin, Petr A. Golovach, Jan Kratochvil, Dieter Kratsch & Mathieu Liedloff, Branch and Recharge: Exact Algorithms for Generalized Domination, Algorithmica. 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-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] [hal-00392009:2] Jean-Luc Fouquet & Jean-Marie Vanherpe, On Fulkerson conjecture, Discussiones Mathematicae Graph Theory. 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. 03. 2010. [URL] [hal-00460873:1] Frédéric Havet, Martin Klazar, Jan Kratochvil, Dieter Kratsch & Mathieu Liedloff, Exact Algorithms for L(2,1)-Labeling of Graphs, Algorithmica. 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. 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] [lirmm-00512753:1] Laurent Lyaudet, Frédéric Mazoit & Stephan Thomasse, Partitions Versus Sets : A Case of Duality, European Journal of Combinatorics, Vol. 31. Pp. 681-687. 2010. [URL] [hal-00511130:1] Jonathan Rouzaud-Cornabas, Patrice Clemente & Christian Toinard, From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems, Transactions on Computational Sciences Journal. Pp. 1. 11. 2010. [URL] National Refereed Journals[hal-00462937:1] Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal, Contraintes de distances entre objets visualisés : mise en place interactive et résolution, Revue des Nouvelles Technologies de l'Information, numéro spécial Apprentissage et Visualisation. 09. 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] [hal-00461197:1] Jérôme Durand-Lose & Andrew Adamatzky, Collision Computing, in Handbook of Natural Computing: Theory, Experiments, and Applications, Part II, Springer. 2010. [URL] [inria-00514525:1] Isabelle Tellier & Marc Tommasi, Champs Markoviens Conditionnels pour l'extraction d'information, in Modèles probabilistes pour l'accès à l'information textuelle, Hermès. 2010. [URL] Thesis[tel-00486721:1] 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. 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, Italie, 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, Suisse. 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, Chine, 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. 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. 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, Japon, 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, Italie, 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, Italie. 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, États-Unis. 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, Brésil, Vol. 6255. Pp. 60-75, Springer-Verlag. 09. 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, 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., Proceedings STAIRS 2010. Lisbon, Portugal. 08. 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 International Conference on Advanced Data Mining and Applications, Proceedings of ADMA 2010. Chongqing, Chine. 11. 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, 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, Danemark. 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. 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 10èmes Journées Internationales d'Analyse statistique des Données Textuelles JADT'2010, Actes des 10èmes Journées internationales d'Analyse statistique des Données Textuelles JADT'2010. Rome, Italie. 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, IEEE. 2010. [URL] [inria-00484318:1] Coullon Hélène, Sébastien Limet & Emmanuel Melin, A Simple Framework to Generate Parallel Application for Geospatial Processing, in Geo.Com 2010. Washington, États-Unis, ACM. 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, Grèce. 2010. [URL] [hal-00483753:1] Matthieu Lopez, Lionel Martin & Christel Vrain, Learning discriminant rules as a minimal saturation search, in Inductive Logic Programming, Proceedings of 20th International Conference on Inductive Logic Programming. Florence, Italie, Springer. 07. 2010. [URL] [inria-00514418:1] Matthieu Lopez, Lionel Martin, Christel Vrain & Arnaud Lallouet, On Learning Constraint Problems, in ICTAI 2010. Arras, France. 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, Italie. Pp. 1. 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, Italie. Pp. 0. 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, États-Unis. 2010. [URL] [hal-00511958:1] Maxime Senot, Jérôme Durand-Lose & Denys Duchier, Massively Parallel Automata in Euclidean Space-Time, in First International Workshop on Spatial Computing (SCW '10). Budapest, Hongrie. 2010. [URL] [hal-00511950:1] Maxime Senot & Vincent Levorato, 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, Allemagne. Pp. 127-140. 08. 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] 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] [hal-00482680:1] Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier & Willy Lesaint, Une modélisation en CSP des grammaires de propriétés, in Sixièmes Journées Francophones de Programmation par Contraintes (JFPC 2010). Caen, France. 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, Tunisie. 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, Tunisie. Pp. 643-644. 01. 2010. [URL] [hal-00484161:1] Matthieu Lopez, Lionel Martin & Arnaud Lallouet, Apprentissage de problèmes contraints, in Journées Francophones de Programmation par Contraintes, Actes des Journées Francophones de Programmation par Contraintes (JFPC 2010). Caen, France. 06. 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, Tunisie, 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, Tunisie. 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, Tunisie. 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. Pp. 0-0. 04. 2010. [URL] [hal-00467951:1] Isabelle Tellier, Iris Eshkol, Samer Taalab & Jean-Philippe Prost, POS-tagging for Oral Texts with CRF and Category Decomposition, in 11th international Conference on Intelligent Text Processing and Computational Linguistics, Natural Language Processing and its Applications. Iasi, Roumanie, Vol. 46. Pp. 79-90, Instituto Politécnico Nacional. 03. 2010. [URL] Unrefereed publications at Conferences or Workshops[hal-00514409:1] Florence Cloppet, Hani Daher, Véronique Églin, Matthieu Exbrayat, Guillaume Joutel, Lionel Martin, Ikram Moalla, Imran Siddiqi & Nicole Vincent, New Tools for Exploring, Analysing and Categorising Medieval Scripts. New York, États-Unis. 06. 2010. [URL] [hal-00483710:1] Jérôme Durand-Lose, A reversible and conservative model based on rational signal machines for Black hole computation. 06. 2010. [URL] [hal-00483711:1] Jérôme Durand-Lose, The coordinates of isolated accumulations are exactly computable real numbers. 06. 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. Toulouse, France. 02. 2010. [URL] Other Publications[inria-00501487:1] Yohan Boichut, Benoit Boyer, Thomas Genet & Axel Legay, Fast Equational Abstraction Refinement for Regular Tree Model Checking. To appear. [URL] [hal-00484023:1] Yohan Boichut, Jean-Michel Couvreur & Duy Tung Nguyen, Functional Term Rewriting Systems. 2010. [URL] [inria-00465842:1] Wadoud Bousdira, Frédéric Loulergue & L. Gesbert, Revised Bulk Synchronous Parallel ML: Syntax and Semantics. 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. Blois, France. 01. 2010. [URL] [hal-00514386:1] Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, Heuristic Method for Discriminative Structure Learning of Markov Logic Networks. 09. 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. Blois, France. 01. 2010. [URL] [hal-00454605:1] Jérôme Durand-Lose, Abstract geometrical computation 5: embedding computable analysis. 2010. [URL] [hal-00325253:4] Jean-Luc Fouquet & Jean-Marie Vanherpe, On parcimonious edge-colouring of graphs with maximum degree three. 07. 2010. [URL] [hal-00467642:1] Jean-Luc Fouquet & Jean-Marie Vanherpe, Seidel complementation on ($P5$, $House$, $Bull$)-free graphs. 03. 2010. [URL] [hal-00502201:2] Jean-Luc Fouquet & Jean-Marie Vanherpe, Tools for parsimonious edge-colouring of graphs with maximum degree three. 07. 2010. [URL] [hal-00464792:1] Yannick Parmentier, Les grammaires à concaténation d'intervalles : un formalisme pivot pour l'analyse syntaxique ?. Blois, France. 01. 2010. [URL] [hal-00514549:1] 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. 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. Blois, France. 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. 2010. [URL]
|