Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 43



21
TÍTULO: On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, 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 ESOP, VOLUME: 10801 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
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: 14
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
24
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
25
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, VOLUME: 9600
INDEXADO EM: Scopus DBLP CrossRef: 2
26
TÍTULO: Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
AUTORES: Julien Lange; Nicholas Ng; Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1610.08843
INDEXADO EM: Scopus DBLP CrossRef: 35
27
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: 85
28
TÍTULO: A logical foundation for session-based concurrent computation
AUTORES: Bernardo P C F Toninho ;
PUBLICAÇÃO: 2015
INDEXADO EM: Handle
29
TÍTULO: Combining behavioural types with security analysis
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
30
TÍTULO: Corecursion and Non-divergence in Session-Typed Processes
AUTORES: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2014, FONTE: TGC, VOLUME: 8902
INDEXADO EM: Scopus DBLP CrossRef: 20
Página 3 de 5. Total de resultados: 43.

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