Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Chain Dominated Orders
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Glen-Brug GUENVER, Jimmy LEBLET, Jean-Xavier RAMPON
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
Extracting a Consistency Operator from a Constraint Satisfiability Function and 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
Explanations and Proof Trees
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
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
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
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
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
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
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
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
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
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
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
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
Sensitive Data Anonymization
Publié en 2006
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anas ABOU EL KALAM, Yves DESWARTE
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
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
Privacy Requirements Implemented with a JavaCard
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
Protection de la vie privée et chaînage de données médicales
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, Vincent ARGUENON
Une nouvelle approche pour la détection et la résolution de conflits de sécurité dans les systèmes multi-organisationnels
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, Mina OUABIBA
An efficient equi-semi-join algorithm for distributed architectures
Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Gaetan HAINS
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
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
A Synchronous Process Calculus for Service Costs
Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Jing CHEN, Gaétan HAINS
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
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
Intrusion Detection and Security Policy Framework for Distributed Environments
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
Extraction de Règles d'Association Quantitatives - Application à des Données Médicales
Publié en 2005
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christel VRAIN, Cyril NORTET, Ansaf SALLEB, Teddy TURMEAUX
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
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
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
Closure properties and decision problems of dag automata
Publié en 2005
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michael RUSINOWITCH
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
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
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
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
Interactive rendering of massive terrains using pc cluster
Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Valérie GOURANTON, Souley MADOUGOU, Cyril NORTET
A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting
Publié en 2005
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric GAVA
A Functional Language for Departmental Metacomputing
Publié en 2005
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric GAVA
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
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
An optimal skew-insensitive join and multi-join algorithm for distributed architecture
Publié en 2005
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA

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