Carlos Caleiro

Citado por

	Todos	Desde 2016
Citações	2255	397
Índice h	20	9
Índice i10	39	9

200

100

150

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020216 26 34 39 40 59 85 101 152 125 189 147 142 129 119 104 85 102 103 82 86 60 71 55 42

Acesso público

Visualizar todos

22 artigos

4 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
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
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
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 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 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	898	1999
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	146	1999
Two's company:“The humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis, 169-189, 2005	91	2005
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
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	62	1998
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	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	46	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
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59 (2), 217-247, 1997	36	1997
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas International Workshop on Algebraic Development Techniques, 48-63, 1998	35	1998
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	34	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	27	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
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	21	2015

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