Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 41



21
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: 11
IN MY: DBLP
22
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
23
TITLE: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings PDF
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2017, 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 CoRR, VOLUME: abs/1711.00878
INDEXED IN: Scopus DBLP arXiv CrossRef: 5
IN MY: ORCID | 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 - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, 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) PDF
AUTHORS: Julien Lange; Nicholas Ng; Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1610.08843
INDEXED IN: Scopus DBLP arXiv CrossRef: 25
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
IN MY: ORCID | DBLP
28
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: DBLP
29
TITLE: Combining behavioural types with security analysis PDF
AUTHORS: Massimo Bartoletti; Ilaria Castellani; Pierre Malo Deniélou; Mariangiola Dezani Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A Pérez; Peter Thiemann; Bernardo Toninho ; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.02229
INDEXED IN: DBLP arXiv
IN MY: DBLP
30
TITLE: Corecursion and Non-divergence in Session-Typed Processes
AUTHORS: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, VOLUME: 8902
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP
Page 3 of 5. Total results: 41.

A place for researchers and their institutions

Useful Links

Get Help

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