Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Thèses et habilitations soutenues au LIFO entre 1992 et 2006 (pour celles après 2006 cliquez ici)

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Thèses et habilitations soutenues au LIFO entre 1992 et 2006 (pour celles après 2006 cliquez ici)


[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.