Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Publicações Confirmadas: 46



41
TÍTULO: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTORES: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
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: 22
NO MEU: ORCID | DBLP
42
TÍTULO: Towards concurrent type theory  Full Text
AUTORES: Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: TLDI
INDEXADO EM: Scopus DBLP CrossRef: 17
NO MEU: ORCID | DBLP
43
TÍTULO: Dependent Session Types via Intuitionistic Linear Type Theory
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: ORCID | DBLP
44
TÍTULO: Distributed deductive databases, declaratively: The L10 logic programming language. the L10 logic programming language
AUTORES: Robert J Simmons; Bernardo Toninho ; Frank Pfenning;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 2011 ACM SIGPLAN X10 Workshop, X10 '11
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
45
TÍTULO: Proof-Carrying Code in a Session-Typed Process Calculus
AUTORES: Frank Pfenning ; Luís Caires ; Bernardo Toninho ;
PUBLICAÇÃO: 2011, FONTE: CPP, VOLUME: 7086 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | DBLP
46
TÍTULO: A Spatial-Epistemic Logic for Reasoning about Security Protocols  Full Text
AUTORES: Bernardo Toninho ; Luís Caires ;
PUBLICAÇÃO: 2010, FONTE: SecCo, VOLUME: 51
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
Página 5 de 5. Total de resultados: 46.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service