Nos partenaires

CNRS

Rechercher





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

Publications

Fabien Dagnat

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 nationales / National journal papers

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers
  • Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé. Intégration des typages fonctionnels et concurrents d'un langage fonctionnel d'Acteurs. Dans : Formalisation des Activités Concurrentes, Toulouse, 25/02/99-26/02/99, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, février 1999.
    BibTeX

  • Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé. Intégration des Typages Fonctionnel et Concurrent d'un Langage Fonctionnel d'Acteurs. Dans : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/99-02/02/99, INRIA, Collection Didactique, p. 227-252, février 1999.
    BibTeX

  • Fabien Dagnat, Marc Pantel, Patrick Sallé. ML-Act, un langage fonctionnel d'Acteurs. Dans : Journéee Francophone des Langages Applicatifs, Côme, 02/02/98-03/02/98, INRIA, Collection didactique, février 1998.
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings
  • Fabien Dagnat, Marc Pantel. Programmation Concurrente et Répartie par Acteurs - Vérification statique de programmes répartis. Dans : Journées Parallèlisme, Répartition et Objets, Toulouse, 15/03/01-16/03/01.
    BibTeX

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Fabien Dagnat. Vérification statique de programmes répartis. Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2001.
    BibTeX

  • Fabien Dagnat. Vérification statique de programmes répartis. Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2001.
    BibTeX