Carlos Caleiro

Cited by

	All	Since 2016
Citations	2251	394
h-index	20	9
i10-index	39	9

200

100

150

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020216 26 34 39 40 59 89 101 152 125 183 146 142 129 119 104 85 102 103 82 86 60 72 56 37

Public access

View all

22 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Joao MarcosDIMAp, Federal University of Rio Grande do Norte (UFRN), BrazilVerified email at dimap.ufrn.br
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyVerified email at fct.unl.pt
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceVerified email at uni-osnabrueck.de
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
João RasgaAssistant Professor of Logic and Computation, Department of Mathematics, Instituto Superior TécnicoVerified email at tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerified email at ovgu.de

Carlos Caleiro

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

Verified email at math.ist.utl.pt


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Strand spaces: Proving security protocols correct FJT Fábrega, JC Herzog, JD Guttman Journal of computer security 7 (2/3), 191-230, 1999	897	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors