- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37
Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013
[hal-00325244:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On bipartite graphs with weak density of some subgraphs, Discrete Mathematics, Vol. 307(11-12). Pp. 1516-1524. 2007. [URL]
[hal-00085481:1]
Arnaud Lallouet & Andrei Legtchenko, Building Consistencies For Partially Defined Constraints With Decision Trees And Neural Networks, International Journal on Artificial Intelligence Tools, Vol. 16(4). Pp. 683-706. 2007. [URL]
[hal-00084904:1]
Ansaf Salleb & Christel Vrain, A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases, Fundamenta Informaticae, Vol. 78(4). Pp. 156-168. 2007. [URL]
[hal-00462392:1]
Ioan Todinca & Karol Suchan, On powers of graphs of bounded NLC-width (clique-width), Discrete Applied Mathematics, Vol. 155(14). Pp. 1885-1893. 2007. [URL]
[inria-00466168:1]
Anne Benoit & Frédéric Loulergue, Special issue: Practical Aspects of High-Level Parallel Programming, Vol. Scalable Computing{:} Practice and Experience, 8(1). Pp. 35, Warsaw School of Social Psychology. 2007. [URL]
[inria-00448750:1]
Jérôme Durand-Lose & Maurice Margenstern, Machines, Computations and Universality (MCU '07). Pp. 1-328, Springer. 2007. [URL]
[inria-00466164:1]
Frédéric Loulergue, Special issue on Semantics and Cost Models for High-Level Parallel Programming, Vol. Computer Languages Structures and Systems, 33(3-4). Pp. 114, Elsevier. 2007. [URL]
[hal-00084863:1]
Béatrice Duval, Ansaf Salleb & Christel Vrain, On the Discovery of Exception Rules: A Survey, in Quality Measures in Data Mining Book. Pp. 77-98, Springer in the Series Studies in Computational Intelligence. 2007. [URL]
[tel-00261613:1]
Jérémy Briffaut, Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00476678:1]
Pierre-Alain Fayolle, Reconstruction 3D d'objets par une representation fonctionnelle, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00465080:1]
Sylvain Jubertie, Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00490819:1]
Pierre Pillot, Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[hal-00462208:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, An Optimal Evaluation of GroupBy-Join Queries in Distributed Architectures, in -, Proceedings of the International Conference on Web Information Systems and Technologies. Barcelona, Spain. 2007. [URL]
[hal-00468721:1]
Siva Anantharaman, Paliath Narendran & Michael Rusinowitch, Intruders with Caps, in Rewriting Techniques and Applications - RTA'07, 18th International Conference on Term Rewriting and Applications - RTA'07. Paris, France(4533). Pp. 20-35, Springer-Verlag. 06. 2007. [URL]
[hal-00144921:1]
Marco Benedetti, Arnaud Lallouet & Jérémie Vautard, QCSP Made Practical by Virtue of Restricted Quantification, in IJCAI 2007, International Joint Conference on Artificial Intelligence. Hyderabad, India. Pp. 38-43, AAAI. 01. 2007. [URL]
[hal-00466760:1]
Marco Benedetti, Federico Pecora & Nicola Policella, Anatomy of a Scheduling Competition, in Proceedings of the International Workshop on Scheduling a Scheduling Competition, held in conjunction with ICAPS'07 (International Conference on Automated Planning and Scheduling). Rhode Island, United States. 2007. [URL]
[inria-00462510:1]
Jacques Chabin & Pierre Réty, Visibly Pushdown Languages and Term Rewriting, in International Symposium on Frontiers of Combining Systems. Liverpool, United Kingdom, Vol. 4720. Pp. 252-266, Springer-Verlag. 09. 2007. [URL]
[hal-00460937:1]
Guillaume Cleuziou, Lionel Martin & Christel Vrain, Structuring natural language data by learning rewriting rules, in 16th International Conference on Inductive Logic Programming (ILP'06), Revised Selected Papers. Santiago de Compostela, Spain, Vol. 4455. Pp. 125-138, Springer. 2007. [URL]
[hal-00466015:1]
Guillaume Cleuziou & Céline Poudat, On the impact of Lexical and Linguistic features in Genre and Domain-Based Text Categorization, in 8th International Conference on Intelligent Text Processing and Computational Linguistic (CICLING'2007). Pp. 599-610. 2007. [URL]
[hal-00466023:1]
João-Paolo Cordeiro, Gaël Dias & Guillaume Cleuziou, Biology Based Alignments of Paraphrases for Sentence Compression, in ACL-PASCAL workshop on Textual Entailment and Paraphrasing associated to the ACL Annual Conference (ACL'2007). 2007. [URL]
[hal-00202314:1]
Thi-Bich-Hanh Dao & Khalil Djelloul, Solving First-Order Constraints in the Theory of the Evaluated Trees, in Recent Advance in constraints. Lecture notes in computer science. Selected revised paper Csclp 2006., Solving First-Order Constraints in the Theory of the Evaluated Trees, Vol. 4651. Pp. 108-123. 2007. [URL]
[inria-00151138:1]
Pierre Deransart, Mireille Ducassé & Gérard Ferrand, Une sémantique observationnelle du modèle des boites pour la résolution de programmes logiques, in Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07). Rocquencourt / France, France. 06. 2007. [URL]
[hal-00202316:1]
Khalil Djelloul, Thi-Bich-Hanh Dao & Thom Fruehwirth, Toward a first-order extension of Prolog's unification using CHR, in ACM symposium on applied computing, ACM Symposium on applied computing. 2007. [URL]
[hal-00144173:1]
Jérôme Durand-Lose, Abstract Geometrical Computation and the Linear Blum, Shub and Small Model, in 3rd Conference on Computability in Europe (CiE '07), Computation and Logic in the Real World(4497). Pp. 238-247, Springer. 06. 2007. [URL]
[hal-00180523:1]
Matthieu Exbrayat, Analyzing Web Traffic: A Boundaries Signature Approach, in ECML / PKDD Discovery Challenge. Varsovie, Poland. Pp. 53-64. 09. 2007. [URL]
[inria-00452559:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski, Bulk Synchronous Parallel ML with Exceptions, in Distributed and Parallel Systems (DAPSYS 2006). Innsbruck, Austria. Pp. 33-42, Springer. 2007. [URL]
[inria-00452532:1]
Louis Gesbert & Frédéric Loulergue, Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML, in International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). Adelaide, Australia. Pp. 201-208, IEEE Computer Society. 2007. [URL]
[hal-00464351:1]
Sylvain Jubertie & Emmanuel Melin, Multiple networks for heterogeneous distributed applications., in PDPTA'07, Proceedings of PDPTA'07, CSREA Press. 2007. [URL]
[hal-00464354:1]
Sylvain Jubertie & Emmanuel Melin, Performance Prediction for Mappings of Distributed Applications on PC Clusters., in IFIP International Conference on Network and Parallel Computing, Network and Parallel Computing. Pp. 453. 2007. [URL]
[hal-00480735:1]
Jimmy Leblet & Jean-Xavier Rampon, ST-serie decomposition of orders, in Cologne Twente Workshop on Graphs and Combinatorial Optimization (CTW 2007), Sixth Cologne Twente Workshop on Graphs and Combinatorial Optimization. Pp. 89-93. 2007. [URL]
[hal-00466755:1]
Hratch Mangassarian, Andreas Veneris & Marco Benedetti, Fault Diagnosis using Quantified Boolean Formulas, in Proc. of the 4th IEEE International Workshop on Silicon Debug and Diagnosis - SDD07. Freiburg, Germany. 2007. [URL]
[hal-00466757:1]
Hratch Mangassarian, Andreas Veneris, Sean Safarpour, Marco Benedetti & Duncan Smith, A Performance-Driven QBF-based ILA Representation with Applications to Verification, Debug and Test, in International Conference on Computer-aided Design (ICCAD), Proc. of the Int. Conf. on Computer-aided Design (ICCAD). San Jose, United States. Pp. 1-6. 2007. [URL]
[hal-00202313:1]
Marc Meister, Khalil Djelloul & Thom Fruehwirth, Complexity of a CHR solver for existentially quantified conjunctions of equations over trees., in Recent advances in constraints Lecture notes in computer science. Revised selected paper csclp 2006., Complexity of a CHR solver for existentially quantified conjunctions of equations over trees., Vol. 4651. Pp. 139-153. 2007. [URL]
[hal-00202315:1]
Marc Meister, Khalil Djelloul & Jacques Robin, A unified sematics for CHR in transaction logic., in LPNMR 07, The 9th International Conference on Logic Programming and Nonmonotonic Reasoning, Vol. 4483. Pp. 201-213. 2007. [URL]
[hal-00147650:1]
Jonathan Rouzaud-Cornabas & Nicolas Viot, Secured Architecture for Remote Virtual Desktops, in Workshop on Collaboration and Security (COLSEC'07), The 2007 International Symposium on Collaborative Technologies and Systems. Orlando, United States. Pp. 80-87, CTS. 05. 2007. [URL]
[hal-00460935:1]
Ansaf Salleb, Christel Vrain & Cyril Nortet, QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules, in IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence. Hyderabad, India. Pp. 1035-1040, AAAI. 2007. [URL]
[hal-00462302:1]
Karol Suchan & Ioan Todinca, Pathwidth of Circular-Arc Graphs, in Graph-Theoretic Concepts in Computer Science (WG 2007). Dornburg, Germany, Vol. 4769. Pp. 258-269, Springer. 2007. [URL]
[hal-00462305:1]
Karol Suchan, Ioan Todinca, Yngve Villanger & Pinar Heggernes, Characterizing Minimal Interval Completions, in 24th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2007). Aachen, Germany, Vol. 4393. Pp. 236-247, Springer. 2007. [URL]
[hal-00466196:1]
David Teller, Towards a resource-safe Erlang, in Workshop on Collaboration and Security, International Symposium on Collaborative Technologies and Systems. Orlando, United States. Pp. 66-71, IEEE Computer Society. 05. 2007. [URL]
[inria-00151064:1]
Marco Benedetti, Arnaud Lallouet & Jeremie Vautard, Quantification restreinte : vers une utilisation pratique des QCSP, in Troisièmes Journées Francophones de Programmation par Contraintes (JFPC07). 06. 2007. [URL]
[hal-00466042:1]
Guillaume Cleuziou, Classification recouvrante avec pondération locale des attributs, in 14èmes rencontres de la Société Francophone de Classification (SFC'2007). Pp. 58-61. 2007. [URL]
[hal-00466045:1]
Guillaume Cleuziou, OKM : une extension des k-moyennes pour la recherche de classes recouvrantes, in 7èmes journées d'Extraction et de Gestion des Connaissances (EGC'2007). Pp. 691-702. 2007. [URL]
[inria-00151075:1]
Khalil Djelloul, Thi-Bich-Hanh Dao & Thom Fruehwirth, Extension au premier ordre de l'unification des termes par CHR, in Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07). 06. 2007. [URL]
[hal-00466018:1]
Guillaume Cleuziou, Overlapping Clustering with OKM, workshop on Statistical approaches and validation in clustering. 2007. [URL]
[hal-00146847:1]
Matthieu Exbrayat & Lionel Martin, Recherche de dimensions caractéristiques pour la classification et la visualisation, in CAp 2007 Conférence Francophone d'Apprentissage. Grenoble, France. Pp. 301-302, Cépaduès. 2007. [URL]
[inria-00471309:1]
Antonio Balvet, Stefan Evert, Pauline Haas, Richard Huyghe, Rafael Marin, Louise Mcnally & Isabelle Tellier, NOMAGE: Coding the Semantic Features of French Nominalizations, Workshop ‘Nominalizations across languages',. Stuttgart, Germany. 2007. [URL]
[hal-00325283:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On normal odd partitions in cubic graphs, 12th Workshop on Graph Theory CID 2007. Karpacz, Poland. 2007. [URL]
[hal-00144178:1]
Siva Anantharaman, Paliath Narendran & Michaël Rusinowitch, Intruders with Caps, Version détaillée du papier accepté au RTA'07. (Version courte apparaitra dans les actes du RTA'07, dans la série LNCS, en juin 2007.). 05. 2007. [URL]
[inria-00151285:3]
Pierre Deransart, Mireille Ducassé & Gérard Ferrand, Une sémantique observationnelle du modèle des boites pour la résolution de programmes logiques (version étendue). Pp. 54. 2007. [URL]
[hal-00459828:1]
Jonathan Rouzaud-Cornabas, Corrélation d'événements et d'alarmes pour la détection d'intrusions dans les systèmes réparties, Rapport de Master Recherche, IPVGCA, Université d'Orléans. 06. 2007. [URL]
Revue internationale à comité de lecture
[hal-00325244:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On bipartite graphs with weak density of some subgraphs, Discrete Mathematics, Vol. 307(11-12). Pp. 1516-1524. 2007. [URL]
[hal-00085481:1]
Arnaud Lallouet & Andrei Legtchenko, Building Consistencies For Partially Defined Constraints With Decision Trees And Neural Networks, International Journal on Artificial Intelligence Tools, Vol. 16(4). Pp. 683-706. 2007. [URL]
[hal-00084904:1]
Ansaf Salleb & Christel Vrain, A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases, Fundamenta Informaticae, Vol. 78(4). Pp. 156-168. 2007. [URL]
[hal-00462392:1]
Ioan Todinca & Karol Suchan, On powers of graphs of bounded NLC-width (clique-width), Discrete Applied Mathematics, Vol. 155(14). Pp. 1885-1893. 2007. [URL]
Direction d'ouvrages scientifiques
[inria-00466168:1]
Anne Benoit & Frédéric Loulergue, Special issue: Practical Aspects of High-Level Parallel Programming, Vol. Scalable Computing{:} Practice and Experience, 8(1). Pp. 35, Warsaw School of Social Psychology. 2007. [URL]
[inria-00448750:1]
Jérôme Durand-Lose & Maurice Margenstern, Machines, Computations and Universality (MCU '07). Pp. 1-328, Springer. 2007. [URL]
[inria-00466164:1]
Frédéric Loulergue, Special issue on Semantics and Cost Models for High-Level Parallel Programming, Vol. Computer Languages Structures and Systems, 33(3-4). Pp. 114, Elsevier. 2007. [URL]
Chapitres d'ouvrages scientifiques
[hal-00084863:1]
Béatrice Duval, Ansaf Salleb & Christel Vrain, On the Discovery of Exception Rules: A Survey, in Quality Measures in Data Mining Book. Pp. 77-98, Springer in the Series Studies in Computational Intelligence. 2007. [URL]
Thèses et Habilitations à Diriger des Recherches
[tel-00261613:1]
Jérémy Briffaut, Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00476678:1]
Pierre-Alain Fayolle, Reconstruction 3D d'objets par une representation fonctionnelle, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00465080:1]
Sylvain Jubertie, Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00490819:1]
Pierre Pillot, Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
Communications avec actes dans un congrès international
[hal-00462208:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, An Optimal Evaluation of GroupBy-Join Queries in Distributed Architectures, in -, Proceedings of the International Conference on Web Information Systems and Technologies. Barcelona, Spain. 2007. [URL]
[hal-00468721:1]
Siva Anantharaman, Paliath Narendran & Michael Rusinowitch, Intruders with Caps, in Rewriting Techniques and Applications - RTA'07, 18th International Conference on Term Rewriting and Applications - RTA'07. Paris, France(4533). Pp. 20-35, Springer-Verlag. 06. 2007. [URL]
[hal-00144921:1]
Marco Benedetti, Arnaud Lallouet & Jérémie Vautard, QCSP Made Practical by Virtue of Restricted Quantification, in IJCAI 2007, International Joint Conference on Artificial Intelligence. Hyderabad, India. Pp. 38-43, AAAI. 01. 2007. [URL]
[hal-00466760:1]
Marco Benedetti, Federico Pecora & Nicola Policella, Anatomy of a Scheduling Competition, in Proceedings of the International Workshop on Scheduling a Scheduling Competition, held in conjunction with ICAPS'07 (International Conference on Automated Planning and Scheduling). Rhode Island, United States. 2007. [URL]
[inria-00462510:1]
Jacques Chabin & Pierre Réty, Visibly Pushdown Languages and Term Rewriting, in International Symposium on Frontiers of Combining Systems. Liverpool, United Kingdom, Vol. 4720. Pp. 252-266, Springer-Verlag. 09. 2007. [URL]
[hal-00460937:1]
Guillaume Cleuziou, Lionel Martin & Christel Vrain, Structuring natural language data by learning rewriting rules, in 16th International Conference on Inductive Logic Programming (ILP'06), Revised Selected Papers. Santiago de Compostela, Spain, Vol. 4455. Pp. 125-138, Springer. 2007. [URL]
[hal-00466015:1]
Guillaume Cleuziou & Céline Poudat, On the impact of Lexical and Linguistic features in Genre and Domain-Based Text Categorization, in 8th International Conference on Intelligent Text Processing and Computational Linguistic (CICLING'2007). Pp. 599-610. 2007. [URL]
[hal-00466023:1]
João-Paolo Cordeiro, Gaël Dias & Guillaume Cleuziou, Biology Based Alignments of Paraphrases for Sentence Compression, in ACL-PASCAL workshop on Textual Entailment and Paraphrasing associated to the ACL Annual Conference (ACL'2007). 2007. [URL]
[hal-00202314:1]
Thi-Bich-Hanh Dao & Khalil Djelloul, Solving First-Order Constraints in the Theory of the Evaluated Trees, in Recent Advance in constraints. Lecture notes in computer science. Selected revised paper Csclp 2006., Solving First-Order Constraints in the Theory of the Evaluated Trees, Vol. 4651. Pp. 108-123. 2007. [URL]
[inria-00151138:1]
Pierre Deransart, Mireille Ducassé & Gérard Ferrand, Une sémantique observationnelle du modèle des boites pour la résolution de programmes logiques, in Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07). Rocquencourt / France, France. 06. 2007. [URL]
[hal-00202316:1]
Khalil Djelloul, Thi-Bich-Hanh Dao & Thom Fruehwirth, Toward a first-order extension of Prolog's unification using CHR, in ACM symposium on applied computing, ACM Symposium on applied computing. 2007. [URL]
[hal-00144173:1]
Jérôme Durand-Lose, Abstract Geometrical Computation and the Linear Blum, Shub and Small Model, in 3rd Conference on Computability in Europe (CiE '07), Computation and Logic in the Real World(4497). Pp. 238-247, Springer. 06. 2007. [URL]
[hal-00180523:1]
Matthieu Exbrayat, Analyzing Web Traffic: A Boundaries Signature Approach, in ECML / PKDD Discovery Challenge. Varsovie, Poland. Pp. 53-64. 09. 2007. [URL]
[inria-00452559:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski, Bulk Synchronous Parallel ML with Exceptions, in Distributed and Parallel Systems (DAPSYS 2006). Innsbruck, Austria. Pp. 33-42, Springer. 2007. [URL]
[inria-00452532:1]
Louis Gesbert & Frédéric Loulergue, Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML, in International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT). Adelaide, Australia. Pp. 201-208, IEEE Computer Society. 2007. [URL]
[hal-00464351:1]
Sylvain Jubertie & Emmanuel Melin, Multiple networks for heterogeneous distributed applications., in PDPTA'07, Proceedings of PDPTA'07, CSREA Press. 2007. [URL]
[hal-00464354:1]
Sylvain Jubertie & Emmanuel Melin, Performance Prediction for Mappings of Distributed Applications on PC Clusters., in IFIP International Conference on Network and Parallel Computing, Network and Parallel Computing. Pp. 453. 2007. [URL]
[hal-00480735:1]
Jimmy Leblet & Jean-Xavier Rampon, ST-serie decomposition of orders, in Cologne Twente Workshop on Graphs and Combinatorial Optimization (CTW 2007), Sixth Cologne Twente Workshop on Graphs and Combinatorial Optimization. Pp. 89-93. 2007. [URL]
[hal-00466755:1]
Hratch Mangassarian, Andreas Veneris & Marco Benedetti, Fault Diagnosis using Quantified Boolean Formulas, in Proc. of the 4th IEEE International Workshop on Silicon Debug and Diagnosis - SDD07. Freiburg, Germany. 2007. [URL]
[hal-00466757:1]
Hratch Mangassarian, Andreas Veneris, Sean Safarpour, Marco Benedetti & Duncan Smith, A Performance-Driven QBF-based ILA Representation with Applications to Verification, Debug and Test, in International Conference on Computer-aided Design (ICCAD), Proc. of the Int. Conf. on Computer-aided Design (ICCAD). San Jose, United States. Pp. 1-6. 2007. [URL]
[hal-00202313:1]
Marc Meister, Khalil Djelloul & Thom Fruehwirth, Complexity of a CHR solver for existentially quantified conjunctions of equations over trees., in Recent advances in constraints Lecture notes in computer science. Revised selected paper csclp 2006., Complexity of a CHR solver for existentially quantified conjunctions of equations over trees., Vol. 4651. Pp. 139-153. 2007. [URL]
[hal-00202315:1]
Marc Meister, Khalil Djelloul & Jacques Robin, A unified sematics for CHR in transaction logic., in LPNMR 07, The 9th International Conference on Logic Programming and Nonmonotonic Reasoning, Vol. 4483. Pp. 201-213. 2007. [URL]
[hal-00147650:1]
Jonathan Rouzaud-Cornabas & Nicolas Viot, Secured Architecture for Remote Virtual Desktops, in Workshop on Collaboration and Security (COLSEC'07), The 2007 International Symposium on Collaborative Technologies and Systems. Orlando, United States. Pp. 80-87, CTS. 05. 2007. [URL]
[hal-00460935:1]
Ansaf Salleb, Christel Vrain & Cyril Nortet, QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules, in IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence. Hyderabad, India. Pp. 1035-1040, AAAI. 2007. [URL]
[hal-00462302:1]
Karol Suchan & Ioan Todinca, Pathwidth of Circular-Arc Graphs, in Graph-Theoretic Concepts in Computer Science (WG 2007). Dornburg, Germany, Vol. 4769. Pp. 258-269, Springer. 2007. [URL]
[hal-00462305:1]
Karol Suchan, Ioan Todinca, Yngve Villanger & Pinar Heggernes, Characterizing Minimal Interval Completions, in 24th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2007). Aachen, Germany, Vol. 4393. Pp. 236-247, Springer. 2007. [URL]
[hal-00466196:1]
David Teller, Towards a resource-safe Erlang, in Workshop on Collaboration and Security, International Symposium on Collaborative Technologies and Systems. Orlando, United States. Pp. 66-71, IEEE Computer Society. 05. 2007. [URL]
Communications avec actes dans un congrès national
[inria-00151064:1]
Marco Benedetti, Arnaud Lallouet & Jeremie Vautard, Quantification restreinte : vers une utilisation pratique des QCSP, in Troisièmes Journées Francophones de Programmation par Contraintes (JFPC07). 06. 2007. [URL]
[hal-00466042:1]
Guillaume Cleuziou, Classification recouvrante avec pondération locale des attributs, in 14èmes rencontres de la Société Francophone de Classification (SFC'2007). Pp. 58-61. 2007. [URL]
[hal-00466045:1]
Guillaume Cleuziou, OKM : une extension des k-moyennes pour la recherche de classes recouvrantes, in 7èmes journées d'Extraction et de Gestion des Connaissances (EGC'2007). Pp. 691-702. 2007. [URL]
[inria-00151075:1]
Khalil Djelloul, Thi-Bich-Hanh Dao & Thom Fruehwirth, Extension au premier ordre de l'unification des termes par CHR, in Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07). 06. 2007. [URL]
Communications affichées avec actes
[hal-00466018:1]
Guillaume Cleuziou, Overlapping Clustering with OKM, workshop on Statistical approaches and validation in clustering. 2007. [URL]
[hal-00146847:1]
Matthieu Exbrayat & Lionel Martin, Recherche de dimensions caractéristiques pour la classification et la visualisation, in CAp 2007 Conférence Francophone d'Apprentissage. Grenoble, France. Pp. 301-302, Cépaduès. 2007. [URL]
Communications sans actes
[inria-00471309:1]
Antonio Balvet, Stefan Evert, Pauline Haas, Richard Huyghe, Rafael Marin, Louise Mcnally & Isabelle Tellier, NOMAGE: Coding the Semantic Features of French Nominalizations, Workshop ‘Nominalizations across languages',. Stuttgart, Germany. 2007. [URL]
[hal-00325283:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On normal odd partitions in cubic graphs, 12th Workshop on Graph Theory CID 2007. Karpacz, Poland. 2007. [URL]
Autres Publications
[hal-00144178:1]
Siva Anantharaman, Paliath Narendran & Michaël Rusinowitch, Intruders with Caps, Version détaillée du papier accepté au RTA'07. (Version courte apparaitra dans les actes du RTA'07, dans la série LNCS, en juin 2007.). 05. 2007. [URL]
[inria-00151285:3]
Pierre Deransart, Mireille Ducassé & Gérard Ferrand, Une sémantique observationnelle du modèle des boites pour la résolution de programmes logiques (version étendue). Pp. 54. 2007. [URL]
[hal-00459828:1]
Jonathan Rouzaud-Cornabas, Corrélation d'événements et d'alarmes pour la détection d'intrusions dans les systèmes réparties, Rapport de Master Recherche, IPVGCA, Université d'Orléans. 06. 2007. [URL]
