Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 70



41
TÍTULO: Labelled Tableaux for Distributed Temporal Logic
AUTORES: Basin, D; Caleiro, C ; Ramos, J ; Vigano, L;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
42
TÍTULO: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTORES: Bruno Montalto; Carlos Caleiro ;
PUBLICAÇÃO: 2009, FONTE: QAPL, VOLUME: 253, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
43
TÍTULO: A labeled tableaux system for the distributed temporal logic DTL
AUTORES: Basin, D; Caleiro, C ; Ramos, J ; Viganò, L;
PUBLICAÇÃO: 2008, FONTE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
44
TÍTULO: Combining classical and intuitionistic implications
AUTORES: Caleiro, C ; Ramos, J ;
PUBLICAÇÃO: 2007, FONTE: 6th International Symposium on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, VOLUME: 4720
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
45
TÍTULO: Equipollent logical systems  Full Text
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
46
TÍTULO: From Fibring to Cryptofibring. A Solution to the Collapsing Problem  Full Text
AUTORES: Carlos Caleiro ; Jaime Ramos ;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
47
TÍTULO: On the algebraization of many-sorted logics
AUTORES: Caleiro, C ; Goncalves, R ;
PUBLICAÇÃO: 2007, FONTE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
48
TÍTULO: Two's company: The humbug of many logical values  Full Text
AUTORES: Caleiro, C ; Carnielli, W; Coniglio, ME; Marcos, J;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
49
TÍTULO: On the semantics of Alice&Bob specifications of security protocols  Full Text
AUTORES: Caleiro, C ; Vigano, L; Basin, D;
PUBLICAÇÃO: 2006, FONTE: 2nd Workshop on Automated Reasoning for Security Protocol Analysis in THEORETICAL COMPUTER SCIENCE, VOLUME: 367, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
50
TÍTULO: Quantum institutions
AUTORES: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2006, FONTE: Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday in ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, VOLUME: 4060
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
Página 5 de 7. Total de resultados: 70.

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

Links Úteis

Ajuda

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