Abstraction  Acquisition Constructive de Connaissances  Action invisible  Algèbre de processus  Aménagement du territoire  Appariement  Apprentissage Automatique  Artificial Intelligence  Artificial Neural Networks  Bisimulation  Bisimulation probabiliste  Calcul quantique  Capteurs  Cascase-Corrélation  Clauses de horn  Cliques maximales  Code  Communicating process  Compilation  Comportement rendez vous  Composition  Connaissances  Informatique musicale  Intelligence artificielle  Langages de programmation fonctionnelle  Logiques modales  Logiques temporelles  Parallélisme  Parallélisme  Programmation  Programmation automatique  Programmation parallèle  Robotique  Sémantique  Sémantique du parallélisme  Thèses et écrits académiques  

Philippe Jorrand a dirigé les 28 thèses suivantes :

Développement d'une notation algorithmique pour le calcul quantique

par Marie Lalire sous la direction de Philippe Jorrand - Grenoble INPG

Informatique. Systèmes et communication

Soutenue en 2006

Informatique quantique, algorithmes et complexité

par Mehdi Mhalla sous la direction de Philippe Jorrand - Grenoble INPG

Informatique. Systèmes et communications

Soutenue en 2004

Apprentissage dans une intelligence collective neuronale : application au routage de paquets sur Internet

par Luis Enrique Rocha Mier sous la direction de Philippe Jorrand - Grenoble INPG

Automatique. Productique

Soutenue en 2002

Apprentissage par renforcement utilisant des réseaux de neurones avec des applications au contrôle moteur

par Rémi Coulom sous la direction de Philippe Jorrand - Grenoble INPG

Sciences cognitives

Soutenue en 2002

Connaissances de haut niveau dans les systèmes hybrides neuro-symboliques

par Gerardo Reyes Salgado sous la direction de Philippe Jorrand et de Bernard Amy . - Grenoble INPG

Sciences cognitives

Soutenue en 2001

Systemes multi-agents hybrides : une approche pour la conception de systemes complexes

par KELLY CHRISTINE CORREA E SILVA FERNANDES sous la direction de Michel Occello et de Philippe Jorrand . - Grenoble 1

Sciences et techniques. Chimie

Soutenue en 2001

Sur les types de donnees dans les langages de programmation logico-fonctionnels : reecriture et surreduction des graphes admissibles

par Jean-Christophe Janodet sous la direction de Philippe Jorrand - Grenoble INPG

Sciences et techniques communes

Soutenue en 2000

Utilisation des réseaux de neurones artificiels pour la commande d'un véhicule autonome

par Eric Gautier sous la direction de Philippe Jorrand - Grenoble INPG

Informatique. Systèmes et communications

Soutenue en 1999

Combinaison d'experts locaux à travers la décomposition de densité

par Ahmed Rida sous la direction de Philippe Jorrand - Grenoble 1

Informatique

Soutenue en 1999

Inss : un système hybride neuro-symbolique pour l'apprentissage automatique constructif

par Fernando Santos Osório sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1998

Réseaux neuronaux et modularité

par Sophie Rouzier sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1998

Modèles multi-agents pour l'aide à la décision et la négociation en aménagement du territoire

par Nils Ferrand sous la direction de Philippe Jorrand - Grenoble 1

Informatique

Soutenue en 1997

Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones

par Juan Vicente Echagüe Zappettini sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1993

Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles

par Cyril Autant sous la direction de Philippe Jorrand - Grenoble INPG

Mathématiques appliquées

Soutenue en 1993

Sur l'approximation et les systèmes dynamiques dans les réseaux neuronaux : applications en intelligence artificielle

par Abderrahim Labbi sous la direction de Philippe Jorrand - Grenoble INPG

Mathématiques appliquées

Soutenue en 1993

Des bisimulations pour la sémantique des systèmes réactifs

par Sophie Pinchinat sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1993

Modèles neuronaux pour la classification incrémentale de formes visuelles

par Arnulfo Palacio Azcarraga sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1993

Une algèbre de processus : pour un calcul basé sur la déduction

par Zineb Habbas sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1992

Protocoles pour le rendez-vous et l'équité

par Xavier Pandolfi sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1992

Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme

par Ferroudja Cherief sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1992

Sémantique du parallélisme et logique temporelle : application au langage FP2

par Philippe Schnoebelen sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1990

Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion

par Maria Blanca Ibáñez sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1990

Fonctions et généricité dans un langage de programmation parallèle

par Jean-Michel Hufflen sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1989

Perception multisensorielle de la structure géométrique d'une scène

par Fano Ramparany sous la direction de Philippe Jorrand , James L Crowley et de Augustin Lux . - Grenoble INPG

Informatique

Soutenue en 1989

La logique dans la programmation : synthèse logique de programmes et langages de programmation logique

par Franz Bertram Fronhöfer sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1989

Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots

par Pierre Puget sous la direction de Philippe Jorrand et de Jean Fonlupt . - Grenoble INPG

Informatique

Soutenue en 1989

Codage, représentation et traitement du geste instrumental : application à la synthèse de sons musicaux par simulation de mécanismes instrumentaux

par Sylvie Gibet sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1987

Comparaison des comportements des processus communicants : application au langage FP2

par Sylvie Rogé sous la direction de Philippe Jorrand - Grenoble INPG

Informatique

Soutenue en 1986

Philippe Jorrand a été président de jury de la thèse suivante :

Du typage vectoriel

par Alejandro Diaz Caro sous la direction de Pablo Arrighi - Grenoble

Informatique

Soutenue le 23-09-2011

Philippe Jorrand a été rapporteur de la thèse suivante :

Un système formel de transformation de programmes pour leur exécution sur machines parallèles

par Xiaobo Yu sous la direction de Traian Muntean - Grenoble INPG

Informatique

Soutenue en 1992

Philippe Jorrand a été membre de jury des 8 thèses suivantes :

Analyse, représentation et traitement du geste instrumental : application aux instruments à clavier

par Christophe Ramstein sous la direction de Claude Cadoz - Grenoble INPG

Informatique

Soutenue en 1991

Une contribution à l'étude du parallélisme OU en Prolog sur des machines sans mémoire commune

par Claudio Fernando Resin Geyer sous la direction de Jacques Briat - Grenoble 1

Informatique

Soutenue en 1991

Validation sémantique dans les théories structurées : application à un langage de programmation générique

par Pascal Drabik sous la direction de Didier Bert - Grenoble INPG

Informatique

Soutenue en 1989

Mise en correspondance d'indices images en résolutions multiples

par Didier Aubert sous la direction de James L Crowley - Grenoble INPG

Informatique

Soutenue en 1989

Synthèse de programmes : connaissances et déduction dans les domaines d'application

par Ramón Brena sous la direction de Paul Jacquet - Grenoble INPG

Informatique

Soutenue en 1989

Vérification de propriétés de programmes flots de données synchrones

par Anne-Cécile Glory sous la direction de Farid Ouabdesselam - Grenoble 1

Informatique

Soutenue en 1989

Utilisation du raisonnement géométrique pour la planification en robotique d'assemblage : le système PAMELA

par Pascal Theveneau sous la direction de Christian Laugier - Grenoble INPG

Informatique

Soutenue en 1988

Laios : un réseau multiprocesseur orienté vers des applications d'intelligence artificielle

par Jean Duprat sous la direction de Bernard Courtois - Grenoble INPG

Micro-électronique

Soutenue en 1988