Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardar confirmação

61
TÍTULO: Symbolic Probabilistic Analysis of Off-Line Guessing
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2013, FONTE: Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, VOLUME: 8134
INDEXADO EM: DBLP
NO MEU: DBLP
62
TÍTULO: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
AUTORES: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: Logica Universalis, VOLUME: 7, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
63
TÍTULO: Abstract Valuation Semantics
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2013, FONTE: Studia Logica, VOLUME: 101, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
64
TÍTULO: Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
AUTORES: Marco Volpe; João Marcos; Carlos Caleiro;
PUBLICAÇÃO: 2012, FONTE: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, VOLUME: 7456
INDEXADO EM: DBLP
NO MEU: DBLP
65
TÍTULO: Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay
AUTORES: Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2012, FONTE: Multiple-Valued Logic and Soft Computing, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: DBLP
NO MEU: DBLP
66
TÍTULO: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, VOLUME: 10
INDEXADO EM: DBLP
NO MEU: DBLP
67
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
INDEXADO EM: DBLP
NO MEU: DBLP
68
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
INDEXADO EM: DBLP
NO MEU: DBLP
69
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
INDEXADO EM: DBLP
NO MEU: DBLP
70
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
INDEXADO EM: WOS
Página 7 de 10. Total de resultados: 98.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service