Patrick Sallé Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé: Typing Concurrent Objects and Actors. L'OBJET 6(1): (2000)
1999
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Sallé, Marc Pantel: Concurrent and Distributed Programming with Objects - Introduction. Euro-Par 1999: 1333
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé: Static safety analysis for non-uniform service availability in Actors. FMOODS 1999
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLL. Bray, Jean-Paul Arcangeli, Patrick Sallé: Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies. HPCN Europe 1999: 1227-1230
1995
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé: Vers une machine virtuelle pour l'évaluation des langages d'acteurs. LMO 1995: 221-240
1989
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Lapaime, Patrick Sallé: Plasma-II: an actor approach to concurrent programming. SIGPLAN Notices 24(4): 81-83 (1989)
1986
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Sallé, Christiane Massoutie, Marcel Gandriau: Un langage logique orienté objet. SPLT 1986: 401-
1984
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristiane Massoutie, Patrick Sallé: Une autre interprétation top down des clauses de Horn: interface avec une base de données. SPLT 1984
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Finet, Patrick Sallé: L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma. Symposium on Programming 1984: 101-112
1983
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. Carre, Patrick Sallé: Acteurs et programmation en logique: ALOG. SPLT 1983
1980
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Sallé: Echappements et continuations en sémantique dénotationnelle. Symposium on Programming 1980: 298-310
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Sallé: Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie). ITA 14(2): 143-167 (1980)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Sallé: Une Généralisation de la Théorie des Types en lambda-Calcul (II). ITA 14(3): 301-314 (1980)
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé: Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Sallé: Note sur la sémantique des structures de contrôle. ITA 13(2): (1979)

Coauthor Index

1Jean-Paul Arcangeli [12]
2L. Bray [12]
3F. Carre [6]
4J. L. Colaco [13]
5Matthias Colin [15]
6Mario Coppo [2]
7Fabien Dagnat [13] [15]
8Mariangiola Dezani-Ciancaglini [2]
9A. El Faker [11]
10J. Finet [7]
11Marcel Gandriau [9]
12G. Lapaime [10]
13Christiane Massoutie [8] [9] [11]
14Marc Pantel [11] [13] [14] [15]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)