-
Antoun Yaacoub
Information Flow in Logic Programming.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), november 2012
-
Pablo Seban
Who May Say What? Thoughts about Objectivity, Group Ability and Permission in Dynamic Epistemic Logic.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), june 2011.
-
Marwa El Houri
A Formal Model to Express Dynamic Policies for Access Control and Trust Negotiation in a Distributed Environment.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), may 2010.
-
Mounira Kourjieh
Logical Analysis and Verification of Cryptographic Protocols.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), december 2009.
-
Fahima Cheikh
Composition de services : algorithmes et complexité.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), june 2009.
-
Fahima Cheikh
Une approche uniforme de la modélisation des systèmes de protection temporisés.
Master thesis in computer science, Paul Sabatier University (Toulouse), june 2005.
-
Khalil Challita
Problèmes de satisfaction de contraintes spatiales : de l'algèbre des régions à la géométrie affine.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), march 2005.
-
Fatima Harb
Access Control with Obligations and Prohibitions.
Master thesis in computer science, Lebanese University (Beirut), october 2004.
-
Ali Kaafarani
Access Control with Negative Conditions.
Master thesis in computer science, Lebanese University (Beirut), october 2004.
-
Abd El Salam Hajjar
Logique épistémique avec connaissance distribuée.
Master thesis in computer science, Lebanese University (Beirut), december 2003.
-
Pierre Gambarotto
Eléments de géométrie qualitative pour la description structurale d'objets.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), may 2003.
-
Dorian Boissonnade
Modélisation de la sécurité dans les systèmes d'informations.
Master thesis in computer science, Paul Sabatier University (Toulouse), june 2002.
-
Noel Laverny
La logique EDL, son rôle dans les problèmes de planification, sa complexité.
Master thesis in computer science, Paul Sabatier University (Toulouse), june 2002.
-
Nathalie Chetcuti
Déduction automatique pour le calcul des durées basée sur la méthode des tableaux.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), december 2001.
-
Jean-Francois Condotta
Problèmes de satisfaction de contraintes spatiales : algorithmes et complexité.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), january 2000.
-
Jean-Francois Condotta
Vers une formalisation de l'espace : l'algèbre des rectangles.
Master thesis in computer science, Paul Sabatier University (Toulouse), june 1997.
-
Aomar Osmani
Diagnostic de pannes dans les réseaux : approche à base de modèles et raisonnement temporel.
Doctoral thesis in computer science, Paris-Nord University (Villetaneuse), december 1999.
-
Anne Lopez
Déduction automatique en géométrie par réduction de figures.
Doctoral thesis in computer science, Paul Sabatier University (Toulouse), july 1995.
|