Bernardo Parente Coutinho Fernandes Toninho


AuthID: R-001-NQ0

Confirmed Publications: 43



41
TITLE: Distributed deductive databases, declaratively: The L10 logic programming language. the L10 logic programming language
AUTHORS: Robert J Simmons; Bernardo Toninho ; Frank Pfenning;
PUBLISHED: 2011, SOURCE: Proceedings of the 2011 ACM SIGPLAN X10 Workshop, X10 '11
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
42
TITLE: Proof-Carrying Code in a Session-Typed Process Calculus
AUTHORS: Frank Pfenning ; Luís Caires ; Bernardo Toninho ;
PUBLISHED: 2011, SOURCE: CPP, VOLUME: 7086 LNCS
INDEXED IN: Scopus DBLP CrossRef: 18
43
TITLE: A Spatial-Epistemic Logic for Reasoning about Security Protocols
AUTHORS: Bernardo Toninho ; Luís Caires ;
PUBLISHED: 2010, SOURCE: SecCo, VOLUME: 51
INDEXED IN: DBLP CrossRef: 3
Page 5 of 5. Total results: 43.

footer slogan

Useful Links

Get Help

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