Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
51
TÃTULO: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2011, FONTE: Fundam. Inform., VOLUME: 106, NÚMERO: 2-4
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2011, FONTE: Fundam. Inform., VOLUME: 106, NÚMERO: 2-4
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP52
TÃTULO: Hierarchical logical consequence
AUTORES: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLICAÇÃO: 2011, FONTE: Logic Journal of the IGPL, VOLUME: 19, NÚMERO: 4
AUTORES: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLICAÇÃO: 2011, FONTE: Logic Journal of the IGPL, VOLUME: 19, NÚMERO: 4
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP53
TÃTULO: Distributed temporal logic for the analysis of security protocol models
AUTORES: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLICAÇÃO: 2011, FONTE: Theor. Comput. Sci., VOLUME: 412, NÚMERO: 31
AUTORES: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLICAÇÃO: 2011, FONTE: Theor. Comput. Sci., VOLUME: 412, NÚMERO: 31
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP54
TÃTULO: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTORES: Bruno Conchinha; David Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
AUTORES: Bruno Conchinha; David Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
INDEXADO EM: 
WOS
WOS55
TÃTULO: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
INDEXADO EM: WOS
WOS56
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
DBLP57
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
DBLP58
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
DBLP59
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
DBLP60
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
DBLP