Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 45



11
TÍTULO: Domain-Aware Session Types (Extended Version) PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.01318
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
12
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
13
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
14
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 | CIÊNCIAVITAE
15
TÍTULO: Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) PDF
AUTORES: Luís Caires ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1908.00441
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
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: 42
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
17
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
18
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
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: 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
Página 2 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