Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 43



21
TITLE: On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
22
TITLE: Certifying data in multiparty session types
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 90
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: DBLP
23
TITLE: Fencing off Go: Liveness and Safety for Channel-Based Programming
AUTHORS: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 52, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
24
TITLE: Report on POPL 2017
AUTHORS: Bernardo Toninho ;
PUBLISHED: 2017, SOURCE: ACM SIGLOG News, VOLUME: 4, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
25
TITLE: Certifying Data in Multiparty Session Types
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: A List of Successes That Can Change the World, VOLUME: 9600
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: DBLP
26
TITLE: Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
AUTHORS: Julien Lange; Nicholas Ng; Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1610.08843
INDEXED IN: Scopus DBLP CrossRef: 35
IN MY: DBLP
27
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 85
IN MY: DBLP
28
29
TITLE: Combining behavioural types with security analysis
AUTHORS: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
30
TITLE: Corecursion and Non-divergence in Session-Typed Processes
AUTHORS: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: TGC, VOLUME: 8902
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: DBLP
Page 3 of 5. Total results: 43.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service