Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Pierre-Loïc Garoche

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Pierre-Loïc Garoche. Analyse statique d'un calcul d'acteurs par interprétation abstraite. Thèse de doctorat, Institut National Polytechnique de Toulouse, juin 2008.
    Résumé
    BibTeX