Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 46



11
TÍTULO: Featherweight Go
AUTORES: Robert Griesemer; Raymond Hu; Wen Kokke; Julien Lange; Ian Lance Taylor; Bernardo Toninho ; Philip Wadler; Nobuko Yoshida;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.11710
INDEXADO EM: DBLP
NO MEU: DBLP
12
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 | DBLP | CIÊNCIAVITAE
13
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
NO MEU: ORCID | DBLP
14
TÍTULO: Manifest Deadlock-Freedom for Shared Session Types
AUTORES: Balzer, S; Toninho, B ; Pfenning, F ;
PUBLICAÇÃO: 2019, FONTE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019, VOLUME: 11423
INDEXADO EM: Scopus WOS DBLP CrossRef: 25
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
15
TÍTULO: Polymorphic Session Processes as Morphisms
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2019, FONTE: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, VOLUME: 11760
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
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
NO MEU: ORCID | DBLP
17
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: 42
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
18
TÍTULO: A Universal Session Type for Untyped Asynchronous Communication  Full Text
AUTORES: Stephanie Balzer; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2018, FONTE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
19
TÍTULO: Depending on Session-Typed Processes
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, FONTE: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 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: 10803
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: Depending on Session-Typed Processes PDF
AUTORES: Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2018, FONTE: 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, VOLUME: 10803
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 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