Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 46



31
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
32
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
33
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: ORCID | DBLP
34
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L; Pfenning, F; Toninho, B ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
INDEXED IN: Scopus
35
TITLE: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTHORS: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2014, SOURCE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXED IN: Scopus WOS DBLP CrossRef: 36
IN MY: ORCID | DBLP
36
TITLE: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTHORS: Caires, L ; Pérez, JA ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 37
IN MY: ORCID | DBLP
37
TITLE: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 62
IN MY: ORCID | DBLP
38
TITLE: Constructive Provability Logic PDF
AUTHORS: Robert J Simmons; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1205.6402
INDEXED IN: DBLP arXiv
IN MY: DBLP
39
TITLE: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
AUTHORS: Henry DeYoung; Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: CSL, VOLUME: 16
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
40
TITLE: Functions as Session-Typed Processes
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: ORCID | DBLP
Page 4 of 5. Total results: 46.

footer slogan

Useful Links

Get Help

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