Equipe de recherche LOGNET

Publications de l'équipe LOGNET

2012

Communications avec actes

Titre
Séparation des couleurs dans un lambda-calcul bichrome
Auteurs
Emmanuel Chailloux; Bernard Serpette
Détail
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France.
Accès au texte intégral et bibtex
paper_8.pdf BibTex

2010

Rapports

Titre
Synapse: a Scalable Protocol for Interconnecting Heterogeneous Overlay Networks
Auteurs
Luigi Liquori; Cédric Tedeschi; Laurent Vanni; Francesco Bongiovanni; Vincenzo Ciancaglini; Bojan Marinkovic
Détail
[Research Report], 2010, pp. 16. RR-7255
Accès au texte intégral et bibtex
RR-7255.pdf BibTex

2008

Articles dans des revues avec comité de lecture

Titre
FeatherTrait: A Modest Extension of Featherweight Java
Auteurs
Luigi Liquori; Arnaud Spiwack
Détail
ACM Transactions on Programming Languages and Systems, ACM, 2008, 32 p.
Accès au texte intégral et bibtex
fjtraits.pdf BibTex
Titre
Extending FeatherTrait Java with Interfaces
Auteurs
Luigi Liquori; Arnaud Spiwack
Détail
Theoretical Computer Science, Elsevier, 2008
Accès au texte intégral et bibtex
TCS-60.pdf BibTex

Rapports

Titre
Architecture Orienté Service Dynamique : D-SOA
Auteurs
Didier Parigot; Baptiste Boussemart
Détail
[Research Report], 2008, pp. 13
Accès au texte intégral et bibtex
soa-3.pdf BibTex