Nils Gesbert
AuthID: R-006-WHW
1
TITLE: Behavioral Types in Programming Languages
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
2
TITLE: MODULAR SESSION TYPES FOR OBJECTS
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 4
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 4
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: Session types as generic process types Full Text
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A;
PUBLISHED: 2014, SOURCE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A;
PUBLISHED: 2014, SOURCE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef4
TITLE: Modular Session Types for Objects PDF
AUTHORS: Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1205.5344
AUTHORS: Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1205.5344
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv5
TITLE: Modular Session Types for Distributed Object-Oriented Programming
AUTHORS: Simon J Gay; Vasco T Vasconcclos ; Antonio Ravara ; Nils Gesbert; Alexandre Z Caldeira;
PUBLISHED: 2010, SOURCE: 37th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages in ACM SIGPLAN NOTICES, VOLUME: 45, ISSUE: 1
AUTHORS: Simon J Gay; Vasco T Vasconcclos ; Antonio Ravara ; Nils Gesbert; Alexandre Z Caldeira;
PUBLISHED: 2010, SOURCE: 37th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages in ACM SIGPLAN NOTICES, VOLUME: 45, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP6
TITLE: Modular session types for distributed object-oriented programming
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages
INDEXED IN: Scopus CrossRef
Scopus CrossRef