Carlos Caleiro

Citado por

	Todos	Desde 2015
Citações	2203	448
Índice h	20	10
Índice i10	39	12

200

100

150

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202026 38 41 44 60 91 103 159 127 187 146 141 126 119 98 82 98 106 80 97 60 61 44

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
Joao MarcosDIMAp, Federal University of Rio Grande do Norte (UFRN), BrazilE-mail confirmado em dimap.ufrn.br
David BasinProfessor of Computer Science, ETH ZurichE-mail confirmado em inf.ethz.ch
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeE-mail confirmado em kcl.ac.uk
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofE-mail confirmado em cle.unicamp.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasE-mail confirmado em unicamp.br
Ricardo GonçalvesNOVA LINCS, FCT, Universidade NOVA de LisboaE-mail confirmado em fct.unl.pt
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mail confirmado em math.ist.utl.pt
Hans-Dieter EhrichProfesoor emeritus of information systemsE-mail confirmado em tu-bs.de
Marco VolpePostdoctoral Researcher, fortiss Research Institute, MunichE-mail confirmado em fortiss.org
Till MossakowskiProfessor of Computer Science, University of MagdeburgE-mail confirmado em ovgu.de
João RasgaAssistant Professor of Logic and Computation, Department of Mathematics, Instituto Superior TécnicoE-mail confirmado em tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityE-mail confirmado em ovgu.de

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
Strand spaces: Proving security protocols correct FJT Fábrega, JC Herzog, JD Guttman Journal of computer security 7 (2/3), 191-230, 1999	891	1999
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	144	1999
Two's company:“The humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis, 169-189, 2005	73	2005
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	63	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
On the semantics of Alice&Bob specifications of security protocols C Caleiro, L Viganò, D Basin Theoretical Computer Science 367 (1-2), 88-122, 2006	47	2006
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000	47	2000
Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition, 123-187, 2005	45	2005
Equipollent logical systems C Caleiro, R Gonçalves Logica Universalis, 97-109, 2007	39	2007
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	38	1998
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas International Workshop on Algebraic Development Techniques, 48-63, 1998	35	1998
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59 (2), 217-247, 1997	35	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	33	2005
Combining logics C 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	29	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	26	2005
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation, 50-64, 2006	25	2006
Deconstructing alice and bob C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 135 (1), 3-22, 2005	24	2005
Fibring Logics: Past, Present and Future. C Caleiro, A Sernadas, C Sernadas We Will Show Them!(1), 363-388, 2005	23	2005
Suszko’s Thesis and dyadic semantics C Caleiro, WA Carnielli, ME Coniglio, J Marcos Preprint available at: http://wslc. math. ist. utl. pt/ftp/pub/CaleiroC/03 …, 2003	21	2003

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

Fazer upload de PDF

Seguir este autor

Citado por

Coautores