Doctoral and habilitation thesis of LIFO members between 1992 and 2006 (for those since 2006 click here)
[Legtchenko2005these] A. Legtchenko,
Apprentissage de solveurs de contraintes sur les domaines finis, Thèse de Doctorat d'Université, Université d'Orléans, septembre, 2005
Bibtex entry
[Madougou2005these] S. Madougou,
Intégration des modélisations 3D des sciences de la terre au sein d' environnements de réalité virtuelle à base de grappe de PC, Thèse de Doctorat d'Université, Université d'Orléans, décembre, 2005
Bibtex entry
[LimetHabilitation2005] S. Limet,
Représentation des langages de n-uplets d'arbres par des programmes logiques et applications, Habilitation à diriger des recherches. LIFO, Université
d'Orléans, novembre, 2005
Bibtex entry
[Cleuziou2004these] G. Cleuziou,
Une méthode de classification non-supervisée pour l'apprentissage de règles et la recherche d'information, Thèse de Doctorat d'Université, Université d'Orléans, décembre, 2004
Bibtex entry
[Merlin2004these] A. Merlin,
Modèles opérationnels communicants, performances et algèbres de chemins, Thèse de Doctorat d'Université, Université d'Orléans, décembre, 2004
Bibtex entry
[Vuotto2004these] J. Vuotto,
Langages d'arbres réguliers et algébriques pour la réécriture et la vérification, Thèse de Doctorat d'Université, Université d'Orléans, décembre, 2004
Bibtex entry
[Arsouze2004these] J. Arsouze,
Une formalisation de la résolution des problèmes de satisfaction de contraintes. Application à la vision grammaticale de CLP, Thèse de Doctorat d'Université, Université d'Orléans, septembre, 2004
Bibtex entry
[Turmeaux2004these] T. Turmeaux,
Contraintes et fouille de données, Thèse de Doctorat d'Université, Université d'Orléans, avril, 2004
Bibtex entry
[Markey2003these] N. Markey,
Logiques temporelles pour la vérification: expressivité, complexité, algorithmes, Thèse de Doctorat d'Université, Université d'Orléans, avril, 2003
Bibtex entry
[Lesaint2003these] W. Lesaint,
Explications de retraits de valeurs en programmation par contraintes et application au diagnostic déclaratif, Thése de Doctorat d'Université, Université d'Orléans, novembre, 2003
Bibtex entry
[Salleb2003these] A. Salleb,
Recherche de motifs fréquents pour léxtraction de règles d'association et de caractérisation, Thèse de Doctorat d'Université, Université d'Orléans, décembre, 2003
Bibtex entry
[VanherpeHabilitation2003] J-M. Vanherpe,
Vers une décomposition modulaire des graphes bipartis, Habilitation à diriger des recherches. LIFO, Université
d'Orléans, décembre, 2003
Bibtex entry
[Braud2002these] A. Braud,
Fouille de données par algorithmes génétiques, Thèse de Doctorat d'Université, Université d'Orléans, juillet, 2002
Bibtex entry
[Debourges2002these] I. Debourges,
Construction de cartes pour léxploration de corpus, Thèse de Doctorat d'Université, Université d'Orléans, juillet, 2002
Bibtex entry
[Dzeakou2002these] P. Dzeakou Djoum,
Interface de Recherche Multicritère dans un Texte Collaboratif:
Application à la Construction et à l'Utilisation Collaborative d'une
Mémoire Documentaire Environnementale, Thèse de Doctorat d'Université, Université d'Orléans, décembre, 2002
Bibtex entry
[Dias2002these] G. Dias,
Extraction automatique d'associations lexicales à partir de
corpora, Thèse de Doctorat d'Université, Université d'Orléans, décembre, 2002
Bibtex entry
[Maazouzi2001these] Z. Maazouzi,
Conception des circuits programmables par la réécriture conditionnelle et étude des aspects vectoriels des fonctions booléennes, Thèse de Doctorat d'Université, Université d'Orléans, juin, 2001
Bibtex entry
[RetyHabilitation2001] P. Réty,
Langages synchronisés d'arbres et applications, Habilitation à diriger des recherches. LIFO, Université
d'Orléans, Juin, 2001
Bibtex entry
[Moal2000these] F. Moal,
Langages de Biais en Apprentissage Symbolique, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, d\écembre, 2000
Bibtex entry
[Pecher2000these] A. Pêcher,
Graphes de Cayley partitionnables, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, d\écembre, 2000
Bibtex entry
[Rebeuf2000these] X. Rebeuf,
Un modèle de coût symbolique pour les programmes parallèles asynchrones à dépendances structurées, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, d\écembre, 2000
Bibtex entry
[Loulergue2000these] F. Loulergue,
Conception de langages fonctionnels pour la programmation
massivement parallèle, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 2000
Bibtex entry
[Bamha2000these] M. Bamha,
Parall\élisme et \équilibrage de charges dans le
traitement de la jointure et de la multi-jointure sur des
architectures SN, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 2000
Bibtex entry
[Roussel1999these] F. Roussel,
\Études structurelles, algorithmes de coloration et algorithmes de
reconnaissance de quelques classes de graphes parfaits., Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, D\écembre, 1999
Bibtex entry
[Parfenoff1999these] I. Parfenoff,
Couplage maximum et d\écompositions dans les graphes, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, Novembre, 1999
Bibtex entry
[Ramangalahy1999these] S. Ramangalahy,
Test de conformit\é pour des sp\écifications à base
d'automates: une approche par la th\éorie des jeux, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, Octobre, 1999
Bibtex entry
[TellezPHD1999] A. Tellez-Arenas,
Contraintes ensemblistes et
sp\écifications formelles, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1999
Bibtex entry
[hab-ir] I. Rusu,
Aspects th\éoriques et algorithmiques des graphes parfaits, M\émoire d'habilitation à diriger des recherches,
Universit\é d'Orl\éans, d\écembre, 1999
Bibtex entry
[GranvilliersPHD1998] L. Granvilliers,
Consistances locales et transformations symboliques de
contraintes d'intervalles, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, d\écembre, 1998
Bibtex entry
[BentayebPHD1998] F. Bentayeb,
Mises à jour au travers de Vues dans les Bases de Donn\ées
Relationnelles: Traduction et D\éterminisme, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, juin, 1998
Bibtex entry
[Duris1998these] E. Duris,
Contribution aux Relations entre les Grammaires
Attribu\ées et la Programmation Fonctionnelle, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, Octobre, 1998
Bibtex entry
[Melin1998these] E. Melin,
Traitement de l'Irr\égularit\é dans la
Parall\élisation de Code S\équentiel par
Distribution des Donn\ées, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, F\évrier, 1998
Bibtex entry
[Raffin1997these] B. Raffin,
Un Modèle Structur\é de Communication et de
Synchronisation pour le Parall\élisme de Tâches, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, D\écembre, 1997
Bibtex entry
[Canalda97these] Ph. Canalda,
Contribution à la production automatique de s\électeurs
d'instructions optimisants fond\és sur la r\é\écriture d'arbres, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, juillet, 1997
Bibtex entry
[Tendeau97these] F. Tendeau,
Analyse syntaxique et s\émantique avec \évaluation d'attributs
dans un demi-anneau. Application à la linguistique calculatoire, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, juin, 1997
Bibtex entry
[Chambre97these] P. Chambre,
Contribution à la validation de programmes concurrents avec
contraintes, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1997
Bibtex entry
[Rety97these] J.-H. Rety,
Langages concurrents avec contraintes : communication par messages et
distribution, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1997
Bibtex entry
[Tessier-phd-97] A. Tessier,
Approche, en termes de squelettes de preuve, de la
s\émantique et du diagnostic dérreur des programmes
logiques avec contraintes, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, Janvier, 1997
Bibtex entry
[benhamou-habilitation] F. Benhamou,
Contribution à l'\étude de la r\ésolution de
contraintes, M\émoire d'habilitation à diriger des recherches,
Universit\é d'Orl\éans, janvier, 1997
Bibtex entry
[hab-gr] G. Richard,
Ensembles en Programmation Logique, M\émoire d'habilitation à diriger des recherches,
Universit\é d'Orl\éans, janvier, 1997
Bibtex entry
[Saubion96these] F. Saubion,
Une Approche de Synthèse pour la Programmation Logique et
ses Extensions, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, D\écembre, 1996
Bibtex entry
[elamrani96these] Y. El Amrani ,
G\én\ération automatique d'interfaces pour langages
fonctionnels, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, octobre, 1996
Bibtex entry
[renault96these] S. Renault,
V\érification de programmes normaux, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, Juin, 1996
Bibtex entry
[lelait96these] S. Lelait,
Contribution à l'allocation de registres dans les boucles, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, Janvier, 1996
Bibtex entry
[martin96these] L. Martin,
Induction de programmes logiques avec n\égation, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, Janvier, 1996
Bibtex entry
[LIMET96THESE] S. Limet,
Unification dans la programmation logico-\équationnelle, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, D\écembre, 1996
Bibtex entry
[Vr96bHabil] C. Vrain,
Apprentissage de Connaissances et Induction de
Programmes Logiques,
Synthèse des activit\és de recherche en vue de soutenir une
habilitation à diriger des recherches, Universit\é d'Orl\éans, janvier, 1996
Bibtex entry
[lallouet96these] A. Lallouet,
Modularit\é, Validation et Parall\élisme de Donn\ées en
Programmation Logique, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1996
Bibtex entry
[parot95these] Patrick Parot,
M\écanisation de la r\éutilisation de composants logiciels :
approches et outils, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, octobre, 1995
Bibtex entry
[cognard95these] Lucile Cognard,
Mod\élisation du comportement dynamique des processeurs
pour la g\én\ération automatique de r\éordonnanceurs de code, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, octobre, 1995
Bibtex entry
[debacker95these] Bruno DeBacker,
M\éthodes de r\ésolution de disjonctions de contraintes lin\éaires.
Application à la programmation logique avec contraintes
, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, mars, 1995
Bibtex entry
[Malfon95these] Bernard Malfon,
Approche uniforme de la s\émantique de Fitting et de la s\émantique
bien fond\ée des programmes logiques.
Application à la validation de programmes
, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, juin, 1995
Bibtex entry
[leguyadec95these] Yann Le Guyadec,
Etude s\émantique du modèle de programmation data-parallèle,;
application à la preuve de programmes
et à la conception de sch\émas de compilation, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1995
Bibtex entry
[arch95these] Dominique Archambault,
Proposition de r\éseaux neuro-mim\étiques
pour des traitements du langage naturel , Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1995
Bibtex entry
[diaz95these] Daniel Diaz,
Etude de la compilation de langages logiques de programmation
par contraintes : le système clp(FD), Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1995
Bibtex entry
[delamarre94these] Dominique Delamarre,
Etude et conception d'algorithmes paralleles d'optimisation
combinatoire discrète approchee. Implantation sur architectures MIMD., Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, d\écembre, 1994
Bibtex entry
[laurent94] D. Laurent,
Une Contribution à l'\Étude des Mises à Jour des Bases
de Donn\ées, Rapport de recherche, No.94-1, LIFO , 1994, Note: Rapport scientifique pr\ésent\é pour l'obtention d'une habilitation
à diriger des recherches
Bibtex entry
[marmol94these] Bruno Marmol,
Contribution à l'\évaluation d'attributs
et l'optimisation m\émoire sur machines multiprocesseurs, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, d\écembre, 1994
Bibtex entry
[chabin94these] Jacques Chabin,
Unification G\én\érale par Surr\éduction Ordonn\ée Contrainte et Surr\éduction Dirig\ée, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1994
Bibtex entry
[lebellec93these] Carole Le Bellec,
La g\én\éricit\é et les grammaires attribu\ées, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, juin, 1993
Bibtex entry
[eddbali93these] Ali Ed-dbali,
Sp\écifications formelle et ex\écutable en programmation logique:
une application à PROLOG standard, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, f\évrier, 1993
Bibtex entry
[barthelemy93these] François Barth\élemy,
Outils pour l'analyse syntaxique contextuelle, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, f\évrier, 1993
Bibtex entry
[desrocques93these] Gilles Desrocques,
M\éthodes connexionnistes appliqu\ées à la r\éalisation d'interfaces
d\édi\ées à la recherche documentaire, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1993
Bibtex entry
[lecroq92these] Thierry Lecroq,
Recherches de mots, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, f\évrier, 1992
Bibtex entry
[bouquard92these] Jean-Louis Bouquard,
Etude des rapports entre grammaires attribu\ées et programmes
logiques, application au test d'occurrence et à l'analyse statique, Thèse de Doctorat d'Universit\é, Universit\é d'Orl\éans, janvier, 1992
Bibtex entry
22/6/2010. Généré par biblifo, un programme Objective Caml.