Carlos Caleiro

Cited by

	All	Since 2018
Citations	1560	382
h-index	22	9
i10-index	46	9

140

105

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202322 36 32 28 30 55 46 92 31 113 66 58 56 65 67 41 70 76 59 72 48 55 39 98 128 13

Public access

View all

24 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Joao MarcosDIMAp, Federal University of Rio Grande do Norte (UFRN), BrazilVerified email at dimap.ufrn.br
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyVerified email at fct.unl.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceVerified email at uni-osnabrueck.de
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerified email at ovgu.de

Carlos Caleiro

Associate Professor for Logic and Computation at IST, Univ. Lisboa

Verified email at math.ist.utl.pt


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	151	1999
Two's company:“The humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis: Towards a general theory of logic, 169-189, 2005	95	2005
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	67	1998
Fibring non-truth-functional logics: Completeness preservation C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas Journal of Logic, Language and Information 12, 183-211, 2003	62	2003
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000	51	2000
On the semantics of Alice&Bob specifications of security protocols C Caleiro, L Vigano, D Basin Theoretical Computer Science 367 (1-2), 88-122, 2006	48	2006
Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition, 123-187, 2005	48	2005
Categorial Fibring of Logics with Terms and Binding Operators. A Sernadas, C Sernadas, C Caleiro, T Mossakowski FroCoS, 295-316, 1998	40	1998
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica, 217-247, 1997	40	1997
Equipollent logical systems C Caleiro, R Gonçalves Logica Universalis: Towards a general theory of logic, 97-109, 2007	39	2007
Metareasoning about security protocols using distributed temporal logic C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 125 (1), 67-89, 2005	37	2005
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas Lecture notes in computer science, 48-62, 1999	34	1999
On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms G Ramos, L Boratto, C Caleiro Information Processing & Management 57 (2), 102058, 2020	33	2020
Combining logics C Caleiro 1 st W orld S chool on U niversal L ogic, 5, 2000	33	2000
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics C Caleiro, J Marcos, M Volpe Theoretical Computer Science 603, 84-110, 2015	30	2015
From fibring to cryptofibring. A solution to the collapsing problem C Caleiro, J Ramos Logica Universalis 1, 71-92, 2007	30	2007
Relating strand spaces and distributed temporal logic for security protocol analysis C Caleiro, L Vigano, D Basin Logic Journal of IGPL 13 (6), 637-663, 2005	29	2005
Deconstructing alice and bob C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 135 (1), 3-22, 2005	27	2005
Distributed temporal logic for the analysis of security protocol models D Basin, C Caleiro, J Ramos, L Viganò Theoretical Computer Science 412 (31), 4007-4043, 2011	25	2011
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006	25	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors