Nos partenaires

CNRS

Rechercher





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

Publications

A. El Hadiri

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
  • Michel Charpentier, A. El Hadiri, Gérard Padiou. A UNITY-based Algorithm Design Assistant. Dans : Workshop on Tools and Algorithms for the Construction and Analysis of Systems, -, BRICS Notes Series NS-095-2, Aarhus, Danmark, p. 131-145, mai 1995.
    BibTeX

  • A. El Hadiri. Sur les automates asynchrones et les expressions SCCS. Dans : Actes des 6èmes Rencontres francophones du parallélisme, ENS Lyon, France, -, janvier 1994.
    BibTeX

Rapports / Reports
  • A. El Hadiri, C. Attiogbe. Modélisation graphique des structures d'événements : des termes algébriques aux graphes. Rapport de recherche, 94-16-R, IRIT, mai 1994.
    BibTeX

  • A. El Hadiri. Sur les automates asynchrones et les expressions SCCS. Rapport de recherche, 94-12-R, IRIT, avril 1994.
    BibTeX