Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
61
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
DBLP62
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
WOS63
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
WOS64
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
DBLP65
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
DBLP66
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
DBLP67
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
DBLP68
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
DBLP69
TITLE: Labelled Tableaux for Distributed Temporal Logic
AUTHORS: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLISHED: 2009, SOURCE: J. Log. Comput., VOLUME: 19, ISSUE: 6
AUTHORS: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLISHED: 2009, SOURCE: J. Log. Comput., VOLUME: 19, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP70
TITLE: Combining Classical and Intuitionistic Implications
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, VOLUME: 4720
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, VOLUME: 4720
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP