Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 55



41
TITLE: Relating strand spaces and distributed temporal logic for security protocol analysis  Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano; David Basin;
PUBLISHED: 2005, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
42
TITLE: Two's company: The Humbug of many logical values  Full Text
AUTHORS: Caleiro, C ; Carnielli, W; Coniglio, M; Marcos, J;
PUBLISHED: 2005, SOURCE: Logica Universalis: Towards a General Theory of Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID
43
TITLE: Completeness results for fibred parchments - Beyond the propositional base
AUTHORS: Caleiro, C ; Gouveia, P; Ramos, J;
PUBLISHED: 2003, SOURCE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
INDEXED IN: Scopus WOS
IN MY: ORCID
44
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J; Sernadas, A;
PUBLISHED: 2002, SOURCE: 15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2267 LNCS
INDEXED IN: Scopus
IN MY: ORCID
45
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: WOS CrossRef: 7
46
TITLE: Non-truth-functional fibred semantics
AUTHORS: Caleiro, C ; Marcos, J;
PUBLISHED: 2001, SOURCE: International Conference on Artificial Intelligence in IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III
INDEXED IN: WOS
47
TITLE: Specifying communication in distributed information systems  Full Text
AUTHORS: Ehrich, HD; Caleiro, C ;
PUBLISHED: 2000, SOURCE: ACTA INFORMATICA, VOLUME: 36, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
48
TITLE: Fibring of logics as a categorial construction
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1999, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
49
TITLE: Parameterisation of Logics
AUTHORS: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 1999, SOURCE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
50
TITLE: Parameterisation of logics  Full Text
AUTHORS: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXED IN: WOS
Page 5 of 6. Total results: 55.

A place for researchers and their institutions

Useful Links

Get Help

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