Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publications Requiring Validation

61
TITLE: Symbolic Probabilistic Analysis of Off-Line Guessing
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2013, SOURCE: Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, VOLUME: 8134
INDEXED IN: DBLP
IN MY: DBLP
62
TITLE: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
AUTHORS: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
63
TITLE: Abstract Valuation Semantics
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2013, SOURCE: Studia Logica, VOLUME: 101, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP
64
TITLE: Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
AUTHORS: Marco Volpe; João Marcos; Carlos Caleiro;
PUBLISHED: 2012, SOURCE: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, VOLUME: 7456
INDEXED IN: DBLP
IN MY: DBLP
65
TITLE: Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay
AUTHORS: Carlos Caleiro; João Marcos;
PUBLISHED: 2012, SOURCE: Multiple-Valued Logic and Soft Computing, VOLUME: 19, ISSUE: 1-3
INDEXED IN: DBLP
IN MY: DBLP
66
TITLE: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLISHED: 2011, SOURCE: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, VOLUME: 10
INDEXED IN: DBLP
IN MY: DBLP
67
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
INDEXED IN: DBLP
IN MY: DBLP
68
TITLE: Hierarchical logical consequence
AUTHORS: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLISHED: 2011, SOURCE: Logic Journal of the IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP
69
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
INDEXED IN: DBLP
IN MY: DBLP
70
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
INDEXED IN: WOS
Page 7 of 10. Total results: 98.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service