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 2009

 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


Revue internationale à comité de lecture


[hal-00460085:1]
Dominique Barth, Pascal Berthomé, Dominique Chiaroni, Jean-Michel Fourneau, Christian Laforest & Sandrine Vial, Mixing convergence and deflection strategies for packet routing in all-optical networks, Journal of Optical Communications and Networking, Vol. 1(3). Pp. 222-234, IEEE/OSA. 2009. [URL]
[inria-00491020:1]
Pascal Berthome, Raul Cordovil, David Forge, Veronique Ventos & Thomas Zaslavsky, An Elementary Chromatic Reduction for Gain Graphs and Special Hyperplane Arrangements, Electronic Journal of Combinatorics, Vol. 16(1). Pp. R121, Electronic Journal of Combinatorics. 09. 2009. [URL]
[hal-00459817:1]
Mathieu Blanc, Patrice Clemente, Jonathan Rouzaud-Cornabas & Christian Toinard, Classification of malicious distributed SELinux activities, Journal of Computers (JCP), Vol. 4(5). Pp. 423-432, Academy Publisher. 05. 2009. [URL]
[hal-00561373:1]
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam & Olga Kouchnarenko, Handling Non Left-Linear Rules When Completing Tree Automata, International Journal of Foundations of Computer Science, Vol. 20(5). Pp. 837-849, World Scientific Publishing. 2009. [URL]
[hal-00561374:1]
Yohan Boichut, Pierre-Cyrille Héam & Olga Kouchnarenko, Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives, Electronic Notes in Theoretical Computer Science, Vol. 239. Pp. 57-72, Elsevier. 2009. [URL]
[hal-01023027:1]
Béatrice Bouchou, Mirian Halfeld Ferrari & Maria Adriana Vidigal De Lima Abraro, Contraintes d'intégrité pour XML : visite guidée par une syntaxe homogène, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Vol. 28(3). Pp. 331-364, Lavoisier. 2009. [URL]
[hal-00451810:1]
Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Security and results of a large-scale high-interaction honeypot, Journal of Computers (JCP), Vol. 4(5). Pp. 395-404, Academy Publisher. 05. 2009. [URL]
[hal-00464773:1]
Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Formalization of security properties: enforcement for MAC operating systems and verification of dynamic MAC policies, International Journal On Advances in Security, Vol. 2(4). Pp. 325-343, IARIA. 12. 2009. [URL]
[hal-00460806:1]
Khalil Djelloul, A full first-order constraints solver for decomposable theories, Annals of Mathematics and Artificial Intelligence, Vol. 56(1). Pp. 56(1):43-64, Springer Verlag. 05. 2009. [URL]
[hal-00474385:1]
Khalil Djelloul, From decomposable to residual theories, Applied Mathematics and Computation, Vol. 215(5). Pp. 1761, Elsevier. 10. 2009. [URL]
[hal-00447966:1]
Jérôme Durand-Lose, Abstract geometrical computation 3: Black holes for classical and analog computing, Natural Computing, Vol. 8(3). Pp. 455-472, Springer Verlag. 2009. [URL]
[hal-00460850:1]
Fedor V. Fomin, Petr A. Golovach, Jan Kratochvil, Dieter Kratsch & Mathieu Liedloff, Sort and search: Exact algorithms for generalized domination, Information Processing Letters, Vol. 109(14). Pp. 795-798, Elsevier. 06. 2009. [URL]
[hal-00390623:1]
Fedor V. Fomin, Frédéric Mazoit & Ioan Todinca, Computing branchwidth via efficient triangulations and blocks, Discrete Applied Mathematics, Vol. 157. Pp. 2726-2736, Elsevier. 2009. [URL]
[hal-00144338:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On isomorphic linear partitions in cubic graphs, Discrete Mathematics, Vol. 309(22). Pp. 6425-6433, Elsevier. 11. 2009. [URL]
[hal-00430182:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On odd and semi-odd linear partitions of cubic graphs, Discussiones Mathematicae Graph Theory, Vol. 29(2). Pp. 275-292, University of Zielona Góra. 2009. [URL]
[hal-00325250:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On normal partitions in cubic graphs, Discussiones Mathematicae Graph Theory, Vol. 29(2). Pp. 293-312, University of Zielona Góra. 2009. [URL]
[hal-00460855:1]
Serge Gaspers, Dieter Kratsch, Mathieu Liedloff & Ioan Todinca, Exponential time algorithms for the minimum dominating set problem on some graph classes, ACM Transactions on Algorithms, Vol. 6. Pp. article 9, Association for Computing Machinery. 2009. [URL]
[hal-00451807:1]
Jean-François Lalande, David Rodriguez & Christian Toinard, Security properties in an open peer-to-peer network, International Journal of Network Security & Its Applications, Vol. 1(3). Pp. 73-89. 10. 2009. [URL]
[hal-01120752:1]
Vincent Levorato, Thanh Van Le, Marc Bui & Michel Lamure, Pretopological classification based on the kolomogorov complexity, Studia Informatica Universalis, Vol. 7(1). Pp. 199-222, Hermann. 2009. [URL]
[hal-00480744:1]
Ivan Rapaport, Karol Suchan, Ioan Todinca & Jacques Verstraëte, On Dissemination Thresholds in Regular and Irregular Graph Classes, Algorithmica. Pp. 1432-0541 (Online), Springer Verlag. 2009. [URL]
[inria-00475637:1]
Florian Roussel, Irena Rusu & Henri Thuillier, The Strong Perfect Graph Conjecture: 40 years of Attempts, and its Resolution, Discrete Mathematics, Vol. 309(20). Pp. 6092-6113, Elsevier. 10. 2009. [URL]
[hal-00462385:1]
Karol Suchan & Ioan Todinca, Minimal interval completion through graph exploration, Theoretical Computer Science, Vol. 410(1). Pp. 35-43, Elsevier. 2009. [URL]


Revue nationale à comité de lecture


[hal-00466412:1]
Damien Poirier, Françoise Fessant, Cécile BOTHOREL, Emilie Guimier De Neef & Marc Boullé, Approches Statistique et Linguistique Pour la Classification de Textes d'Opinion Portant sur les Films, Revue des Nouvelles Technologies de l'Information, Vol. RNTI-E-17. Pp. Pages 147-169, Hermann. 11. 2009. [URL]
[inria-00514535:1]
Isabelle Tellier, Apprentissage automatique pour le TAL : Préface, Traitement Automatique des Langues, Apprentissage automatique pour le TAL, Vol. 50(3). Pp. 7-21, ATALA. 2009. [URL]


Direction d'ouvrages scientifiques


[hal-00461203:1]
Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07), Maurice Margenstern and Jérôme Durand-Lose (Ed.), Fundamenta Informaticae, 91(1 and 2). Pp. 1-195, IOS Press. 2009. [URL]
[inria-00514903:1]
TAL, numéro ''Apprentissage automatique pour le TAL, Isabelle Tellier and Mark Steedman (Ed.), Vol. 50 (3). Pp. 243, revue en ligne. 2009. [URL]


Chapitres d'ouvrages scientifiques


[hal-00460663:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, An Efficient Pipelined Parallel Join Algorithm on Heterogeneous Distributed Architectures, in Software and Data Technologies, Extended and revised ICSFOT'2008 Best papers Book., AlpeshKumar Ranchordas José Cordeiro, Boris Shishkov and Markus Helfert (Ed.), Communications in Computer and Information Science. Pp. 119-133, Springer Berlin Heidelberg. 2009. [URL]
[hal-01067224:1]
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari & Martin A. Musicante, Extending an XML Type using Updated Data, in Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes, P. Hung (Ed.). Pp. 1-21, IGI Global. 2009. [URL]
[hal-00468324:1]
Jean-Michel Couvreur & Denis Poitrenaud, Petri Net Unfoldings -- Properties, in Petri Nets. Fundamental Models, Verification and Applications. Pp. 415-434, Wiley. 2009. [URL]
[inria-00448437:1]
Jérôme Durand-Lose, Cellular automata, Universality of, in Encyclopedia of Complexity and System Science, Robert A. Meyers and Andrew Adamatzky (Ed.). Pp. 901-913, Springer. 2009. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-00465073:1]
Mohamad Al Hajj Hassan, Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées., Thèse de Doctorat. Université d'Orléans. 12. 2009. [URL]


Conférence donnée sur invitation


[hal-00461281:1]
Jérémy Briffaut, Jonathan Rouzaud-Cornabas & Christian Toinard, SEC&SI: Un défi pour la réalisation d'un système d'exploitation cloisonné et sécurisé pour l'Internaute: Le Projet SPACLik, in Symposium sur la Sécurité des Technologies de l'Information et de la Communication 2009. Rennes, France. 06. 2009. [URL]


Communications avec actes dans un congrès international


[hal-00460647:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, An Efficient Parallel Algorithm for Evaluating Join Queries on Heterogeneous Distributed Systems, in (HiPC'09), 16th Annual International Conference on High Performance Computing, Yuanyuan Yang and Manish Parashar and Rajeev Muralidhar and Viktor K. Prasanna (Ed.). Kochi, India. Pp. 350-358, IEEE Computer Society. 12. 2009. [URL]
[inria-00426798:1]
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran & Michael Rusinowitch, Unification Modulo Homomorphic Encryption, in 7th International Symposium on Frontiers of Combining Systems - FroCoS 2009, Silvio Ghilardi and Roberto Sebastiani (Ed.). Trento, Italy, Lecture Notes in Computer Science, Vol. 5749. Pp. 100-116, Springer. 09. 2009. [URL]
[hal-00466351:1]
Mathieu Blanc, Patrice Clemente & Steve-William Kissi, Toward a real MLS/SELinux system for end users: an empirical study, in Workshop on Collaboration and Security (COLSEC'10), 2009 International Symposium on Collaborative Technologies and Systems. Baltimore, United States, ISBN:978-1-4244-4584-4. Pp. 209-216, IEEE Computer Society. 05. 2009. [URL]
[hal-00451794:1]
Mathieu Blanc, Kévin Guérin, Jean-François Lalande & Vincent Le Port, Mandatory access control implantation against potential NFS vulnerabilities, in Workshop on Collaboration and Security 2009, The 2009 International Symposium on Collaborative Technologies and Systems, Waleed W. Smari and William McQuay (Ed.). Baltimore, United States, ISBN: 978-1-4244-4584-4. Pp. 195-200, IEEE Computer Society. 05. 2009. [URL]
[inria-00428998:1]
Yohan Boichut, Pierre-Cyrille Heam & Olga Kouchnarenko, How to Tackle Integer Weighted Automata Positivity, in 3rd InternationalWorkshop on Reachability Problems - RP 2009, Olivier Bournez and Igor Potapov (Ed.). Palaiseau, France, Lecture Notes in Computer Science, Vol. 5797. Pp. 79-92, Springer -Verlag. 09. 2009. [URL]
[hal-00451800:1]
Jérémy Briffaut, Xavier Kauffmann-Tourkestansky, Jean-François Lalande & Waleed Smari, Generation of role based access control security policies for Java collaborative applications, in SECURWARE '09, Third International Conference on Emerging Security Information, Systems and Technologies, IARIA (Ed.). Athens, Glyfada, Greece, ISBN: 978-0-7695-3668-2. Pp. 224 - 229, IEEE Computer Society. 05. 2009. [URL]
[hal-00451806:1]
Jérémy Briffaut, Jean-François Lalande, Christian Toinard & Mathieu Blanc, Enforcement of security properties for dynamic MAC policies, in SECURWARE '09, Third International Conference on Emerging Security Information, Systems and Technologies, IARIA (Ed.). Athens, Glyfada, Greece. Pp. 114-120, IEEE Computer Society. 05. 2009. [URL]
[hal-00454467:1]
Jérémy Briffaut, Jonathan Rouzaud-Cornabas, Christian Toinard & Yacine Zemali, A New Approach to Enforce the Security Properties of a Clustered High-Interaction Honeypot, in Workshop on Security and High Performance Computing Systems, International Conference on High Performance Computing & Simulation, Ratan Kumar Guha and Luca Spalazzi (Ed.). Leipzig, Germany, ISBN: 978-1-4244-4906-4. Pp. 184-192, IEEE Computer Society. 06. 2009. [URL]
[hal-00460546:1]
Francis Chamberot & Xavier Kauffmann-Tourkestansky, Dedicated smart card security checking based on property driven model, in e-Smart. Sophia-Antipolis, France. 09. 2009. [URL]
[hal-00407682:1]
Mathieu Chapelle, Frédéric Mazoit & Ioan Todinca, Constructing brambles, in International Symposium on Mathematical Foundations of Computer Science (MFCS), Mathematical Foundations of Computer Science 2009. Pp. 223-234. 2009. [URL]
[hal-00460800:1]
Guillaume Cleuziou, Matthieu Exbrayat, Lionel Martin & Jacques-Henri Sublemontier, CoFKM : a Centralized Method for Multiple-View Clustering, in ICDM 2009, The Ninth IEEE International Conference on Data Mining. Miami, United States. Pp. 752-757. 12. 2009. [URL]
[hal-00461032:1]
Yuri Demchenko, Cees De Laat, Thierry Denys & Christian Toinard, Authorisation session management in on-demand resource provisioning in collaborative applications, in Workshop on Collaboration and Security 2009, International Symposium on Collaborative Technologies and Systems. Baltimore, United States, ISBN: 978-1-4244-4584-4. Pp. 201-208, IEEE Computer Society. 05. 2009. [URL]
[hal-00459976:1]
Madiagne Diallo, Serigne Gueye & Pascal Berthomé, Impact of a varying capacity on the all pairs 2-route network flows, in V Latin-American Algorithms, Graphs and Optimization Symposium. Gramado, Brazil, Electronic Notes in Discrete Mathematics, Vol. 35. Pp. 59-64, Elsevier. 11. 2009. [URL]
[hal-00474386:1]
Khalil Djelloul, From exponential to almost linear decomposability of finite or infinite trees, in ACM Symposium on applied computing (SAC), ACM Press. Pp. 897-902. 03. 2009. [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. 2009. [URL]
[hal-00458937:1]
Denys Duchier, Jean-Philippe Prost & Thi-Bich-Hanh Dao, A model-theoretic framework for grammaticality judgements, in Conference on Formal Grammar (FG2009). Pp. 1-14. 2009. [URL]
[hal-00447965:1]
Jérôme Durand-Lose, Abstract Geometrical Computation and Computable Analysis, in International Conference on Unconventional Computation 2009 (UC'09), José Félix Costa and Nachum Dershowitz (Ed.), LNCS(5715). Pp. 158-167, Springer. 08. 2009. [URL]
[hal-00468314:1]
Alexandre Duret-Lutz, Denis Poitrenaud & Jean-Michel Couvreur, On-the-fly Emptiness Check of Transition-Based Streett Automata, in 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009. Macao, China, Lecture Notes in Computer Science, Vol. 5799. Pp. 213-227, Springer. 10. 2009. [URL]
[lirmm-00400470:1]
Henning Fernau, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff & Daniel Raible, Exact Exponential-Time Algorithms for Finding Bicliques in a Graph, in CTW: Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris, France. Pp. 205-209. 06. 2009. [URL]
[hal-00460824:1]
Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible & Peter Rossmanith, An exact algorithm for the Maximum Leaf Spanning Tree problem, in IWPEC'2009 : 4th International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science. Copenhagen, Denmark, Vol. 5917. Pp. 161-172. 09. 2009. [URL]
[hal-00466130:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On the perfect matching index of Cubic Graphs, in 18th 3in1 Workshop on Graph Theory. 11. 2009. [URL]
[inria-00360131:2]
Everton Hermann, Bruno Raffin & François Faure, Interactive Physical Simulation on Multicore Architectures, in EGPGV - Eurographics Workhop on Parallel Graphics and Visualization. Munich, Germany. Pp. 1-8. 03. 2009. [URL]
[inria-00452523:1]
Noman Javed & Frédéric Loulergue, OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays, in 8th international Conference on Advanced Parallel Processing Technologies (APPT'09), Y. Don and R. Gruber and J. Joller (Ed.). Rapperswil, Switzerland, LNCS, Vol. 5737. Pp. 436-451, Springer. 08. 2009. [URL]
[inria-00461663:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, FlowVR-SciViz: a component-based framework for interactive scientific visualization, in CBHPC '09, Proceedings of the 2009 Workshop on Component-Based High Performance Computing. New York, NY, USA, United States. Pp. 1-9, ACM. 2009. [URL]
[hal-00730577:1]
Jean Martinet, Adel Lablack, Stanislas Lew & Chabane Djeraba, Gaze Based Quality Assessment of Visual Media Understanding, in IEEE PSIVT-CVIM'09. Tokyo, Japan, IEEE. 01. 2009. [URL]
[hal-00462314:1]
Rodica Mihai & Ioan Todinca, Pathwidth is NP-Hard for Weighted Trees, in Frontiers in Algorithmics, Third International Workshop (FAW 2009), Jinyun Xue Xiaotie Deng, John E. Hopcroft (Ed.). Hefei, China, Lecture Notes in Computer Science, Vol. 5598. Pp. 181-195, Springer. 06. 2009. [URL]
[inria-00423454:1]
Nicolas Nisse, Ivan Rapaport & Karol Suchan, Distributed computing of efficient routing schemes in generalized chordal graphs, in International Colloquium on Structural Information and Communication Complexity (SIROCCO). Piran, Slovenia. 2009. [URL]
[hal-00466305:1]
Waleed Smari, Jian Zhu & Patrice Clemente, Trust and privacy in attribute based access control for collaboration environments, in iiWAS 2009, International ACM Conference on Information Integration and Web-Based Applications & Services. Kuala Lumpur, Malaysia. Pp. 47-53, ACM Press. 12. 2009. [URL]


Communications avec actes dans un congrès national


[hal-00390901:1]
Marco Benedetti, Arnaud Lallouet & Jeremie Vautard, Problèmes d'optimisation avec des contraintes quantifiées, in Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009. Pp. 265-275. 06. 2009. [URL]
[hal-00466030:1]
Guillaume Cleuziou, Adaptation des modèles d'auto-organisation pour la classification recouvrante, in 16èmes rencontres de la Société Francophone de Classification (SFC'2009). Pp. 11-14. 2009. [URL]
[hal-00466033:1]
Guillaume Cleuziou, OKMED et WOKM : deux variantes de OKM pour la classification recouvrante, in 9èmes journées d'Extraction et de Gestion des Connaissances (EGC'2009). Pp. 31-42. 2009. [URL]
[hal-00460815:1]
Guillaume Cleuziou, Matthieu Exbrayat, Lionel Martin & Jacques-Henri Sublemontier, Classification non-supervisée de données multi-représentées par une approche collaborative., in XVIèmes Rencontres de la Société Francophone de Classification. Grenoble, France. Pp. 161-164. 09. 2009. [URL]
[hal-00387817:1]
Thi Bich Hanh Dao, Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues, in Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009. Pp. 345-355. 06. 2009. [URL]
[hal-00387824:1]
Khalil Djelloul, Décidabilité de contraintes du premier ordre par contraintes duales, in Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Actes des Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009. Pp. 255-265. 06. 2009. [URL]
[inria-00452515:1]
Hideki Hashimoto, Zhenjiang Hu, Julien Tesson, Frédéric Loulergue & Masato Takeichi, A Coq Library for Program Calculation, in JSSST Conference on Software Science and Technology. Shimane University, Shimane, Japan. 2009. [URL]
[hal-00436330:1]
Erwan Moreau, Isabelle Tellier, Antonio Balvet, Grégoire Laurence, Antoine Rozenknop & Thierry Poibeau, Annotation fonctionnelle de corpus arborés avec des Champs Aléatoires Conditionnels, in TALN 2009. Senlis, France. 06. 2009. [URL]
[hal-00466057:1]
Yann Permal, Sébatsien Danichert, Sébastien Regis & Guillaume Cleuziou, Initialisation des masses dévidence par les Okm pour la théorie des fonctions de croyance. Application aux bioprocédés, in Atelier ''Fouille de Données Complexes'' (EGC'2009). 2009. [URL]
[hal-00460827:1]
Jacques-Henri Sublemontier, Guillaume Cleuziou, Matthieu Exbrayat & Lionel Martin, Regroupement de données multi-représentées : une approche par k-moyenne flou, in EGC 2009, 9è Journées Francophones Extraction et Gestion des Connaissances, Actes des ateliers. Strasbourg, France. Pp. A4-35-A4-46. 01. 2009. [URL]


Communications affichées avec actes


[hal-00460822:1]
Guillaume Cleuziou, Matthieu Exbrayat, Lionel Martin & Jacques-Henri Sublemontier, CoFKM : un modèle de clustering flou collaboratif pour les données multi-représentées, in CAp 2009, 11è conférence d'Apprentissage. Hammamet, Tunisia. Pp. 339-342. 05. 2009. [URL]
[hal-00468770:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Integrating Heterogeneous Simulation Codes in FlowVR Interactive Applications, in Joint Virtual Reality Conference 2009. Lyon, France. 12. 2009. [URL]
[hal-00448704:1]
Erwan Moreau & Isabelle Tellier, The Crotal SRL System : a Generic Tool Based on Tree-structured CRF, in Conference on Computational Natural Language Learning (CoNLL 2009): Shared Task, Proceedings of the Thirteenth Conference on Computational Natural Language Learning (CoNLL 2009): Shared Task. Boulder, Colorado, United States. Pp. 91-96, Association for Computational Linguistics. 06. 2009. [URL]
[hal-00467983:1]
Jean-Philippe Prost, Analyse relâchée à base de contraintes, in Actes de TALN'09 (session poster). Senlis, France, France, ATALA. 06. 2009. [URL]
[hal-00468007:1]
Jean-Philippe Prost, Grammar Error Detection with Best Approximated Parse, in 11th International Conference on Parsing Technology (IWPT'09), Proceedings of the 11th International Conference on Parsing Technology (IWPT'09). Paris, France. Pp. 172-175, Association for Computational Linguistics. 10. 2009. [URL]


Communications sans actes


[hal-00943037:1]
Henning Fernau, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff & Daniel Raible, Exact exponential-time algorithms for finding bicliques in a graph, in Proceedings of CTW 2009. Pp. pp. 205-209. 2009. [URL]
[hal-00766231:1]
Jacques-Henri Sublemontier, Guillaume Cleuziou, Matthieu Exbrayat & Lionel Martin, De l'integration de la collaboration au sein du processus de clustering pour le traitement de données multi-représentées, in Groupe de Travail EGC-FDC. Paris, France. 06. 2009. [URL]


Autres Publications


[inria-00464116:1]
Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty & Martin A. Musicante, Minimal Extensions of Tree Languages: Application to XML Schema Evolution. 2009. [URL]
[hal-00374313:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On the perfect matching index of bridgeless cubic graphs. 04. 2009. [URL]
[inria-00448751:1]
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue & Masato Takeichi, Program Calculation in Coq. Pp. 18. 2009. [URL]



2017/10/28 généré via HALLO + JabRef.