Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardar confirmação

61
TÍTULO: Labelled Tableaux for Distributed Temporal Logic
AUTORES: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLICAÇÃO: 2009, FONTE: J. Log. Comput., VOLUME: 19, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
62
TÍTULO: Combining Classical and Intuitionistic Implications
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, VOLUME: 4720
INDEXADO EM: DBLP
NO MEU: DBLP
63
TÍTULO: From Fibring to Cryptofibring. A Solution to the Collapsing Problem
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
64
TÍTULO: Quantum Institutions
AUTORES: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2006, FONTE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXADO EM: DBLP
NO MEU: DBLP
65
TÍTULO: On the Algebraization of Many-Sorted Logics
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2006, FONTE: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, VOLUME: 4409
INDEXADO EM: DBLP
NO MEU: DBLP
66
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
67
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
68
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
69
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
70
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
Página 7 de 8. Total de resultados: 80.

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

Links Úteis

Ajuda

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