Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 45



21
TÍTULO: On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXADO EM: DBLP
NO MEU: DBLP
22
TÍTULO: Certifying data in multiparty session types
AUTORES: Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 90
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
23
TÍTULO: Fencing off Go: Liveness and Safety for Channel-Based Programming
AUTORES: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2017, FONTE: ACM SIGPLAN NOTICES, VOLUME: 52, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
24
TÍTULO: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings PDF
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in CoRR, VOLUME: abs/1711.00878
INDEXADO EM: Scopus DBLP arXiv CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
25
TÍTULO: Report on POPL 2017
AUTORES: Bernardo Toninho ;
PUBLICAÇÃO: 2017, FONTE: ACM SIGLOG News, VOLUME: 4, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
26
TÍTULO: Certifying Data in Multiparty Session Types
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, VOLUME: 9600
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
27
TÍTULO: Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) PDF
AUTORES: Julien Lange; Nicholas Ng; Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1610.08843
INDEXADO EM: Scopus DBLP arXiv CrossRef: 25
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: Linear logic propositions as session types
AUTORES: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 74
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
29
TÍTULO: A logical foundation for session-based concurrent computation
AUTORES: Bernardo P C F Toninho ;
PUBLICAÇÃO: 2015
INDEXADO EM: Handle
30
TÍTULO: Combining behavioural types with security analysis PDF
AUTORES: Massimo Bartoletti; Ilaria Castellani; Pierre Malo Deniélou; Mariangiola Dezani Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A Pérez; Peter Thiemann; Bernardo Toninho ; Hugo Torres Vieira;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1510.02229
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 3 de 5. Total de resultados: 45.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service