• 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.
©