Concepedia

Carlos Caleiro

CC

23

Publications

492

Citations

15

H-Index

1997

Active since

Affiliations

University of Lisbon(Current)

Instituto de Telecomunicações

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Instituto Superior de Tecnologias Avançadas

Carlos Caleiro is an author at University of Lisbon specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationData SecurityInformation SecurityVerificationCommunicationBusiness

Publications per year

1997–2022

23

Publications

23

On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms

Guilherme Ramos, Ludovico Boratto, Carlos Caleiro · Information Processing & Management · 2019 · 49 citations · Full text

Computational Social Science, Group Recommenders, Computational Social Choice +13

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics

Carlos Caleiro, João Marcos, Marco Volpe · Theoretical Computer Science · 2015 · 42 citations

Analytic Classic-like Tableaux, Engineering, Automated Reasoning +9

Fibring Non-Truth-Functional Logics: Completeness Preservation

Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio et al. · Journal of Logic Language and Information · 2003 · 37 citations

Specifying communication in distributed information systems

Hans-Dieter Ehrich, Carlos Caleiro · Acta Informatica · 2000 · 33 citations

Engineering, Distributed Information Systems, Distributed Systems +6

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

Carlos Caleiro, Luca Viganò, David Basin · Logic Journal of IGPL · 2005 · 32 citations · Full text

Rows per page

1–5 of 23