Carlos Caleiro

Citado por

	Todos	Desde 2018
Citações	1560	382
Índice h	22	9
Índice i10	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

Acesso público

Ver tudo

24 artigos

6 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

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

Seguir

Carlos Caleiro

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

Email confirmado em math.ist.utl.pt


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores