Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 45



31
TÍTULO: Combining behavioural types with security analysis
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: Corecursion and Non-divergence in Session-Typed Processes
AUTORES: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2014, FONTE: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, VOLUME: 8902
INDEXADO EM: Scopus DBLP CrossRef: 17
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: Linear logic propositions as session types
AUTORES: Caires, L; Pfenning, F; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
INDEXADO EM: Scopus
34
TÍTULO: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTORES: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2014, FONTE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTORES: Luis Caires ; Jorge A Perez ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 35
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTORES: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 59
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: Constructive Provability Logic PDF
AUTORES: Robert J Simmons; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1205.6402
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
38
TÍTULO: Cut reduction in linear logic as asynchronous session-typed communication  Full Text
AUTORES: DeYoung, H; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2012, FONTE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 16
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
TÍTULO: Functions as Session-Typed Processes
AUTORES: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTORES: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: 21st European Symposium on Programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7211
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 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