Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
71
TÃTULO: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2010, FONTE: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, VOLUME: 6561
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2010, FONTE: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, VOLUME: 6561
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP72
TÃTULO: Algebraic Valuations as Behavioral Logical Matrices
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP73
TÃTULO: Classic-Like Analytic Tableaux for Finite-Valued Logics
AUTORES: Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTORES: Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP74
TÃTULO: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTORES: Bruno Montalto; Carlos Caleiro;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 253, NÚMERO: 3
AUTORES: Bruno Montalto; Carlos Caleiro;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 253, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP75
TÃTULO: Behavioral algebraization of da Costa's C-systems
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP76
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
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
DBLP NO MEU: DBLP
DBLP77
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
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
DBLP NO MEU: DBLP
DBLP78
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
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP79
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
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
DBLP NO MEU: DBLP
DBLP80
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
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
DBLP NO MEU: DBLP
DBLP