Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1799

Partially Defined Constraints in Constraint-based Design

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arnaud LALLOUET, Andrei LEGTCHENKO
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
Visualisation 3D de paramètres d'apprentissage et de distances

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN
Résolution de contraintes du premier ordre dans la théorie des arbres évalués

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
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
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
Deciding Satisfiability of Positive Second Order Joinability Formulae

Publié en 2006
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre PILLOT
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
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
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
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
Abstract geometrical computation 1: embedding Black hole computations with rational numbers

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
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
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
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees

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
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
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
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
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
Sensitive Data Anonymization

Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE
Catégorisation de textes en domaines et genres : complémentarité des indexations lexicale et morphosyntaxique

Publié en 2006
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Céline POUDAT, Viviane CLAVIER
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
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
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
A Multi-Agent and Multi-Level Architecture to Secure Distributed Systems

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
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
Composition parallèle pour MSPML

Publié en 2006
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI
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
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
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
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
Evaluating Intrusion Detection Systems: Synthesis and Perspectives

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mohammed GAD EL RAB
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
Security and Privacy in collaborative environments

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE, Gilles TROUESSIN, Emmanuel CORDONNIER
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
R-Unification thanks to Synchronized-ContextFree Languages

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pierre RETY, Jacques CHABIN, Jing CHEN
Détection d'intrusion orientée méta-politique

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
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
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
A fully dynamic recognition algorithm for weak-bisplit graphs.

Publié en 2005
Type de publication : Autres Publications
Auteur(s) : Jean-Marie VANHERPE, Soumia ZITI
Sur des méthodes de décomposition des graphes

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Two Contributions of Constraint Programming to Machine Learning

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

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