Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 46



21
TÍTULO: Interconnectability of Session-Based Logical Processes  Full Text
AUTORES: Toninho, B ; Yoshida, N ;
PUBLICAÇÃO: 2018, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 40, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
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
23
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
24
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
25
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
26
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
27
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
28
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
29
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: 80
NO MEU: ORCID | DBLP
30
TÍTULO: A logical foundation for session-based concurrent computation
AUTORES: Bernardo P C F Toninho ;
PUBLICAÇÃO: 2015
INDEXADO EM: Handle
Página 3 de 5. Total de resultados: 46.

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

Links Úteis

Ajuda

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