researcher / Patrick Bellot

Patrick Bellot

at_id:

orcid_id:

Disciplines:

Applied sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Thesis:

Sur les sentiers du GRAAL : étude, conception et réalisation d'un langage de programmation sans variable

Directed Thesis:

Analyse de dynamiques temporelles, spatiales et fluctuantes des activités de contrôleurs aériens
ROSA, un réseau de recouvrement adaptable, extensible et auto-organisant
Autour des réseaux quantiques et des modèles de relais pour la clé quantique
Autour des primitifs quantiques pour le calcul sécurisé à deux parties
Composants logiciels et algorithmes de minimisation exacte d'énergies dédiées au traitement des images
Logiques linéaires hybrides et leurs modalités : théories et applications
Demonstration automatique pour une logique des actions
Proposition pour un formalisme logique d'expression et de verification de proprietes temporelles sur des evenements repetitifs destine a l'analyse de traces d'execution
Parallelisation d'un langage fonctionnel selon le modèle a flots de données
Parallelisation d'un langage fonctionnel sur une machine parallele avec une architecture non conventionnelle
Les contraintes en programmation logico-fonctionnelle : application au langage miles
Une rationalisation semantique de la programmation logico-fonctionnelle. Application a la traduction de programmes logiques
Une architecture a flots de donnees pour la programmation fonctionnelle et son compilateur
Miles : fonction et logique. un langage nouveau pour une algorithmique etendue
Modelisation des operateurs d'arite variable en logique combinatoire. Application au formalisme fonctionnel
Compilation et parallelisation d'un langage sans variable
Conception d'une machine orientee fonctions, application a l'implantation d'un langage dirige par les donnees
Calcul relationnel et programmation en logique