Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

Une nouvelle méthodologie pour l'évaluation des Systémes de Détection d'Intrusions

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mohammed GAD EL RAB, Anas ABOU EL KALAM
Extraire des Certificats des Formules Booléennes Quantifiées

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI
Auralization of a Constraint Solver

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Jérémie VAUTARD
A Collaborative Approach for Access Control, Intrusion Detection and Security Testing

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Mohammed GAD EL RAB
Reusing CSP propagators for QCSPs

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jérémie VAUTARD
Calcul et visualisation d'une distance inter-enluminures à partir des couleurs

Publié en 2006
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN
Visualisation musicale d'un CSP

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémie VAUTARD, Arnaud LALLOUET
Abstract Branching for Quantified Formulas

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI
Tree tuple languages from the logic programming point of view

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Gernot SALZER
Politique de contrôle d'accès et détection d'intrusion basée sur une approche de méta-politique

Publié en 2006
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Jean-François LALANDE
Chain Dominated Orders

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Glen-Brug GUENVER, Jimmy LEBLET, Jean-Xavier RAMPON
Multi-OrBAC: un modèle de contrôle d'accès pour les systèmes multi-organisationnels”

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE
Complétude des extensions en arbres de théories

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL, Thi-bich-hanh DIEP-DAO
Ragionamento per Vincoli Quantificati

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Marco BENEDETTI
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL, Thi-bich-hanh DIEP-DAO
Classification avec recouvrement des classes : une extension des k-moyennes

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Evaluation des systèmes de détection d'intrusions

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mohammed GAD EL RAB, Anas ABOU EL KALAM
Forcasting Black Holes in Abstract geometrical computation is Highly Unpredictable

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Special Issue: Practical Aspects of High-Level Parallel Programming

Publié en 2006
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE
Journal of Automata, Languages and Combinatorics, Vol. 11(1)

Publié en 2006
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Siva ANANTHARAMAN, Gaétan HAINS, Michael RUSINOWITCH, Paul GASTIN, John MULLINS
From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
Basic rewriting via logic programming, with an application to the reachability problem

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Gernot SALZER
Resolution de contraintes du premier ordre dans des théories dites décomposables.

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Extension into trees of first order theories

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL, Thi-bich-hanh DIEP-DAO
Partially Defined Constraints in Constraint-based Design

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
A proximity measure and a clustering method for concept extraction in an ontology building perspective

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sylvie BILLOT, Christel VRAIN, Stanislas LEW, Lionel MARTIN
Minimally Synchronous Parallel ML with Parallel Composition

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI
Solving First-Order Constraints in the Theory of the Evaluated Trees

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Khalil DJELLOUL
Automatic Knowledge Representation using a Graph-based Algorithm for Language-Independent Lexical Chaining

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Claudia SANTOS
Minimal proper interval completions

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Ivan RAPAPORT, Karol SUCHAN
Abstract Branching for Quantified Formulas

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Marco BENEDETTI
Sensitive Data Anonymization

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE
Une mesure de proximité et une méthode de regroupement pour l'aide à l'acquisition d'ontologies spécialisées

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sylvie BILLOT, Christel VRAIN, Stanislas LEW, Lionel MARTIN
Evolutionary computation approaches for shape modelling and fitting

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Sara SILVA, Pierre-Alain FAYOLLE, Johanne VINCENT, Guillaume PAURON, Christophe ROSENBERGER
Mandatory Access Control On Distributed Systems: A Metapolicy Framework

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu BLANC, Pierre COURTIEU, Gaétan HAINS
Sécurité des services-web

Publié en 2005
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD
Systèmes de confiance et détection d'intrusion répartis

Publié en 2005
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Christian TOINARD, Anas ABOU EL KALAM, Pierre COURTIEU, Fabrice GADAUD, Gaetan HAINS, Jean-François LALANDE
Computing branchwidth via efficient triangulations and blocks

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Frédéric MAZOIT
Acquisition de Contraintes Ouvertes par Apprentissage de Solveur

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Andreï LEGTCHENKO, Arnaud LALLOUET
NIDS architecture for clusters

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Fabrice GADAUD
Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Pierre COURTIEU, Stéphane FRANCHE, Laurent OUDOT, Lionel VESSILLER
Explanations and Proof Trees

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
Smaji : Jeux itérés et graphes

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Jean-Paul DELAHAYE
Minimal interval completions

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pinar HEGGERNES, Karol SUCHAN, Yngve VILLANGER
MIDS: Multi level Intrusion Detection System

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Anas ABOU EL KALAM, Mathieu BLANC, Laurent OUDOT
Solving First Order Formulae of Pseudo-Regular Theory

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre PILLOT
Estimation of the Density of Datasets with Decision Diagrams

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB
Modèles et politiques de sécurité des systèmes d'information et de communication en santé et social

Publié en 2005
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE, Philippe BALBIANI, Salem BENFERHAT, Frédéric CUPPENS, Rania EL-BAIDA, Alexandre MIÈGE, Gilles TROUESSIN
Consistencies for Partially Defined Constraints

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
Le rôle de l'utilisateur dans un processus d'extraction de règles d'association

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Cyril NORTET, Ansaf SALLEB, Teddy TURMEAUX

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations