Carlos Caleiro - Citações do Google Académico

Citado por

	Todos	Desde 2013
Citações	2053	495
Índice h	19	11
Índice i10	37	13

200

100

150

19981999200020012002200320042005200620072008200920102011201220132014201520162017201826 27 39 42 56 91 102 155 129 189 149 150 131 114 102 91 96 103 89 74 42

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 math.ist.utl.pt
David BasinProfessor of Computer Science, ETH ZurichEmail confirmado em inf.ethz.ch
Luca ViganòProf of Computer Science and Head of the Cybersecurity Group, Dep. of Informatics, King's CollegeEmail confirmado em kcl.ac.uk
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çalvesNOVA LINCS, FCT, Universidade NOVA de LisboaEmail confirmado em fct.unl.pt
Marcelo Esteban ConiglioProfessor of Logic, State University of CampinasEmail confirmado em cle.unicamp.br
Hans-Dieter EhrichProfesoor emeritus of information systemsEmail confirmado em tu-bs.de
Paulo MateusAssociate Professor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalEmail confirmado em math.ist.utl.pt
Marco VolpePostdoctoral Researcher, fortiss Research Institute, MunichEmail confirmado em fortiss.org
Till MossakowskiProfessor of Computer Science, University of MagdeburgEmail confirmado em iws.cs.uni-magdeburg.de
João RasgaAssistant Professor of Logic and Computation, Department of Mathematics, Instituto Superior TécnicoEmail confirmado em tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityEmail confirmado em ovgu.de

Carlos Caleiro

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

Email confirmado em math.ist.utl.pt


Título	Citado por	Ano
Strand spaces: Proving security protocols correct T Fábrega, F Javier, JC Herzog, JD Guttman Journal of computer security 7 (2-3), 191-230, 1999	887	1999
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	135	1999
Two's company:“The Humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis, 169-189, 2005	83	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	55	2003
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000	44	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	43	2005
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	41	2006
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	37	1998
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59 (2), 217-247, 1997	34	1997
Equipollent logical systems C Caleiro, R Gonçalves Logica Universalis, 97-109, 2007	33	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	32	2005
Combining logics C Caleiro, V Diogo, FMF Marmeleira, JMC Lucas, CSP Cardoso, ... PhD thesis, 2000	31	2000
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas International Workshop on Algebraic Development Techniques, 48-63, 1998	27	1998
From fibring to cryptofibring. A solution to the collapsing problem C Caleiro, J Ramos Logica Universalis 1 (1), 71-92, 2007	25	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	25	2005
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation, 50-64, 2006	24	2006
Fibring Logics: Past, Present and Future. C Caleiro, A Sernadas, C Sernadas We Will Show Them!(1), 363-388, 2005	24	2005
Deconstructing alice and bob C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 135 (1), 3-22, 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	19	2003

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

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Carregar PDF

Seguir este autor

Citado por

Coautores