Carlos Caleiro

Citado por

	Todos	Desde 2017
Citações	1491	396
Índice h	21	10
Índice i10	44	13

120

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120226 23 35 29 33 33 45 52 81 32 108 67 58 56 69 60 40 71 70 61 68 48 53 38 101 87

Acesso público

Ver todos

26 artigos

5 artigos

disponível

não disponível

Com base nas 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 LisboaE-mail confirmado em tecnico.ulisboa.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalE-mail confirmado em tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeE-mail confirmado em kcl.ac.uk
David BasinProfessor of Computer Science, ETH ZurichE-mail confirmado em inf.ethz.ch
Joao MarcosDIMAp, Federal University of Rio Grande do Norte (UFRN), BrazilE-mail confirmado em dimap.ufrn.br
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofE-mail confirmado em cle.unicamp.br
Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyE-mail confirmado em fct.unl.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasE-mail confirmado em unicamp.br
Hans-Dieter EhrichProfesoor emeritus of information systemsE-mail confirmado em tu-bs.de
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mail confirmado em math.ist.utl.pt
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceE-mail confirmado em uni-osnabrueck.de
Till MossakowskiProfessor of Computer Science, University of MagdeburgE-mail confirmado em ovgu.de
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaE-mail confirmado em tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityE-mail confirmado em ovgu.de

Seguir

Carlos Caleiro

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

E-mail 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	147	1999
Two's company:“The humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis, 169-189, 2005	89	2005
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	66	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 (2), 183-211, 2003	62	2003
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000	50	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	47	2005
Categorial fibring of logics with terms and binding operators A Sernadas, C Sernadas, C Caleiro, T Mossakowski Frontiers of Combining Systems 2, Studies in Logic and Computation, 1998	40	1998
Equipollent logical systems C Caleiro, R Gonçalves Logica universalis, 97-109, 2007	39	2007
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59 (2), 217-247, 1997	37	1997
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	35	2005
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas Recent Trends in Algebraic Development Techniques, 48-63, 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 CMCL Caleiro, V Diogo, FMF Marmeleira, JMC Lucas, CSP Cardoso, ... 1 st W orld S chool on U niversal L ogic, 5, 2000	32	2000
From fibring to cryptofibring. A solution to the collapsing problem C Caleiro, J Ramos Logica Universalis 1 (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	26	2005
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation, 50-64, 2006	25	2006
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	24	2015
Fibring Logics: Past, Present and Future. C Caleiro, A Sernadas, C Sernadas We Will Show Them!(1), 363-388, 2005	24	2005

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

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir este autor

Citado por

Coautores