Publications

Recherche de publications

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant

Publications de Jean-PaulBahsoun

Livres (monographies) Rédaction d’ouvrages de synthèse Rédaction de numéros spéciaux de revues
  • Jean-Paul Bahsoun, J. Fiadeiro, D. Galmiche

    Proof Theory of Concurrent Object-Oriented Programming

    Dans : MSCS – Mathematical Structures in Computer Science, Giuseppe Longo Cambridge University Press, Laboratoire d’Informatique(CNRS) et DMI ENS 4(, Rue d’ULM 75005 Paris France, Vol. 9, juin 1999.

    BibTeX

Rédaction d’actes de conférences et de workshops Articles dans des revues internationales Contributions à des ouvrages de synthèse Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture Conférences sans actes publiés Rapports Thèses et habilitations
  • Jean-Paul Bahsoun

    Les Objets Concurrents et leurs Systèmes de Preuve

    Habilitation à diriger des recherches, Université Paul Sabatier, décembre 1994.

    BibTeX