Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardar confirmação

81
TÍTULO: On the semantics of Alice&Bob specifications of security protocols
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2006, FONTE: Theor. Comput. Sci., VOLUME: 367, NÚMERO: 1-2
INDEXADO EM: DBLP
NO MEU: DBLP
82
TÍTULO: Fibring Logics: Past, Present and Future
AUTORES: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
INDEXADO EM: DBLP
NO MEU: DBLP
83
TÍTULO: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 125, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
84
TÍTULO: Deconstructing Alice and Bob
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 135, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
85
TÍTULO: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: Logic Journal of the IGPL, VOLUME: 13, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
86
TÍTULO: Cryptomorphisms at Work
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2004, FONTE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
INDEXADO EM: DBLP
NO MEU: DBLP
87
TÍTULO: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: Journal of Logic, Language and Information, VOLUME: 12, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
88
TÍTULO: Completeness Results for Fibred Parchments: Beyond the Propositional Base
AUTORES: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLICAÇÃO: 2002, FONTE: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, VOLUME: 2755
INDEXADO EM: DBLP
NO MEU: DBLP
89
TÍTULO: Combining Logics: Parchments Revisited
AUTORES: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLICAÇÃO: 2001, FONTE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
INDEXADO EM: DBLP
NO MEU: DBLP
90
TÍTULO: Specifying Communication in Distributed Information Systems
AUTORES: Hans Dieter Ehrich; Carlos Caleiro;
PUBLICAÇÃO: 2000, FONTE: Acta Inf., VOLUME: 36, NÚMERO: 8
INDEXADO EM: DBLP
NO MEU: DBLP
Página 9 de 10. Total de resultados: 97.

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