Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 43



11
TÍTULO: Featherweight Go
AUTORES: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: OOPSLA
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: Domain-Aware Session Types PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CONCUR, VOLUME: 140
INDEXADO EM: Scopus DBLP arXiv
13
TÍTULO: Manifest Deadlock-Freedom for Shared Session Types
AUTORES: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLICAÇÃO: 2019, FONTE: PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019, VOLUME: 11423
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
14
TÍTULO: Polymorphic Session Processes as Morphisms
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2019, FONTE: The Art of Modelling Computational Systems, VOLUME: 11760 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
15
TÍTULO: Refinement Kinds Type-Safe Programming with Practical Type-Level Computation
AUTORES: Caires, L ; Toninho, B ;
PUBLICAÇÃO: 2019, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 3, NÚMERO: OOPSLA
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
16
TÍTULO: A Static Verification Framework for Message Passing in Go using Behavioural Types
AUTORES: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 55
17
TÍTULO: A Universal Session Type for Untyped Asynchronous Communication
AUTORES: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2018, FONTE: CONCUR, VOLUME: 118
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
18
TÍTULO: Depending on Session-Typed Processes
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, FONTE: FoSSaCS
INDEXADO EM: DBLP
19
TÍTULO: Depending on Session-Typed Processes
AUTORES: Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2018, FONTE: FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, VOLUME: 10803
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
20
TÍTULO: Interconnectability of Session-Based Logical Processes
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: 7
Página 2 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