Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
51
TITLE: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2011, SOURCE: Fundam. Inform., VOLUME: 106, ISSUE: 2-4
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2011, SOURCE: Fundam. Inform., VOLUME: 106, ISSUE: 2-4
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP52
TITLE: Hierarchical logical consequence
AUTHORS: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLISHED: 2011, SOURCE: Logic Journal of the IGPL, VOLUME: 19, ISSUE: 4
AUTHORS: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLISHED: 2011, SOURCE: Logic Journal of the IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP53
TITLE: Distributed temporal logic for the analysis of security protocol models
AUTHORS: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 31
AUTHORS: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 31
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP54
TITLE: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTHORS: Bruno Conchinha; David Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
AUTHORS: Bruno Conchinha; David Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
INDEXED IN: 
WOS
WOS55
TITLE: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: WOS
WOS56
TITLE: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2010, SOURCE: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, VOLUME: 6561
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2010, SOURCE: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, VOLUME: 6561
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP57
TITLE: Algebraic Valuations as Behavioral Logical Matrices
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP58
TITLE: Classic-Like Analytic Tableaux for Finite-Valued Logics
AUTHORS: Carlos Caleiro; João Marcos;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTHORS: Carlos Caleiro; João Marcos;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP59
TITLE: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTHORS: Bruno Montalto; Carlos Caleiro;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 253, ISSUE: 3
AUTHORS: Bruno Montalto; Carlos Caleiro;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 253, ISSUE: 3
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP60
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP