Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Philippe Balbiani
Philippe Balbiani
at_id:
orcid_id:
Disciplines:
Common sciences and techniques
Computer sciences
Edit
Merge
See Links
Thesis:
Une caracterisation modale de la semantique des programmes logiques avec negation
Directed Thesis:
Who may say what? : thoughts about objectivity, group ability and permission in dynamic epistemic logic
Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué
Composition de services : algorithmes et complexités
Analyse logique et vérification des protocoles cryptographiques
Déduction automatique en calcul des durées basée sur la méthode des tableaux